wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

cryptol 2.8.0

Browse source 
Closes #43886.

Signed-off-by: FX Coudert <fxcoudert@gmail.com>
This commit is contained in:
Rui Chen 2019-09-04 23:08:34 -04:00 committed by FX Coudert
parent 3e6b39c9fe
commit 41765158ea
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/cryptol.rb
View file

@ -5,8 +5,8 @@ class Cryptol < Formula
desc "Domain-specific language for specifying cryptographic algorithms"
homepage "https://www.cryptol.net/"
url "https://hackage.haskell.org/package/cryptol-2.7.0/cryptol-2.7.0.tar.gz"
sha256 "46c6ba5d63c0cdf074e57ea07b09dc84751a6608a9a66e552ebe2b7a343ed393"
url "https://hackage.haskell.org/package/cryptol-2.8.0/cryptol-2.8.0.tar.gz"
sha256 "b061bf88de09de5034a3707960af01fbcc0425cdbff1085c50c00748df9910bb"
head "https://github.com/GaloisInc/cryptol.git"
bottle do