Dominyk Tiller
|
4416a06ba8
|
coq 8.4pl5
Version bump.
Closes Homebrew/homebrew#33653.
Signed-off-by: Brett Koonce <koonce@gmail.com>
|
2014-11-01 21:08:58 -07:00 |
|
Jack Nagel
|
85a3cb6e08
|
Limit exposure of the options data structures
|
2014-07-29 21:54:32 -05:00 |
|
Adam Vandenberg
|
71af7d2531
|
coq 8.4pl4
|
2014-05-25 09:47:46 -07:00 |
|
Nada Amin
|
3bacbbe468
|
coq: fix backslash escaping in documentation.
We want to output "\\.v$" so we need to write "\\\\.v$".
Closes Homebrew/homebrew#28693.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
2014-04-25 09:16:58 -05:00 |
|
Adam Vandenberg
|
10ce0ceac6
|
coq: use Formula[]
|
2014-02-27 08:21:15 -08:00 |
|
Josh Tilles
|
6f43f258fb
|
coq 8.4pl3
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
2013-12-25 12:59:54 +00:00 |
|
Darin Morrison
|
f42469b3fe
|
coq: fix camlp5 --transitional dependency
Closes Homebrew/homebrew#22672.
Closes Homebrew/homebrew#22675.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
2013-09-19 07:53:38 -07:00 |
|
Jack Nagel
|
5d7443eff5
|
coq: fix URL
|
2013-04-07 14:18:35 -05:00 |
|
Duckki Oe
|
f18e643665
|
updated coq version to 8.4pl2
Closes Homebrew/homebrew#18999.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
2013-04-07 14:15:47 -05:00 |
|
Adam Vandenberg
|
09438c70ac
|
coq: style nits
|
2013-01-27 14:54:48 -08:00 |
|
Jack Nagel
|
60003eecc3
|
Use new requirement syntax
|
2013-01-21 17:36:34 -06:00 |
|
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 |
|