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
52336 commits 3 branches 0 tags 278 MiB
Ruby 100%
Find a file
Benjamin Beurdouche c2317b3961 FStar 0.9.2.0 
Closes Homebrew/homebrew#48720.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2016-02-02 10:56:13 +00:00
Aliases kotlin: renamed from kotlin-compiler 2016-01-06 02:03:55 +00:00
Formula FStar 0.9.2.0 2016-02-02 10:56:13 +00:00