2015-12-18 09:15:28 +08:00
|
|
|
cask 'preference-manager' do
|
2016-01-18 06:41:00 +08:00
|
|
|
version '4.3.2'
|
|
|
|
|
sha256 '39ba1f2e92cef296c8dc811dce7d7a972de3bda7838e9fad8c9c67e1e188dd75'
|
2014-07-01 02:28:06 +08:00
|
|
|
|
2013-10-31 02:50:02 +08:00
|
|
|
url 'http://download.digitalrebellion.com/Pref_Man.dmg'
|
2016-01-18 06:41:00 +08:00
|
|
|
appcast 'https://www.digitalrebellion.com/rss/appcasts/pref_man.xml',
|
2016-01-18 09:27:20 +08:00
|
|
|
checkpoint: '58f8aa3bed4124c5996f2ef60124412ab42b3a138dc5e308870b559ae9a9768f'
|
2015-04-21 22:52:47 +08:00
|
|
|
name 'Preference Manager'
|
2015-06-29 14:32:18 +08:00
|
|
|
homepage 'https://www.digitalrebellion.com/prefman'
|
2016-01-04 03:19:15 +08:00
|
|
|
license :unknown # TODO: change license and remove this comment; ':unknown' is a machine-generated placeholder
|
2014-06-27 08:01:37 +08:00
|
|
|
|
2014-09-16 00:06:10 +08:00
|
|
|
app 'Preference Manager.app'
|
2013-10-31 02:50:02 +08:00
|
|
|
end
|
