wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
🍻 Default formulae for the missing package manager for macOS
17926 commits 3 branches 0 tags 278 MiB
Ruby 100%
Find a file
Adam Vandenberg e22e57ea2b serialize proof-general installs
2013-07-08 10:06:50 -07:00
Aliases Remove dead alias 2013-06-29 17:37:35 -05:00
Formula serialize proof-general installs 2013-07-08 10:06:50 -07:00