Metadata revisions for type-equality-1

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r2 2021-01-09T17:14:11Z phadej f2a895a7b22384d9b43a9c6608725b2de7581e77e5b20ab9cfe3f959f6cd71a8
  • Changed tested-with from

    ghc ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.2.2 || ==7.0.4
    to
    ghc ==7.0.4 || ==7.2.2 || ==7.4.2 || ==7.6.3 || ==7.8.4 || ==7.10.3 || ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.3

  • Changed description from

    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@
    to
    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@

  • Changed the library component's library dependency on 'base' from

    >=4.3 && <4.15
    to
    >=4.3 && <4.16

-r1 2020-01-29T14:07:47Z ErikHesselink d36324583fbafc5698c3f898ccf7cf041cbf42435fc2559c28e8f77682739a8e
  • Changed the library component's library dependency on 'base' from

    >=4.3 && <4.14
    to
    >=4.3 && <4.15

-r0 2019-09-06T08:20:25Z phadej aeb9c44abf5d2edf52caff114a7da565d8328fa84bbe194828e4355ea85bf5b3