mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 14:20:59 +03:00
Update to version 2.13.0
This commit is contained in:
parent
8cca24568a
commit
8d02285252
@ -1,6 +1,6 @@
|
||||
cabal-version: 2.4
|
||||
name: cryptol-remote-api
|
||||
version: 2.12.1
|
||||
version: 2.13.0
|
||||
license: BSD-3-Clause
|
||||
license-file: LICENSE
|
||||
author: Galois, Inc.
|
||||
|
@ -1,6 +1,6 @@
|
||||
[tool.poetry]
|
||||
name = "cryptol"
|
||||
version = "2.12.5"
|
||||
version = "2.13.0"
|
||||
readme = "README.md"
|
||||
keywords = ["cryptography", "verification"]
|
||||
description = "Cryptol client for the Cryptol 2.12 RPC server"
|
||||
|
@ -1,6 +1,6 @@
|
||||
Cabal-version: 2.4
|
||||
Name: cryptol
|
||||
Version: 2.12.0.99
|
||||
Version: 2.13.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: BSD-3-Clause
|
||||
@ -26,7 +26,7 @@ source-repository this
|
||||
type: git
|
||||
location: https://github.com/GaloisInc/cryptol.git
|
||||
-- add a tag on release branches
|
||||
-- tag:
|
||||
tag: 2.13.0
|
||||
|
||||
|
||||
flag static
|
||||
|
Loading…
Reference in New Issue
Block a user