diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 15:48:48 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 19:41:26 +0200 |
commit | 6480ed7d9d16416cc47d080e1c312366c148c0f6 (patch) | |
tree | d854c866bdd0ddf055126e5e362a5ade38914f01 /gnu | |
parent | 1993fa8d1dd9f44acc19b25ccde70cfc01b7bdfa (diff) | |
download | guix-6480ed7d9d16416cc47d080e1c312366c148c0f6.tar.gz |
gnu: Add texlive-cryptocode.
* gnu/packages/tex.scm (texlive-cryptocode): New variable.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/tex.scm | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index e3ade7313e..310a270805 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -2812,6 +2812,31 @@ with a wide array of formats. For the moment, it works out of the box with ConTeXt and LaTeX.") (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 (package (name "texlive-cweb-old") |