Michael Raskin 4140dc2628 Updating EKRHuper

2013-11-25 10:59:35 +04:00

..

coq

Add platforms to coq, so it's built on Hydra

2013-08-28 21:35:07 +02:00

cvc3

Adding CVC3 satisfiability modulo theory (SMT) solver

2010-12-05 17:28:41 +00:00

ekrhyper

Updating EKRHuper

2013-11-25 10:59:35 +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

More description fixes

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

iprover

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

isabelle

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

lci

Adding LCI lambda calculus interpreter

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

leo2

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

logisim

More description fixes

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

matita

Adding forgotten configure_130312 patch for matitia.

2012-03-26 19:11:25 +00:00

minisat

* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless

2012-01-18 20:16:00 +00:00

opensmt

Fix bad URLs lacking a scheme

2013-01-14 18:26:46 +01: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

* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless

2012-01-18 20:16:00 +00:00

prover9

More description fixes

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

satallax

* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless

2012-01-18 20:16:00 +00:00

spass

Adding SPASS

2010-12-04 11:43:01 +00:00

ssreflect

Update download link for ssreflect.

2013-07-14 23:41:55 -04:00

tptp

Set meta.hydraPlatforms instead of meta.platforms for some packages

2013-11-05 00:06:10 +01:00