| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-aspen | Distribution: Fedora Project |
| Version: svn78702 | Vendor: Fedora Project |
| Release: 2.fc45 | Build date: Wed Apr 29 21:59:51 2026 |
| Group: Unspecified | Build host: buildvm-x86-18.rdu3.fedoraproject.org |
| Size: 563920 | Source RPM: texlive-collection-mathscience-svn78771-2.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: http://tug.org/texlive/ | |
| 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.
LPPL-1.3c
* Wed Apr 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn78771-2 - Update collection from svn77561 to svn78771 - Add chempid - Add dnsrecord - Add fits-astro - Add glmatrix - Add mohelper - Add mystyletau - Add query-astro - Add quickderivs - Add register-transfer-level - Add statementsp - Update 70 components * Tue Feb 10 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77561-2 - Update to svn77561 * Thu Jan 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77507-1 - update to svn77507, fix descriptions, licensing, update components * Wed Oct 08 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-2 - regen, no deps from docs * Tue Sep 16 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-1 - Update to TeX Live 2025
/usr/share/licenses/texlive-aspen /usr/share/licenses/texlive-aspen/lppl1.3c.txt /usr/share/texlive/texmf-dist/doc/latex/aspen /usr/share/texlive/texmf-dist/doc/latex/aspen/COPYRIGHT /usr/share/texlive/texmf-dist/doc/latex/aspen/README.md /usr/share/texlive/texmf-dist/doc/latex/aspen/aspen-doc.ltx /usr/share/texlive/texmf-dist/doc/latex/aspen/aspen-doc.pdf /usr/share/texlive/texmf-dist/tex/latex/aspen /usr/share/texlive/texmf-dist/tex/latex/aspen/aspen.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 21 00:13:59 2026