Hackage :: [Package]

Metadata revisions for logic-TPTP-0.3.0.2

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.3.0.2-r2) 2023-06-11T14:30:30Z MasahiroSakai e5e9dfdc75181f28dc2bd78dd9ccdd41cbb4ee6808e38a12850462e7f69e55e2

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.3.0.2-r1) 2023-06-10T12:22:32Z MasahiroSakai 8a8fcd64280bcd4babcc8771ef1057a5fa67c6ad825abee6464a7f7312364bb3

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.3.0.2-r0) 2012-08-27T14:41:49Z DanielSchuessler 21648cac694e74bcc5ea5b76aee1516d0f0fa2b52884a6ba185ad2cd257c4ef6