mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2022-09-29	licenses: remove gpl1	Weijia Wang	1	-1/+1
2021-11-09	fixup! prover9: convert patchPhase to postPatch, cleanup meta	Sandro Jäckel	1	-1/+1
2021-11-09	prover9: convert patchPhase to postPatch, cleanup meta	Sandro Jäckel	1	-5/+5
2021-11-07	pkgs/applications: rename name to pname&version part 2	Felix Buehler	1	-3/+4
2021-01-16	treewide: stdenv.lib -> lib	Ben Siraphob	1	-2/+2
2020-04-10	treewide: Per RFC45, remove all unquoted URLs	Michael Reilly	1	-2/+2
2019-12-30	treewide: replace make/build/configure/patchFlags with nix lists	Merijn Broeren	1	-1/+1
2019-07-10	treewide: fix redirect URLs	Ryan Mulligan	1	-1/+1
2018-06-28	treewide: http -> https sources (#42676)	Silvan Mosberger	1	-1/+1
2017-08-01	pkgs: refactor needless quoting of homepage meta attribute (#27809)	Silvan Mosberger	1	-1/+1
2016-09-01	Disable bunch of non-compiling packages on Darwin	Tuomas Tynkkynen	1	-1/+1
2016-03-05	Use general hardening flag toggle lists	Franz Pletz	1	-1/+1
2016-02-08	prover9: turn off format hardening	Robin Gloster	1	-1/+3
2013-10-06	More description fixes	Bjørn Forsman	1	-3/+1
2013-06-07	Add package versions to some of the packages or fix existing ones to conform ...	Evgeny Egorochkin	1	-1/+1
2012-01-18	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	Eelco Dolstra	1	-1/+1
2010-08-26	pkgs/applications/science/logic/prover9: fixed trivial syntax error	Peter Simons	1	-1/+1
2010-08-26	pkgs/applications/science/logic/prover9: updated homepage and license	Peter Simons	1	-2/+2
2010-08-26	pkgs/applications/science/logic/prover9: initial version	Peter Simons	1	-0/+45