z3 soname bump
Jerry James <[email protected]>
| Newsgroups | gmane.linux.redhat.fedora.devel |
|---|---|
| Message-ID | <CAHCOHQ=ZfiVLPAWJyjQn2EX+3gxWkApYf9bhXs+BR34eJOkPYQ@mail.gmail.com> |
Version 5.1 of z3 has been released and comes with an soname bump. In a week, I will build it and rebuild its reverse dependencies: - opam - prusa-slicer -- Jerry James http://www.jamezone.org/ -- _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam, report it: https://forge.fedoraproject.org/infra/tickets/issues/new