Hackage :: [Package]

Metadata revisions for smtlib-backends-z3-0.3

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.3-r1) 2023-11-20T22:05:54Z FacundoDominguez b748fafd29eed0ea3f9e3924053c080196fad1eee5a73abc2f52e91f1dc19224

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

    >=4.14 && <4.18
    to 
    >=4.14 && <4.19
-r0 (smtlib-backends-z3-0.3-r0) 2023-02-06T10:26:33Z qaristote cca514fa7349a34becb659ff747ec144b7d1902fec2826ff3a51f81388e1eafd