Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 | Vincent Laporte | 2017-02-11 |
| | |||
* | coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 | Vincent Laporte | 2017-01-25 |
| | | | | | | by adding `findlib` as a build input. Also clean `default.nix` a little bit. | ||
* | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect | John Wiegley | 2016-12-22 |
| | | | | Addresses #14829 | ||
* | ssreflect, mathcomp: fix build | Vincent Laporte | 2016-01-04 |
| | |||
* | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 2015-12-20 |
| | | | | | | See the INSTALL file in the mathcomp package for instructions on upgrading projects from 1.5 to 1.6. The 1.6 version works with both Coq 8.4 and 8.5. | ||
* | ssreflect, mathcomp: better package names | Vincent Laporte | 2015-06-19 |
| | |||
* | coq-mathcomp: refactor | Vincent Laporte | 2015-06-19 |
| | |||
* | coq-mathcomp: also build and install the documentation | Vincent Laporte | 2015-06-19 |
| | |||
* | coq_8_5: New expression | John Wiegley | 2015-04-26 |
| | |||
* | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley | 2014-10-13 |
| | |||
* | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte | 2014-09-28 |
Containers is a reimplementation of the FSets/FMaps library from the standard library, using typeclasses. Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4 The Mathematical Components (mathcomp) contains advanced theory files covering a wide spectrum of mathematics. Homepage: http://ssr.msr-inria.inria.fr/ Ssreflect is a proof language (plugin for Coq) and a small set of core theory libraries about boolean, natural numbers, sequences, decidable equality and finite types. Homepage: http://ssr.msr-inria.inria.fr/ |