| Commit message (Expand) | Author | Age |
... | |
* | coqPackages.interval: Add bignums, now a required dependency | John Wiegley | 2017-11-12 |
* | coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7 | John Wiegley | 2017-11-12 |
* | coqPackages.metalib: New expression | John Wiegley | 2017-11-12 |
* | Add missing default.nix for coqPackages.equations | John Wiegley | 2017-11-12 |
* | coqPackages.QuickChick: Update build for Coq 8.6 and 8.7 | John Wiegley | 2017-11-12 |
* | coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7 | John Wiegley | 2017-11-12 |
* | coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7 | John Wiegley | 2017-11-12 |
* | coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7 | John Wiegley | 2017-11-11 |
* | Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4" | Tim Steinbach | 2017-11-07 |
* | coqPackages.ssreflect: 1.6.1 -> 1.6.4 | Maxime Dénès | 2017-11-07 |
* | coqPackages.mathcomp: 1.6.1 -> 1.6.4 | Maxime Dénès | 2017-11-07 |
* | coqPackages.math-classes: 1.0.6 -> 1.0.7 | Théo Zimmermann | 2017-11-05 |
* | bignums: init at various versions | Théo Zimmermann | 2017-11-05 |
* | coqPackages.dpdgraph: remove support for coq 8.7 | Maxime Dénès | 2017-10-30 |
* | Merge pull request #30708 from maximedenes/fix-quickchick | John Wiegley | 2017-10-26 |
|\ |
|
| * | coqPackages.QuickChick: remove support for coq 8.7 | Maxime Dénès | 2017-10-23 |
* | | coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6 | Vincent Laporte | 2017-10-22 |
|/ |
|
* | coqPackages_8_7: New expression, but don't make it the default yet | John Wiegley | 2017-10-22 |
* | coqPackages.flocq: 2.5.2 -> 2.6.0 | Vincent Laporte | 2017-10-18 |
* | coqPackages.HoTT: init at 20170921 | Langston Barrett | 2017-10-11 |
* | Merge branch 'master' into staging | Vladimír Čunát | 2017-10-07 |
|\ |
|
| * | coqPackages.coquelicot: 2.1.2 -> 3.0.1 | Vincent Laporte | 2017-10-06 |
* | | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` | John Ericson | 2017-09-21 |
|/ |
|
* | coqPackages: remove duplication in mkCoqPackages | Vincent Laporte | 2017-09-04 |
* | coqPackages.QuickChick: fix | Vincent Laporte | 2017-09-02 |
* | coqPackages.interval: fix URL | Vincent Laporte | 2017-08-11 |
* | coqPackages.autosubst: fix hash | Vincent Laporte | 2017-07-28 |
* | coqPackages_8_6.CoLoR: Fix installPhase | John Wiegley | 2017-07-18 |
* | coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6 | John Wiegley | 2017-07-18 |
* | coqPackages_8_6.CoLoR: new expression 1.3.0 | John Wiegley | 2017-07-18 |
* | coqPackages.autosubst: New expression | John Wiegley | 2017-07-10 |
* | coqPackages.QuickChick: 20170422 -> 20170710 | John Wiegley | 2017-07-10 |
* | coqPackages.paco: 1.2.7 -> 1.2.8 | John Wiegley | 2017-07-10 |
* | Use consistent package naming for HEAD.nix files | rht | 2017-05-09 |
* | coq.QuickChick: Update to latest version that works with Coq 8.6 | John Wiegley | 2017-04-23 |
* | coqPackages.interval: 2.2.1 -> 3.1.1 | Vincent Laporte | 2017-02-11 |
* | coqPackages.coquelicot: 2.1.1 -> 2.1.2 | Vincent Laporte | 2017-02-11 |
* | coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 | Vincent Laporte | 2017-02-11 |
* | coqPackages.math-classes: init at 2016-06-08 | Langston Barrett | 2017-01-27 |
* | coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 | Vincent Laporte | 2017-01-25 |
* | coqPackages.flocq: 2.5.1 -> 2.5.2 | Vincent Laporte | 2017-01-14 |
* | coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5} | Vincent Laporte | 2017-01-14 |
* | coqPackages.dpdgraph: 0.5 -> 0.6{,.1} | Vincent Laporte | 2017-01-12 |
* | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect | John Wiegley | 2016-12-22 |
* | coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2 | John Wiegley | 2016-10-31 |
* | Fix lots of fetchgit hashes (fallout from #15469) | Tuomas Tynkkynen | 2016-06-03 |
* | coq-dpdgraph: init at 0.5 | Vincent Laporte | 2016-05-03 |
* | coq-ext-lib: 0.9.0-beta3 -> 0.9.3 | Vincent Laporte | 2016-04-12 |
* | coqPackages.contribs.Bertrand: fix hash | Robin Gloster | 2016-02-08 |
* | Remove no longer (or never) referenced patches | Tobias Geerinckx-Rice | 2016-01-24 |