Ubuntu – Package Search Results -- cryptol

» Ubuntu » Packages » Package Search Results

Search in specific suite: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [questing] [questing-updates] [questing-backports] [resolute] [resolute-updates] [resolute-backports] [stonking]

Limit search to a specific architecture: [i386] [amd64] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

You have searched for packages that names contain cryptol in all suites, all sections, and all architectures. Found 9 matching packages.

Exact hits

Package cryptol

jammy (22.04LTS) (utils): domain-specific language of cryptography [universe]
2.8.0-1build5.1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (utils): domain-specific language of cryptography [universe]
3.0.0-1build1: amd64 arm64 ppc64el riscv64

Other hits

Package libghc-cryptol-dev

jammy (22.04LTS) (haskell): domain-specific language of cryptography [universe]
2.8.0-1build5.1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (haskell): domain-specific language of cryptography [universe]
3.0.0-1build1: amd64 arm64 ppc64el riscv64

Package libghc-cryptol-doc

jammy (22.04LTS) (doc): domain-specific language of cryptography; documentation [universe]
2.8.0-1build5.1: all
noble (24.04LTS) (doc): domain-specific language of cryptography; documentation [universe]
3.0.0-1build1: all

Package libghc-cryptol-prof

jammy (22.04LTS) (haskell): domain-specific language of cryptography; profiling libraries [universe]
2.8.0-1build5.1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (haskell): domain-specific language of cryptography; profiling libraries [universe]
3.0.0-1build1: amd64 arm64 ppc64el riscv64

Package libxrdcryptolite2

jammy (22.04LTS) (libs): Light version of cryptograpic library for xrootd [universe]
5.4.1-1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libxrdcryptolite2t64

noble (24.04LTS) (libs): Light version of cryptograpic library for xrootd [universe]
5.6.9-2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (libs): Light version of cryptograpic library for xrootd [universe]
5.8.4-2: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (26.04LTS) (libs): Light version of cryptograpic library for xrootd [universe]
5.9.1-3build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libxrdcryptolite6

stonking (libs): Light version of cryptograpic library for xrootd [universe]
6.1.0-1: amd64 arm64 armhf ppc64el riscv64 s390x

Package python-cryptolyzer-doc

stonking (python): Analyzer for cryptographic protocols and settings - documentation [universe]
1.2.0-1: all

Package python3-cryptolyzer

stonking (python): Analyzer for cryptographic protocols and settings - Python 3 module [universe]
1.2.0-1: all