diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 16:21:37 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 19:41:42 +0200 |
| commit | 7798c1b8f75ee983e5817f28c8a310f8bc85191e (patch) | |
| tree | 9c5b43a36293eb7353860a73d0a08d90962d788c | |
| parent | fc9c2feef7b9ef6c8719ec112b689e6a712a27ea (diff) | |
| download | guix-7798c1b8f75ee983e5817f28c8a310f8bc85191e.tar.gz | |
gnu: Add texlive-grundgesetze.
* gnu/packages/tex.scm (texlive-grundgesetze): New variable.
| -rw-r--r-- | gnu/packages/tex.scm | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 255b89c479..faa179e516 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -3849,6 +3849,27 @@ The package also provides an interface to control various settings including algorithm parameters.") (license license:expat))) +(define-public texlive-grundgesetze + (package + (name "texlive-grundgesetze") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/grundgesetze/" + "source/latex/grundgesetze/" + "tex/latex/grundgesetze/") + (base32 + "0hpl336bn33qjmq2bhqn94fjdxlcxs0lxm4sdr124dnagdnksl4n"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/grundgesetze") + (synopsis "Typeset Frege's @emph{Grundgesetze der Arithmetik}") + (description + "The package defines maths mode commands for typesetting Gottlob Frege's +concept-script in the style of his @emph{Grundgesetze der Arithmetik} (Basic +Laws of Arithmetic).") + (license license:gpl2))) + (define-public texlive-bibtex8 (package (name "texlive-bibtex8") |