ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-29 07:42:23 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add texlive-ribbonproofs.

Browse source 
* gnu/packages/tex.scm (texlive-ribbonproofs): New variable.
This commit is contained in:
Nicolas Goaziou 2023-07-30 16:44:45 +02:00
parent bffccff762
commit 608b8328c8
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
gnu/packages/tex.scm
View file

@ -5864,6 +5864,26 @@ (define-public texlive-revquantum
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")