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

Update version to 2.6.0 in preparation for release

Browse Source 
After the release, let's update the version to 2.6.1 immediately.
This commit is contained in:
Aaron Tomb 2018-07-30 13:24:33 -07:00
parent b111e78a30
commit e42500e706
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

@ -1,5 +1,5 @@
Name: cryptol
Version: 2.5.0
Version: 2.6.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
@ -24,7 +24,7 @@ source-repository head
source-repository this
type: git
location: https://github.com/GaloisInc/cryptol.git
tag: 2.5.0
tag: 2.6.0
flag static
default: False