alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
nixpkgs/pkgs/applications/science/logic
History
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 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
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 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