Hackage :: [Package]

Metadata revisions for logic-TPTP-0.4.5.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.5.0-r2) 2023-06-11T14:27:11Z MasahiroSakai 47da5e2aaccf4187b76ce22bd23f6e0a99a3071dc3411f8bc5bc53a8e06608c0

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.4.5.0-r1) 2023-06-10T12:18:05Z MasahiroSakai 5d598ff8a558a648ff6337e43bc7fe06a9327bd4f2cea77488e90179c9466dab

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.4.5.0-r0) 2017-09-02T16:38:22Z DanielSchuessler 321f14c3c5fa7c4b4949d3766af90539e8a382f377013d47441d60e17e252bc1