Commit 1d9cd57d authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

why3: 1.7.1 → 1.7.2

parent fe4d0e07

pkgs/applications/science/logic/why3/default.nix

+2 −2
Original line number Diff line number Diff line 
{ callPackage, fetchurl, lib, stdenv

, ocamlPackages, coqPackages, rubber, hevea, emacs

, version ? "1.7.1"

, version ? "1.7.2"

, ideSupport ? true

, wrapGAppsHook

}:
@@ -12,7 +12,7 @@ stdenv.mkDerivation rec { 
  src = fetchurl {

    url = "https://why3.gitlabpages.inria.fr/releases/${pname}-${version}.tar.gz";

    hash = {

      "1.7.1" = "sha256-rG1hcxFhQ2PlE9RTz9ELliDjCuSzLnJ1togRY637cU4=";

      "1.7.2" = "sha256-VaSG/FiO2MDdSSFXGJJrIylQx0LPwtT8AF7TpPVZhCQ=";

      "1.6.0" = "sha256-hFvM6kHScaCtcHCc6Vezl9CR7BFbiKPoTEh7kj0ZJxw=";

    }."${version}";

  };