Skip to content

Commit

Permalink
Update from Hackage at 2019-04-14T23:05:56Z
Browse files Browse the repository at this point in the history
  • Loading branch information
all-cabal-tool committed Apr 14, 2019
1 parent 5d17756 commit 398e13f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions cryptol/2.4.0/cryptol.cabal
@@ -1,6 +1,6 @@
Name: cryptol
Version: 2.4.0
x-revision: 1
x-revision: 2
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
Expand Down Expand Up @@ -43,7 +43,7 @@ library
Default-language:
Haskell98
Build-depends: base >= 4.8 && < 5,
base-compat >= 0.6,
base-compat >= 0.6 && < 0.10,
bytestring >= 0.10,
array >= 0.4,
async >= 2.0,
Expand Down

0 comments on commit 398e13f

Please sign in to comment.