mirror of
https://github.com/donl/homebrew-cask-versions.git
synced 2026-07-18 06:06:50 -06:00
9 lines
294 B
Ruby
9 lines
294 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/'
|
|
|
|
app "Isabelle#{version}.app"
|
|
end
|