Commit 01a21114 authored by R. RyanTM's avatar R. RyanTM
Browse files

polymake: 4.12 -> 4.13

parent a5c84766
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -25,13 +25,13 @@

stdenv.mkDerivation rec {
  pname = "polymake";
  version = "4.12";
  version = "4.13";

  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-vVpmf/ykv3641RE0Awzj3zsW3Z0OgA+v2xzoNYZ2QNk=";
    sha256 = "sha256-862s0GO56mDV6cN8YYP127dFiwyzSR66Pvw48gxWXOs=";
  };

  nativeBuildInputs = [