me/guix
Archived
1
0
Fork 0
Code Activity

gnu: Add texlive-syllogism.

Browse source 
* gnu/packages/tex.scm (texlive-syllogism): New variable.
This commit is contained in:
Nicolas Goaziou 2023-07-30 16:52:50 +02:00
parent c686ae9ae0
commit 72cae57417
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

@ -6534,6 +6534,26 @@ using the @code{\\text@{@}} command from the @code{amstext} package.")
abbreviations of longer expressions.") abbreviations of longer expressions.")
(license license:lppl))) (license license:lppl)))
(define-public texlive-syllogism
(package
(name "texlive-syllogism")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/syllogism/"
"tex/latex/syllogism/")
(base32
"0ns8bv5qyzvcq59x7cjkncc9wlalcdhhnxs0r4s897qrrbz4cq43")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/syllogism")
(synopsis "Typeset syllogisms in LaTeX")
(description
"The package provides a simple, configurable, way for neatly typesetting
syllogisms and syllogistic-like arguments, composed of two premises and
a conclusion.")
(license license:lppl)))
(define-public texlive-bibtex8 (define-public texlive-bibtex8
(package (package
(name "texlive-bibtex8") (name "texlive-bibtex8")