diff options
author | vicvbcun <guix@ikherbers.com> | 2024-12-22 17:26:48 +0000 |
---|---|---|
committer | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-01-01 13:05:04 +0100 |
commit | 5ae2849a6874b6eca2fede89b970b199a0cd428a (patch) | |
tree | 1bf76fa8055d070a0b7e3ee52b87120d00db34e6 | |
parent | 389dd532a6989930741c14ea3b5cfde7e9495946 (diff) | |
download | guix-5ae2849a6874b6eca2fede89b970b199a0cd428a.tar.gz guix-5ae2849a6874b6eca2fede89b970b199a0cd428a.zip |
gnu: Add sagemath-data-combinatorial-designs.
* gnu/packages/sagemath.scm (sagemath-data-combinatorial-designs): New
variable.
Change-Id: Ib1ad3675256be1958427cd37a76bb5bdbf16fd12
Co-authored by: Vinicius Monego <monego@posteo.net>
Change-Id: I758e22fabcc11ca0583ab899acc0c653a35c7f43
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
-rw-r--r-- | gnu/packages/sagemath.scm | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index bd54af7ef1..bc1446327b 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -449,3 +449,30 @@ to be used by SageMath.") database.") ;; Debian says GPLv2+. (license license:gpl2+))) + +(define-public sagemath-data-combinatorial-designs + (package + (name "sagemath-data-combinatorial-designs") + (version "20140630") + (source (origin + (method url-fetch) + (uri (string-append + "https://mirrors.mit.edu/sage/spkg/upstream/" + "combinatorial_designs/combinatorial_designs-" + version ".tar.bz2")) + (sha256 + (base32 + "0bj8ngiq59hipa6izi6g5ph5akmy4cbk0vlsb0wa67f7grnnqj69")))) + (build-system copy-build-system) + (arguments + '(#:install-plan '(("." "share/combinatorial_designs/")))) + (home-page "https://www.sagemath.org") + (synopsis "Data for Combinatorial Designs") + (description + "This package data for combinatorial designs. It currently contains: + +@itemize +@item The table of @acronym{MOLS, Mutually orthogonal Latin squares} from the +Handbook of Combinatorial Designs, 2ed. +@end itemize") + (license license:public-domain))) |