2014-11-14 01:26:07 +08:00
|
|
|
cask :v1 => 'isabelle' do
|
2015-06-13 13:49:27 +08:00
|
|
|
version '2015'
|
|
|
|
sha256 '350ed097785edb35bb653510a9021e90983b06cd94899093e7c3e6c0300815ee'
|
2014-09-08 11:09:45 +08:00
|
|
|
|
2015-06-29 14:32:18 +08:00
|
|
|
url "https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle#{version}.dmg"
|
2015-01-23 06:49:21 +08:00
|
|
|
name 'Isabelle'
|
2015-06-29 14:32:18 +08:00
|
|
|
homepage 'https://www.cl.cam.ac.uk/research/hvg/Isabelle/'
|
2014-10-12 00:34:56 +08:00
|
|
|
license :bsd
|
2014-09-08 11:09:45 +08:00
|
|
|
|
2014-09-16 00:05:45 +08:00
|
|
|
app "Isabelle#{version}.app"
|
2014-09-08 11:09:45 +08:00
|
|
|
end
|