3 commits

Author	SHA1	Message	Date
Adam Vandenberg	dab8c9d60e	Update coq fixes Homebrew/homebrew#3442	2010-12-03 12:44:55 -08:00
Michael Dippery	6c11c66586	coq: Upgrade to v8.3 ... I also added the HEAD version. Signed-off-by: Adam Vandenberg <flangy@gmail.com>	2010-11-05 19:42:08 -07:00
Michael Dippery	2918d4994d	Added coq ... Signed-off-by: Adam Vandenberg <flangy@gmail.com>	2010-11-03 21:29:34 -07:00