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
46877 commits 3 branches 0 tags 278 MiB
Ruby 100%
Find a file
Benjamin Beurdouche b2a529c2e9 fstar 0.9.1.1 (migrated from homebrew/science) 
Closes Homebrew/homebrew#44989.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
2015-10-19 18:23:49 +01:00
Aliases zero-install 2.8 2015-10-13 13:43:26 +01:00
Formula fstar 0.9.1.1 (migrated from homebrew/science) 2015-10-19 18:23:49 +01:00