Hackage :: [Package]

Metadata revisions for smtlib-backends-z3-0.3.1

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
-r2 (smtlib-backends-z3-0.3.1-r2) 2024-08-15T22:57:40Z FacundoDominguez e13b2e444d8799b51d9794d4b7bf24abe8ebe7499f61b344134e4bae6f625d83

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

    >=4.14 && <4.20
    to 
    >=4.14 && <4.21
-r1 (smtlib-backends-z3-0.3.1-r1) 2024-06-18T17:04:34Z FacundoDominguez 6b672e47ad38b0e163119a2989c9468f2a0539745b75e6736c98113ea41732a3

  • Changed the library component's library dependency on 'smtlib-backends' from 

    >=0.3 && <0.4
    to 
    >=0.3 && <0.5
-r0 (smtlib-backends-z3-0.3.1-r0) 2024-01-29T11:54:03Z FacundoDominguez b61b50e9335abc97abcc0cc2ee005c5a5f0c9a5966b2af7c5af40113abdb4191