easycrypt: 2024.09 → 2025.02

2025-02-27 08:48:42 +01:00
parent 82e9fc276a
commit d6fde23c7a
2 changed files with 3 additions and 4 deletions
@@ -10,13 +10,13 @@

 stdenv.mkDerivation rec {
  pname = "easycrypt";
-  version = "2024.09";
+  version = "2025.02";

  src = fetchFromGitHub {
    owner = pname;
    repo = pname;
-    rev = "r${version}";
-    hash = "sha256-ZGYklG1eXfytRKzFvRSB6jFrOCm1gjyG8W78eMve5Ng=";
+    tag = "r${version}";
+    hash = "sha256-XkfFCPmc8vd6gGFiz/Lxzk7BtcCQBzPNVPGFdiylZmc=";
  };

  nativeBuildInputs =
@@ -2209,7 +2209,6 @@ with pkgs;
  easycrypt = callPackage ../applications/science/logic/easycrypt {
    why3 = pkgs.why3.override {
      ideSupport = false;
-      version = "1.7.2";
      coqPackages = { coq = null; flocq = null; };
    };
  };