Hackage :: [Package]

Metadata revisions for smtLib-1.0.6

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.6-r1) 2015-08-28T08:01:55Z HerbertValerioRiedel 160ffb326c2188ebf159b9146969389465ab870b1fb89a408cb1fd04d93e4605

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

    <5
    to 
    >=4.5 && <5
-r0 (smtLib-1.0.6-r0) 2013-07-03T18:29:16Z IavorDiatchki b579047b86ebf537e449e142eeceb0345cd595da4e0bfa3337025a85acb99ddb