Marco Maggesi a487b3326b Update HOL Light to version 2015-11-02

2015-11-03 15:24:56 +01:00

..

abc

nixpkgs: abc-verifier 20150406 -> 20150614

2015-06-14 19:48:11 -05:00

abella

new package: abella 2.0.2

2015-03-24 00:54:03 -04:00

acgtk

acgtk: fix build with OCaml 4.02

2015-06-25 08:55:30 +02:00

alt-ergo

alt-ergo: update from 0.95.2 to 0.99.1

2014-12-31 15:48:39 +01:00

boolector

boolector: add version 1.5 and 1.6

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

coq

coq: Add csdp dependency

2015-09-10 11:50:38 -04:00

cvc3

Turn more licenses into lib.licenses style

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

cvc4

cvc4: regenerate ./configure on rebuild

2015-06-14 19:48:11 -05:00

ekrhyper

…

eprover

E prover: 1.8 -> 1.9

2015-08-08 21:01:31 +03:00

gappa

Adds gappa 1.2.0

2015-05-25 19:32:09 +02:00

hol

hol: k.8 -> k.10, closes #8477

2015-06-24 10:04:54 +02:00

hol_light

Update HOL Light to version 2015-11-02

2015-11-03 15:24:56 +01:00

iprover

Fix broken license references.

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

isabelle

Isabelle: fix download URL

2015-06-21 00:45:38 +02:00

jonprl

nixpkgs/jonprl: minor touchups

2015-09-09 07:48:55 -05:00

lci

Don't use "with licenses;" for single licences

2015-05-28 19:20:29 +02:00

lean

nixpkgs: lean 20150328 -> 20150821

2015-08-21 13:57:16 -05:00

leo2

Fix license attribute of many bsd-like licensed packages

2014-12-21 00:00:35 +01: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

matita_130312: mark as broken

2015-01-07 02:15:26 -05:00

metis-prover

metis-prover: init at 2.3

2015-09-21 21:42:20 +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

mass rewrite of find parameters to cross-platform style

2015-09-06 10:26:30 +02:00

picosat

nixpkgs: picosat 936 -> 960, add myself as a maintainer

2015-06-14 19:48:12 -05:00

prooftree

Fix many package descriptions

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

prover9

…

satallax

Turn more licenses into lib.licenses style

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

saw-tools

nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731

2015-08-30 02:58:47 -05:00

spass

Fix license attribute of many bsd-like licensed packages

2014-12-21 00:00:35 +01:00

stp

Don't use "with licenses;" for single licences

2015-05-28 19:20:29 +02:00

tptp

Update TPTP

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

twelf

twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd

2015-03-31 01:11:57 -04:00

verifast

rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc

2015-01-14 20:27:55 -08:00

verit

veriT: 201410 -> 201506

2015-08-26 09:31:39 +02:00

why3

why3: update from 0.85 to 0.86.1

2015-06-01 05:57:19 +02:00

yices

nixpkgs: yices 2.2.1 -> 2.3.1, now with source

2015-06-14 19:48:11 -05:00

z3

nixpkgs: z3 4.3.2 -> 4.4.0

2015-06-11 22:10:56 -05:00

z3_opt

z3 opt

2015-05-08 23:45:07 -07:00