Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-aspen-2.5-78984.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-aspen Distribution: OpenMandriva Lx
Version: 2.5 Vendor: OpenMandriva
Release: 78984.1 Build date: Sun Jul 12 02:20:01 2026
Group: Publishing Build host: emag-1.openmandriva.org
Size: 0 Source RPM: texlive-aspen-2.5-78984.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/aspen
Summary: Simple crypto notation in LaTeX
The Aspen package implements LaTeX commands closely related to what is
often called security protocol notation, standard protocol engineering
notation, standard protocol notation, or protocol narrations.
Optionally, the Aspen package also implements LaTeX commands for
Burrows-Abadi-Needham logic (BAN logic). The name Aspen can be an
abbreviation for A Security Protocol Engineering Notation, but another
possible abbreviation is Anderson-inspired Standard Protocol Engineering
Notation, in memory of the late Professor Ross J. Anderson who has meant
so much for the fields of computer security, distributed systems, and,
in particular, security engineering.

Provides

Requires

License

lppl1.3c

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/aspen
/usr/share/texmf-dist/doc/latex/aspen/COPYRIGHT
/usr/share/texmf-dist/doc/latex/aspen/README.md
/usr/share/texmf-dist/doc/latex/aspen/aspen-doc.ltx
/usr/share/texmf-dist/doc/latex/aspen/aspen-doc.pdf
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/aspen
/usr/share/texmf-dist/tex/latex/aspen/aspen.sty


Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Aug 23 22:13:04 2026