summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
...
* coqPackages_8_4.ssreflect: removeVincent Laporte2017-12-02
* coqPackages_8_4.QuickChick: removeVincent Laporte2017-12-02
* coqPackages_8_4.mathcomp: removeVincent Laporte2017-12-02
* coqPackages_8_4.interval: removeVincent Laporte2017-12-02
* coqPackages_8_4.fiat: removeVincent Laporte2017-12-02
* coqPackages_8_4.domains: removeVincent Laporte2017-12-02
* coqPackages_8_4.coquelicot: removeVincent Laporte2017-12-02
* coqPackages_8_4.coqeal: removeVincent Laporte2017-12-02
* coqPackages_8_4.coqExtLib: removeVincent Laporte2017-12-02
* coqPackages_8_4.bedrock: removeVincent Laporte2017-12-02
* coqPackages.interval: make bignums optional and propagatedVincent Laporte2017-11-13
* coqPackages.interval: Add bignums, now a required dependencyJohn Wiegley2017-11-12
* coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7John Wiegley2017-11-12
* coqPackages.metalib: New expressionJohn Wiegley2017-11-12
* Add missing default.nix for coqPackages.equationsJohn Wiegley2017-11-12
* coqPackages.QuickChick: Update build for Coq 8.6 and 8.7John Wiegley2017-11-12
* coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7John Wiegley2017-11-12
* coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7John Wiegley2017-11-12
* coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7John Wiegley2017-11-11
* Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"Tim Steinbach2017-11-07
* coqPackages.ssreflect: 1.6.1 -> 1.6.4Maxime Dénès2017-11-07
* coqPackages.mathcomp: 1.6.1 -> 1.6.4Maxime Dénès2017-11-07
* coqPackages.math-classes: 1.0.6 -> 1.0.7Théo Zimmermann2017-11-05
* bignums: init at various versionsThéo Zimmermann2017-11-05
* coqPackages.dpdgraph: remove support for coq 8.7Maxime Dénès2017-10-30
* Merge pull request #30708 from maximedenes/fix-quickchickJohn Wiegley2017-10-26
|\
| * coqPackages.QuickChick: remove support for coq 8.7Maxime Dénès2017-10-23
* | coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6Vincent Laporte2017-10-22
|/
* coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley2017-10-22
* coqPackages.flocq: 2.5.2 -> 2.6.0Vincent Laporte2017-10-18
* coqPackages.HoTT: init at 20170921Langston Barrett2017-10-11
* Merge branch 'master' into stagingVladimír Čunát2017-10-07
|\
| * coqPackages.coquelicot: 2.1.2 -> 3.0.1Vincent Laporte2017-10-06
* | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
|/
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-01 03:13:21 +0000