Hackage :: [Package]

Metadata revisions for logic-TPTP-0.3.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
-r2 (logic-TPTP-0.3.0.0-r2) 2023-06-11T14:31:13Z MasahiroSakai 8bd6981cf2c74c1ce91ca840ddf640bba9d85e2f876280365e6159a8da125654

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.3.0.0-r1) 2023-06-10T12:23:44Z MasahiroSakai fac82e01c743d6a7ce21306df12a495ce99b07b1b46295597177693d5534890b

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.3.0.0-r0) 2011-10-14T10:51:51Z DanielSchuessler c1f4500b91ee1436e92b3fb15561d180ee18450c2dfea42964e94fef6a058962