Hackage :: [Package]

Metadata revisions for logic-TPTP-0.4.3.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.3.0-r2) 2023-06-11T14:28:48Z MasahiroSakai 61935ab61aff90648bc40de1efd7f153c27f0b812d62a159b1bb50edf4f335ad

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.4.3.0-r1) 2023-06-10T12:19:50Z MasahiroSakai 5575313d6357c83cec4d31f95e78595a3eb50606cbf6fc785757cc6d395a690a

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.4.3.0-r0) 2015-05-17T19:44:55Z DanielSchuessler 1efc6de2a943cf8b25662c4ef2a2ab4ce2bdfa4e010e697400ff3e2e0a657e4f