mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2019-08-15	treewide: name -> pname (easy cases) (#66585)	volth	1	-1/+1
2018-06-28	treewide: http -> https sources (#42676)	Silvan Mosberger	1	-1/+1
2016-07-31	leo2: remove use of `builderDefsPackage` (#17398)	Robert Helgesson	1	-49/+22
2016-05-09	Fix some URLs that lacked a URI scheme	Eelco Dolstra	1	-1/+1
2014-12-21	Fix license attribute of many bsd-like licensed packages	Pascal Wittmann	1	-1/+1
2014-08-12	Update and fix LEO2 prover	Michael Raskin	2	-10/+18
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	-3/+3
2011-08-05	Update LEO-II	Michael Raskin	1	-2/+2
2010-12-01	Adding LEO2 automated higher-order prover	Michael Raskin	1	-0/+62