nixpkgs - Downstream nixpkgs tree for Spectrum

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