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

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

..

coq

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

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

cvc3

…

ekrhyper

Adding E-KRHyper theorem prover

2013-05-09 17:47:58 +04:00

eprover

Update E prover

2013-04-21 16:30:40 +04:00

hol

Upgrading HOL4 to version k.7.

2012-03-20 19:11:22 +00:00

hol_light

Update HOL Light to rev 157

2013-03-25 10:56:57 +01: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

Added Logisim-2.7.1.

2012-12-27 16:25:39 +01: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

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

satallax

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

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

spass

…

ssreflect

Update download link for ssreflect.

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

tptp

TPTP had a bugfix without version change

2013-03-09 14:24:45 +04:00