nixpkgs/pkgs/applications/science/logic/why3/default.nix
Austin Seipp 4ee4f76176 nixpkgs: add why3 0.83
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00

23 lines
662 B
Nix

{ 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 ];
};
}