Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-type-equality | Distribution: openSUSE:Leap:15.2:PowerPC / ports |
Version: 1 | Vendor: openSUSE |
Release: lp152.2.1 | Build date: Fri May 22 00:57:04 2020 |
Group: Unspecified | Build host: obs-power9-07 |
Size: 68965 | Source RPM: ghc-type-equality-1-lp152.2.1.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'.
BSD-3-Clause
* 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.
/usr/lib64/ghc-8.10.1/type-equality-1 /usr/lib64/ghc-8.10.1/type-equality-1/libHStype-equality-1-8vxvMUXbGeJ175xv8XlFO-ghc8.10.1.so /usr/share/licenses/ghc-type-equality /usr/share/licenses/ghc-type-equality/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu May 9 11:54:26 2024