2015-12-18 09:15:28 +08:00
|
|
|
cask 'cryptol' do
|
2015-12-27 05:50:15 +08:00
|
|
|
version '2.2.6'
|
|
|
|
|
sha256 'ab6fc7167772f7a403df559626360c58b0162a48545657162758103ea0c86f3c'
|
2014-06-27 08:01:06 +08:00
|
|
|
|
2015-01-17 10:42:04 +08:00
|
|
|
# github.com is the official download host per the vendor homepage
|
2014-09-26 20:08:51 +08:00
|
|
|
url "https://github.com/GaloisInc/cryptol/releases/download/v#{version}/cryptol-#{version}-MacOSX-64.tar.gz"
|
2015-12-26 04:57:40 +08:00
|
|
|
appcast 'https://github.com/GaloisInc/cryptol/releases.atom',
|
|
|
|
|
:sha256 => 'a297a208be4d6a81e6bf0675fd8d204eb99ad3254b4c886d382d0707824c0a03'
|
2014-09-15 00:01:49 +08:00
|
|
|
gpg "#{url}.sig",
|
|
|
|
|
:key_url => 'http://cryptol.net/files/Galois.asc'
|
2015-04-05 13:29:07 +08:00
|
|
|
name 'Cryptol'
|
2014-06-27 08:01:06 +08:00
|
|
|
homepage 'http://cryptol.net/'
|
2014-10-12 00:34:56 +08:00
|
|
|
license :bsd
|
2014-06-27 08:01:06 +08:00
|
|
|
|
2014-09-26 20:08:51 +08:00
|
|
|
binary "cryptol-#{version}-MacOSX-64/bin/cryptol"
|
2014-04-26 00:30:14 +08:00
|
|
|
|
2015-01-06 00:26:54 +08:00
|
|
|
zap :delete => '~/.cryptol'
|
|
|
|
|
|
2015-01-01 03:58:43 +08:00
|
|
|
depends_on :cask => 'cvc4'
|
|
|
|
|
|
2014-04-26 00:30:14 +08:00
|
|
|
caveats do
|
|
|
|
|
files_in_usr_local
|
|
|
|
|
end
|
|
|
|
|
end
|
