futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnu: Add texlive-natded.

Browse Source 
* gnu/packages/tex.scm (texlive-natded): New variable.
This commit is contained in:
Nicolas Goaziou 2023-07-30 16:34:46 +02:00
parent d7e86e263a
commit fe0a706b6b
No known key found for this signature in database
GPG Key ID: DA00B4F048E92F2D
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
gnu/packages/tex.scm
View File

@ -5033,6 +5033,24 @@ Form (EBNF) notation.")
(description "This style file provides macros for named tensor notation.") (description "This style file provides macros for named tensor notation.")
(license license:expat))) (license license:expat)))
(define-public texlive-natded
(package
(name "texlive-natded")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/natded/" "tex/latex/natded/")
(base32
"01zfxh4ryjjv5qyvbs1pgwpcnq19rdrg3drd2gfx3c4ppqvwbxp4")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/natded")
(synopsis "Typeset natural deduction proofs")
(description
"The package provides commands to typeset proofs in the style used by Jaskowski,
or that of Kalish and Montague.")
(license license:lppl1.3+)))
(define-public texlive-bibtex8 (define-public texlive-bibtex8
(package (package
(name "texlive-bibtex8") (name "texlive-bibtex8")