Hackage :: [Package]

Metadata revisions for logic-TPTP-0.2.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
-r2 2023-06-11T14:33:00Z MasahiroSakai daf578c64a913a9f1b645f326531b96a5b552712e894a879bfd85abbe7dd1bf4

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

    >=0
    to 
    <2.3
-r1 2023-06-10T12:26:13Z MasahiroSakai 5c824ec361f14d8547670662e6404b4ca67fcebdcf06c812eaa018217c253b82
-r0 2010-07-20T00:01:05Z KiYungAhn 9dc419ab883141fe78be910b6115e9038ec0dbfe7c67f2318049429e8b5c08c7