John Wiegley 4eedbfd786 coq_HEAD: update to latest Git HEAD

2014-09-23 13:19:51 -05:00

..

abc

fetchbzr, fetchdarcs, fetchhg: use rev attr

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

alt-ergo

Fix many package descriptions

2014-08-24 22:31:37 +02: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 HEAD

2014-09-23 13:19:51 -05:00

cvc3

cvc3: update from 2.2 to 2.4.1

2013-12-18 18:18:23 +02:00

ekrhyper

Update EKRHyper

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

eprover

…

hol

…

hol_light

Update hol_light to r198. Add myself as a maintainer

2014-09-16 16:55:56 +02:00

iprover

Fix broken license references.

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

isabelle

…

lci

…

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

ott: 0.25 new expression

2014-09-15 21:50:07 +01:00

otter

…

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

…

satallax

…

spass

…

ssreflect

ssreflect: 1.4 -> 1.5

2014-08-19 16:03:33 -05:00

stp

boost: Update depdendent packages

2014-09-21 17:20:59 -07:00

tptp

Update TPTP

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

twelf

Fix many package descriptions

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

verifast

Fix various evaluation problems

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

why3

nixpkgs: add why3 0.83

2014-05-01 02:30:39 -05: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