libghc-djinn-lib-dev binary package in Ubuntu Oracular ppc64el
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides a library for the Haskell programming language.
See http://
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2024-05-22 02:39:08 UTC | Published | Ubuntu Oracular ppc64el | release | universe | haskell | Extra | 0.0.1.4-2build1 | ||
|
|||||||||
Deleted | Ubuntu Oracular ppc64el | proposed | universe | haskell | Extra | 0.0.1.4-2build1 | |||
|
|||||||||
2024-05-22 02:43:00 UTC | Superseded | Ubuntu Oracular ppc64el | release | universe | haskell | Extra | 0.0.1.4-2 | ||
|