Package: ghc-type-equality (1.0.1-bp160.1.10)
Data.Type.Equality compat package
This library defines a propositional equality data type, shims
'Data.Type.Equality' as well as possible for older GHCs (< 7.8).
' data a :~: b where Refl :: a :~: a '
The module 'Data.Type.Equality.Hetero' shims ':~~:' equality, for compilers
with 'PolyKinds'.
Other Packages Related to ghc-type-equality:
dep: libHSbase-4.19.2.0-7e67-ghc9.8.3.so()(64bit)
Package not available
dep: libHSghc-bignum-1.3-86c2-ghc9.8.3.so()(64bit)
Package not available
dep: libHSghc-prim-0.11.0-7710-ghc9.8.3.so()(64bit)
Package not available
dep: libgmp.so.10()(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libc.so.6(GLIBC_2.17)(64bit)
Package not available
Download ghc-type-equality
| Architecture | Package size | Installed size | Files | Package |
|---|---|---|---|---|
| aarch64 | 12 KiB | 67 KiB | list of files | Download |
| ppc64le | 12 KiB | 67 KiB | list of files | Download |
| x86_64 | 12 KiB | 15 KiB | list of files | Download |
Paketdateipfade (4)
Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.
- /usr/lib64/ghc-9.8.3/lib/libHStype-equality-1.0.1-4Dece3ad2TIERUz4FTf8ap-ghc9.8.3.so
- /usr/lib64/ghc-9.8.3/lib/libHStype-equality-1.0.1-9WefBnKRlms4fIn7TEHELa-ghc9.8.3.so
- /usr/share/licenses/ghc-type-equality
- /usr/share/licenses/ghc-type-equality/LICENSE
Field source: openSUSE Leap 16.0 OSS