ghc-type-equality-1-12.4 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

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(riscv-64)
• libHStype-equality-1-Kfs7pCw04cF6mVd29xAMLr-ghc9.8.2.so()(64bit)

Requires

• libHSbase-4.19.1.0-b235-ghc9.8.2.so()(64bit)
• libHSghc-bignum-1.3-757c-ghc9.8.2.so()(64bit)
• libHSghc-prim-0.11.0-201e-ghc9.8.2.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.27)(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(PayloadIsZstd) <= 5.4.18-1

License

BSD-3-Clause

Changelog

* Tue Oct 10 2023 Peter Simons <psimons@suse.com>
  - Update type-equality to version 1 revision 6.
    Upstream has revised the Cabal build instructions on Hackage.
* Thu Mar 30 2023 Peter Simons <psimons@suse.com>
  - Updated spec file to conform with ghc-rpm-macros-2.5.2.
* Sun Mar 12 2023 Peter Simons <psimons@suse.com>
  - Update type-equality to version 1 revision 5.
    Upstream has revised the Cabal build instructions on Hackage.
* Wed Aug 10 2022 Peter Simons <psimons@suse.com>
  - Update type-equality to version 1 revision 4.
    Upstream has revised the Cabal build instructions on Hackage.
* 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-9.8.2/lib/libHStype-equality-1-Kfs7pCw04cF6mVd29xAMLr-ghc9.8.2.so
/usr/share/licenses/ghc-type-equality
/usr/share/licenses/ghc-type-equality/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 30 23:58:22 2024