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

polymake: 4.9 -> 4.10
This commit is contained in:
Mauricio Collares 2023-07-09 11:54:17 +01:00 committed by GitHub
commit 189a069329
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,13 +25,13 @@
stdenv.mkDerivation rec {
pname = "polymake";
version = "4.9";
version = "4.10";
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-BMkLgms6JsWmPhi+MZv/Eqie8BKL+KaPtk3xBZSyWfM=";
sha256 = "sha256-YDiyZtbUC76ZVe3oRtzPRBfkEU+qh+d1ZWFhzUyi+Pg=";
};
nativeBuildInputs = [