z3 soname bump
Jerry James <[email protected]>
| Newsgroups | gmane.linux.redhat.fedora.devel |
|---|---|
| Message-ID | <CAHCOHQnHjNuqO2Qa6LWUUsO1bm+ckc_UVXNeUjX6qAgwTVYfJA@mail.gmail.com> |
Version 5.0 of z3 has been released and comes with an soname bump. In a week, I will build it and rebuild the following packages: - 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