Hackage :: [Package]

Metadata revisions for type-natural-1.3.0.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
-r1 (type-natural-1.3.0.1-r1) 2024-06-09T12:28:02Z HiromiIshii 957271fe3b4d20025c06a0c5481a4d5a300d3ac8157351ea716ed626b4b7f50c

  • Changed copyright from 

    (C) Hiromi ISHII 2013-2023
    to 
    (C) Hiromi ISHII 2013-2024

  • Changed tested-with from 

    ghc ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.1
    to 
    ghc ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1

  • Changed description from 

    Type-level natural numbers and proofs of their properties.

Version 0.6+ supports __GHC 8+ only__.

__Use 0.5.* with ~ GHC 7.10.3__.
    to 
    Type-level natural numbers and proofs of their properties.
-r0 (type-natural-1.3.0.1-r0) 2023-12-27T16:23:43Z HiromiIshii 92fa921823a74d8131f654528b24b8a5a050c4c877885c121bdc003bc3f08db9