John Wiegley d15cd4875f coq_HEAD: update to latest Git version

2014-12-19 13:58:07 -06:00

..

abc

fetchbzr, fetchdarcs, fetchhg: use rev attr

2014-06-28 21:06:10 +02:00

acgtk

Added acgtk-1.1

2014-10-28 14:06:21 +01:00

alt-ergo

zarith: propagate build input gmp

2014-11-07 09:50:39 +00:00

boolector

boolector: add version 1.5 and 1.6

2014-04-07 09:17:05 -05:00

coq

coq_HEAD: update to latest Git version

2014-12-19 13:58:07 -06:00

cvc3

Turn more licenses into lib.licenses style

2014-11-06 00:48:16 +00:00

cvc4

cvc4: new derivation

2014-10-12 16:21:02 +02:00

ekrhyper

Update EKRHyper

2014-03-08 21:12:59 +04:00

eprover

Updating EProver to 1.8

2013-10-20 21:03:04 +04:00

hol

Fix HOL documentation build

2013-11-16 03:43:38 +02:00

hol_light

hol_light: update from 199 to 205

2014-11-17 06:53:45 +00:00

iprover

Fix broken license references.

2014-07-28 11:43:20 +02:00

isabelle

isabelle: Version 2014 building on Linux and Darwin

2014-09-30 23:15:31 -05:00

lci

Adding LCI lambda calculus interpreter

2012-05-01 05:07:39 +00:00

leo2

Update and fix LEO2 prover

2014-08-12 03:57:52 +04:00

logisim

Turn some license strings into lib.licenses values

2014-07-28 11:31:14 +02:00

ltl2ba

nixpkgs: add ltl2ba 1.1

2014-05-01 02:30:34 -05:00

matita

Fix many package descriptions

2014-08-24 22:31:37 +02:00

minisat

Fix broken license references.

2014-07-28 11:43:20 +02:00

opensmt

Mark a bunch of packages as broken or not supported on Darwin

2014-08-08 17:59:02 +02:00

ott

Turn more licenses into lib.licenses style

2014-11-06 00:48:16 +00:00

otter

Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.

2013-06-07 03:15:45 +03:00

picosat

Turn some license strings into lib.licenses values

2014-07-28 11:31:14 +02:00

prooftree

Fix many package descriptions

2014-08-24 22:31:37 +02:00

prover9

More description fixes

2013-10-06 12:01:38 +02:00

satallax

Turn more licenses into lib.licenses style

2014-11-06 00:48:16 +00:00

spass

…

stp

boost: Remove boost.lib

2014-11-02 17:22:27 -08:00

tptp

Update TPTP

2014-08-31 19:25:32 +04:00

twelf

Turn more licenses into lib.licenses style

2014-11-06 00:48:16 +00:00

verifast

Fix various evaluation problems

2014-08-22 11:57:40 +02:00

why3

why3: update from 0.83 to 0.85

2014-10-12 16:21:02 +02:00

yices

Fix various evaluation problems

2014-08-22 11:57:40 +02:00

z3

z3/verifast: update license

2014-05-01 19:09:24 -05:00