Hackage :: [Package]

Metadata revisions for smtLib-1.0.4

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.4-r1) 2015-08-28T08:02:21Z HerbertValerioRiedel 71b7ce1ecf2b8473010f7dffbe1f1dd9380f225c353cb05672361c9b8c08fdf5

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

    <5
    to 
    >=4.5 && <5
-r0 (smtLib-1.0.4-r0) 2013-05-23T20:50:44Z IavorDiatchki 664b937bd8f4ccc4df3341dca9962c98466d8294a72a5ae0fdc6ee7660211550