GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-04 09:28:58 +03:00
Code Issues Projects Releases Wiki Activity

Bump development versions to 3.1.0.99

Browse Source
This commit is contained in:
Ryan Scott 2024-01-31 15:02:57 -05:00
parent 9ca5fe47ca
commit 1270755dee
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/cryptol-remote-api.cabal
View File

@ -1,6 +1,6 @@
cabal-version: 2.4
name: cryptol-remote-api
version: 3.1.0
version: 3.1.0.99
license: BSD-3-Clause
license-file: LICENSE
author: Galois, Inc.

2
cryptol-remote-api/python/pyproject.toml
View File

@ -1,6 +1,6 @@
[tool.poetry]
name = "cryptol"
version = "3.1.0"
version = "3.1.0.99"
readme = "README.md"
keywords = ["cryptography", "verification"]
description = "Cryptol client for the Cryptol RPC server"

2
cryptol.cabal
View File

@ -1,6 +1,6 @@
Cabal-version: 2.4
Name: cryptol
Version: 3.1.0
Version: 3.1.0.99
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: BSD-3-Clause