diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-08-29 16:05:38 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-08-31 22:07:46 +0200 |
| commit | a77223e7a9c1833452df9d716ec51c11f97854f6 (patch) | |
| tree | a338caedfc2e3d4155c61286ec3d199267e6c9b1 | |
| parent | 221a58322a4b7c7818678734604766fb969c6a07 (diff) | |
gnu: Add texlive-zed-csp.
* gnu/packages/tex.scm (texlive-zed-csp): New variable.
| -rw-r--r-- | gnu/packages/tex.scm | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index ad5aaf9c42..7f65d894e0 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -100718,6 +100718,25 @@ defining new ones to suit the user's needs. You may safely remove this 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 |