Hackage :: [Package]

Metadata revisions for logic-TPTP-0.5.0.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
-r4 (logic-TPTP-0.5.0.0-r4) 2023-06-11T14:24:07Z MasahiroSakai cb5b4b9f1cb1d38738b7c5915a22bf8de590310f2196a900cdb82f9da3c24a04

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

    >=0
    to 
    <2.3
-r3 (logic-TPTP-0.5.0.0-r3) 2023-06-10T14:21:45Z MasahiroSakai 4e1512bb452e498189eba3b0599e356ebb6c15560838dc269592335d13db2592

  • Changed the executable 'TestImportExportImportFile' component's library dependency on 'optparse-applicative' from 

    >=0.11 && <0.17
    to 
    >=0.11 && <0.19
-r2 (logic-TPTP-0.5.0.0-r2) 2023-06-10T12:15:39Z MasahiroSakai b9ea8f95e13977cd7410a9b5051fa82528f00677801152000413c2ea817d2d85

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

    >=0
    to 
    <1.0
-r1 (logic-TPTP-0.5.0.0-r1) 2020-12-29T05:43:51Z MasahiroSakai 0f65b56ff91242b9b549427ca1e4f9708962129592c033edee9b63450dc50e81

  • Changed the executable 'TestImportExportImportFile' component's library dependency on 'optparse-applicative' from 

    >=0.11 && <0.16
    to 
    >=0.11 && <0.17
-r0 (logic-TPTP-0.5.0.0-r0) 2020-02-28T12:17:14Z MasahiroSakai 52a4397f11a074e82ede9aa15fe4dca641c407a7566a545109a23dd0201586e2