Hackage :: [Package]

Metadata revisions for logic-TPTP-0.4.1.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.1.0-r2) 2023-06-11T14:29:36Z MasahiroSakai 59b4224eb5f13861173c667063044680a513322394be97d23180b6c7b50ab9dd

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.4.1.0-r1) 2023-06-10T12:21:25Z MasahiroSakai 187dc151f68a542a109e887e3d0b095978943f3714ddbf7832f28750163d8ae2

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.4.1.0-r0) 2014-05-24T02:14:52Z DanielSchuessler 65123b17e787a60f37b3ef356b397ae91cfa254f4567eacda01d8f648023aaa3