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

why3: 0.88.3 -> 1.0.0

Browse Source
This commit is contained in:
Ricardo M. Correia 2018-07-18 02:57:55 +02:00 committed by Vincent Laporte
parent 710d4e76dd
commit 0cf09556eb
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,15 +2,15 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "why3-${version}"; name = "why3-${version}";
version = "0.88.3"; version = "1.0.0";
src = fetchurl { src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/37313/why3-0.88.3.tar.gz; url = https://gforge.inria.fr/frs/download.php/file/37604/why3-1.0.0.tar.gz;
sha256 = "0limdqy9l5bjzwhdalcfdyh0b6laxgiphhvr4bby9p0030agssiy"; sha256 = "18h00diw1c051v7ya0lv09ns5630qi9savwffx0652mcc4b4qpxn";
}; };
buildInputs = (with ocamlPackages; [ buildInputs = (with ocamlPackages; [
ocaml findlib lablgtk ocamlgraph zarith menhir ]) ++ ocaml findlib num lablgtk ocamlgraph zarith menhir ]) ++
stdenv.lib.optionals (ocamlPackages.ocaml == coq.ocaml ) [ stdenv.lib.optionals (ocamlPackages.ocaml == coq.ocaml ) [
coq coq.camlp5 coq coq.camlp5
]; ];