Hackage :: [Package]

Metadata revisions for logic-TPTP-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 (logic-TPTP-0.1-r1) 2023-06-10T12:27:13Z MasahiroSakai edbd06cbf8f49dad5bed6a944e8407292b7e72fdaa4bd46e1015faaeb9a73836

  • Changed the library component's library dependency on 'ansi-wl-pprint' from 

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.1-r0) 2009-04-28T13:38:28Z DanielSchuessler cfcef6be0272bbf4980859259c11294e7c324c2d9b81667a56193d8e754e9d69