planarity: 3.0.0.5 -> 3.0.2.0

This commit is contained in:
Mauricio Collares 2022-05-27 15:39:43 -07:00
parent cf22e7bdd0
commit 4d4ffdeaef

View file

@ -1,18 +1,17 @@
{ lib, stdenv
, fetchFromGitHub
, fetchpatch
, autoreconfHook
}:
stdenv.mkDerivation rec {
pname = "planarity";
version = "3.0.0.5";
version = "3.0.2.0";
src = fetchFromGitHub {
owner = "graph-algorithms";
repo = "edge-addition-planarity-suite";
rev = "Version_${version}";
sha256 = "01cm7ay1njkfsdnmnvh5zwc7wg7x189hq1vbfhh9p3ihrbnmqzh8";
sha256 = "sha256-cUAh2MXCSmtxFtV6iTHgSRgsq/26DjWwxhWJH1+367A=";
};
nativeBuildInputs = [
@ -21,14 +20,6 @@ stdenv.mkDerivation rec {
doCheck = true;
patches = [
# declare variables declared in headers as extern, not yet merged upstream
(fetchpatch {
url = "https://github.com/graph-algorithms/edge-addition-planarity-suite/pull/3.patch";
sha256 = "1nqjc4clr326imz4jxqxcxv2hgh1sjgzll27k5cwkdin8lnmmil8";
})
];
meta = with lib; {
homepage = "https://github.com/graph-algorithms/edge-addition-planarity-suite";
description = "A library for implementing graph algorithms";