me/guix
Archived
1
0
Fork 0
Code Activity

gnu: Add texlive-formal-grammar.

Browse source 
* gnu/packages/tex.scm (texlive-formal-grammar): New variable.
This commit is contained in:
Nicolas Goaziou 2023-07-30 16:19:33 +02:00
parent 02fb9e924b
commit a1d65b45be
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D
1 changed files with 23 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
gnu/packages/tex.scm
View file

@ -3673,6 +3673,29 @@ and complex notation. Further many macros and shortcuts are added, e.g., for
spaces, operators, physics unit, etc.") spaces, operators, physics unit, etc.")
(license license:lppl))) (license license:lppl)))
(define-public texlive-formal-grammar
(package
(name "texlive-formal-grammar")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/formal-grammar/"
"source/latex/formal-grammar/"
"tex/latex/formal-grammar/")
(base32
"00vr0gdz6jikdycsbfn7n8ddb8391h9fl314vjf8yxz25rn75qz4")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/formal-grammar")
(synopsis "Typeset formal grammars")
(description
"This package provides a new environment and associated commands to
typeset BNF grammars. It allows to easily write formal grammars. Its
original motivation was to typeset grammars for beamer presentations,
therefore, there are macros to emphasize or downplay some parts of the
grammar (which is the main novelty compared to other BNF packages).")
(license license:lppl1.3+)))
(define-public texlive-bibtex8 (define-public texlive-bibtex8
(package (package
(name "texlive-bibtex8") (name "texlive-bibtex8")