10 lines
295 B
Ruby
10 lines
295 B
Ruby
class Isabelle < Cask
|
|
version '2014'
|
|
sha256 'e4a4b5f454d6cb24d5ef7271adc54e9fa7109addda8c6707bd7414b4d4061a23'
|
|
|
|
url "http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle#{version}.dmg"
|
|
homepage 'http://www.cl.cam.ac.uk/research/hvg/Isabelle/'
|
|
|
|
link "Isabelle#{version}.app"
|
|
end
|