|
|
|
@ -33605,7 +33605,9 @@ with pkgs; |
|
|
|
|
|
|
|
|
|
verifast = callPackage ../applications/science/logic/verifast {}; |
|
|
|
|
|
|
|
|
|
veriT = callPackage ../applications/science/logic/verit {}; |
|
|
|
|
veriT = callPackage ../applications/science/logic/verit { |
|
|
|
|
stdenv = gccStdenv; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
why3 = callPackage ../applications/science/logic/why3 { }; |
|
|
|
|
|
|
|
|
|