me
/
guix
Archived
1
0
Fork 0
Code

gnu: Add texlive-proof-at-the-end. 

* gnu/packages/tex.scm (texlive-proof-at-the-end): New variable.
Nicolas Goaziou 2023-07-30 16:42:16 +02:00
parent 17b469c942
commit 7809b7d1c6
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

@ -5600,6 +5600,27 @@ includes some short commands for set (blackboard) or
filtrations (calligraphic).")
(license license:lppl)))
(define-public texlive-proof-at-the-end
(package
(name "texlive-proof-at-the-end")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/proof-at-the-end/"
"source/latex/proof-at-the-end/"
"tex/latex/proof-at-the-end/")
(base32
"1wzkzjja3h12z9ib0p171k6ygbyvm51m139vvlaqmv7201ydvps0")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/proof-at-the-end")
(synopsis "Move proofs to appendix")
(description
"This package aims to provide a way to easily move proofs to the appendix.
You can (among other things) move proofs to different places/sections, create
links from theorems to proofs, restate theorems, add comments in appendix...")
(license license:lppl1.3+)))
(define-public texlive-bibtex8
(package
(name "texlive-bibtex8")