{
  lib,
  stdenv,
  fetchurl,
  fetchpatch,
  cmake,
  unzip,
  gmp,
  scalp,
}:

stdenv.mkDerivation rec {
  pname = "pagsuite";
  version = "1.80";

  src = fetchurl {
    url = "https://gitlab.com/kumm/pagsuite/-/raw/master/releases/pagsuite_${
      lib.replaceStrings [ "." ] [ "_" ] version
    }.zip";
    hash = "sha256-TYd+dleVPWEWU9Cb3XExd7ixJZyiUAp9QLtorYJSIbQ=";
  };

  patches = [
    # Fix issue with latest ScaLP update
    (fetchpatch {
      url = "https://gitlab.com/kumm/pagsuite/-/commit/cae9f78bec93a7f197461358f2f796f6b5778781.patch";
      hash = "sha256-12IisS6oGYLRicORTemHB7bw9EB9cuQjxG8f6X0WMrU=";
    })
  ];

  sourceRoot = "pagsuite_${lib.replaceStrings [ "." ] [ "_" ] version}";

  nativeBuildInputs = [
    cmake
    unzip
  ];

  buildInputs = [
    gmp
    scalp
  ];

  meta = with lib; {
    description = "Optimization tools for the (P)MCM problem";
    homepage = "https://gitlab.com/kumm/pagsuite";
    maintainers = with maintainers; [ wegank ];
    license = licenses.unfree;
  };
}