mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2024-05-02	eprover: 3.0.03 -> 3.1	R. Ryantm	1	-2/+2
2023-12-09	eprover: 3.0 -> 3.0.03	R. Ryantm	1	-2/+2
2023-11-17	eprover: update hash - target modified inplace	annalee	1	-1/+1
2023-11-15	eprover: 2.6 -> 3.0	R. Ryantm	1	-2/+2
2022-01-02	eprover: Add option to enable LFHOL reasoning	Jan van Brügge	1	-1/+3
2021-06-23	eprover: 2.5 -> 2.6	R. RyanTM	1	-2/+2
2021-01-11	treewide: with stdenv.lib; in meta -> with lib;	Profpatsch	1	-2/+2
2020-07-31	eprover: 2.4 -> 2.5	R. RyanTM	1	-2/+2
2020-04-10	treewide: Per RFC45, remove all unquoted URLs	Michael Reilly	1	-1/+1
2019-11-01	eprover: 2.3 -> 2.4	R. RyanTM	1	-2/+2
2019-08-15	treewide: name -> pname (easy cases) (#66585)	volth	1	-1/+1
2019-04-30	eprover: 2.2 -> 2.3	R. RyanTM	1	-2/+2
2018-11-07	eprover: 2.1 -> 2.2	Gabriel Ebner	1	-2/+2
2018-08-03	treewide: Make configureFlags lists	John Ericson	1	-1/+4
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	1	-30/+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	1	-1/+1
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	1	-0/+44