Hackage :: [Package]

Metadata revisions for logic-TPTP-0.4.6.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.4.6.0-r2) 2023-06-11T14:26:49Z MasahiroSakai ffd0628f7251a8d2c67719348b9528de405366d7f3de23edeebdd5338b775bd2

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.4.6.0-r1) 2023-06-10T12:16:35Z MasahiroSakai 1851c999b164b0c71afb8d11f824c90d963f973021ebc28022154a508f46bd59

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.4.6.0-r0) 2018-07-21T21:23:16Z DanielSchuessler 2f1f559a81c50334b02375262955f40afafd5e9a572cbff78093aeafafc0c0e9