diff options
| author | Adam C. Foltzer | 2015-04-10 13:30:31 -0700 |
|---|---|---|
| committer | Tim D. Smith | 2015-04-10 17:20:29 -0700 |
| commit | 2eb8433a6c9143dc71271bd69c3f5894a8bfa75e (patch) | |
| tree | b0ccf3ca070c2cd491da29bb6d29201c18730ee0 /Library | |
| parent | c09ad480fb4e0e4e62eee5fb7829fe199ed51be2 (diff) | |
| download | homebrew-2eb8433a6c9143dc71271bd69c3f5894a8bfa75e.tar.bz2 | |
cryptol 2.2.2
Note that the sha256 hash was removed since we're specifying a revision
hash instead.
Closes #38529.
Signed-off-by: Tim D. Smith <git@tim-smith.us>
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/cryptol.rb | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Library/Formula/cryptol.rb b/Library/Formula/cryptol.rb index 74cdf0d91..4078cae8b 100644 --- a/Library/Formula/cryptol.rb +++ b/Library/Formula/cryptol.rb @@ -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 |