cryptol 2.8.0-1build5.1 (ppc64el binary) in ubuntu impish
Cryptol is a domain-specific language for specifying cryptographic
algorithms. A Cryptol implementation of an algorithm resembles its
mathematical specification more closely than an implementation in
a general purpose language.
Details
- Package version:
- 2.8.0-1build5.1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Extra
Downloadable files
ppc64el build of haskell-cryptol 2.8.0-1build5.1 in ubuntu impish PROPOSED produced
these files:
- cryptol_2.8.0-1build5.1_ppc64el.deb (5.3 MiB)
Package relationships
- Depends on: