libghc-type-equality-dev 1-4build3 (armhf binary) in ubuntu oracular
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-4build3
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
armhf build of haskell-type-equality 1-4build3 in ubuntu oracular PROPOSED produced
these files:
Package relationships
- Depends on:
- libc6 (>= 2.4)
- libghc-base-dev-4.17.2.0-a0b40
- libgmp10 (>= 2:6.3.0+dfsg)
- Provides:
- libghc-type-equality-dev-1-e6a53