The chain is rustc -> llvm-13 -> llvm-13-dev -> z3, so that's still an
issue with Jammy, I think. Reopening :)
** Changed in: rustc (Ubuntu Jammy)
Status: Invalid => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
I see no references to llvm-13-dev from rustc in jammy, and this has
been resolved in kinetic by relaxing the package relationship, so
closing this task.
** Changed in: rustc (Ubuntu Jammy)
Status: Confirmed => Invalid
--
You received this bug notification because you are a member of
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 Mon, 30 May 2022 09:59:01
+0200
**
Thank you Simon, the changes LGTM and resolve a component-mismatch
without the need to do an additional MIR for src:z3.
A test build is available at:
https://launchpad.net/~schopin/+archive/ubuntu/rustc-1.59/+sourcepub/13649849/+listing-archive-extra
I've sponsored your debdiff into Kinetic.
** Patch added: "rustc.debdiff"
https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+attachment/5593815/+files/rustc.debdiff
--
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:
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
** Summary changed:
- [MIR] z3
+ z3 is incorrectly marked as a MIR candidate
** Description changed:
- TDB by foundations.
+ 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.
** Also affects:
