haskell-djinn-ghc 0.0.2.3-4 source package in Ubuntu
Changelog
haskell-djinn-ghc (0.0.2.3-4) 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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-djinn-ghc_0.0.2.3-4.dsc | 2.5 KiB | b3a606e6e1891d943accd3c64848762ae2b16691575c80fd0759ecc836e99dc2 |
haskell-djinn-ghc_0.0.2.3-4.debian.tar.xz | 2.4 KiB | 3ce691697279da0cb13623c783c140748bd8f97892cfff54bca1cdcf25f75398 |
haskell-djinn-ghc_0.0.2.3.orig.tar.gz | 3.3 KiB | cb956aed69bc5c342b45ef1b1142b6555fd2865dde1a80ac6ab3ef86aca314a4 |
Available diffs
No changes file available.
Binary packages built by this source
- libghc-djinn-ghc-dev: Generate Haskell code from a type. (Bridge to GHC API)
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 a library for the Haskell programming language.
See http://www.haskell. org/ for more information on Haskell.
- libghc-djinn-ghc-doc: Generate Haskell code from a type. (Bridge to GHC API); documentation
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://www.haskell. org/ for more information on Haskell.
- libghc-djinn-ghc-prof: Generate Haskell code from a type. (Bridge to GHC API); profiling libraries
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 a library for the Haskell programming language, compiled
for profiling. See http://www.haskell. org/ for more information on Haskell.