gnu: Add texlive-verifica.

* gnu/packages/tex.scm (texlive-verifica): New variable.
This commit is contained in:
Nicolas Goaziou 2023-08-11 00:17:48 +02:00
parent 3fd5ef29f9
commit 6b529432fa
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D

View file

@ -30259,6 +30259,28 @@ (define-public texlive-verbatimbox
(define-deprecated-package texlive-latex-verbatimbox texlive-verbatimbox)
(define-public texlive-verifica
(package
(name "texlive-verifica")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/verifica/"
"source/latex/verifica/"
"tex/latex/verifica/")
(base32
"1q7kdx7rywc98sdgycj33v8w3a3rk30qil5nqh9h0kgmc7a91mpc")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/verifica")
(synopsis "Typeset (Italian high school) exercises")
(description
"This class provides various environments and commands to produce the
typical exercises contained in a test. It is mainly intended for Italian high
school teachers, as the style is probably more in line with Italian high
school tests.")
(license license:lppl1.3+)))
(define-public texlive-examplep
(package
(name "texlive-examplep")