Hackage :: [Package]

Metadata revisions for logic-TPTP-0.2.0.7

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.7-r2) 2023-06-11T14:31:31Z MasahiroSakai 3ac0290460e47f2434c74cb165513953883064272d88f402934ea30672c0add9

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

    >=0
    to 
    <2.3
-r1 (logic-TPTP-0.2.0.7-r1) 2023-06-10T12:24:19Z MasahiroSakai 28dfb99b764de89a4e07e8353462dc070aafb78ce8cf582863186b01e7f3b483

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

    >=0
    to 
    <1.0
-r0 (logic-TPTP-0.2.0.7-r0) 2011-01-22T14:59:26Z KiYungAhn 0712a649b1dc3ebd68530be2c8181f05325d6693972a6e50f7d540b2a37eedc3