9 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
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
Vincent Laporte	6113d95235	prooftree: cleaning	2018-10-11 05:59:21 +00:00
Théo Zimmermann	7ac0a23194	prooftree: 0.12 -> 0.13	2018-10-10 19:42:50 +02:00
Markus Kowalewski	258c202565	prooftree: add license	2018-09-08 14:44:43 +02:00
Silvan Mosberger	57bccb3cb8	treewide: http -> https sources (#42676) ... * treewide: http -> https sources This updates the source urls of all top-level packages from http to https where possible. * buildtorrent: fix url and tab -> spaces	2018-06-28 20:43:35 +02: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
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
John Wiegley	c6261157f8	prooftree: new expression 0.12	2014-06-08 05:35:49 +00:00