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

Cryptol 2.2.3

Browse source 
Closes Homebrew/homebrew#39232.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
This commit is contained in:
Adam C. Foltzer 2015-04-30 15:39:27 -07:00 committed by Jack Nagel
parent 610488d741
commit db41db3539
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
homepage "http://www.cryptol.net/"
url "https://github.com/GaloisInc/cryptol.git",
:tag => "v2.2.2",
:revision => "6ecd07da73c5ceadd211c5ef7c371a1b2facc29b"
:tag => "v2.2.3",
:revision => "b35dbbd403137b6ed2605572c2727724573fbfd9"
head "https://github.com/GaloisInc/cryptol.git"
bottle do