libghc-type-equality-dev 1-3build1 (amd64 binary) in ubuntu lunar
This library defines a propositional equality data type,
shims Data.Type.Equality.
.
The module Data.Type.
compilers with PolyKinds.
.
This package provides a library for the Haskell programming language.
See http://
Details
- Package version:
- 1-3build1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of haskell-type-equality 1-3build1 in ubuntu kinetic PROPOSED produced
these files:
Package relationships
- Depends on:
- libc6 (>= 2.2.5)
- libghc-base-dev-4.15.1.0-7ed7d
- libgmp10 (>= 2:6.2.1+dfsg)
- Provides:
- libghc-type-equality-dev-1-6efda