nixpkgs: add why3 0.83
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
parent
5f702d52f4
commit
4ee4f76176
22
pkgs/applications/science/logic/why3/default.nix
Normal file
22
pkgs/applications/science/logic/why3/default.nix
Normal file
|
@ -0,0 +1,22 @@
|
|||
{ fetchurl, stdenv, ocaml, ocamlPackages, coq }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "why3-${version}";
|
||||
version = "0.83";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://gforge.inria.fr/frs/download.php/33490/${name}.tar.gz";
|
||||
sha256 = "1jcs5vj91ppbgh4q4hch89b63wgakjhg35pm3r4jwhp377lnggya";
|
||||
};
|
||||
|
||||
buildInputs = with ocamlPackages;
|
||||
[ coq ocaml findlib lablgtk ocamlgraph zarith ];
|
||||
|
||||
meta = {
|
||||
description = "why is a software verification platform";
|
||||
homepage = "http://why3.lri.fr/";
|
||||
license = stdenv.lib.licenses.lgpl21;
|
||||
platforms = stdenv.lib.platforms.linux;
|
||||
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
|
||||
};
|
||||
}
|
|
@ -10372,6 +10372,8 @@ let
|
|||
|
||||
verifast = callPackage_i686 ../applications/science/logic/verifast {};
|
||||
|
||||
why3 = callPackage ../applications/science/logic/why3 {};
|
||||
|
||||
yices = callPackage ../applications/science/logic/yices {};
|
||||
|
||||
z3 = callPackage ../applications/science/logic/z3 {};
|
||||
|
|
Loading…
Reference in a new issue