Hackage :: [Package]

Metadata revisions for logic-TPTP-0.2.0.4

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.4-r2) 2023-06-11T14:32:06Z MasahiroSakai 8178cc651b2d9d8bba503a95d931628e0b481b77a0fbbf130c8542b6f8559b43

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.2.0.4-r1) 2023-06-10T12:25:19Z MasahiroSakai 906aca54de980b6de3c3af9db675eca930f0c81e27c56ff8faea0be0a612af5d

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.2.0.4-r0) 2010-10-13T15:19:13Z KiYungAhn 607c99988c4adec840ea02480bee0bbbb846e6322d4193e81e2f998136b882d7