mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2020-02-27	mcy: init at 2020.02.05	Austin Seipp	1	-0/+41
2020-02-27	symbiyosys: fix calls to external programs	Austin Seipp	1	-12/+24
2020-02-26	lean: 3.5.1 -> 3.6.0	Mario Rodas	1	-2/+2
2020-02-19	elan: upgrade cargo fetcher and cargoSha256	Benjamin Hipple	1	-7/+4
2020-02-15	lean: 3.4.2 -> 3.5.1	Junyoung Clare Jang	1	-3/+4
2020-02-13	treewide: change fetchCargoTarball default to opt-out	Benjamin Hipple	1	-0/+3
2020-02-09	verifast: 18.02 -> 19.12	R. RyanTM	1	-2/+2
2020-02-09	Merge pull request #79479 from r-ryantm/auto-update/workcraft	Ryan Mulligan	1	-2/+2
2020-02-09	iprover: 2018_Jul_24_11h -> 3.1	Jannik Vierling	1	-3/+3
2020-02-08	symbiyosys: 2019.10.11 -> 2020.02.08	Emily	1	-5/+5
2020-02-07	workcraft: 3.1.9 -> 3.2.5	R. RyanTM	1	-2/+2
2020-02-01	abc-verifier: passthru rev	Florian Klink	1	-2/+6
2020-02-01	abc-verifier: 2018-07-08 -> 2020-01-11	Florian Klink	1	-3/+3
2020-01-31	coqPackages_8_11.coq: 8.11+β1 → 8.11.0	Vincent Laporte	1	-1/+1
2020-01-31	coq: disable CoqIDE on Darwin for Coq ≥ 8.10	Vincent Laporte	1	-1/+1
2020-01-30	saw-tools: use default llvm	Luka Blaskovic	1	-2/+2
2020-01-29	Merge pull request #78521 from r-ryantm/auto-update/ott	Mario Rodas	1	-2/+2
2020-01-26	ott: 0.29 -> 0.30	R. RyanTM	1	-2/+2
2020-01-21	Renamed maintainer lucas8 -> dwarfmaster	DwarfMaster	1	-1/+1
2019-12-31	treewide: NIX_*_COMPILE -> string	Robin Gloster	1	-2/+2
2019-12-30	Merge gcc-9 into staging (#68029)	Frederik Rietdijk	5	-112/+11
2019-12-30	treewide: replace make/build/configure/patchFlags with nix lists	Merijn Broeren	2	-2/+2
2019-12-30	minisat: 2.2.0 -> 2.2.1	Franz Pletz	5	-116/+11
2019-12-26	treewide: update which packages I'm currently maintaining	Maximilian Bosch	1	-1/+1
2019-12-26	Merge remote-tracking branch 'origin/master' into gcc-9	Franz Pletz	12	-18/+30
2019-12-20	treewide: fix cargoSha256 (again)	Alyssa Ross	1	-1/+1
2019-12-14	z3: 4.8.5 -> 4.8.7	Austin Seipp	1	-3/+3
2019-12-14	Merge pull request #75141 from vbgl/coq-8.11β1	Vincent Laporte	1	-0/+1
2019-12-12	btor2tools: correct meta information	Robert Scott	1	-2/+2
2019-12-12	boolector: add patch for CVE-2019-7560	Robert Scott	1	-1/+9
2019-12-08	lingeling: enable for darwin	Robert Scott	1	-1/+1
2019-12-08	aiger: enable for darwin	Robert Scott	1	-1/+1
2019-12-07	coq_8_11: init at 8.11+β1	Vincent Laporte	1	-0/+1
2019-12-04	symbiyosys: add yices dependency	Matt Huszagh	1	-1/+3
2019-12-03	coq_8_10: 8.10.1 → 8.10.2	Vincent Laporte	1	-0/+1
2019-11-27	Merge branch 'master' into staging-next	Jonathan Ringer	1	-1/+1
2019-11-25	coq: Fix setup hook	John Ericson	1	-1/+1
2019-11-19	Merge staging-next into staging	Frederik Rietdijk	1	-1/+1
2019-11-18	treewide: Get rid of libGLU_combined	adisbladis	1	-2/+2
2019-11-16	Treewide: fix URL permanent redirects	c0bw3b	1	-1/+1
2019-11-11	why3: 1.2.0 → 1.2.1	Vincent Laporte	1	-3/+3
2019-11-07	Merge pull request #70641 from maggesi/rename-z77z-into-maggesi	Matthew Bauer	1	-1/+1
2019-11-05	minisatUnstable: fix build with gcc9	Franz Pletz	1	-0/+2
2019-11-04	minisat: fix build with gcc9	Franz Pletz	1	-0/+2
2019-11-01	eprover: 2.3 -> 2.4	R. RyanTM	1	-2/+2
2019-10-25	coq_8_10: 8.10.0 → 8.10.1	Vincent Laporte	1	-0/+1
2019-10-25	coq_8_10: enable CoqIDE	Vincent Laporte	1	-1/+1
2019-10-23	ott: 0.28 -> 0.29	R. RyanTM	1	-2/+2
2019-10-19	symbiyosys: 2019.08.13 -> 2019.10.11	Emily	1	-3/+3
2019-10-16	coq_8_10: 8.10+β3 → 8.10.0	Vincent Laporte	1	-1/+1