Hackage :: [Package]

Metadata revisions for smtLib-1.0.5

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.5-r1) 2015-08-28T08:02:11Z HerbertValerioRiedel 633772a6819a518d415c7f588c36a0b8718d0dd4a6a3e3b7c671974f4ad5c72c

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

    <5
    to 
    >=4.5 && <5
-r0 (smtLib-1.0.5-r0) 2013-07-03T16:51:19Z IavorDiatchki 59796937ef182b4d578e6c185cac384288ebb1e3723d53e7f315a66e759ff1a7