Ubuntu
haskell-djinn-lib package

haskell-djinn-lib 0.0.1.4-1build3 source package in Ubuntu

Changelog

haskell-djinn-lib (0.0.1.4-1build3) lunar; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 09 Dec 2022 14:04:14 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Lunar
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe misc
Lunar release universe misc

Downloads

File Size SHA-256 Checksum
haskell-djinn-lib_0.0.1.4.orig.tar.gz 14.4 KiB 882376cc58b6425c20059beb880b7ed0bccbc59225e183b68810c86da0e993e8
haskell-djinn-lib_0.0.1.4-1build3.debian.tar.xz 3.1 KiB ab732d682d9266f92e1573c132f7fe1c170756b37147894f4fb440c398d6d818
haskell-djinn-lib_0.0.1.4-1build3.dsc 2.4 KiB 167f0d41a6a75f6be51a36a6991ea323d29172e95055a7f9b71ea18c89483415

View changes file

Binary packages built by this source

libghc-djinn-lib-dev: Generate Haskell code from a type

 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://www.haskell.org/ for more information on Haskell.

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: Generate Haskell code from a type; profiling libraries

 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, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.