| 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 |
| Version: 1 | Vendor: SUSE LLC <https://www.suse.com/> |
| Release: 150500.11.3.1 | Build date: Mon Jan 29 15:07:05 2024 |
| Group: Unspecified | Build host: h02-armsrv2 |
| Size: 68925 | Source RPM: ghc-type-equality-1-150500.11.3.1.src.rpm |
| Packager: https://www.suse.com/ | |
| 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
* Tue Oct 10 2023 psimons@suse.com - Add type-equality at version 1 revision 6.
/usr/lib64/ghc-8.10.7/type-equality-1 /usr/lib64/ghc-8.10.7/type-equality-1/libHStype-equality-1-Cz1XtPhQ9oP187QHwC5KWz-ghc8.10.7.so /usr/share/licenses/ghc-type-equality /usr/share/licenses/ghc-type-equality/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri May 3 23:50:48 2024