This bug was fixed in the package rustc - 1.59.0+dfsg1-1~ubuntu2
---------------
rustc (1.59.0+dfsg1-1~ubuntu2) kinetic; urgency=medium
* Drop llvm-13 to Suggests for rustc to avoid having to promote it to Ubuntu
main (LP: #1971128)
-- Simon Chopin <simon.cho...@canonical.com> Mon, 30 May 2022 09:59:01
+0200
** Changed in: rustc (Ubuntu Kinetic)
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1971128
Title:
z3 is incorrectly marked as a MIR candidate
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
