me
/
guix
Archived
1
0
Fork 0

gnu: Add texlive-cryptocode.

* gnu/packages/tex.scm (texlive-cryptocode): New variable.
Nicolas Goaziou 2023-07-30 15:48:48 +02:00
parent 1993fa8d1d
commit 6480ed7d9d
No known key found for this signature in database
GPG Key ID: DA00B4F048E92F2D
1 changed files with 25 additions and 0 deletions

View File

@ -2812,6 +2812,31 @@ with a wide array of formats. For the moment, it works out of the box with
ConTeXt and LaTeX.") ConTeXt and LaTeX.")
(license (list license:gpl3+ license:fdl1.3+)))) (license (list license:gpl3+ license:fdl1.3+))))
(define-public texlive-cryptocode
(package
(name "texlive-cryptocode")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/cryptocode/"
"source/latex/cryptocode/"
"tex/latex/cryptocode/")
(base32
"0i22bdg2mn305vlmpy32yqbsp7kf5ld54vdvjzq49n8v00qxy286")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/cryptocode")
(synopsis
"Pseudocode, protocols, game-based proofs and black-box reductions in cryptography")
(description
"The @code{cryptocode} package provides a set of macros to ease the
typesetting of pseudocode, algorithms and protocols. In addition it comes
with a wide range of tools to typeset cryptographic papers. This includes
simple predefined commands for concepts such as a security parameter or
advantage terms but also flexible and powerful environments to layout
game-based proofs or black-box reductions.")
(license license:lppl1.3+)))
(define-public texlive-cweb-old (define-public texlive-cweb-old
(package (package
(name "texlive-cweb-old") (name "texlive-cweb-old")