ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-27 23:02:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add texlive-zed-csp.

Browse source 
* gnu/packages/tex.scm (texlive-zed-csp): New variable.
This commit is contained in:
Nicolas Goaziou 2023-08-29 16:05:38 +02:00
parent 221a58322a
commit a77223e7a9
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
gnu/packages/tex.scm
View file

@ -100718,6 +100718,25 @@ (define-public texlive-zebra-goodies
package once the paper is finished.")
(license license:lppl1.3c)))
(define-public texlive-zed-csp
(package
(name "texlive-zed-csp")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/zed-csp/" "tex/latex/zed-csp/")
(base32
"16xv24vf6d3znfa2a6qhbz7hgq3s5n8fg8i8h07i9rf008apja0d")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/zed-csp")
(synopsis "Typesetting Z and CSP format specifications")
(description
"The package supports real-time CSP and incorporates the functionality of
Spivey's original Z package, written for LaTeX 2.09.")
;; "You may copy and distribute this file freely."
(license (license:non-copyleft "file://tex/latex/zed-csp/zed-csp.sty"))))
;;;
;;; 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