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
35795 commits 3 branches 0 tags 278 MiB
Ruby 100%
Find a file
Alexander Altman ef78e7bc82 agda: add standard library. 
Closes Homebrew/homebrew#36584.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2015-02-10 08:41:03 +00:00
Aliases Rename libcaf alias to caf. 2015-01-28 07:46:23 +00:00
Formula agda: add standard library. 2015-02-10 08:41:03 +00:00