Michael Raskin 20b6b3cf0e clingo: init at 5.2.2 ... Note that clasp (included in clingo) is already packaged separately, but only an earlier version. As it is used by OPAM, but will stop being used by OPAM later (and I want to grab the name for Clasp the Common Lisp implementation), I decided to package clingo as a whole (as recommended), but to leave clasp until OPAM stops needing it.		2017-11-10 14:04:32 +01:00
..
abc	abc-verifier: fix typo in meta	2017-07-15 09:27:41 +02:00
abella	abella: 2.0.2 -> 2.0.4	2017-10-16 02:39:16 +02:00
acgtk	acgtk: fix homepage url	2017-08-17 15:04:37 -07:00
aiger	aiger: fix stupid incorrect download link	2017-10-16 13:01:51 -05:00
alt-ergo	alt-ergo: use https instead of http to fetch archive	2017-08-13 13:26:30 +02:00
aspino	aspino: patch to use c++ instead of g++	2016-08-10 22:29:18 -05:00
avy	nixpkgs: add 'avy' -- property directed AIGER model checking	2017-10-16 12:01:17 -05:00
boolector	boolector: 1.{5,6} -> 2.4.1	2017-07-18 23:50:31 +02:00
coq	coqPackages_8_7: New expression, but don't make it the default yet	2017-10-22 12:43:27 -07:00
coq2html	coq2html: New expression	2017-08-01 09:30:20 -07:00
cryptominisat	cryptominisat: use new xxd package instead of vim	2017-07-24 09:37:58 +08:00
cryptoverif	cryptoverif: init at 1.22	2016-06-28 04:37:29 +00:00
cubicle	cubicle: 1.0.2 -> 1.1.1	2017-10-11 07:38:27 +00:00
cvc3	cvc3: Add gcc6 patch from Gentoo.	2017-08-29 13:48:09 -05:00
cvc4	cvc4: unstable-2017-05-18 -> 1.5	2017-11-05 12:49:38 -06:00
ekrhyper	Update EKRHyper	2014-03-08 21:12:59 +04:00
eprover	eprover: 1.9.1 -> 2.0	2017-09-05 13:59:07 +02:00
gappa	Adds gappa 1.2.0	2015-05-25 19:32:09 +02:00
glucose	glucose, glucose-syrup: 4.0 -> 4.1	2017-11-08 09:55:29 +01:00
hol	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
hol_light	hol_light: 2016-07-23 -> 2017-07-06	2017-07-08 06:14:43 +00:00
iprover	iprover: 0.8.1 -> 2.5	2017-07-17 22:45:27 +01:00
isabelle	isabelle: 2016-1 -> 2017	2017-10-10 11:18:57 +02:00
jonprl	darwin: Disable yet another bunch of packages never having built successfully	2017-09-22 21:16:39 +03:00
lci	Don't use "with licenses;" for single licences	2015-05-28 19:20:29 +02:00
lean	lean: 3.2.0 -> 3.3.0	2017-09-15 08:48:02 +02:00
lean2	meson/ninja: add setup hooks (#28444)	2017-08-27 19:42:21 +02:00
leo2	leo2: remove use of builderDefsPackage (#17398)	2016-07-31 13:57:29 +02:00
logisim	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
ltl2ba	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-07-15 14:41:01 +00:00
matita	treewide: use ocaml.version (#19192)	2016-10-05 09:32:30 +02:00
mcrl2	Revert "mcrl2: force use of gcc5 to prevent compilation errors"	2017-09-15 21:51:35 +02:00
metis-prover	metis-prover: 2.3.20160102 -> 2.3.20160713	2016-07-21 18:41:26 +02:00
minisat	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
open-wbo	open-wbo: init at 2.0	2017-08-20 10:19:46 +02:00
opensmt	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
ott	misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs	2017-09-21 15:49:53 -04:00
otter	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-05-02 22:58:02 +00:00
picosat	picosat: install more stuff	2017-10-16 12:01:17 -05:00
poly	libpoly: 0.1.3 -> 0.1.4	2017-08-27 10:10:47 -05:00
potassco	clingo: init at 5.2.2	2017-11-10 14:04:32 +01:00
prooftree	misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs	2017-09-21 15:49:53 -04:00
prover9	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
proverif	proverif: 1.95 -> 1.97pl1	2017-09-13 20:01:55 +02:00
redprl	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
sad	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
satallax	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
saw-tools	replace ${stdenv.cc.cc}/lib occurences	2016-05-01 00:13:23 +03:00
spass	spass: 3.7 -> 3.9	2016-06-21 08:18:20 +02:00
statverif	statverif: init at 1.86pl4	2016-06-28 04:36:11 +00:00
stp	stp: 2014.01.07 -> 2.2.0	2017-05-22 22:25:45 +01:00
symbiyosys	yosys/symbiyosys: 2017.10.16 -> 2017.11.05	2017-11-05 12:49:38 -06:00
tptp	tptp: 6.4.0 -> 7.0.0	2017-10-02 11:46:33 +02:00
twelf	misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs	2017-09-21 15:49:53 -04:00
verifast	treewide: explicitly specify gtk and related package versions	2016-09-12 18:26:06 +03:00
verit	veriT: 201506 -> 2016	2017-02-01 19:43:02 +01:00
why3	why3: 0.87.1 -> 0.87.3	2017-01-21 13:31:10 +00:00
yices	yices: 2.5.3 -> 2.5.4	2017-11-05 12:49:38 -06:00
z3	z3: update to latest git	2017-11-09 13:20:01 -06:00