about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/gmetadom
AgeCommit message (Expand)AuthorFilesLines
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2016-10-05treewide: use ocaml.version (#19192)Kirill Boltaev1-5/+3
2015-04-30meta.description fixupsJoachim Fasting1-1/+1
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk1-1/+1
2010-12-31Matita and its dependencies.Russell O'Connor2-0/+54