libghc-djinn-ghc-doc binary package in Ubuntu Xenial ppc64el
Djinn uses an theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is the bridge from djinn-lib to
GHC API.
.
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 | ||
---|---|---|---|---|---|---|---|---|---|
2016-02-10 15:18:47 UTC | Published | Ubuntu Xenial ppc64el | release | universe | doc | Extra | 0.0.2.3-4build2 | ||
|
|||||||||
Deleted | Ubuntu Xenial ppc64el | proposed | universe | doc | Extra | 0.0.2.3-4build2 | |||
|
|||||||||
2016-02-10 15:39:48 UTC | Superseded | Ubuntu Xenial ppc64el | release | universe | doc | Extra | 0.0.2.3-4build1 | ||
|
|||||||||
2016-02-11 18:10:10 UTC | Deleted | Ubuntu Xenial ppc64el | proposed | universe | doc | Extra | 0.0.2.3-4build1 | ||
|
|||||||||
2015-12-20 21:44:41 UTC | Superseded | Ubuntu Xenial ppc64el | release | universe | doc | Extra | 0.0.2.3-4 | ||
|
|||||||||
2015-12-22 00:10:11 UTC | Deleted | Ubuntu Xenial ppc64el | proposed | universe | doc | Extra | 0.0.2.3-4 | ||
|
|||||||||
2015-12-19 16:18:39 UTC | Superseded | Ubuntu Xenial ppc64el | release | universe | doc | Extra | 0.0.2.3-2build3 | ||
|