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
abella	abella: 2.0.2 -> 2.0.4	2017-10-16 02:39:16 +02:00
acgtk
aiger	aiger: fix stupid incorrect download link	2017-10-16 13:01:51 -05:00
alt-ergo
aspino
avy	nixpkgs: add 'avy' -- property directed AIGER model checking	2017-10-16 12:01:17 -05:00
boolector
coq	coqPackages_8_7: New expression, but don't make it the default yet	2017-10-22 12:43:27 -07:00
coq2html
cryptominisat
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
hol_light
iprover
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
ltl2ba
matita
mcrl2	Revert "mcrl2: force use of gcc5 to prevent compilation errors"	2017-09-15 21:51:35 +02:00
metis-prover
minisat
open-wbo
opensmt
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
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
proverif	proverif: 1.95 -> 1.97pl1	2017-09-13 20:01:55 +02:00
redprl
sad
satallax
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