diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 16:44:45 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 19:42:18 +0200 |
| commit | 608b8328c8e0bd946929cb1cc09e8a2688fa2815 (patch) | |
| tree | a2d2a60e7f142e96743c17d78c14800a4bd8f142 | |
| parent | bffccff762e25e3e17dabce02fdbcb878d5979e6 (diff) | |
| download | guix-608b8328c8e0bd946929cb1cc09e8a2688fa2815.tar guix-608b8328c8e0bd946929cb1cc09e8a2688fa2815.tar.gz | |
gnu: Add texlive-ribbonproofs.
* gnu/packages/tex.scm (texlive-ribbonproofs): New variable.
| -rw-r--r-- | gnu/packages/tex.scm | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index ab333d4b45..165170c53e 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -5864,6 +5864,26 @@ provides fallbacks. It also warns when users try to load packages which are known to be incompatible with @code{revtex4-1}.") (license license:lppl1.3+))) +(define-public texlive-ribbonproofs + (package + (name "texlive-ribbonproofs") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/ribbonproofs/" + "tex/latex/ribbonproofs/") + (base32 + "1590hcnmzffm1z2rqz0g3h5a7xpidjzw5am603pqvlsdxvjfm6my"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/ribbonproofs") + (synopsis "Drawing ribbon proofs") + (description + "The package provides a way to draw ribbon proofs in LaTeX, a graphical +proof system for the propositional fragment of the logic of bunched +implications.") + (license license:lppl1.3+))) + (define-public texlive-bibtex8 (package (name "texlive-bibtex8") |