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.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'.
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/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, Thu May 9 16:14:47 2024