Comment 27 for bug 1991812

Final part of the focal formal verification

b2) Fresh install of proposed package
$ 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

Logging is working fine:
ubuntu@f-frr-packaging-regression:~$ sudo systemctl restart frr

ubuntu@f-frr-packaging-regression:~$ l /var/log/frr/frr.log
-rw-r----- 1 syslog adm 1.3K Dec 7 20:45 /var/log/frr/frr.log

Repeating the same test in a new container, but without the syslog user present:

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.2) ...
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'.
Created symlink /etc/systemd/system/multi-user.target.wants/frr.service → /lib/systemd/system/frr.service.
Setting up frr-pythontools (7.2.1-1ubuntu0.2) ...
Processing triggers for systemd (245.4-4ubuntu3.19) ...
Processing triggers for man-db (2.9.1-1) ...
Processing triggers for libc-bin (2.31-0ubuntu9.9) ...
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

Focal verification succeeded.