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

polymake: 4.6 -> 4.7
This commit is contained in:
Timo Kaufmann 2022-09-06 16:22:36 +02:00 committed by GitHub
commit 5e03752766
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -12,13 +12,13 @@
stdenv.mkDerivation rec {
pname = "polymake";
version = "4.6";
version = "4.7";
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-QjpE3e8R6uqEV6sV3V2G3beovMbJuxF3b54pWNfc+dA=";
sha256 = "sha256-1qv+3gIsbM1xHh02S3ybkcvVkKS3OZDNNWfJt2nybmE=";
};
buildInputs = [