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

cryptol 2.2.2

Browse source 
Note that the sha256 hash was removed since we're specifying a revision
hash instead.

Closes Homebrew/homebrew#38529.

Signed-off-by: Tim D. Smith <git@tim-smith.us>
This commit is contained in:
Adam C. Foltzer 2015-04-10 13:30:31 -07:00 committed by Tim D. Smith
parent aee0fdfa5e
commit 7cb10af7a4
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Formula/cryptol.rb
View file

@ -5,9 +5,8 @@ class Cryptol < Formula
homepage "http://www.cryptol.net/"
url "https://github.com/GaloisInc/cryptol.git",
:tag => "v2.2.1",
:revision => "300ed3cba993e49d0dbe34205d4f404524a3ffdd"
sha256 "90d2cbe35db8b2a9fcd78eaa2c08ab0cd81641a30949ab855dde71d17429d3ee"
:tag => "v2.2.2",
:revision => "6ecd07da73c5ceadd211c5ef7c371a1b2facc29b"
head "https://github.com/GaloisInc/cryptol.git"
bottle do