| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | 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 | |