| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-12-08 | Adds coq-interval | Vincent Laporte |
| 2014-12-07 | coq-flocq: license | Vincent Laporte |
| 2014-12-04 | coqPackages.coqeal: new expression | John Wiegley |
| 2014-11-12 | coqPackages.unimath: new expression | John Wiegley |
| 2014-10-21 | coqPackages.flocq: new expression | John Wiegley |
| 2014-10-13 | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley |
| 2014-10-11 | 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-01 | coq-containers: package is broken | Vincent Laporte |
| 2014-09-28 | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |