haskell-type-equality 1-3build2 source package in Ubuntu
Changelog
haskell-type-equality (1-3build2) lunar; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Thu, 08 Dec 2022 21:53:26 +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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-type-equality_1.orig.tar.gz | 4.4 KiB | 4728b502a211454ef682a10d7a3e817c22d06ba509df114bb267ef9d43a08ce8 |
haskell-type-equality_1-3build2.debian.tar.xz | 2.6 KiB | bbf6817e686a75d91a72c664f75e7a62f56962aebd8591abe57934822eb3d79d |
haskell-type-equality_1-3build2.dsc | 2.2 KiB | 6bee33390d377b08536aef00137063c05594914eeea8a8fa62d95576b9c36869 |
Available diffs
- diff from 1-3build1 to 1-3build2 (338 bytes)
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.