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

polymake: 4.4 -> 4.5
This commit is contained in:
7c6f434c 2021-12-09 22:48:21 +00:00 committed by GitHub
commit 26b52ea6a6
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.4";
version = "4.5";
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-2nF5F2xznI77pl2TslrxA8HLpw4fmzVnPOM8N3kOwJE=";
sha256 = "sha256-6UPUuzHBEvrYUjQONZW8WRwgcGkqFtUBg6OxBFZteZY=";
};
buildInputs = [