Ubuntu
haskell-type-equality package

haskell-type-equality 1-4build3 source package in Ubuntu

Changelog

haskell-type-equality (1-4build3) oracular; urgency=medium

  * Rebuild against new GHC ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 15 May 2024 10:43:59 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
haskell-type-equality_1.orig.tar.gz 4.4 KiB 4728b502a211454ef682a10d7a3e817c22d06ba509df114bb267ef9d43a08ce8
haskell-type-equality_1-4build3.debian.tar.xz 3.0 KiB e0c98aa59d75b0fb140c1640ac06d8438f122ce45c903565fc4be6271d96e0a4
haskell-type-equality_1-4build3.dsc 2.1 KiB 36ccee421e4333a3e94d39ba8ddf4e2f30182ddfaa3c59122f9b0243da6c83c3

Available diffs

View changes file

Binary packages built by this source

libghc-type-equality-dev: Data.Type.Equality compat package

 This library defines a propositional equality data type,
 shims Data.Type.Equality.
 .
 The module Data.Type.Equality.Hetero shims :~~: equality, for
 compilers with PolyKinds.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-type-equality-doc: Data.Type.Equality compat package; documentation

 This library defines a propositional equality data type,
 shims Data.Type.Equality.
 .
 The module Data.Type.Equality.Hetero shims :~~: equality, for
 compilers with PolyKinds.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-type-equality-prof: Data.Type.Equality compat package; profiling libraries

 This library defines a propositional equality data type,
 shims Data.Type.Equality.
 .
 The module Data.Type.Equality.Hetero shims :~~: equality, for
 compilers with PolyKinds.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.