Ubuntu
haskell-djinn-ghc package

haskell-djinn-ghc 0.0.2.3-9build2 source package in Ubuntu

Changelog

haskell-djinn-ghc (0.0.2.3-9build2) eoan; urgency=medium

  * Rebuild against new GHC abi.

 -- Gianfranco Costamagna <email address hidden>  Thu, 08 Aug 2019 13:43:10 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Eoan
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
haskell-djinn-ghc_0.0.2.3.orig.tar.gz 3.3 KiB cb956aed69bc5c342b45ef1b1142b6555fd2865dde1a80ac6ab3ef86aca314a4
haskell-djinn-ghc_0.0.2.3-9build2.debian.tar.xz 2.9 KiB b106fcd6011957b36dceb282fe67150a9a96039085d5e8bd4a7b728860d8c3da
haskell-djinn-ghc_0.0.2.3-9build2.dsc 2.4 KiB 54c065783002054152839efd927bb6d1960ec2fdd42d7dca6c6e9454370c941a

Available diffs

View changes file

Binary packages built by this source

libghc-djinn-ghc-dev: No summary available for libghc-djinn-ghc-dev in ubuntu eoan.

No description available for libghc-djinn-ghc-dev in ubuntu eoan.

libghc-djinn-ghc-doc: No summary available for libghc-djinn-ghc-doc in ubuntu eoan.

No description available for libghc-djinn-ghc-doc in ubuntu eoan.

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.