Hackage :: [Package]

Metadata revisions for natural-induction-0.2.0.0

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 (natural-induction-0.2.0.0-r1) 2020-02-11T07:07:21Z MatthewFarkasDyck c57efe84e8804093bb740ac824d0e5a4ba09015f16d3abaa8d3d93d29e975304

  • Added source-repository 

    source-repository head
    type:     git
    location: https://github.com/strake/natural-induction.hs

-r0 (natural-induction-0.2.0.0-r0) 2017-12-14T06:27:03Z MatthewFarkasDyck e51041d3811a0151f404533749717cd69ccc31fcfbbadbf041fe786a9fc72a21