GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-26 17:32:30 +03:00
Code Issues Projects Releases Wiki Activity

Allow use of Cabal 1.18 during build

Browse Source 
This eases the build using Stack and GHC 7.8, since GHC 7.8 comes with
Cabal 1.18.
This commit is contained in:
Aaron Tomb 2015-06-26 13:45:26 -07:00
parent c791669c76
commit 55154aff2b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cryptol.cabal
View File

@ -3,7 +3,7 @@ Version: 2.3.0
Synopsis: Cryptol: The Language of Cryptography
Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
License: BSD3
License-files: LICENSE, LICENSE.rtf
License-file: LICENSE
Author: Galois, Inc.
Maintainer: cryptol@galois.com
Homepage: http://www.cryptol.net/
@ -11,7 +11,7 @@ Bug-reports: https://github.com/GaloisInc/cryptol/issues
Copyright: 2013-2015 Galois Inc.
Category: Language
Build-type: Simple
Cabal-version: >= 1.20
Cabal-version: >= 1.18
data-files: *.cry
data-dir: lib