Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-type-equality-1-bp153.1.2 RPM for armv7hl

From OpenSuSE Ports Leap 15.3 for armv7hl

Name: ghc-type-equality Distribution: SUSE Linux Enterprise 15 SP3
Version: 1 Vendor: openSUSE
Release: bp153.1.2 Build date: Thu Mar 18 11:58:00 2021
Group: Unspecified Build host: obs-arm-5
Size: 7273 Source RPM: ghc-type-equality-1-bp153.1.2.src.rpm
Packager: https://bugs.opensuse.org
Url: https://hackage.haskell.org/package/type-equality
Summary: 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'.

Provides

Requires

License

BSD-3-Clause

Changelog

* Thu May 07 2020 Peter Simons <psimons@suse.com>
  - Update Cabal file to get more accurate dependency information.
* Fri Nov 08 2019 Peter Simons <psimons@suse.com>
  - Drop obsolete group attributes.
* Thu Oct 10 2019 psimons@suse.com
  - Add type-equality at version 1.

Files

/usr/lib/ghc-8.10.4/type-equality-1
/usr/lib/ghc-8.10.4/type-equality-1/libHStype-equality-1-7CHOwuJCivr9KRetNRqfiu-ghc8.10.4.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 16:43:41 2024