2015-12-18 09:15:28 +08:00
|
|
|
cask 'isabelle' do
|
2017-01-03 08:55:52 +08:00
|
|
|
version '2016-1'
|
|
|
|
sha256 '99669bf27bff93be4f860993883848c49a007308ef69b363954a8c2feaa1a314'
|
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"
|
2017-04-23 20:13:57 +08:00
|
|
|
appcast 'http://mirror.cse.unsw.edu.au/pub/isabelle/dist/',
|
|
|
|
checkpoint: '3f075bb979d605106e33c69c1a27e1df72218db14093b6ff1917a6079f2c221e'
|
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-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
|