nixpkgs - Downstream nixpkgs tree for Spectrum

	Commit message (Expand)	Author	Age
*	tamarin-prover: remove darwin from hydraPlatforms	Dennis Gosnell	2022-06-17
*	coq_8_16: init at 8.16+rc1	Pierre Roux	2022-06-08
*	alt-ergo: ensure compatibility with Menhir ≥ 20211215	Vincent Laporte	2022-06-05
*	treewide: set sourceProvenance for packages containing downloaded jars	Robert Scott	2022-06-04
*	coq: 8.15.1 → 8.15.2	Vincent Laporte	2022-06-03
*	Merge pull request #175700 from siraben/cvc4-darwin	Ben Siraphob	2022-06-01
\|\
\| *	cvc4: fix build on darwin	Ben Siraphob	2022-05-31
* \|	Merge pull request #164779 from collares/lean2	Ben Siraphob	2022-06-01
\|\ \ \| \|/ \|/\|
\| *	lean2: 2017-07-22 -> 2018-10-01, unbreak	Mauricio Collares	2022-05-21
* \|	treewide: pkgs/applications: mark broken for aarch64-linux	Rick van Schijndel	2022-05-30
* \|	treewide: pkgs/applications: mark broken for darwin	Rick van Schijndel	2022-05-29
* \|	aspino: mark broken for x86_64 Darwin	Rick van Schijndel	2022-05-29
* \|	ocamlPackages: rename sedlex_2 into sedlex	Vincent Laporte	2022-05-29
* \|	Merge pull request #175039 from azahi/clingcon-fix	Robert Scott	2022-05-28
\|\ \
\| * \|	clingcon: fix build	Azat Bahawi	2022-05-28
* \| \|	Merge pull request #174438 from r-ryantm/auto-update/clingo	7c6f434c	2022-05-28
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	clingo: 5.5.1 -> 5.5.2	R. Ryantm	2022-05-25
* \| \|	Merge pull request #173304 from IvarWithoutBones/bump/dotnetmodule	Sandro	2022-05-26
\|\ \ \
\| * \| \|	formula: update for dotnet 6	Ivar Scholten	2022-05-16
\| \| \|/ \| \|/\|
* \| \|	coqPackages: etc	Cyril Cohen	2022-05-25
\| \|/ \|/\|
* \|	Merge master into staging-next	github-actions[bot]	2022-05-22
\|\ \
\| * \|	zchaff: use clangStdenv	Ben Siraphob	2022-05-21
* \| \|	Merge master into staging-next	github-actions[bot]	2022-05-22
\|\\| \|
\| * \|	Merge pull request #173933 from siraben/zchaff-init	Ben Siraphob	2022-05-21
\| \|\ \
\| \| * \|	zchaff: init at 2004.5.13	Ben Siraphob	2022-05-21
\| \| \|/
* \| \|	Merge master into staging-next	github-actions[bot]	2022-05-19
\|\\| \|
\| * \|	Merge pull request #173172 from Artturin/deprecatestringconf	Sandro	2022-05-19
\| \|\ \
\| \| * \|	treewide: convert string configureFlags to list of strings	Artturin	2022-05-18
\| \| \|/
* \| \|	Merge master into staging-next	github-actions[bot]	2022-05-19
\|\\| \|
\| * \|	why3: 1.4.1 → 1.5.0	Vincent Laporte	2022-05-19
\| * \|	why3.withProvers: fix #168644	Vincent Laporte	2022-05-19
* \| \|	Merge master into staging-next	github-actions[bot]	2022-05-18
\|\\| \|
\| * \|	lean: 3.42.1 -> 3.43.0	Mauricio Collares	2022-05-18
\| * \|	lean: 3.42.0 -> 3.42.1	Mauricio Collares	2022-05-18
\| \|/
* \|	Merge staging-next into staging	github-actions[bot]	2022-05-13
\|\\|
\| *	aspino: 2017-03-09 -> 2018-03-24	Armeen Mahdian	2022-05-13
* \|	Merge staging-next into staging	github-actions[bot]	2022-05-13
\|\\|
\| *	Revert "coqPackages: etc"	Vincent Laporte	2022-05-13
\| *	Revert "moving findlib to propagedNativeBuildInputs"	Vincent Laporte	2022-05-13
* \|	Merge pull request #172366 from ncfavier/wrappers-cleanup	Thiago Kenji Okada	2022-05-12
\|\ \ \| \|/ \|/\|
\| *	makeShellWrapper: add explicitly named attribute	Naïm Favier	2022-05-12
\| *	makeWrapper,makeBinaryWrapper: introduce explicitly named functions	Naïm Favier	2022-05-10
* \|	Merge pull request #172641 from WolfangAukang/monosat-fix	Thiago Kenji Okada	2022-05-12
\|\ \
\| * \|	python3Packages.monosat: disable failing tests	P. R. d. O	2022-05-11
\| \|/
* \|	moving findlib to propagedNativeBuildInputs	Cyril Cohen	2022-05-12
* \|	coqPackages: etc	Cyril Cohen	2022-05-12
\|/
*	tlaplusToolbox: use non-binary wrapper for wrapGAppsHook	Dominik Xaver Hörl	2022-05-10
*	Merge pull request #163885 from r-ryantm/auto-update/ott	Lassulus	2022-05-10
\|\
\| *	ott: 0.31 -> 0.32	R. Ryantm	2022-03-12
* \|	Merge pull request #171602 from malob/treewide-mainProgram	Bernardo Meurer	2022-05-05
\|\ \