mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2023-02-03	treewide: add strictDeps = true to most packages depending on ocaml	Ulrik Strid	1	-1/+4
2021-01-24	treewide: fix double quoted strings in meta.description	volth	1	-1/+1
2021-01-11	treewide: with stdenv.lib; in meta -> with lib;	Profpatsch	1	-2/+2
2020-04-10	treewide: Per RFC45, remove all unquoted URLs	Michael Reilly	1	-1/+1
2020-02-09	iprover: 2018_Jul_24_11h -> 3.1	Jannik Vierling	1	-3/+3
2019-08-15	treewide: name -> pname (easy cases) (#66585)	volth	1	-3/+3
2019-01-16	treewide: use ${stdenv.shell} instead of /bin/sh where possible	rnhmjoj	1	-1/+1
2018-11-21	iprover: 2.5 -> 2018_Jul_24_11h	Gabriel Ebner	1	-3/+3
2017-07-17	iprover: 0.8.1 -> 2.5	Gabriel Ebner	1	-10/+7
2015-11-24	iprover: reimplement using mkDerivation	Joachim Fasting	1	-41/+19
2014-07-28	Fix broken license references.	Peter Simons	1	-5/+6
2014-07-28	Turn some license strings into lib.licenses values	Mateusz Kowalczyk	1	-2/+1
2013-06-07	Add package versions to some of the packages or fix existing ones to conform ...	Evgeny Egorochkin	1	-1/+1
2013-01-14	Fix bad URLs lacking a scheme	Eelco Dolstra	1	-1/+1
2012-01-18	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	Eelco Dolstra	1	-2/+2
2010-12-04	Adding iProver	Michael Raskin	1	-0/+58