diff mbox series

[bug#56729,RFC,v3,17/32] gnu: Add sagemath-data-polytopes-db.

Message ID b285dae9072ccc0c82c094a86d722f9ba1026a20.1685391447.git.guix@ikherbers.com
State New
Headers show
Series None | expand

Commit Message

vicvbcun May 29, 2023, 8:38 p.m. UTC 
* gnu/packages/sagemath.scm (sagemath-data-polytopes-db): New variable.
---
 gnu/packages/sagemath.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
diff mbox series

Patch

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)))