Subject: [RFC PATCH v3 17/32] gnu: Add sagemath-data-polytopes-db.

From: vicvbcun <[email-masked]>
Date: Mon, 29 May 2023 22:38:26 +0200

* gnu/packages/sagemath.scm (sagemath-data-polytopes-db): New variable.
---
 gnu/packages/sagemath.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm
index a60dfb8d9f..dfe5874ed3 100644
--- a/gnu/packages/sagemath.scm
+++ b/gnu/packages/sagemath.scm
@@ -473,3 +473,23 @@ (define-public sagemath-data-graphs
 @acronym{ISGCI, Information System on Graph Classes and their Inclusions}
 database.")
     (license #f)))
+
+(define-public sagemath-data-polytopes-db
+  (package
+    (name "sagemath-data-polytopes-db")
+    (version "20170220")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "mirror://sagemath/spkg/upstream/polytopes_db/polytopes_db-"
+                    version ".tar.bz2"))
+              (sha256
+               (base32
+                "1q0cd811ilhax4dsj9y5p7z8prlalqr7k9mzq178c03frbgqny6b"))))
+    (build-system copy-build-system)
+    (arguments
+     '(#:install-plan '(("." "share/reflexive_polytopes"))))
+    (home-page "https://www.sagemath.org")
+    (synopsis "Lists of 2- and 3-dimensional reflexive polytopes")
+    (description synopsis)
+    (license #f)))
-- 
2.40.1