| .. |
|
abc
|
nixpkgs: abc-verifier 20150406 -> 20150614
|
2015-06-14 19:48:11 -05:00 |
|
abella
|
|
|
|
acgtk
|
acgtk: fix build with OCaml 4.02
|
2015-06-25 08:55:30 +02:00 |
|
alt-ergo
|
|
|
|
boolector
|
|
|
|
coq
|
coq: Add csdp dependency
|
2015-09-10 11:50:38 -04:00 |
|
cvc3
|
|
|
|
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
|
|
|
|
hol
|
hol: k.8 -> k.10, closes #8477
|
2015-06-24 10:04:54 +02:00 |
|
hol_light
|
HOL Light: findlib is not necessary (nor actually used). Remove dependency.
|
2015-09-13 18:08:20 +02:00 |
|
iprover
|
|
|
|
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
|
|
|
|
logisim
|
|
|
|
ltl2ba
|
|
|
|
matita
|
|
|
|
minisat
|
|
|
|
opensmt
|
|
|
|
ott
|
|
|
|
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
|
|
|
|
prover9
|
|
|
|
satallax
|
|
|
|
saw-tools
|
nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731
|
2015-08-30 02:58:47 -05:00 |
|
spass
|
|
|
|
stp
|
Don't use "with licenses;" for single licences
|
2015-05-28 19:20:29 +02:00 |
|
tptp
|
|
|
|
twelf
|
|
|
|
verifast
|
|
|
|
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
|
|
|
