public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

why3: 1.1.0 -> 1.1.1 (#52980)

Browse Source
This commit is contained in:
Vincent Laporte 2018-12-29 21:05:23 +01:00 committed by Timo Kaufmann
parent 05e8f32750
commit ea92816c74
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/applications/science/logic/why3/default.nix
View File

@ -2,17 +2,17 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "why3-${version}"; name = "why3-${version}";
version = "1.1.0"; version = "1.1.1";
src = fetchurl { src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/37767/why3-1.1.0.tar.gz; url = https://gforge.inria.fr/frs/download.php/file/37842/why3-1.1.1.tar.gz;
sha256 = "199ziq8mv3r24y3dd1n2r8k2gy09p7kdyyhkg9qn1vzfd2fxwzc1"; sha256 = "065ix1ill009bxg7w27s8wq47vn03vbr63hsaa79arv31d96izny";
}; };
buildInputs = (with ocamlPackages; [ buildInputs = (with ocamlPackages; [
ocaml findlib num lablgtk ocamlgraph zarith menhir ]) ++ ocaml findlib num lablgtk ocamlgraph zarith menhir ]) ++
stdenv.lib.optionals (ocamlPackages.ocaml == coq.ocaml ) [ stdenv.lib.optionals (ocamlPackages.ocaml == coq.ocamlPackages.ocaml ) [
coq coq.camlp5 coq ocamlPackages.camlp5
]; ];
installTargets = [ "install" "install-lib" ]; installTargets = [ "install" "install-lib" ];