🍻 Default formulae for the missing package manager for macOS

Erik Nilsen e51be1c971 why3: migrate to tex ... Closes Homebrew/homebrew#48780. Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>		2016-02-11 02:00:06 +00:00
Aliases	kotlin: renamed from kotlin-compiler	2016-01-06 02:03:55 +00:00
Formula	why3: migrate to tex	2016-02-11 02:00:06 +00:00