gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 21:17:37 -08:00
Code Issues Projects Releases Wiki Activity

dev-gap/digraphs: add 1.13.1, drop 1.12.0

Browse Source 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
This commit is contained in:
Michael Orlitzky 2025-09-29 08:51:06 -04:00
parent ec701d4408
commit dcebfc776b
No known key found for this signature in database
GPG Key ID: 6F48D3DA05C2DADB
3 changed files with 1 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dev-gap/digraphs/Manifest
View File

@ -1 +1 @@
DIST digraphs-1.12.0.tar.gz 2785780 BLAKE2B 204de9d79353b62f5f8a68eec3de7f2e1f00dbd5b8216500255c1e440c1b64e4b1a43f11b7a594d49d133d78959fae66a250059d628aaf8f2e61c15b443ec6e3 SHA512 0b1768c69fc48e6e612dc9dcbe56b2fc975827e2f592e996acc0893faf77bc41067702477885745aa7d86eaa6b1c4cb9e7886017bfee75922e65ba708e8e4768
DIST digraphs-1.13.1.tar.gz 2881921 BLAKE2B e68a462f0b743f1d9caecd8de31f79a809c8886b7bad7aec779fd4e4e931461c23331b5c2985e5476929801af56fcf22b3ab306a81261a2a27cd73f2383b48d2 SHA512 38bb57cba18a4cb163d513c9ff5ab17e4c474edc6b1c3d02dd50cf9613080b87fc0ab893635ce0bf8b9e9520406c7d9ca921670de4d2336495e9cc7919da3b04

2
dev-gap/digraphs/digraphs-1.12.0.ebuild → dev-gap/digraphs/digraphs-1.13.1.ebuild
View File

@ -30,8 +30,6 @@ BDEPEND="test? ( || (
kde-apps/okular
) )"
PATCHES=( "${FILESDIR}/digraphs-planarity-4.x.patch" )
DOCS=( CHANGELOG.md README.md )
GAP_PKG_EXTRA_INSTALL=( data notebooks )

16
dev-gap/digraphs/files/digraphs-planarity-4.x.patch
View File

@ -1,16 +0,0 @@
diff --git a/src/planar.c b/src/planar.c
index 1cdf94a..5359c5b 100644
--- a/src/planar.c
+++ b/src/planar.c
@@ -38,10 +38,7 @@
#include "c/graphK33Search.h"
#include "c/graphK4Search.h"
#else
-#include "planarity/graph.h"
-#include "planarity/graphK23Search.h"
-#include "planarity/graphK33Search.h"
-#include "planarity/graphK4Search.h"
+#include "planarity/graphLib.h"
#endif
#if defined(__clang__)
#pragma clang diagnostic pop