Hackage :: [Package]

Metadata revisions for logic-TPTP-0.2.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
-r2 (logic-TPTP-0.2.0-r2) 2023-06-11T14:33:25Z MasahiroSakai 1c6ecb0c348ae8d4e599d595fcb05672ac8e5b0c76c6fafeea606bb439225e62

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.2.0-r1) 2023-06-10T12:26:34Z MasahiroSakai ff2e47ecd78a9e29c1bc095111c769328861727c69da8330b56af8b3f8056e61

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.2.0-r0) 2009-05-03T18:59:32Z DanielSchuessler 07c681750f6d3cb325de31d8134ec8c4d23e5b58a7308bdbbfbdb5e885450c8c