summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* coqPackages: remove duplication in mkCoqPackagesVincent Laporte2017-09-04
* coqPackages.QuickChick: fixVincent Laporte2017-09-02
* coqPackages.interval: fix URLVincent Laporte2017-08-11
* coqPackages.autosubst: fix hashVincent Laporte2017-07-28
* coqPackages_8_6.CoLoR: Fix installPhaseJohn Wiegley2017-07-18
* coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6John Wiegley2017-07-18
* coqPackages_8_6.CoLoR: new expression 1.3.0John Wiegley2017-07-18
* coqPackages.autosubst: New expressionJohn Wiegley2017-07-10
* coqPackages.QuickChick: 20170422 -> 20170710John Wiegley2017-07-10
* coqPackages.paco: 1.2.7 -> 1.2.8John Wiegley2017-07-10
* Use consistent package naming for HEAD.nix filesrht2017-05-09
* coq.QuickChick: Update to latest version that works with Coq 8.6John Wiegley2017-04-23
* coqPackages.interval: 2.2.1 -> 3.1.1Vincent Laporte2017-02-11
* coqPackages.coquelicot: 2.1.1 -> 2.1.2Vincent Laporte2017-02-11
* coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1Vincent Laporte2017-02-11
* coqPackages.math-classes: init at 2016-06-08Langston Barrett2017-01-27
* coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6Vincent Laporte2017-01-25
* coqPackages.flocq: 2.5.1 -> 2.5.2Vincent Laporte2017-01-14
* coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5}Vincent Laporte2017-01-14
* coqPackages.dpdgraph: 0.5 -> 0.6{,.1}Vincent Laporte2017-01-12
* coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflectJohn Wiegley2016-12-22
* coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2John Wiegley2016-10-31
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
* coq-dpdgraph: init at 0.5Vincent Laporte2016-05-03
* coq-ext-lib: 0.9.0-beta3 -> 0.9.3Vincent Laporte2016-04-12
* coqPackages.contribs.Bertrand: fix hashRobin Gloster2016-02-08
* Remove no longer (or never) referenced patchesTobias Geerinckx-Rice2016-01-24
* coq-interval: 2.1.0 -> 2.2.1Vincent Laporte2016-01-06
* coqPackages.coquelicot: init at 2.1.1Vincent Laporte2016-01-06
* coq-flocq: 2.5.0 -> 2.5.1Vincent Laporte2016-01-04
* Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"Vincent Laporte2016-01-04
* ssreflect, mathcomp: fix buildVincent Laporte2016-01-04
* coqPackages.mathcomp,ssreflect: 1.5 -> 1.6John Wiegley2015-12-20
* coqPackages.flocq: 2.4.0 -> 2.5.0John Wiegley2015-12-16
* coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0Vincent Laporte2015-12-03
* coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3Vincent Laporte2015-11-21
* coqPackages.ssreflect: add ncurses as a dependencyJohn Wiegley2015-10-31
* coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2Vincent Laporte2015-09-27
* coq-QuickChick: 21f50a02 -> 20150605Vincent Laporte2015-08-18
* coq-fiat: do not run tests on i686Vincent Laporte2015-07-09
* ssreflect, mathcomp: better package namesVincent Laporte2015-06-19
* coq-mathcomp: refactorVincent Laporte2015-06-19
* coq-ssreflect: refactorVincent Laporte2015-06-19
* coq-mathcomp: also build and install the documentationVincent Laporte2015-06-19
* coq-ssreflect: also build and install the documentationVincent Laporte2015-06-19
* coqPackages.fiat: disable parallel build to fix buildPascal Wittmann2015-06-10
* coq-tlc: fix packageVincent Laporte2015-06-02
* coq-coqeal: fix installationVincent Laporte2015-05-29
* bedrock: Change build to use "src native"John Wiegley2015-05-21
* coqPackages.QuickChick: New expressionJohn Wiegley2015-05-08
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-16 22:12:00 +0000