🍻 Default formulae for the missing package manager for macOS

Miëtek Bak ce0edd2cbb Agda: Tweak layout; bump revision ... Fixes Homebrew/homebrew#47189. Closes Homebrew/homebrew#47190. Signed-off-by: Alex Dunn <dunn.alex@gmail.com>		2015-12-19 18:41:07 -08:00
Aliases	twoping 3.0.1 (new formula)	2015-11-07 22:44:40 -08:00
Formula	Agda: Tweak layout; bump revision	2015-12-19 18:41:07 -08:00