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

texlive-aspen-svn77463-1.fc44 RPM for noarch

From Fedora 44 for ppc64le / t

Name: texlive-aspen Distribution: Fedora Project
Version: svn77463 Vendor: Fedora Project
Release: 1.fc44 Build date: Wed Feb 4 16:11:55 2026
Group: Unspecified Build host: buildvm-x86-04.rdu3.fedoraproject.org
Size: 356629 Source RPM: texlive-collection-mathscience-svn77507-1.fc44.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.

Provides

Requires

License

LPPL-1.3c

Changelog

* 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

Files

/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, Fri Aug 14 05:19:38 2026