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