2015-12-18 09:15:28 +08:00
|
|
|
cask 'twelf' do
|
2014-09-27 16:42:58 +08:00
|
|
|
version '1.7.1'
|
|
|
|
sha256 'be9e638d0c1dca17d70b06218084b6012fe74aecae09183db457c1c25f7cf3a0'
|
|
|
|
|
2016-06-20 03:14:52 +08:00
|
|
|
url "http://twelf.org/releases/twelf-osx-#{version}.dmg"
|
2015-05-06 03:23:42 +08:00
|
|
|
name 'Twelf'
|
2016-11-23 21:38:32 +08:00
|
|
|
homepage 'http://twelf.org/wiki/Main_Page'
|
2014-09-27 16:42:58 +08:00
|
|
|
|
|
|
|
app 'Twelf'
|
|
|
|
end
|