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 Tumbleweed |
Version: 1 | Vendor: openSUSE |
Release: 12.5 | Build date: Tue Oct 10 17:27:07 2023 |
Group: Unspecified | Build host: reproducible |
Size: 68901 | Source RPM: ghc-type-equality-1-12.5.src.rpm |
Packager: http://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
* Tue Oct 10 2023 Peter Simons <psimons@suse.com> - Update type-equality to version 1 revision 6. Upstream has revised the Cabal build instructions on Hackage. * Thu Mar 30 2023 Peter Simons <psimons@suse.com> - Updated spec file to conform with ghc-rpm-macros-2.5.2. * Sun Mar 12 2023 Peter Simons <psimons@suse.com> - Update type-equality to version 1 revision 5. Upstream has revised the Cabal build instructions on Hackage. * Wed Aug 10 2022 Peter Simons <psimons@suse.com> - Update type-equality to version 1 revision 4. Upstream has revised the Cabal build instructions on Hackage. * Mon Nov 01 2021 psimons@suse.com - Update type-equality to version 1 revision 3. Upstream has revised the Cabal build instructions on Hackage. * Mon Jan 11 2021 psimons@suse.com - Update type-equality to version 1 revision 2. Upstream has revised the Cabal build instructions on Hackage. * Thu Dec 17 2020 Ondřej Súkup <mimi.vx@gmail.com> - disable %{ix86} build * Mon Aug 31 2020 psimons@suse.com - Update type-equality to version 1 revision 1. Upstream has revised the Cabal build instructions on Hackage. * Tue Aug 18 2020 Peter Simons <psimons@suse.com> - Replace %setup -q with the more modern %autosetup macro. * Tue Jun 09 2020 psimons@suse.com - Add type-equality at version 1.
/usr/lib64/ghc-9.8.2/lib/libHStype-equality-1-7x21xJ1YX6gKZRK91ehUlw-ghc9.8.2.so /usr/share/licenses/ghc-type-equality /usr/share/licenses/ghc-type-equality/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun May 19 00:11:33 2024