Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | coqPackages.tlc: init at 20171206 | Vincent Laporte | 2017-12-28 |
| | | | | | | | TLC is a general purpose Coq library that provides an alternative to Coq's standard library. Homepage: http://www.chargueraud.org/softs/tlc/ | ||
* | coqPackages.contribs.containers: fix url | Vincent Laporte | 2017-12-22 |
| | |||
* | coqPackages.contribs: new set with all packages from coq-contribs | John Wiegley | 2017-12-21 |
| | |||
* | coqPackages.equations: -> 1.0 | John Wiegley | 2017-12-21 |
| | |||
* | coqPackages.multinomials: init at 1.0 | Vincent Laporte | 2017-12-18 |
| | |||
* | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 2017-12-18 |
| | |||
* | coqPackages.coq-haskell: Update to add Hask.Ssr module | John Wiegley | 2017-12-15 |
| | |||
* | coqPackages.category-theory: New expression | John Wiegley | 2017-12-14 |
| | |||
* | coqPackages.coq-haskell: New expression | John Wiegley | 2017-12-14 |
| | |||
* | coqPackages_8_7.QuickChick: update to latest master | John Wiegley | 2017-12-12 |
| | |||
* | coqPackages_8_4.contribs: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.ynot: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.unimath: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.tlc: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.ssreflect: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.QuickChick: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.mathcomp: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.interval: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.fiat: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.domains: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.coquelicot: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.coqeal: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.coqExtLib: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.bedrock: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages.interval: make bignums optional and propagated | Vincent Laporte | 2017-11-13 |
| | |||
* | 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 |
| | | | | This version introduces compatibility with Coq 8.7. | ||
* | bignums: init at various versions | Théo Zimmermann | 2017-11-05 |
| | | | | | Bignums used to be part of the standard library of Coq. We provide a version for Coq 8.6, and one for Coq 8.7. | ||
* | coqPackages.dpdgraph: remove support for coq 8.7 | Maxime Dénès | 2017-10-30 |
| | | | | | coqPackages_8_7.dpdgraph won't build since Coq 8.7.0 is not yet supported upstream. | ||
* | Merge pull request #30708 from maximedenes/fix-quickchick | John Wiegley | 2017-10-26 |
|\ | | | | | coqPackages.QuickChick: remove support for coq 8.7 | ||
| * | coqPackages.QuickChick: remove support for coq 8.7 | Maxime Dénès | 2017-10-23 |
| | | | | | | | | | | coqPackages_8_7.QuickChick won't build since Coq 8.7.0 is not yet supported upstream. | ||
* | | 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 |
|\ | | | | | | | Hydra: ?compare=1399476 | ||
| * | coqPackages.coquelicot: 2.1.2 -> 3.0.1 | Vincent Laporte | 2017-10-06 |
| | | | | | | | | coqPackages.interval: 3.1.1 -> 3.3.0 | ||
* | | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` | John Ericson | 2017-09-21 |
|/ | | | | Only acts on one-line dependency lists. | ||
* | coqPackages: remove duplication in mkCoqPackages | Vincent Laporte | 2017-09-04 |
| | |||
* | coqPackages.QuickChick: fix | Vincent Laporte | 2017-09-02 |
| | | | | | | | | Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy with the corresponding versions of Coq. Use a two month old version with Coq-8.6 to avoid issue #45: https://github.com/QuickChick/QuickChick/issues/45 |