GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-24 15:08:58 +03:00
Code Issues Projects Releases Wiki Activity

Bump Cabal version to 2.6.1 now that 2.6.0 is out

Browse Source
This commit is contained in:
Aaron Tomb 2018-08-01 14:39:56 -07:00
parent cfeef862e1
commit 45ee929b2d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol.cabal
View File

@ -1,5 +1,5 @@
Name: cryptol Name: cryptol
Version: 2.6.0 Version: 2.6.1
Synopsis: Cryptol: The Language of Cryptography 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/>. 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: BSD3