polymake: 4.11 -> 4.12

2024-05-15 03:20:15 +00:00
parent 311cd0a3d8
commit 67eb7445eb
1 changed files with 2 additions and 2 deletions
@@ -25,13 +25,13 @@

 stdenv.mkDerivation rec {
  pname = "polymake";
-  version = "4.11";
+  version = "4.12";

  src = fetchurl {
    # "The minimal version is a packager friendly version which omits
    # the bundled sources of cdd, lrs, libnormaliz, nauty and jReality."
    url = "https://polymake.org/lib/exe/fetch.php/download/polymake-${version}-minimal.tar.bz2";
-    sha256 = "sha256-XfbwrNcAEZvQxLV2Z2KFL/vYV3ZbXcyIgC/10hCK3SM=";
+    sha256 = "sha256-vVpmf/ykv3641RE0Awzj3zsW3Z0OgA+v2xzoNYZ2QNk=";
  };

  nativeBuildInputs = [