Hackage :: [Package]

Metadata revisions for smtlib2-1.0

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 (smtlib2-1.0-r1) 2021-11-13T03:31:21Z sjakobi 11d3f307f39ee596f6ddf46bae0966544f17e27417af4aa401bee9529523c301

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

    >=4 && <5
    to 
    >=4 && <4.16
-r0 (smtlib2-1.0-r0) 2017-01-05T20:49:22Z HenningGuenther 61edbbce61630a9e9559a69693a659d02ca0ceb98ae6538a73d42de375d3b5df