libghc-type-equality-dev 1-3build3 (riscv64 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-3build3
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
riscv64 build of haskell-type-equality 1-3build3 in ubuntu lunar PROPOSED produced
these files:
Package relationships
- Depends on:
- libc6 (>= 2.27)
- libghc-base-dev-4.15.1.0-1d063
- libgmp10 (>= 2:6.2.1+dfsg1)
- Provides:
- libghc-type-equality-dev-1-820c7