Hackage :: [Package]

Metadata revisions for smtLib-1.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
-r1 (smtLib-1.0.7-r1) 2015-08-28T08:01:42Z HerbertValerioRiedel 7a1d7c3e0e90bddb41538fa724f410e2a6915793ab14df4dfc4074c9d09d448e

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

    <5
    to 
    >=4.5 && <5
-r0 (smtLib-1.0.7-r0) 2014-02-14T18:54:45Z IavorDiatchki 96c572c68dd5c94eb2021e1f3be6e86ea951f866c00d1e7e2697a711d5b2b1ae