Metadata revisions for smtlib-backends-process-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-process-0.3-r2) 2024-01-29T11:47:54Z FacundoDominguez caf131d3d6f6825e3a3182713130a8e14d0bd6530eeda643e8a511b546ff1a26
  • 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-process-0.3-r1) 2023-11-20T22:06:55Z FacundoDominguez 3eee93e91f41c8a2fb2699e95b502a24d8053485ccf7749e2766683d1ebfe11d
  • Changed the library component's library dependency on 'base' from

    >=4.14 && <4.18
    to
    >=4.14 && <4.19

-r0 (smtlib-backends-process-0.3-r0) 2023-02-06T10:26:32Z qaristote d4d7d02859383e0a43db2d8ce7ef01deffe1bcd356b2ff8626925c3a1c8db922