Hackage :: [Package]

Metadata revisions for smtlib-backends-tests-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
-r3 (smtlib-backends-tests-0.3-r3) 2024-08-15T22:58:12Z FacundoDominguez 973bdb20ec6ca2eb4f890b7431978b2c736681c21e648c73ea3204826a2403ae

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

    >=4.14 && <4.19
    to 
    >=4.14 && <4.21
-r2 (smtlib-backends-tests-0.3-r2) 2024-06-18T17:13:00Z FacundoDominguez 991e6cc3aed4a6ec5722005cca97abf60fc92d72a969c4cfa77fbb79c253fdb0

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

    >=0.3 && <0.4
    to 
    >=0.3 && <0.5
-r1 (smtlib-backends-tests-0.3-r1) 2023-11-20T22:06:20Z FacundoDominguez 4d03fd8125851b35f49084c21e7906c9105fc53ccfe75824c63586fb5872ab46

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

    >=4.14 && <4.18
    to 
    >=4.14 && <4.19
-r0 (smtlib-backends-tests-0.3-r0) 2023-02-06T10:26:32Z qaristote fb6a19ddd2c5f65d37a520a464007ed77c2bf1dc848f89396cb2575832724e99