Vincent Laporte
|
b028b5f4ef
|
coq-8.5: ease the selection of an older (patch level) version
|
2016-11-02 19:39:22 +01:00 |
|
Vincent Laporte
|
b840da02cd
|
coq: build and install the votour utility
|
2016-11-02 19:23:15 +01:00 |
|
Vincent Laporte
|
da68cc24f0
|
coq: 8.5pl2 -> 8.5pl3
|
2016-11-02 19:23:15 +01:00 |
|
vbgl
|
d7cfdc581c
|
coq: 8.5pl1 -> 8.5pl2 (#16863)
|
2016-07-18 11:33:51 +02:00 |
|
Vincent Laporte
|
a036fda544
|
coq: 8.5 -> 8.5pl1
|
2016-04-12 19:43:11 +02:00 |
|
John Wiegley
|
5009b4a8cf
|
coq_8_5: 8.5rc1 -> 8.5
|
2016-01-25 12:33:31 -08:00 |
|
John Wiegley
|
d80aa87b13
|
coqPackages_8_5.coq: 8.5b2 -> 8.5rc1
|
2015-12-21 16:12:43 -08:00 |
|
John Wiegley
|
2b8ef119c5
|
Revert "coq: 8.5b2 -> 8.5b3"
This reverts commit c111b0cd4d.
@oconnorr I will restore this once there is more ecosystem to support it.
|
2015-11-25 12:58:07 -08:00 |
|
Russell O'Connor
|
c111b0cd4d
|
coq: 8.5b2 -> 8.5b3
|
2015-11-19 00:10:22 -05:00 |
|
Russell O'Connor
|
4cc5f5dbb6
|
coq: Add csdp dependency
The csdp program is invoked for some uses of Micromega tactics.
|
2015-09-10 11:50:38 -04:00 |
|
John Wiegley
|
9402a56620
|
coq_8_5: New expression
|
2015-04-26 22:29:15 -05:00 |
|