9 commits

Author	SHA1	Message	Date
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +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
Dan Peebles	f285ce8fed	twelf: fix emacs mode	2016-09-08 23:12:32 -04:00
Ben Darwin	54dab782be	twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd	2015-03-31 01:11:57 -04:00
Mateusz Kowalczyk	007f80c1d0	Turn more licenses into lib.licenses style ... Should eval cleanly, as far as -A tarball tells me. Relevant: issue #2999, issue #739	2014-11-06 00:48:16 +00:00
Bjørn Forsman	c9baba9212	Fix many package descriptions ... (My OCD kicked in today...) Remove repeated package names, capitalize first word, remove trailing periods and move overlong descriptions to longDescription. I also simplified some descriptions as well, when they were particularly long or technical, often based on Arch Linux' package descriptions. I've tried to stay away from generated expressions (and I think I succeeded). Some specifics worth mentioning: * cron, has "Vixie Cron" in its description. The "Vixie" part is not mentioned anywhere else. I kept it in a parenthesis at the end of the description. * ctags description started with "Exuberant Ctags ...", and the "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis at the end of description. * nix has the description "The Nix Deployment System". Since that doesn't really say much what it is/does (especially after removing the package name!), I changed that to "Powerful package manager that makes package management reliable and reproducible" (borrowed from nixos.org). * Tons of "GNU Foo, Foo is a [the important bits]" descriptions is changed to just [the important bits]. If the package name doesn't contain GNU I don't think it's needed to say it in the description either.	2014-08-24 22:31:37 +02:00
Eelco Dolstra	4f7289eec9	Don't use ensureDir	2014-07-22 11:01:32 +02:00
John Wiegley	34de04149e	twelf: Fix the source URL	2014-06-27 10:46:24 -07:00
John Wiegley	ad96cc8bf9	twelf: new expression; prover for PL theory and logic	2014-06-26 15:54:45 -07:00