| 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: SUSE Linux Enterprise 15 SP3 |
| Version: 1 | Vendor: openSUSE |
| Release: bp153.1.20 | Build date: Sat Apr 10 10:42:59 2021 |
| Group: Unspecified | Build host: obs-arm-9 |
| Size: 69373 | Source RPM: ghc-type-equality-1-bp153.1.20.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.4/type-equality-1 /usr/lib64/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 14:55:59 2024