haskell-djinn-lib 0.0.1.2-6 source package in Ubuntu
Changelog
haskell-djinn-lib (0.0.1.2-6) unstable; urgency=medium [ Joachim Breitner ] * Add Uploaders field, which I accidentally dropped [ Clint Adams ] * Switch Vcs-Git/Vcs-Browser headers to new location. -- Clint Adams <email address hidden> Thu, 03 Dec 2015 14:54:22 -0500
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Xenial | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-djinn-lib_0.0.1.2-6.dsc | 2.4 KiB | e10b0e52d397b797b1f59f0671d6e8d5acc64e18fae34e58faa199e76deb3fd5 |
haskell-djinn-lib_0.0.1.2-6.debian.tar.xz | 2.5 KiB | 0f1c969cdc27110937ff2380a222ed8418b37c2a8a106d229328b310998bb3a9 |
haskell-djinn-lib_0.0.1.2.orig.tar.gz | 14.3 KiB | c0fe10b7aa5cb39f828e933925fc5bbf86c290bb7661021e4d9250ae8ed01011 |
Available diffs
No changes file available.
Binary packages built by this source
- libghc-djinn-lib-dev: No summary available for libghc-djinn-lib-dev in ubuntu zesty.
No description available for libghc-
djinn-lib- dev in ubuntu zesty.
- libghc-djinn-lib-doc: Generate Haskell code from a type; documentation
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 the documentation for a library for the Haskell
programming language.
See http://www.haskell. org/ for more information on Haskell.
- libghc-djinn-lib-prof: No summary available for libghc-djinn-lib-prof in ubuntu zesty.
No description available for libghc-
djinn-lib- prof in ubuntu zesty.