coq
Dependencies
coq requires the following formulae to be installed:
Reverse dependencies
The following formula requires
coq to be installed:
Past formula history
|
Duckki Oe |
updated coq version to 8.4pl2
|
April 07, 2013 19:15
|
|
Adam Vandenberg |
coq: style nits
|
January 27, 2013 22:54
|
|
Jack Nagel |
Use new requirement syntax
|
January 21, 2013 23:36
|
|
Jack Nagel |
Use fatal DSL method in requirements
|
January 19, 2013 01:30
|
|
Jonas B. Jensen |
coq 8.4pl1
|
January 03, 2013 15:48
|
|
Adam Vandenberg |
coq: remove skip_clean
|
September 14, 2012 18:05
|
|
Kenn Knowles |
coq: Do not pass -arch to ./configure
|
August 29, 2012 18:01
|
|
bellbind |
coq 8.4
|
August 28, 2012 20:07
|
|
bellbind |
coq-8.3pl4
|
August 08, 2012 14:03
|
|
Adam Vandenberg |
coq: use a Requirement
|
March 13, 2012 03:26
|
|
Pedro Borges |
coq 8.3pl3
|
March 13, 2012 02:22
|
|
Austin Seipp |
coq 8.3pl2
|
July 29, 2011 16:12
|
|
Adam Vandenberg |
coq: fix compiles on 8-core machines
|
July 02, 2011 03:09
|
|
Adam Vandenberg |
Update coq fixes #3442
|
December 03, 2010 20:44
|
|
Michael Dippery |
coq: Upgrade to v8.3
|
November 06, 2010 02:42
|
|
Michael Dippery |
Added coq
|
November 04, 2010 04:29
|
