Hackage :: [Package]

Metadata revisions for logic-TPTP-0.4.4.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.4.0-r2) 2023-06-11T14:28:19Z MasahiroSakai 805d23937f7ea3b8fc29434c2bbaff879f22b25b95ddb6d1892131a6792dd51f

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.4.4.0-r1) 2023-06-10T12:19:09Z MasahiroSakai 89ca9e3c450b1b4ccdf0ce11799bf2e3f6429a1dd92ad0e4fc6e1c14ae64511b

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.4.4.0-r0) 2016-01-24T17:42:27Z DanielSchuessler fb8b0ebd74c9d6e85fe16a19e568c6751577aa24e294328b53bedc7707796192