Hackage :: [Package]

Metadata revisions for smtlib-backends-z3-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-z3-0.2-r1) 2022-12-28T14:15:11Z qaristote 3656cb3b0a337da9458c499915cd19500abb83257b4fea31e379160148c468c8

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

    >=0.10.12 && <0.11
    to 
    >=0.10.12 && <0.12
-r0 (smtlib-backends-z3-0.2-r0) 2022-12-16T13:45:28Z qaristote 96563fe723edcf09f93dade3de0b74baa03d9501f1244b822f6ad7e42ab812c1