12 lines
331 B
Ruby
12 lines
331 B
Ruby
cask :v1 => 'isabelle' do
|
|
version '2014'
|
|
sha256 'e4a4b5f454d6cb24d5ef7271adc54e9fa7109addda8c6707bd7414b4d4061a23'
|
|
|
|
url "http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle#{version}.dmg"
|
|
name 'Isabelle'
|
|
homepage 'http://www.cl.cam.ac.uk/research/hvg/Isabelle/'
|
|
license :bsd
|
|
|
|
app "Isabelle#{version}.app"
|
|
end
|