nixpkgs - Downstream nixpkgs tree for Spectrum

	Commit message (Expand)	Author	Age
*	lingeling: enable for darwin	Robert Scott	2019-12-08
*	aiger: enable for darwin	Robert Scott	2019-12-08
*	kssd: init at 1.0	Renato Alves	2019-12-08
*	eagle: 9.5.0 -> 9.5.1	R. RyanTM	2019-12-08
*	svaba: init at 1.1.0	scalavision	2019-12-08
*	Merge pull request #75245 from r-ryantm/auto-update/jmol	markuskowa	2019-12-08
\|\
\| *	jmol: 14.29.55 -> 14.30.0	R. RyanTM	2019-12-08
* \|	geogebra: 5-0-560-0 -> 5-0-569-0	Maximilian Bosch	2019-12-08
* \|	giac-with-xcas: fix build	Jonathan Ringer	2019-12-07
* \|	NetLogo: 6.0.4 -> 6.1.1	Calvin Pritchard	2019-12-07
* \|	marvin: 19.1.0 -> 19.23.0	R. RyanTM	2019-12-07
* \|	Merge pull request #75095 from tbenst/bftools	Mario Rodas	2019-12-07
\|\ \ \| \|/ \|/\|
\| *	bftools: 5.9.2 -> 6.3.0	Tyler Benster	2019-12-06
* \|	Remove myself (fuuzetsu) from maintainer lists	Mateusz Kowalczyk	2019-12-05
* \|	symbiyosys: add yices dependency	Matt Huszagh	2019-12-04
* \|	gildas: 20191001_a -> 20191201_a (#73041)	Sébastien Maret	2019-12-04
* \|	Merge pull request #74945 from timokau/sage-no-timeout	Timo Kaufmann	2019-12-04
\|\ \
\| * \|	sage: disable test timeout	Timo Kaufmann	2019-12-01
* \| \|	coq_8_10: 8.10.1 → 8.10.2	Vincent Laporte	2019-12-03
* \| \|	paml: 4.9i -> 4.9j	R. RyanTM	2019-12-01
* \| \|	dconf: move to top-level	Jan Tojnar	2019-12-01
* \| \|	verilator: 4.020 -> 4.022	R. RyanTM	2019-11-30
* \| \|	gtkwave: 3.3.102 -> 3.3.103	R. RyanTM	2019-12-01
* \| \|	kallisto: 0.46.0 -> 0.46.1 (#74430)	R. RyanTM	2019-11-30
* \| \|	Merge branch 'master' into staging-next	Jan Tojnar	2019-11-30
\|\ \ \
\| * \| \|	picard-tools: 2.21.1 -> 2.21.3 (#74528)	R. RyanTM	2019-11-30
\| \|/ /
* \| \|	Merge master into staging-next	Frederik Rietdijk	2019-11-30
\|\\| \|
\| * \|	Merge pull request #74412 from r-ryantm/auto-update/hmmer	Ryan Mulligan	2019-11-28
\| \|\ \
\| \| * \|	hmmer: 3.2.1 -> 3.3	R. RyanTM	2019-11-27
\| \| \|/
* \| \|	Merge branch 'master' into staging-next	Jonathan Ringer	2019-11-27
\|\\| \|
\| * \|	Merge pull request #74092 from veprbl/pr/applgrid_fix	Matthew Bauer	2019-11-25
\| \|\ \
\| \| * \|	root: fix setupHook to work with "set -u"	Dmitry Kalinkin	2019-11-24
\| \| \|/
\| * /	coq: Fix setup hook	John Ericson	2019-11-25
\| \|/
* \|	Merge staging-next into staging	Frederik Rietdijk	2019-11-24
\|\\|
\| *	golly: fix build	Michael Raskin	2019-11-22
\| *	freebayes: 2017-08-23 -> 1.3.1 (2019-06-03)	Kai Wohlfahrt	2019-11-20
* \|	Merge staging-next into staging	Frederik Rietdijk	2019-11-19
\|\\|
\| *	Merge pull request #73447 from yrashk/streamlit-0.50.2	Mario Rodas	2019-11-16
\| \|\
\| \| *	streamlit: 0.49.0 -> 0.50.2	Yurii Rashkovskii	2019-11-15
\| * \|	Treewide: fix URL permanent redirects	c0bw3b	2019-11-16
\| * \|	nifticlib and niftseg: change platform from linux to unix sinc… (#73442)	Jörg Thalheim	2019-11-15
\| \|\ \ \| \| \|/ \| \|/\|
\| \| *	nifticlib and niftseg: change platform from linux to unix since these build o...	Ben Darwin	2019-11-14
* \| \|	treewide: Get rid of libGLU_combined	adisbladis	2019-11-18
\|/ /
* /	mathematica: fix version issue with zlib (#73425)	Guanpeng Xu	2019-11-14
\|/
*	snakemake: 5.4.4 -> 5.7.4 (#72929)	Dmitry Kalinkin	2019-11-13
*	Merge pull request #73215 from vbgl/why3-1.2.1	Renaud	2019-11-13
\|\
\| *	why3: 1.2.0 → 1.2.1	Vincent Laporte	2019-11-11
* \|	eagle: use mkDerivation provided by qt5	Dmitry Kalinkin	2019-11-12
\|/
*	Merge pull request #70641 from maggesi/rename-z77z-into-maggesi	Matthew Bauer	2019-11-07
\|\
\| *	Merge branch 'master' into rename-z77z-into-maggesi	Marco Maggesi	2019-10-13
\| \|\