mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-02-03 00:26:33 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add texlive-lplfitch.

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

22
gnu/packages/tex.scm
View file

@ -4432,6 +4432,28 @@ (define-public texlive-lpform
other customization options.")
(license license:lppl)))
(define-public texlive-lplfitch
(package
(name "texlive-lplfitch")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/lplfitch/"
"source/latex/lplfitch/"
"tex/latex/lplfitch/")
(base32
"1x396k71r8sb04pby3h6snjzmyzmai9s11icgxf1vi9dswh191cz")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/lplfitch")
(synopsis "Fitch-style natural deduction proofs")
(description
"The package provides macros for typesetting natural deduction proofs in
Fitch style, with subproofs indented and offset by scope lines. The proofs
from use of the package are in the format used in the textbook @emph{Language,
Proof, and Logic} by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.")
(license license:lppl1.3+)))
(define-public texlive-bibtex8
(package
(name "texlive-bibtex8")