mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2018-07-05	eprover: 2.0 -> 2.1	Gabriel Ebner	1	-6/+2
2018-06-28	treewide: http -> https sources (#42676)	Silvan Mosberger	1	-1/+1
2018-02-14	eprover: fix build in non-GCC environments	Vincent Laporte	1	-1/+2
2017-09-05	eprover: 1.9.1 -> 2.0	Gabriel Ebner	1	-2/+2
2016-09-20	eprover: 1.9 -> 1.9.1	Gabriel Ebner	2	-33/+13
2016-02-29	eprover: fix build on Darwin	Vincent Laporte	1	-1/+7
2015-08-08	E prover: 1.8 -> 1.9	Michael Raskin	1	-4/+4
2015-07-05	E prover: switch to the new location	Michael Raskin	2	-2/+2
2015-06-25	E prover: do not build the manual	Vincent Laporte	1	-7/+3
2013-10-20	Updating EProver to 1.8	Michael Raskin	1	-4/+4
2013-04-21	Update E prover	Michael Raskin	1	-4/+4
2012-12-09	Update E prover	Michael Raskin	2	-0/+47