Hackage :: [Package]

Metadata revisions for logic-TPTP-0.2.0.6

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.6-r2) 2023-06-11T14:31:45Z MasahiroSakai 635ead2ddae5523caf25ecf442873b45bdf9f8f35d48c46478c1fabfe8bccd17

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.2.0.6-r1) 2023-06-10T12:24:49Z MasahiroSakai 5bd9b6adee981bdaf551e2dea3a8269d6cc056e3bc7ff925684f44d67f59ad83

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.2.0.6-r0) 2011-01-22T14:56:40Z KiYungAhn c94772b92b8edbce92dc7896cda934a2c0d0ebcc7fe086caa604bad04d22f5d9