ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-14 15:10:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add texlive-turnstile.

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

21
gnu/packages/tex.scm
View file

@ -6805,6 +6805,27 @@ (define-public texlive-tiscreen
display calculators, specifically the TI-82 STATS.")
(license license:lppl1.3c)))
(define-public texlive-turnstile
(package
(name "texlive-turnstile")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/turnstile/"
"source/latex/turnstile/"
"tex/latex/turnstile/")
(base32
"05ffizykplpisjy75s8zbaphpj5vk8r09ii5jzv929y54mi2qs06")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/turnstile")
(synopsis "Typeset the (logic) turnstile notation")
(description
"This package typesets the turnstile sign. Among other uses, this sign
is used by logicians for denoting a consequence relation, related to a given
logic, between a collection of formulas and a derived formula.")
(license license:lppl)))
(define-public texlive-bibtex8
(package
(name "texlive-bibtex8")