8000 Tags · GaloisInc/cryptol · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: GaloisInc/cryptol

Tags

3.3.0

Toggle 3.3.0's commit message 
Bump version to 3.3.0 for release.

Also insert the version number and release date in the changelogs,
and add the upcoming git tag to cryptol.cabal.

cryptol-python-3.2.1

Toggle cryptol-python-3.2.1's commit message 
Python: Bump release version to 3.2.1

3.2.0

Toggle 3.2.0's commit message 
Add 3.2.0 tag to cryptol.cabal

cryptol-remote-api-3.1.1

Toggle cryptol-remote-api-3.1.1's commit message 
Prepare for relase of v3.1.1 of cryptol-remote-api.

3.1.0

Toggle 3.1.0's commit message 
cryptol.cabal: Tag 3.1.0 release

cryptol-remote-api-3.0.1

Toggle cryptol-remote-api-3.0.1's commit message 
Bump cryptol-remote-api versions to 3.0.1

3.0.0

Toggle 3.0.0's commit message 
test.Dockerfile: Sync Python, Poetry versions with CI

This really ought to have been done at the same time as #1493/#1519, but this
was overlooked due to CI-related oversights.

2.13.0

Toggle 2.13.0's commit message 
Update to version 2.13.0

2.12.0

Toggle 2.12.0's commit message 
Update version in Cabal file

2.11.0

Toggle 2.11.0's commit message 
Remove unnecessary checkout
0