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
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
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
eprover	eprover: 1.9.1 -> 2.0	2017-09-05 13:59:07 +02:00
gappa
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
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
logisim	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
ltl2ba
matita
mcrl2	Revert "mcrl2: force use of gcc5 to prevent compilation errors"	2017-09-15 21:51:35 +02:00
metis-prover
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
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
satallax	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
saw-tools
spass
statverif
stp
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
verit
why3
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