Package: ghc-type-equality (1-150500.11.3.1)
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.14.3.0-ghc8.10.7.so()(64bit)
Package not available
dep: libHSghc-prim-0.6.1-ghc8.10.7.so()(64bit)
Package not available
dep: libHSinteger-gmp-1.0.3.0-ghc8.10.7.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 | 11 KiB | 67 KiB | list of files | Download |
| ppc64le | 11 KiB | 67 KiB | list of files | Download |
| s390x | 11 KiB | 7.3 KiB | list of files | Download |
| x86_64 | 11 KiB | 7.3 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-8.10.7/type-equality-1
- /usr/lib64/ghc-8.10.7/type-equality-1/libHStype-equality-1-Cz1XtPhQ9oP187QHwC5KWz-ghc8.10.7.so
- /usr/share/licenses/ghc-type-equality
- /usr/share/licenses/ghc-type-equality/LICENSE
Field source: openSUSE Leap 15.6 OSS