gnu: Add texlive-vdmlisting.

* gnu/packages/tex.scm (texlive-vdmlisting): New variable.
This commit is contained in:
Nicolas Goaziou 2023-08-29 16:04:20 +02:00
parent 03aa57c41f
commit b5bfb452b0
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D

View file

@ -99256,6 +99256,29 @@ (define-public texlive-vcell
Different vertical alignments can be used in the same row.")
(license license:lppl1.3c)))
(define-public texlive-vdmlisting
(package
(name "texlive-vdmlisting")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/vdmlisting/"
"tex/latex/vdmlisting/")
(base32
"0yhgql2gflygjhx5mz87qqyiny7j0wpiqs2yvpmzm57linna3vzn")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/vdmlisting")
(synopsis "Typesetting VDM in ASCII syntax")
(description
"The package is an extension for the @code{listings} package that provides
a source code printer for LaTeX. This package defines new language
definitions and listing environments for the three language dialects of the
Vienna Development Method: VDM-SL, VDM-PP and VDM-RT. If one wants to typeset
VDM with a mathematical syntax instead of the ASCII syntax used here, one
should use the @code{vdm} pacakge instead.")
(license license:lppl1.3+)))
;;;
;;; 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