7 commits

Author	SHA1	Message	Date
zowoq	ed2e74d9db	ocamlPackages.gmetadom: use patch file extension	2020-08-07 13:43:35 +10:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
John Ericson	531e4b80c9	misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs ... Only acts on one-line dependency lists.	2017-09-21 15:49:53 -04:00
Kirill Boltaev	3e646865f4	treewide: use ocaml.version (#19192)	2016-10-05 09:32:30 +02:00
Joachim Fasting	bf7ad2d84f	meta.description fixups ... Mostly scripted substitutions with a couple of subjective enhancements.	2015-04-30 18:17:42 +02:00
Mateusz Kowalczyk	7a45996233	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
Russell O'Connor	88ec92d14c	Matita and its dependencies. ... svn path=/nixpkgs/trunk/; revision=25328	2010-12-31 17:48:55 +00:00