Hackage :: [Package]

Metadata revisions for logic-TPTP-0.3.0.1

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.1-r2) 2023-06-11T14:30:47Z MasahiroSakai 30c35de8d11a1256de9cc35c9f048ba6e0dc0753ab641e9811a007f7ee96e8a6

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.3.0.1-r1) 2023-06-10T12:23:20Z MasahiroSakai 240de07ba9e7ddebe51ff2f554c3cfa5c78212c96acb150636a405553cb9d8f5

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.3.0.1-r0) 2011-11-07T23:01:27Z KiYungAhn 63aa8d85c7018efe54e30eb8ca967eddf4c5e882c0d3cde330b68c56b624a1db