Hackage :: [Package]

Metadata revisions for smtlib-backends-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
-r2 (smtlib-backends-0.3-r2) 2024-01-29T11:46:05Z FacundoDominguez a947aead99f6a314833bddca9b502d5faea8d3bd2fc76ffb53c34d5c5b7557bc

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

    >=4.14 && <4.19
    to 
    >=4.14 && <4.20

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

    >=0.10.12 && <0.12
    to 
    >=0.10.12 && <0.13
-r1 (smtlib-backends-0.3-r1) 2023-11-20T22:05:11Z FacundoDominguez 69977f97a8db2c11e97bde92fff7e86e793c1fb23827b284bf89938ee463fbf0

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

    >=4.14 && <4.18
    to 
    >=4.14 && <4.19
-r0 (smtlib-backends-0.3-r0) 2023-02-06T10:26:31Z qaristote 917d88540a9ede7beedbe2ed13b492acddbce394d30ccf5d0ef4f4fba9aa2c12