Vincent Laporte
|
b4d0647752
|
coqPackages.mathcomp: 1.6.4 -> 1.7.0
|
2018-05-01 11:06:04 +02:00 |
|
Vincent Laporte
|
6845b248d9
|
coq: init at 8.8+beta1
|
2018-03-21 18:06:28 +00:00 |
|
Vincent Laporte
|
017321a91c
|
coqPackages_8_4.coquelicot: remove
|
2017-12-02 08:44:29 +00:00 |
|
John Wiegley
|
89720d851a
|
coqPackages_8_7: New expression, but don't make it the default yet
|
2017-10-22 12:43:27 -07:00 |
|
Vincent Laporte
|
5728b8d4e6
|
coqPackages.coquelicot: 2.1.2 -> 3.0.1
coqPackages.interval: 3.1.1 -> 3.3.0
|
2017-10-06 21:16:06 +00:00 |
|
Vincent Laporte
|
dedba2a32d
|
coqPackages.coquelicot: 2.1.1 -> 2.1.2
keeping old 2.1.1 version for Coq-8.4,
as newer versions of the library do not support older Coq versions
|
2017-02-11 14:02:19 +01:00 |
|
Vincent Laporte
|
e182ddf008
|
coqPackages.coquelicot: init at 2.1.1
Coquelicot is a Coq library for Reals.
Homepage: http://coquelicot.saclay.inria.fr/
|
2016-01-06 09:13:38 +01:00 |
|