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

gnu: Add texlive-rec-thy.

Browse source 
* gnu/packages/tex.scm (texlive-rec-thy): New variable.
This commit is contained in:
Nicolas Goaziou 2023-07-30 16:43:41 +02:00
parent 9517327631
commit 2e3885e142
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

@ -5766,6 +5766,27 @@ (define-public texlive-rbt-mathnotes
for typesetting homework assignments, and formula cheat sheets for exams.")
(license license:lppl1.3c)))
(define-public texlive-rec-thy
(package
(name "texlive-rec-thy")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/rec-thy/" "tex/latex/rec-thy/")
(base32
"1hnh371kvp2m98gg01cnqqia8gp6m0rvblff53sq86ihcij8ifz9")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/rec-thy")
(synopsis "Commands to typeset recursion theory papers")
(description
"This package is designed to help mathematicians publishing papers in the
area of recursion theory (aka Computability Theory) easily use standard
notation. This includes easy commands to denote Turing reductions, Turing
functionals, c.e.@: sets, stagewise computations, forcing and syntactic
classes.")
(license license:public-domain)))
(define-public texlive-bibtex8
(package
(name "texlive-bibtex8")