Comment 5 for bug 2039328

Verification done on mantic-proposed.

On arm64 with ubuntu-desktop-minimal installed,
running do-release-upgrade from lunar to mantic
(with mantic-proposed enabled and pinning setup)
does install `protection-domain-mapper` and
`qrtr-tools` (`flash-kernel` already installed).

Test Steps:
---

Part 1)
- launch aws arm64 instance with Ubuntu 22.04/jammy

Part 2)
- do-release-upgrade to 22.10/lunar
- install ubuntu-desktop-minimal
- enable lunar-proposed (converted to mantic-proposed in do-release-upgrade later)

Part 3)
- set pin priority for mantic-proposed/ubuntu-desktop-minimal
- do-release-upgrade to 23.04/mantic

Details:
---

Start on Jammy:

 $ lsb_release -cs
 jammy

 $ dpkg --print-architecture
 arm64

 $ uname -m
 aarch64

 $ sudo apt update && sudo apt -y dist-upgrade && sudo reboot

Upgrade to Lunar:

 $ sudo sed -i 's/^Prompt=.*/Prompt=normal/' -i /etc/update-manager/release-upgrades
 $ do-release-upgrade
 Checking for a new Ubuntu release

 = Welcome to Ubuntu 23.04 'Lunar Lobster' =
 ...

 $ lsb_release -cs
 No LSB modules are available.
 lunar

Prepare for testing:

 $ sudo apt install -y ubuntu-desktop-minimal

Test/Before: (only 1 out of 3 packages installed)

 $ dpkg -s flash-kernel protection-domain-mapper qrtr-tools | grep -e Package: -e Version:
 dpkg-query: package 'protection-domain-mapper' is not installed and no information is available
 dpkg-query: package 'qrtr-tools' is not installed and no information is available
 Use dpkg --info (= dpkg-deb --info) to examine archive files.
 Package: flash-kernel
 Version: 3.106ubuntu14

Enable -proposed:

 $ sudo add-apt-repository -yp proposed

 cat <<EOF | sudo tee /etc/apt/preferences.d/proposed
 Package: ubuntu-desktop-minimal
 Pin: release a=mantic-proposed
 Pin-Priority: 500
 EOF

Upgrade to Mantic:

 $ do-release-upgrade
 Checking for a new Ubuntu release

 = Welcome to Ubuntu 23.10 'Mantic Minotaur' =

 ...
 Get:1 http://ports.ubuntu.com/ubuntu-ports mantic-proposed/main arm64 ubuntu-desktop-minimal arm64 1.524.1 [10.8 kB]
 ...

 $ lsb_release -cs
 No LSB modules are available.
 mantic

Test/After: (all 3 out of 3 packages installed)

 $ dpkg -s flash-kernel protection-domain-mapper qrtr-tools | grep -e Package: -e Version:
 Package: flash-kernel
 Version: 3.107ubuntu2
 Package: protection-domain-mapper
 Version: 1.0-4ubuntu2
 Package: qrtr-tools
 Version: 1.0-2ubuntu1

The 'Recommends:' field:

 $ dpkg -s ubuntu-desktop-minimal | grep -e Version:
 Version: 1.524.1

 $ dpkg -s ubuntu-desktop-minimal | grep -e Recommends: | grep -o -e flash-kernel -e protection-domain-mapper -e qrtr-tools
 flash-kernel
 protection-domain-mapper
 qrtr-tools