From 873e0d602ac99e4baa73d41b8933d9e185fd9f10 Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas@enge.fr>
Date: Thu, 13 Feb 2025 16:56:06 +0100
Subject: [PATCH] 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
---
 gnu/packages/sagemath.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm
index cf116bba66543cabe06773bee2fd4024986be1aa..3ee1b9bfdb723597a32fa9fd468e5cc9856f4b6d 100644
--- a/gnu/packages/sagemath.scm
+++ b/gnu/packages/sagemath.scm
@@ -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)