Hackage :: [Package]

Metadata revisions for logic-TPTP-0.4.2.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
-r2 (logic-TPTP-0.4.2.0-r2) 2023-06-11T14:29:08Z MasahiroSakai e571ace7524219900fe3aa78c49689236ff03c04daa9cadbadcda0ad187ef344

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.4.2.0-r1) 2023-06-10T12:20:43Z MasahiroSakai 4da9152133a90ba6f9474937749679321527a3addd9e528897c65b720037d1a4

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.4.2.0-r0) 2014-08-10T20:51:55Z DanielSchuessler 7b31c233861d9b6fef8d9e97da7fa63f24e35718caa94dcad4613bd6f0e210fa