Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-08-07 | ocamlPackages.gmetadom: use patch file extension | zowoq | 1 | -1/+1 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
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-04-30 | meta.description fixups | Joachim Fasting | 1 | -1/+1 |
2014-07-28 | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 1 | -1/+1 |
2010-12-31 | Matita and its dependencies. | Russell O'Connor | 1 | -0/+36 |