2015-12-18 09:15:28 +08:00
|
|
|
cask 'profilemanager' do
|
2015-04-24 06:06:36 +08:00
|
|
|
version '1.0'
|
|
|
|
|
sha256 'a46295851063d8a0630cace6720813e571e86a66734a8765f9706bab939b3f48'
|
|
|
|
|
|
2016-05-25 18:32:31 +08:00
|
|
|
url "https://archive.mozilla.org/pub/mozilla.org/utilities/profilemanager/#{version}/profilemanager.mac.dmg"
|
2015-04-24 06:06:36 +08:00
|
|
|
name 'Mozilla Profile Manager'
|
|
|
|
|
homepage 'https://developer.mozilla.org/en-US/docs/Profile_Manager'
|
|
|
|
|
|
|
|
|
|
app 'ProfileManager.app'
|
|
|
|
|
end
|
