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

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource texlive-aspen

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.

Found 3 sites for texlive-aspen

Found 17 RPM for texlive-aspen

PackageSummaryDistributionDownload
texlive-aspen-2026.226.1.27svn78101-60.2.noarch.htmlSimple crypto notation in LaTeXOpenSuSE Tumbleweed for noarchtexlive-aspen-2026.226.1.27svn78101-60.2.noarch.rpm
Simple crypto notation in LaTeXtexlive-aspen-2026.226.1.27svn78101-60.2.noarch.rpm
Simple crypto notation in LaTeXtexlive-aspen-2026.222.1.27svn78101-59.1.noarch.rpm
texlive-aspen-2.5-78984.1.noarch.htmlSimple crypto notation in LaTeXOpenMandriva Cooker for x86_64texlive-aspen-2.5-78984.1.noarch.rpm
texlive-aspen-2.5-78984.1.noarch.htmlSimple crypto notation in LaTeXOpenMandriva Cooker for aarch64texlive-aspen-2.5-78984.1.noarch.rpm
texlive-aspen-svn78702-3.fc45.noarch.htmlSimple crypto notation in LaTeXFedora Rawhide for x86_64texlive-aspen-svn78702-3.fc45.noarch.rpm
texlive-aspen-svn78702-3.fc45.noarch.htmlSimple crypto notation in LaTeXFedora Rawhide for aarch64texlive-aspen-svn78702-3.fc45.noarch.rpm
texlive-aspen-svn78702-3.fc45.noarch.htmlSimple crypto notation in LaTeXFedora Rawhide for ppc64letexlive-aspen-svn78702-3.fc45.noarch.rpm
texlive-aspen-svn78702-3.fc45.noarch.htmlSimple crypto notation in LaTeXFedora Rawhide for s390xtexlive-aspen-svn78702-3.fc45.noarch.rpm
texlive-aspen-svn78702-2.fc44.noarch.htmlSimple crypto notation in LaTeXFedora 44 updates for x86_64texlive-aspen-svn78702-2.fc44.noarch.rpm
texlive-aspen-svn78702-2.fc44.noarch.htmlSimple crypto notation in LaTeXFedora 44 updates for aarch64texlive-aspen-svn78702-2.fc44.noarch.rpm
texlive-aspen-svn78702-2.fc44.noarch.htmlSimple crypto notation in LaTeXFedora 44 updates for ppc64letexlive-aspen-svn78702-2.fc44.noarch.rpm
texlive-aspen-svn78702-2.fc44.noarch.htmlSimple crypto notation in LaTeXFedora 44 updates for s390xtexlive-aspen-svn78702-2.fc44.noarch.rpm
texlive-aspen-svn77463-1.fc44.noarch.htmlSimple crypto notation in LaTeXFedora 44 for x86_64texlive-aspen-svn77463-1.fc44.noarch.rpm
texlive-aspen-svn77463-1.fc44.noarch.htmlSimple crypto notation in LaTeXFedora 44 for aarch64texlive-aspen-svn77463-1.fc44.noarch.rpm
texlive-aspen-svn77463-1.fc44.noarch.htmlSimple crypto notation in LaTeXFedora 44 for ppc64letexlive-aspen-svn77463-1.fc44.noarch.rpm
texlive-aspen-svn77463-1.fc44.noarch.htmlSimple crypto notation in LaTeXFedora 44 for s390xtexlive-aspen-svn77463-1.fc44.noarch.rpm

Generated by rpm2html 1.6

Fabrice Bellet