Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
Vincent Laporte
|
58e0c7b8ce
|
coqPackages.coquelicot: 3.0.2 -> 3.0.3
Ensures compatibility with Coq 8.10
|
2019-08-03 06:16:54 +00:00 |
|
Vincent Laporte
|
9461a108bc
|
coqPackages.coquelicot: 3.0.1 -> 3.0.2
|
2019-02-15 10:03:39 +01:00 |
|
John Ericson
|
db965063b3
|
treewide: Make configureFlags lists
|
2018-08-03 17:06:03 -04:00 |
|
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 |
|