~ruther/guix-local: gnu: Rename sagemath-data-polytopes-db to polytopes-db.

873e0d602ac99e4baa73d41b8933d9e185fd9f10 — Andreas Enge 1 year, 1 month ago 76c0662

gnu: Rename sagemath-data-polytopes-db to polytopes-db.

* gnu/packages/sagemath.scm (sagemath-data-polytopes-db): Rename to...
(polytopes-db): ...this.

Change-Id: Id377eaff122a0cbe73d451df486cda4281846295

patch browse .tar.gz

1 files changed, 2 insertions(+), 2 deletions(-)

M gnu/packages/sagemath.scm

M gnu/packages/sagemath.scm => gnu/packages/sagemath.scm +2 -2

@@ 310,9 310,9 @@ polynomials.  The aim of this package is to make them available through a
 generic Python interface.")
     (license license:gpl3+)))
 
-(define-public sagemath-data-polytopes-db
+(define-public polytopes-db
   (package
-    (name "sagemath-data-polytopes-db")
+    (name "polytopes-db")
     (version "20170220")
     (source (origin
               (method url-fetch)