Hackage :: [Package]

Metadata revisions for logic-TPTP-0.4.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.4.0.0-r2) 2023-06-11T14:29:58Z MasahiroSakai 1a673ac2ff931ec6b7212e84a1990fa85b2effcb83dd43d50099e0aceb434d56

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.4.0.0-r1) 2023-06-10T12:22:00Z MasahiroSakai 4e592707d39dcdcdd8be05b674723f71aaf89e33f6cf395f9f6e7dcc3cb6fc9e

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.4.0.0-r0) 2012-08-27T19:18:58Z DanielSchuessler ffac355d1f4711178d307844048eaf34d8c322681723089e7e675e017788e31c