Comment 25 for bug 1991812

Focal formal verification following the test plan

a) Specific test for this bug
ubuntu@f-frr-packaging-regression:~$ id syslog
id: ‘syslog’: no such user
ubuntu@f-frr-packaging-regression:~$ sudo apt install frr -y
(...)
Setting up frr (7.2.1-1ubuntu0.1) ...
Adding group `frrvty' (GID 110) ...
Done.
Adding group `frr' (GID 115) ...
Done.
Warning: The home dir /nonexistent you specified can't be accessed: No such file or directory
Adding system user `frr' (UID 104) ...
Adding new user `frr' (UID 104) with group `frr' ...
Not creating home directory `/nonexistent'.
chown: invalid user: ‘syslog:adm’
dpkg: error processing package frr (--configure):
 installed frr package post-installation script subprocess returned error exit status 1

Upgrading to the package from proposed fixes it:
ubuntu@f-frr-packaging-regression:~$ sudo apt install frr -y
(...)
Setting up frr (7.2.1-1ubuntu0.2) ...
addgroup: The group `frrvty' already exists as a system group. Exiting.
addgroup: The group `frr' already exists as a system group. Exiting.
Warning: The home dir /nonexistent you specified can't be accessed: No such file or directory
The system user `frr' already exists. Exiting.
Created symlink /etc/systemd/system/multi-user.target.wants/frr.service → /lib/systemd/system/frr.service.
Setting up frr-pythontools (7.2.1-1ubuntu0.1) ...
Processing triggers for man-db (2.9.1-1) ...
Processing triggers for systemd (245.4-4ubuntu3.19) ...

ubuntu@f-frr-packaging-regression:~$ apt-cache policy frr
frr:
  Installed: 7.2.1-1ubuntu0.2
  Candidate: 7.2.1-1ubuntu0.2
  Version table:
 *** 7.2.1-1ubuntu0.2 500
        500 http://br.archive.ubuntu.com/ubuntu focal-proposed/universe amd64 Packages
        100 /var/lib/dpkg/status
     7.2.1-1ubuntu0.1 500
        500 http://br.archive.ubuntu.com/ubuntu focal-updates/universe amd64 Packages
     7.2.1-1 500
        500 http://br.archive.ubuntu.com/ubuntu focal/universe amd64 Packages