Merge pull request #266034 from r-ryantm/auto-update/polymake

polymake: 4.10 -> 4.11
This commit is contained in:
Mauricio Collares 2023-11-07 11:35:01 +01:00 committed by GitHub
commit e6a024b572
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -28,13 +28,13 @@ in
stdenv.mkDerivation rec {
pname = "polymake";
version = "4.10";
version = "4.11";
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-YDiyZtbUC76ZVe3oRtzPRBfkEU+qh+d1ZWFhzUyi+Pg=";
sha256 = "sha256-XfbwrNcAEZvQxLV2Z2KFL/vYV3ZbXcyIgC/10hCK3SM=";
};
nativeBuildInputs = [