Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | coqPackages_8_4.coquelicot: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_7: New expression, but don't make it the default yet | John Wiegley | 2017-10-22 |
| | |||
* | coqPackages.coquelicot: 2.1.2 -> 3.0.1 | Vincent Laporte | 2017-10-06 |
| | | | | coqPackages.interval: 3.1.1 -> 3.3.0 | ||
* | coqPackages.coquelicot: 2.1.1 -> 2.1.2 | Vincent Laporte | 2017-02-11 |
| | | | | | keeping old 2.1.1 version for Coq-8.4, as newer versions of the library do not support older Coq versions | ||
* | coqPackages.coquelicot: init at 2.1.1 | Vincent Laporte | 2016-01-06 |
Coquelicot is a Coq library for Reals. Homepage: http://coquelicot.saclay.inria.fr/ |