[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate

[Simon Chopin]

Since we're shipping rustc primarily as a packaging tool, we can simply
demote the llvm-13 Recommends to a Suggests, and instead add it to rust-
all (which is in universe)

** Also affects: z3 (Ubuntu Kinetic)
   Importance: Undecided
       Status: Incomplete

** Also affects: rustc (Ubuntu Kinetic)
   Importance: Undecided
       Status: New

** Also affects: z3 (Ubuntu Jammy)
   Importance: Undecided
       Status: New

** Also affects: rustc (Ubuntu Jammy)
   Importance: Undecided
       Status: New

** Changed in: z3 (Ubuntu Kinetic)
   Importance: Undecided => High

** Changed in: rustc (Ubuntu Kinetic)
   Importance: Undecided => High

** Changed in: rustc (Ubuntu Jammy)
   Importance: Undecided => Medium

** Changed in: z3 (Ubuntu Jammy)
   Importance: Undecided => Medium

** Changed in: z3 (Ubuntu Jammy)
       Status: New => Invalid

** Changed in: z3 (Ubuntu Kinetic)
       Status: Incomplete => Invalid

** Changed in: rustc (Ubuntu Jammy)
       Status: New => Confirmed

** Changed in: rustc (Ubuntu Kinetic)
       Status: New => Confirmed

** Changed in: rustc (Ubuntu Jammy)
     Assignee: (unassigned) => Simon Chopin (schopin)

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to rustc in Ubuntu.
https://bugs.launchpad.net/bugs/1971128

Title:
  z3 is incorrectly marked as a MIR candidate

Status in rustc package in Ubuntu:
  Confirmed
Status in z3 package in Ubuntu:
  Invalid
Status in rustc source package in Jammy:
  Confirmed
Status in z3 source package in Jammy:
  Invalid
Status in rustc source package in Kinetic:
  Confirmed
Status in z3 source package in Kinetic:
  Invalid

Bug description:
  rustc pulls llvm-13 into main (the llvm-toolchain-13 being already
  partially seeded, it doesn't raise any issue), and z3 is a dependency
  of it.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions