From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id OM6OOE0w8WKDDwAAbAwnHQ (envelope-from ) for ; Mon, 08 Aug 2022 17:48:29 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id 4AWWOE0w8WJVZAEA9RJhRA (envelope-from ) for ; Mon, 08 Aug 2022 17:48:29 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id A09D5372B for ; Mon, 8 Aug 2022 17:48:29 +0200 (CEST) Received: from localhost ([::1]:48606 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oL4zU-0000o2-Pb for larch@yhetil.org; Mon, 08 Aug 2022 11:48:28 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41168) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oL4z8-0000Gr-7o for guix-patches@gnu.org; Mon, 08 Aug 2022 11:48:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52004) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oL4z7-0006mh-VC for guix-patches@gnu.org; Mon, 08 Aug 2022 11:48:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oL4z7-00068h-Pq for guix-patches@gnu.org; Mon, 08 Aug 2022 11:48:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#56729] [RFC PATCH v2 25/29] gnu: Add sagemath-data-poytopes-db. Resent-From: vicvbcun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 08 Aug 2022 15:48:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56729 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 56729@debbugs.gnu.org Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= , Andreas Enge Received: via spool by 56729-submit@debbugs.gnu.org id=B56729.165997364623143 (code B ref 56729); Mon, 08 Aug 2022 15:48:05 +0000 Received: (at 56729) by debbugs.gnu.org; 8 Aug 2022 15:47:26 +0000 Received: from localhost ([127.0.0.1]:41686 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oL4yU-000617-4A for submit@debbugs.gnu.org; Mon, 08 Aug 2022 11:47:26 -0400 Received: from mo4-p05-ob.smtp.rzone.de ([81.169.146.180]:45731) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oL4yQ-00060O-H6 for 56729@debbugs.gnu.org; Mon, 08 Aug 2022 11:47:23 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1659973638; s=strato-dkim-0002; d=ikherbers.com; h=References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From:Cc:Date: From:Subject:Sender; bh=dD9T7dUYXWjYHeexttEQC6kh2goSwwWwK4f+I2BX6wk=; b=LwMB9GmQMHAMuFsR/1SujBHn6gVUgd76pKn9kG94coC2ZLudYKuR5xhBZiA2eaaXhW bs0UyEZszO1N1rp/BcloZnB9isvbPBgGTh5hK3mywi2DFyiP88wg6AkNeJyBbLPMQ7kK AeLnXD4YLP3Nk1Vfmfpxg/Io8k2zD//waL1VVk9boFF2SEPjia7K+Udko4cMc9yBgc+6 t6aVaXRXqZj57YFsYdegWTiCkiuTv8Mf+vka5+VZRmplmMd/jY54QbDWm/ynfwNmVUGl HsKMEUN//Q9q41r5Jn7FZPu/2efS8ETgzrXwYxvy4UChgyQq+319ERwmXJdAnlfrXB0m Z8sQ== X-RZG-AUTH: ":IUwNfkitaf3qOWm2b/jA5tveVwUUcwH3PkiYp6DPxTDDEo4xO9ymAEzKSWlvmNAhIG6s" X-RZG-CLASS-ID: mo05 Received: from lambda.localdomain by smtp.strato.de (RZmta 47.47.0 DYNA|AUTH) with ESMTPSA id 0cac6cy78FlIoRY (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits)) (Client did not present a certificate); Mon, 8 Aug 2022 17:47:18 +0200 (CEST) From: vicvbcun Date: Mon, 8 Aug 2022 17:46:00 +0200 Message-Id: <844f866923ceb072887afd1a79208df9f62905c0.1659973115.git.guix@ikherbers.com> X-Mailer: git-send-email 2.37.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1659973709; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=dD9T7dUYXWjYHeexttEQC6kh2goSwwWwK4f+I2BX6wk=; b=E1+Vi90lZtHoJ3C9LZg1w6nRvd+X/XFCuRKLsKUFg0L5VESFuRcCtoRG1tLxnp3XVdVMc5 Q/gHZx4RWW4ek7/TsUlUqhVApKxoAZZ47XbdOkbKiOinBEL8V4ebwqyfRQ7yfEAgMmKPY4 RSt2WISUfv4Gj4cAWW48X1adtSq2aSzBfYHiU0+vVO5WMfPt/31UtL/OmavLM/gu9IU339 6+X/emYY3sAu9nbQj16TfziCTH0hsRYMf5BsC3no4htDawse+Zl7gUumzhTduE6JrzPZUi 8WC3bNXxdKtb5BXe1LMapGdCsxipB6J/k/WqQYwQgLbytgcI2aqGeVzOz/hCMQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1659973709; a=rsa-sha256; cv=none; b=Nu2+2tEfpnHYw6YfDY0L/t53cBnde2XObp3AL+VeQv5BoW2c2T7nnuZYSUF8vbpzmoF6mz fy8FbSxnR0Yo+1GTZDTRWSInPuETKOqUPSQJZ4l+H/CpBHw/b0rHyWXuPYFOHvssxVB3t3 SecubqSRMQwj0KZlYKxhBxO0YucT62M3gCkl0I2ArCJ7GelMQOp1mc/I5ihPjh1gEeUDzv XnwA85lJVvNzZiRumSmGZVrve0QZaKoMjoSkR8zNB359JdPweJ8Nd2+796TGPJCtv68KHy u4yNaHQEn+/XUa0qQkA1a89J4FaPvYKdF/GCyXaJlEeVIGb+xPkZFVbOYTDqZA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=ikherbers.com header.s=strato-dkim-0002 header.b=LwMB9GmQ; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 2.51 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=ikherbers.com header.s=strato-dkim-0002 header.b=LwMB9GmQ; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: A09D5372B X-Spam-Score: 2.51 X-Migadu-Scanner: scn1.migadu.com X-TUID: X0dj//C5FnIO * gnu/packages/sagemath.scm (sagemath-data-poytopes-db): New variable. --- gnu/packages/sagemath.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index 037d42b1dc..1f5c51bf86 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -731,3 +731,24 @@ (define-public sagemath-data-graphs (description synopsis) ;; Arch says gpl (license #f))) + +(define-public sagemath-data-polytopes-db + (package + (name "sagemath-data-polytopes-db") + (version "20170220") + (source (origin + (method url-fetch) + (uri (string-append + "https://mirrors.mit.edu/sage/spkg/upstream/polytopes/polytopes-" + 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) + ;; Sage says gpl + (license #f))) -- 2.37.0