| Commit message (Expand) | Author | Age |
* | coq-interval: 2.1.0 -> 2.2.1 | Vincent Laporte | 2016-01-06 |
* | coqPackages.coquelicot: init at 2.1.1 | Vincent Laporte | 2016-01-06 |
* | coq-flocq: 2.5.0 -> 2.5.1 | Vincent Laporte | 2016-01-04 |
* | Revert "coqPackages.flocq: 2.4.0 -> 2.5.0" | Vincent Laporte | 2016-01-04 |
* | ssreflect, mathcomp: fix build | Vincent Laporte | 2016-01-04 |
* | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 2015-12-20 |
* | coqPackages.flocq: 2.4.0 -> 2.5.0 | John Wiegley | 2015-12-16 |
* | coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0 | Vincent Laporte | 2015-12-03 |
* | coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3 | Vincent Laporte | 2015-11-21 |
* | coqPackages.ssreflect: add ncurses as a dependency | John Wiegley | 2015-10-31 |
* | coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2 | Vincent Laporte | 2015-09-27 |
* | coq-QuickChick: 21f50a02 -> 20150605 | Vincent Laporte | 2015-08-18 |
* | coq-fiat: do not run tests on i686 | Vincent Laporte | 2015-07-09 |
* | ssreflect, mathcomp: better package names | Vincent Laporte | 2015-06-19 |
* | coq-mathcomp: refactor | Vincent Laporte | 2015-06-19 |
* | coq-ssreflect: refactor | Vincent Laporte | 2015-06-19 |
* | coq-mathcomp: also build and install the documentation | Vincent Laporte | 2015-06-19 |
* | coq-ssreflect: also build and install the documentation | Vincent Laporte | 2015-06-19 |
* | coqPackages.fiat: disable parallel build to fix build | Pascal Wittmann | 2015-06-10 |
* | coq-tlc: fix package | Vincent Laporte | 2015-06-02 |
* | coq-coqeal: fix installation | Vincent Laporte | 2015-05-29 |
* | bedrock: Change build to use "src native" | John Wiegley | 2015-05-21 |
* | coqPackages.QuickChick: New expression | John Wiegley | 2015-05-08 |
* | meta.description fixups | Joachim Fasting | 2015-04-30 |
* | Fixed some descriptions | Pascal Wittmann | 2015-04-28 |
* | coq_8_5: New expression | John Wiegley | 2015-04-26 |
* | bedrock: Don't bulid Cito without the platform | John Wiegley | 2015-04-10 |
* | coq-contribs: fix various packages | Vincent Laporte | 2015-03-01 |
* | coqPackages: add contribs (close #5242) | Vincent Laporte | 2015-01-25 |
* | coq-containers: remove | Vincent Laporte | 2015-01-25 |
* | coqPackages.fiat: enable building the examples as a test | John Wiegley | 2015-01-09 |
* | coqPackages.fiat: correct installation directory | John Wiegley | 2015-01-09 |
* | coqPackages.fiat: new expression | John Wiegley | 2015-01-09 |
* | Adds coq-interval | Vincent Laporte | 2014-12-08 |
* | coq-flocq: license | Vincent Laporte | 2014-12-07 |
* | coqPackages.coqeal: new expression | John Wiegley | 2014-12-04 |
* | coqPackages.unimath: new expression | John Wiegley | 2014-11-12 |
* | coqPackages.flocq: new expression | John Wiegley | 2014-10-21 |
* | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley | 2014-10-13 |
* | coqPackages.domains: new expression | John Wiegley | 2014-10-11 |
* | coqPackages.ynot: remove broken tag | John Wiegley | 2014-10-11 |
* | coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions | John Wiegley | 2014-10-11 |
* | coqPackages.bedrock: new expression | John Wiegley | 2014-10-11 |
* | coqPackages.tlc: new expression | John Wiegley | 2014-10-11 |
* | coqPackages.containers: set broken to false | John Wiegley | 2014-10-11 |
* | coqPackages.containers: correct sha256 for the tarball | John Wiegley | 2014-10-11 |
* | coq-containers: package is broken | Vincent Laporte | 2014-10-01 |
* | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte | 2014-09-28 |