mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-25 13:58:15 -05:00
gnu: Add texlive-pstring.
* gnu/packages/tex.scm (texlive-pstring): New variable.
This commit is contained in:
parent
a989f23e46
commit
1a3e535f48
1 changed files with 20 additions and 0 deletions
|
@ -93209,6 +93209,26 @@ (define-public texlive-psfragx
|
|||
@code{psfragx} annotations ready embedded.")
|
||||
(license license:lppl)))
|
||||
|
||||
(define-public texlive-pstring
|
||||
(package
|
||||
(name "texlive-pstring")
|
||||
(version (number->string %texlive-revision))
|
||||
(source (texlive-origin
|
||||
name version
|
||||
(list "doc/latex/pstring/" "tex/latex/pstring/")
|
||||
(base32
|
||||
"07z072r8l55gplyr538nc76c0pfmz8mslx84gdy7nmmp9410sqv1")))
|
||||
(outputs '("out" "doc"))
|
||||
(build-system texlive-build-system)
|
||||
(home-page "https://ctan.org/pkg/pstring")
|
||||
(synopsis "Typeset sequences with justification pointers")
|
||||
(description
|
||||
"This package lets you typeset justified sequences, also called pointing
|
||||
strings. It's used for instance, in research papers about game semantics to
|
||||
represent sequence of game moves with their associated justification
|
||||
pointers.")
|
||||
(license license:public-domain)))
|
||||
|
||||
;;;
|
||||
;;; Avoid adding new packages to the end of this file. To reduce the chances
|
||||
;;; of a merge conflict, place them above by existing packages with similar
|
||||
|
|
Loading…
Reference in a new issue