colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
7dce6c88d2
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 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