GNU bug report logs - #75032
[PATCH 00/13] Add more SageMath packages

Previous Next

Full log

Message #14 received at 75032 <at> debbugs.gnu.org (full text, mbox):

From: Vinicius Monego <monego <at> posteo.net>
To: 75032 <at> debbugs.gnu.org
Cc: vicvbcun <guix <at> ikherbers.com>
Subject: [PATCH 03/13] gnu: Add sagemath-data-graphs.
Date: Sun, 22 Dec 2024 17:26:47 +0000

From: vicvbcun <guix <at> ikherbers.com>

* gnu/packages/sagemath.scm (sagemath-data-graphs): New variable.

Change-Id: I7c537aac21f43a8712fd6d542551f78c3ebaec68
Co-authored by: Vinicius Monego <monego <at> posteo.net>

Change-Id: I88f35ccf94cfe0d866ef57cb893844c8285d5138
---
 gnu/packages/sagemath.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm
index 1fefb26e36..514af19da8 100644
--- a/gnu/packages/sagemath.scm
+++ b/gnu/packages/sagemath.scm
@@ -425,3 +425,27 @@ (define-public sagemath-data-polytopes-db
 to be used by SageMath.")
     ;; Debian says GPLv2+.
     (license license:gpl2+)))
+
+(define-public sagemath-data-graphs
+  (package
+    (name "sagemath-data-graphs")
+    (version "20210214")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "https://mirrors.mit.edu/sage/spkg/upstream/"
+                    "graphs/graphs-" version ".tar.bz2"))
+              (sha256
+               (base32
+                "0h9p5wrxips51x6vpfiiaqzp9j004nwppzc9qc2iaqakk06pq8q7"))))
+    (build-system copy-build-system)
+    (arguments
+     '(#:install-plan '(("." "share/graphs"))))
+    (home-page "https://www.sagemath.org")
+    (synopsis "Database of graphs")
+    (description
+     "This package contains databases of graphs.  It also includes the
+@acronym{ISGCI, Information System on Graph Classes and their Inclusions}
+database.")
+    ;; Debian says GPLv2+.
+    (license license:gpl2+)))
-- 
2.39.5

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.