@@ -3,15 +3,15 @@
33
44stdenv.mkDerivation rec {
55 pname = "why3";
6− version = "1.4.0";
6+ version = "1.4.1";
77
88 src = fetchurl {
9− url = "https://gforge.inria.fr/frs/download.php/file/38425/why3-${version}.tar.gz";
10− sha256 = "0lw0cpx347zz9vvwqibmbxgs80fsd16scgk3isscvwxnajpc3rv8";
9+ url = "https://why3.gitlabpages.inria.fr/releases/${pname}-${version}.tar.gz";
10+ sha256 = "sha256:1rqyypzlvagrn43ykl0c5wxyvnry5fl1ykn3xcvlzgghk96yq3jq";
1111 };
1212
1313 buildInputs = with ocamlPackages; [
14− ocaml findlib ocamlgraph zarith menhir menhirLib
14+ ocaml findlib ocamlgraph zarith menhir
1515 # Emacs compilation of why3.el
1616 emacs
1717 # Documentation
@@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
2626 coqPackages.coq coqPackages.flocq
2727 ];
2828
29− propagatedBuildInputs = with ocamlPackages; [ camlzip num re sexplib ];
29+ propagatedBuildInputs = with ocamlPackages; [ camlzip menhirLib num re sexplib ];
3030
3131 enableParallelBuilding = true;
3232