PACKAGE NAME: haskell-type-equality-1-x86_64-1salix15.0.txz PACKAGE LOCATION: ./salix/haskell PACKAGE SIZE (compressed): 35 K PACKAGE SIZE (uncompressed): 140 K PACKAGE REQUIRED: aaa_libraries|gmp,ghc PACKAGE CONFLICTS: PACKAGE SUGGESTS: PACKAGE DESCRIPTION: haskell-type-equality: haskell-type-equality (Data.Type.Equality compat package) haskell-type-equality: haskell-type-equality: This library defines a propositional equality data type, shims haskell-type-equality: Data.Type.Equality as well as possible for older GHCs (< 7.8). haskell-type-equality: haskell-type-equality: https://hackage.haskell.org/package/type-equality haskell-type-equality: haskell-type-equality: haskell-type-equality: haskell-type-equality: haskell-type-equality: