nixpkgs - Downstream nixpkgs tree for Spectrum

	Commit message (Expand)	Author	Age
*	coq: 8.13+beta1 -> 8.13.0 (#109479)	Jarl G. Taxerås Flaten	2021-02-03
*	treewide: update permanent url redirects	Sandro Jäckel	2021-01-30
*	lean: 3.25.0 -> 3.26.0	R. RyanTM	2021-01-29
*	Merge pull request #111003 from NieDzejkob/isabelle-vampire	Sandro	2021-01-28
\|\
\| *	isabelle: provide perl LWP for remote_vampire	Jakub Kądziołka	2021-01-28
* \|	saw-tools: update license (#110920)	Roland Coeurjoly	2021-01-27
\|/
*	treewide: remove implicit use of stdenv.lib	Ben Siraphob	2021-01-27
*	Merge pull request #110912 from siraben/stdenv-lib-inherit	Sandro	2021-01-27
\|\
\| *	treewide: remove inherited stdenv.lib	Ben Siraphob	2021-01-27
* \|	treewide: remove stdenv where not needed	Pavol Rusnak	2021-01-25
\|/
*	Merge pull request #110487 from r-ryantm/auto-update/lean	Mario Rodas	2021-01-24
\|\
\| *	lean: 3.24.0 -> 3.25.0	R. RyanTM	2021-01-22
* \|	treewide: fix double quoted strings in meta.description	volth	2021-01-24
\|/
*	acgtk: use dune install	sternenseemann	2021-01-21
*	treewide: editorconfig fixes	zowoq	2021-01-20
*	treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix	Jonathan Ringer	2021-01-19
*	elan: 0.10.2 -> 0.10.3	R. RyanTM	2021-01-18
*	treewide: stdenv.lib -> lib	Ben Siraphob	2021-01-16
*	fix mis-merge	Michael Raskin	2021-01-14
*	Merge branch 'master' into remove-opensmt	Michael Raskin	2021-01-14
\|\
\| *	treewide: with stdenv.lib; in meta -> with lib;	Profpatsch	2021-01-11
\| *	Merge branch 'master' into staging-next	Jan Tojnar	2021-01-10
\| \|\
\| \| *	Merge pull request #108507 from Ericson2314/ott-mode	John Ericson	2021-01-10
\| \| \|\
\| \| \| *	ott: Don't also install emacs mode	John Ericson	2021-01-05
\| * \| \|	Merge branch 'master' into staging-next	Michael Weiss	2021-01-09
\| \|\\| \|
\| \| * \|	coqPackages: refactor	Cyril Cohen	2021-01-09
\| * \| \|	Merge branch 'master' into staging-next	Jan Tojnar	2021-01-07
\| \|\\| \|
\| \| * \|	lean: 3.23.0 -> 3.24.0	Devon Richards	2021-01-06
\| \| \|/
\| * \|	treewide: remove enableParallelBuilding = true if using cmake	Ben Siraphob	2021-01-03
\| * \|	treewide: cmake buildInputs to nativeBuildInputs, minor cleanups	Ben Siraphob	2021-01-01
\| \|/
* /	opensmt: 20101017 -> 2.0.1	freezeboy	2021-01-01
\|/
*	cryptoverif: 2.03pl1 → 2.04	Vincent Laporte	2020-12-18
*	cryptoverif: fix search for default library	Vincent Laporte	2020-12-18
*	coq_8_12: 8.12.1 → 8.12.2	Vincent Laporte	2020-12-16
*	coq_8_13: init at 8.13+β1	Vincent Laporte	2020-12-15
*	cedille: 1.1.1 -> 1.1.2; fix build	Alyssa Ross	2020-12-10
*	clingo: 5.4.0 -> 5.4.1	R. RyanTM	2020-12-07
*	abc-verifier: 2020.06.22 -> 2020.11.24	Austin Seipp	2020-12-02
*	Merge pull request #100750 from arcz/boolector	Austin Seipp	2020-12-02
\|\
\| *	boolector: fix darwin build	Artur Cygan	2020-11-29
\| *	btor2tools: fix install_name on darwin	Artur Cygan	2020-11-29
* \|	proverif: install emacs mode	Vincent Laporte	2020-11-29
* \|	Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox	Sandro	2020-11-29
\|\ \ \| \|/ \|/\|
\| *	tlaplusToolbox: 1.6.0 -> 1.7.0	R. RyanTM	2020-07-07
* \|	z3: enable build on non-x86_64 unix; checked the build on aarch64-linux	Michael Raskin	2020-11-27
* \|	Merge pull request #105111 from r-ryantm/auto-update/workcraft	Sandro	2020-11-27
\|\ \
\| * \|	workcraft: 3.3.1 -> 3.3.2	R. RyanTM	2020-11-27
* \| \|	treewide: ran ./maintainers/scripts/update_redirected_urls.sh	Patrick Hilhorst	2020-11-27
* \| \|	Merge pull request #99761 from fgaz/key/init	Sandro	2020-11-25
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	key: init at 2.6.3	Francesco Gazzetta	2020-10-06