Hackage :: [Package]

Metadata revisions for logic-TPTP-0.2.0.3

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.2.0.3-r2) 2023-06-11T14:32:34Z MasahiroSakai f3c289c32ebcb63f087c7c8c2675bb945a0cf62003d7ec141d499d478541355a

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.2.0.3-r1) 2023-06-10T12:25:45Z MasahiroSakai 5092db0bdc5879266f04f30e8f0cd3b60de2d80dc3c535422f3cda9ca09d1302

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.2.0.3-r0) 2010-09-22T18:46:25Z KiYungAhn 0d828c2cbed1e5240c071dff396ebe259d0681e92053c1126a42d2bc902d1642