Commit Graph

2 Commits

Author SHA1 Message Date
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