Hackage :: [Package]

Metadata revisions for logic-TPTP-0.4.7.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.7.0-r2) 2023-06-11T14:26:28Z MasahiroSakai fd9b6bf05205ba5236635674b348672c3c7ad3840516059e2720cbc907c2b160

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.4.7.0-r1) 2023-06-10T12:16:06Z MasahiroSakai fc822c60070a317780b97016da4bf81080bceea346f4bc03e25e2a702b2595a7

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.4.7.0-r0) 2020-02-16T11:28:34Z MasahiroSakai a85d4a783d7bba7e8ba1a2d793209ccaefbc1b7214ddf2556c79ee3c6639096e