Jack Nagel
|
041c9c193f
|
Use fatal DSL method in requirements
|
2013-01-18 19:30:43 -06:00 |
Jonas B. Jensen
|
4aebec486b
|
coq 8.4pl1
Closes Homebrew/homebrew#16861.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
2013-01-03 07:48:21 -08:00 |
Adam Vandenberg
|
e0c653e377
|
coq: remove skip_clean
|
2012-09-14 11:05:55 -07:00 |
Kenn Knowles
|
5e98833a3b
|
coq: Do not pass -arch to ./configure
Closes Homebrew/homebrew#14526.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
2012-08-29 11:01:23 -07:00 |
bellbind
|
15d9e60e70
|
coq 8.4
Closes Homebrew/homebrew#14389.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
2012-08-28 13:07:12 -07:00 |
|
bellbind
|
a830a4bd62
|
coq-8.3pl4
Closes Homebrew/homebrew#14043.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
2012-08-08 07:03:08 -07:00 |
|
Adam Vandenberg
|
89eb63c2e0
|
coq: use a Requirement
|
2012-03-12 20:26:25 -07:00 |
Pedro Borges
|
f32cd659cf
|
coq 8.3pl3
Bugfix release
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
2012-03-12 19:22:08 -07:00 |
Austin Seipp
|
f03a123595
|
coq 8.3pl2
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
2011-07-29 09:12:14 -07:00 |
|
Adam Vandenberg
|
3cb6900780
|
coq: fix compiles on 8-core machines
|
2011-07-01 20:09:03 -07:00 |
|
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 |