Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-09-21 | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` | John Ericson | 1 | -1/+2 |
2016-10-05 | treewide: use ocaml.version (#19192) | Kirill Boltaev | 1 | -5/+3 |
2015-01-07 | ocaml lablgtkmathview: mark as broken | Pavan Rikhi | 1 | -0/+1 |
2014-07-28 | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 1 | -1/+1 |
2012-11-29 | Remove a bunch of unreferenced files | Eelco Dolstra | 1 | -14/+0 |
2012-01-18 | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 1 | -1/+1 |
2010-12-31 | Matita and its dependencies. | Russell O'Connor | 2 | -0/+54 |