Hackage :: [Package]

Metadata revisions for smtlib-backends-0.4

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.4-r1) 2024-08-15T22:56:20Z FacundoDominguez a7ae228f4464727a8c725341cf9b6690577f5289c80a33e8960264e296fb9a47

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

    >=4.14 && <4.20
    to 
    >=4.14 && <4.21
-r0 (smtlib-backends-0.4-r0) 2024-05-28T20:15:39Z FacundoDominguez 6028af9a5f9120b5176a22f136132cb91d7cdfcde34c2e1cdaf270f2d374de47