libghc-cryptol-doc binary package in Ubuntu Bionic amd64
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.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2017-11-22 03:18:53 UTC | Published | Ubuntu Bionic amd64 | release | universe | doc | Extra | 2.4.0-3 | ||
|
|||||||||
Deleted | Ubuntu Bionic amd64 | proposed | universe | doc | Extra | 2.4.0-3 | |||
|
|||||||||
2017-11-10 23:28:22 UTC | Superseded | Ubuntu Bionic amd64 | proposed | universe | doc | Extra | 2.4.0-2build7 | ||
|
|||||||||
2017-11-22 03:48:34 UTC | Superseded | Ubuntu Bionic amd64 | release | universe | doc | Extra | 2.4.0-2build6 | ||
|