ghc-type-equality-1-bp155.4.16 RPM for aarch64

From OpenSuSE Leap 15.5 for aarch64

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'.

Provides

• ghc-type-equality
• ghc-type-equality(aarch-64)
• libHStype-equality-1-Cz1XtPhQ9oP187QHwC5KWz-ghc8.10.7.so()(64bit)

Requires

• libHSbase-4.14.3.0-ghc8.10.7.so()(64bit)
• libHSghc-prim-0.6.1-ghc8.10.7.so()(64bit)
• libHSinteger-gmp-1.0.3.0-ghc8.10.7.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1

License

BSD-3-Clause

Changelog

* Mon Nov 01 2021 psimons@suse.com
  - Update type-equality to version 1 revision 3.
    Upstream has revised the Cabal build instructions on Hackage.
* Mon Jan 11 2021 psimons@suse.com
  - Update type-equality to version 1 revision 2.
    Upstream has revised the Cabal build instructions on Hackage.
* Thu Dec 17 2020 Ondřej Súkup <mimi.vx@gmail.com>
  - disable %{ix86} build
* Mon Aug 31 2020 psimons@suse.com
  - Update type-equality to version 1 revision 1.
    Upstream has revised the Cabal build instructions on Hackage.
* Tue Aug 18 2020 Peter Simons <psimons@suse.com>
  - Replace %setup -q with the more modern %autosetup macro.
* Tue Jun 09 2020 psimons@suse.com
  - Add type-equality at version 1.

Files

/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

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 20:15:22 2024