| 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: 8.6 | Build date: Fri May 28 13:09:34 2021 |
| Group: Unspecified | Build host: obs-arm-5 |
| Size: 7193 | Source RPM: ghc-type-equality-1-8.6.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
* 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/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, Tue Jan 7 23:49:12 2025