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-synproof.

Browse source 
* gnu/packages/tex.scm (texlive-synproof): New variable.
This commit is contained in:
Nicolas Goaziou 2023-07-30 16:53:31 +02:00
parent 9dbc4e34a1
commit 351e6454aa
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

@ -6576,6 +6576,26 @@ (define-public texlive-sympytexpackage
module (or from Matplotlib).") module (or from Matplotlib).")
(license license:gpl2))) (license license:gpl2)))
(define-public texlive-synproof
(package
(name "texlive-synproof")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/synproof/" "tex/latex/synproof/")
(base32
"02r0ld3lcxvjhij4lffx9kljmbv6fvz10x59bjvinqfbmmfmm58m")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/synproof")
(synopsis "Easy drawing of syntactic proofs")
(description
"The package provides a set of macros based on PSTricks that will enable
you to draw syntactic proofs easily (inspired by the Gamut books). Very few
commands are needed, however fine tuning of the various
parameters (dimensions) can still be achieved through key=value pairs.")
(license license:lppl)))
(define-public texlive-bibtex8 (define-public texlive-bibtex8
(package (package
(name "texlive-bibtex8") (name "texlive-bibtex8")