Hackage :: [Package]

Metadata revisions for smtlib-backends-0.2

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-backends-0.2-r1) 2022-12-28T14:13:41Z qaristote 8135796ab4cd03c6511dc88d02f152b8dfe32c31d2c31c4867b4d06d03b13899

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

    >=0.10.12 && <0.11
    to 
    >=0.10.12 && <0.12
-r0 (smtlib-backends-0.2-r0) 2022-12-16T13:44:30Z qaristote 01834cbfa78a430c94189f1105f49dcf8b2f2bb75f3446f10b3de123816b5764