0s autopkgtest [15:25:06]: starting date: 2024-03-09
  0s autopkgtest [15:25:06]: git checkout: d9c0295 adt_testbed.py: supress warnings from apt using a shell pipeline
  0s autopkgtest [15:25:06]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.zqeyyolr/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:coq,src:at-spi2-core,src:glib2.0,src:gtk+3.0 --apt-upgrade coq --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=coq/8.18.0+dfsg-1build1 at-spi2-core/2.51.90-2 glib2.0/2.79.3-3ubuntu3 gtk+3.0/3.24.41-1.1ubuntu1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-arm64-7.secgroup --name adt-noble-arm64-coq-20240309-152506-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/
162s autopkgtest [15:27:48]: @@@@@@@@@@@@@@@@@@@@ test bed setup
162s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB]
163s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [429 kB]
164s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB]
164s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2635 kB]
165s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B]
165s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [572 kB]
165s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B]
165s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB]
165s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B]
165s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2878 kB]
166s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B]
166s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.2 kB]
166s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B]
174s Fetched 6745 kB in 5s (1370 kB/s)
175s Reading package lists...
187s Reading package lists...
187s Building dependency tree...
187s Reading state information...
189s Calculating upgrade...
190s The following package was automatically installed and is no longer required:
190s   ubuntu-advantage-tools
190s Use 'sudo apt autoremove' to remove it.
190s The following packages will be REMOVED:
190s   libglib2.0-0
190s The following NEW packages will be installed:
190s   libglib2.0-0t64 xdg-user-dirs
190s The following packages will be upgraded:
190s   efibootmgr gir1.2-glib-2.0 libglib2.0-data ubuntu-minimal ubuntu-standard
190s 5 upgraded, 2 newly installed, 1 to remove and 0 not upgraded.
190s Need to get 1827 kB of archives.
190s After this operation, 138 kB of additional disk space will be used.
190s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu3 [182 kB]
191s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu3 [1527 kB]
191s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu3 [46.6 kB]
191s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-minimal arm64 1.535 [10.5 kB]
191s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB]
191s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-standard arm64 1.535 [10.5 kB]
191s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 efibootmgr arm64 18-1build1 [31.5 kB]
192s Fetched 1827 kB in 1s (2491 kB/s)
193s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 75862 files and directories currently installed.)
193s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu3_arm64.deb ...
193s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu3) over (2.79.2-1~ubuntu1) ...
193s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested:
193s  udisks2 depends on libglib2.0-0 (>= 2.77.0).
193s  shared-mime-info depends on libglib2.0-0 (>= 2.75.3).
193s  python3-gi depends on libglib2.0-0 (>= 2.77.0).
193s  python3-dbus depends on libglib2.0-0 (>= 2.16.0).
193s  netplan.io depends on libglib2.0-0 (>= 2.70.0).
193s  netplan-generator depends on libglib2.0-0 (>= 2.70.0).
193s  libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0).
193s  libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0).
193s  libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3).
193s  libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56).
193s  libqmi-proxy depends on libglib2.0-0 (>= 2.30.0).
193s  libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0).
193s  libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0).
193s  libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0).
193s  libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3).
193s  libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0).
193s  libmbim-proxy depends on libglib2.0-0 (>= 2.56).
193s  libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56).
193s  libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3).
193s  libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3).
193s  libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3).
193s  libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0).
193s  libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0).
193s  libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0).
193s  libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2).
193s  libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3).
193s  libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2).
193s  libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2).
193s  libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2).
193s  libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2).
193s  libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2).
193s  libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2).
193s  libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2).
193s  fwupd depends on libglib2.0-0 (>= 2.79.0).
193s  bolt depends on libglib2.0-0 (>= 2.56.0).
193s 
193s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 75862 files and directories currently installed.)
193s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ...
193s Selecting previously unselected package libglib2.0-0t64:arm64.
193s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 75837 files and directories currently installed.)
193s Preparing to unpack .../0-libglib2.0-0t64_2.79.3-3ubuntu3_arm64.deb ...
193s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:arm64.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled...
193s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm'
193s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu3) ...
194s Preparing to unpack .../1-libglib2.0-data_2.79.3-3ubuntu3_all.deb ...
194s Unpacking libglib2.0-data (2.79.3-3ubuntu3) over (2.79.2-1~ubuntu1) ...
194s Preparing to unpack .../2-ubuntu-minimal_1.535_arm64.deb ...
194s Unpacking ubuntu-minimal (1.535) over (1.534) ...
194s Selecting previously unselected package xdg-user-dirs.
194s Preparing to unpack .../3-xdg-user-dirs_0.18-1_arm64.deb ...
194s Unpacking xdg-user-dirs (0.18-1) ...
194s Preparing to unpack .../4-ubuntu-standard_1.535_arm64.deb ...
194s Unpacking ubuntu-standard (1.535) over (1.534) ...
194s Preparing to unpack .../5-efibootmgr_18-1build1_arm64.deb ...
194s Unpacking efibootmgr (18-1build1) over (18-1) ...
194s Setting up efibootmgr (18-1build1) ...
194s Setting up ubuntu-minimal (1.535) ...
194s Setting up xdg-user-dirs (0.18-1) ...
194s Setting up ubuntu-standard (1.535) ...
194s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu3) ...
194s No schema files found: doing nothing.
194s Setting up libglib2.0-data (2.79.3-3ubuntu3) ...
194s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu3) ...
194s Processing triggers for man-db (2.12.0-3) ...
196s Processing triggers for libc-bin (2.39-0ubuntu2) ...
197s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
197s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
197s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
198s Reading package lists...
198s Building dependency tree...
198s Reading state information...
200s The following packages will be REMOVED:
200s   ubuntu-advantage-tools*
201s 0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded.
201s After this operation, 71.7 kB disk space will be freed.
201s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 75876 files and directories currently installed.)
201s Removing ubuntu-advantage-tools (31.1) ...
202s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 75870 files and directories currently installed.)
202s Purging configuration files for ubuntu-advantage-tools (31.1) ...
205s sh: Attempting to set up Debian/Ubuntu apt sources automatically
205s sh: Distribution appears to be Ubuntu
214s Reading package lists...
215s Building dependency tree...
215s Reading state information...
217s eatmydata is already the newest version (131-1).
217s dbus is already the newest version (1.14.10-4ubuntu1).
217s dbus set to manually installed.
217s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
217s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
217s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
217s Reading package lists...
218s Building dependency tree...
218s Reading state information...
220s rng-tools-debian is already the newest version (2.4).
220s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
220s Reading package lists...
221s Building dependency tree...
221s Reading state information...
222s haveged is already the newest version (1.9.14-1ubuntu1).
222s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
223s Reading package lists...
223s Building dependency tree...
223s Reading state information...
225s The following packages will be REMOVED:
225s   cloud-init* python3-configobj* python3-debconf*
226s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded.
226s After this operation, 3248 kB disk space will be freed.
227s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 75870 files and directories currently installed.)
227s Removing cloud-init (24.1-0ubuntu1) ...
229s Removing python3-configobj (5.0.8-3) ...
229s Removing python3-debconf (1.5.86) ...
230s Processing triggers for man-db (2.12.0-3) ...
231s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 75481 files and directories currently installed.)
231s Purging configuration files for cloud-init (24.1-0ubuntu1) ...
233s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed
233s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ...
235s Reading package lists...
235s Building dependency tree...
235s Reading state information...
237s linux-generic is already the newest version (6.8.0-11.11+1).
237s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
238s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease
238s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease
238s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease
238s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease
238s Hit:5 http://ftpmaster.internal/ubuntu noble-backports InRelease
249s Reading package lists...
249s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
249s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
250s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
250s Reading package lists...
250s Building dependency tree...
250s Reading state information...
252s Calculating upgrade...
253s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
253s Reading package lists...
254s Building dependency tree...
254s Reading state information...
256s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
256s autopkgtest [15:29:22]: rebooting testbed after setup commands that affected boot
418s autopkgtest [15:32:04]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024
419s autopkgtest [15:32:05]: testbed dpkg architecture: arm64
420s autopkgtest [15:32:06]: @@@@@@@@@@@@@@@@@@@@ apt-source coq
422s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1
422s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
422s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2
428s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/universe coq 8.18.0+dfsg-1build1 (dsc) [2685 B]
428s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/universe coq 8.18.0+dfsg-1build1 (tar) [4868 kB]
428s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe coq 8.18.0+dfsg-1build1 (diff) [33.3 kB]
428s gpgv: Signature made Fri Mar  8 04:08:12 2024 UTC
428s gpgv:                using RSA key AC483F68DE728F43F2202FCA568D30F321B2133D
428s gpgv:                issuer "steve.langasek@ubuntu.com"
428s gpgv: Can't check signature: No public key
428s dpkg-source: warning: cannot verify inline signature for ./coq_8.18.0+dfsg-1build1.dsc: no acceptable signature found
431s autopkgtest [15:32:17]: testing package coq version 8.18.0+dfsg-1build1
431s autopkgtest [15:32:17]: build not needed
433s autopkgtest [15:32:19]: test compiler: preparing testbed
437s Reading package lists...
438s Building dependency tree...
438s Reading state information...
439s Correcting dependencies...Starting pkgProblemResolver with broken count: 0
439s Starting 2 pkgProblemResolver with broken count: 0
439s Done
440s  Done
441s Starting pkgProblemResolver with broken count: 0
441s Starting 2 pkgProblemResolver with broken count: 0
442s Done
444s The following additional packages will be installed:
444s   coq cpp cpp-13 cpp-13-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-13
444s   gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libatomic1
444s   libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml
444s   libcoq-stdlib libcrypt-dev libfindlib-ocaml libgcc-13-dev libgomp1
444s   libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libncurses-dev libnsl-dev
444s   libstdlib-ocaml libstdlib-ocaml-dev libtirpc-dev libtsan2 libubsan1
444s   libzarith-ocaml linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp
444s   rpcsvc-proto
444s Suggested packages:
444s   coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why
444s   coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
444s   automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-aarch64-linux-gnu
444s   glibc-doc ncurses-doc ocaml-doc elpa-tuareg camlp4
444s Recommended packages:
444s   manpages manpages-dev libc-devtools ocaml-man libfindlib-ocaml-dev ledit
444s   | readline-editor
444s The following NEW packages will be installed:
444s   coq cpp cpp-13 cpp-13-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-13
444s   gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libatomic1
444s   libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml
444s   libcoq-stdlib libcrypt-dev libfindlib-ocaml libgcc-13-dev libgomp1
444s   libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libncurses-dev libnsl-dev
444s   libstdlib-ocaml libstdlib-ocaml-dev libtirpc-dev libtsan2 libubsan1
444s   libzarith-ocaml linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp
444s   rpcsvc-proto
444s 0 upgraded, 40 newly installed, 0 to remove and 0 not upgraded.
444s 1 not fully installed or removed.
444s Need to get 353 MB of archives.
444s After this operation, 1251 MB of additional disk space will be used.
444s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 libcoq-stdlib arm64 8.18.0+dfsg-1build1 [26.5 MB]
447s Get:2 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB]
447s Get:3 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB]
447s Get:4 http://ftpmaster.internal/ubuntu noble/universe arm64 libfindlib-ocaml arm64 1.9.6-1build3 [206 kB]
447s Get:5 http://ftpmaster.internal/ubuntu noble/universe arm64 libzarith-ocaml arm64 1.13-2build3 [123 kB]
447s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 libcoq-core-ocaml arm64 8.18.0+dfsg-1build1 [29.2 MB]
451s Get:7 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml-dev arm64 4.14.1-1ubuntu1 [8499 kB]
453s Get:8 http://ftpmaster.internal/ubuntu noble/universe arm64 libcompiler-libs-ocaml-dev arm64 4.14.1-1ubuntu1 [39.0 MB]
461s Get:9 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-interp arm64 4.14.1-1ubuntu1 [7825 kB]
462s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libc-dev-bin arm64 2.39-0ubuntu2 [19.7 kB]
462s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 linux-libc-dev arm64 6.8.0-11.11 [1569 kB]
462s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libcrypt-dev arm64 1:4.4.36-4 [136 kB]
462s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libtirpc-dev arm64 1.3.4+ds-1build1 [232 kB]
462s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libnsl-dev arm64 1.3.0-3 [71.9 kB]
462s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 rpcsvc-proto arm64 1.4.2-0ubuntu6 [65.4 kB]
462s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 libc6-dev arm64 2.39-0ubuntu2 [1596 kB]
463s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libncurses-dev arm64 6.4+20240113-1ubuntu1 [385 kB]
463s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libisl23 arm64 0.26-3 [713 kB]
463s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libmpc3 arm64 1.3.1-1 [55.3 kB]
463s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [10.3 MB]
465s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13 arm64 13.2.0-17ubuntu2 [1028 B]
465s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [5316 B]
465s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 cpp arm64 4:13.2.0-7ubuntu1 [22.4 kB]
465s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libcc1-0 arm64 14-20240303-1ubuntu1 [44.7 kB]
465s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 libgomp1 arm64 14-20240303-1ubuntu1 [144 kB]
465s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libitm1 arm64 14-20240303-1ubuntu1 [27.7 kB]
465s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libatomic1 arm64 14-20240303-1ubuntu1 [11.4 kB]
465s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libasan8 arm64 14-20240303-1ubuntu1 [2919 kB]
466s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 liblsan0 arm64 14-20240303-1ubuntu1 [1282 kB]
466s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libtsan2 arm64 14-20240303-1ubuntu1 [2687 kB]
467s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libubsan1 arm64 14-20240303-1ubuntu1 [1151 kB]
467s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libhwasan0 arm64 14-20240303-1ubuntu1 [1597 kB]
468s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libgcc-13-dev arm64 13.2.0-17ubuntu2 [2464 kB]
468s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [20.1 MB]
473s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13 arm64 13.2.0-17ubuntu2 [467 kB]
473s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [1198 B]
473s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 gcc arm64 4:13.2.0-7ubuntu1 [5018 B]
473s Get:38 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml arm64 4.14.1-1ubuntu1 [86.0 MB]
486s Get:39 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-findlib arm64 1.9.6-1build3 [663 kB]
486s Get:40 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 coq arm64 8.18.0+dfsg-1build1 [107 MB]
493s Fetched 353 MB in 48s (7397 kB/s)
493s Selecting previously unselected package libcoq-stdlib.
493s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 75426 files and directories currently installed.)
493s Preparing to unpack .../00-libcoq-stdlib_8.18.0+dfsg-1build1_arm64.deb ...
493s Unpacking libcoq-stdlib (8.18.0+dfsg-1build1) ...
499s Selecting previously unselected package libstdlib-ocaml.
499s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ...
500s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
500s Selecting previously unselected package ocaml-base.
500s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_arm64.deb ...
500s Unpacking ocaml-base (4.14.1-1ubuntu1) ...
500s Selecting previously unselected package libfindlib-ocaml.
500s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-1build3_arm64.deb ...
500s Unpacking libfindlib-ocaml (1.9.6-1build3) ...
500s Selecting previously unselected package libzarith-ocaml.
500s Preparing to unpack .../04-libzarith-ocaml_1.13-2build3_arm64.deb ...
500s Unpacking libzarith-ocaml (1.13-2build3) ...
500s Selecting previously unselected package libcoq-core-ocaml.
500s Preparing to unpack .../05-libcoq-core-ocaml_8.18.0+dfsg-1build1_arm64.deb ...
500s Unpacking libcoq-core-ocaml (8.18.0+dfsg-1build1) ...
502s Selecting previously unselected package libstdlib-ocaml-dev.
502s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ...
502s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
503s Selecting previously unselected package libcompiler-libs-ocaml-dev.
503s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ...
503s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
507s Selecting previously unselected package ocaml-interp.
507s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_arm64.deb ...
507s Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
507s Selecting previously unselected package libc-dev-bin.
507s Preparing to unpack .../09-libc-dev-bin_2.39-0ubuntu2_arm64.deb ...
507s Unpacking libc-dev-bin (2.39-0ubuntu2) ...
507s Selecting previously unselected package linux-libc-dev:arm64.
507s Preparing to unpack .../10-linux-libc-dev_6.8.0-11.11_arm64.deb ...
507s Unpacking linux-libc-dev:arm64 (6.8.0-11.11) ...
508s Selecting previously unselected package libcrypt-dev:arm64.
508s Preparing to unpack .../11-libcrypt-dev_1%3a4.4.36-4_arm64.deb ...
508s Unpacking libcrypt-dev:arm64 (1:4.4.36-4) ...
508s Selecting previously unselected package libtirpc-dev:arm64.
508s Preparing to unpack .../12-libtirpc-dev_1.3.4+ds-1build1_arm64.deb ...
508s Unpacking libtirpc-dev:arm64 (1.3.4+ds-1build1) ...
508s Selecting previously unselected package libnsl-dev:arm64.
508s Preparing to unpack .../13-libnsl-dev_1.3.0-3_arm64.deb ...
508s Unpacking libnsl-dev:arm64 (1.3.0-3) ...
508s Selecting previously unselected package rpcsvc-proto.
508s Preparing to unpack .../14-rpcsvc-proto_1.4.2-0ubuntu6_arm64.deb ...
508s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ...
509s Selecting previously unselected package libc6-dev:arm64.
509s Preparing to unpack .../15-libc6-dev_2.39-0ubuntu2_arm64.deb ...
509s Unpacking libc6-dev:arm64 (2.39-0ubuntu2) ...
509s Selecting previously unselected package libncurses-dev:arm64.
509s Preparing to unpack .../16-libncurses-dev_6.4+20240113-1ubuntu1_arm64.deb ...
509s Unpacking libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ...
509s Selecting previously unselected package libisl23:arm64.
509s Preparing to unpack .../17-libisl23_0.26-3_arm64.deb ...
509s Unpacking libisl23:arm64 (0.26-3) ...
509s Selecting previously unselected package libmpc3:arm64.
509s Preparing to unpack .../18-libmpc3_1.3.1-1_arm64.deb ...
509s Unpacking libmpc3:arm64 (1.3.1-1) ...
510s Selecting previously unselected package cpp-13-aarch64-linux-gnu.
510s Preparing to unpack .../19-cpp-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ...
510s Unpacking cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
510s Selecting previously unselected package cpp-13.
510s Preparing to unpack .../20-cpp-13_13.2.0-17ubuntu2_arm64.deb ...
510s Unpacking cpp-13 (13.2.0-17ubuntu2) ...
510s Selecting previously unselected package cpp-aarch64-linux-gnu.
510s Preparing to unpack .../21-cpp-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ...
510s Unpacking cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
511s Selecting previously unselected package cpp.
511s Preparing to unpack .../22-cpp_4%3a13.2.0-7ubuntu1_arm64.deb ...
511s Unpacking cpp (4:13.2.0-7ubuntu1) ...
511s Selecting previously unselected package libcc1-0:arm64.
511s Preparing to unpack .../23-libcc1-0_14-20240303-1ubuntu1_arm64.deb ...
511s Unpacking libcc1-0:arm64 (14-20240303-1ubuntu1) ...
511s Selecting previously unselected package libgomp1:arm64.
511s Preparing to unpack .../24-libgomp1_14-20240303-1ubuntu1_arm64.deb ...
511s Unpacking libgomp1:arm64 (14-20240303-1ubuntu1) ...
511s Selecting previously unselected package libitm1:arm64.
511s Preparing to unpack .../25-libitm1_14-20240303-1ubuntu1_arm64.deb ...
511s Unpacking libitm1:arm64 (14-20240303-1ubuntu1) ...
511s Selecting previously unselected package libatomic1:arm64.
511s Preparing to unpack .../26-libatomic1_14-20240303-1ubuntu1_arm64.deb ...
511s Unpacking libatomic1:arm64 (14-20240303-1ubuntu1) ...
511s Selecting previously unselected package libasan8:arm64.
511s Preparing to unpack .../27-libasan8_14-20240303-1ubuntu1_arm64.deb ...
511s Unpacking libasan8:arm64 (14-20240303-1ubuntu1) ...
512s Selecting previously unselected package liblsan0:arm64.
512s Preparing to unpack .../28-liblsan0_14-20240303-1ubuntu1_arm64.deb ...
512s Unpacking liblsan0:arm64 (14-20240303-1ubuntu1) ...
512s Selecting previously unselected package libtsan2:arm64.
512s Preparing to unpack .../29-libtsan2_14-20240303-1ubuntu1_arm64.deb ...
512s Unpacking libtsan2:arm64 (14-20240303-1ubuntu1) ...
512s Selecting previously unselected package libubsan1:arm64.
512s Preparing to unpack .../30-libubsan1_14-20240303-1ubuntu1_arm64.deb ...
512s Unpacking libubsan1:arm64 (14-20240303-1ubuntu1) ...
513s Selecting previously unselected package libhwasan0:arm64.
513s Preparing to unpack .../31-libhwasan0_14-20240303-1ubuntu1_arm64.deb ...
513s Unpacking libhwasan0:arm64 (14-20240303-1ubuntu1) ...
513s Selecting previously unselected package libgcc-13-dev:arm64.
513s Preparing to unpack .../32-libgcc-13-dev_13.2.0-17ubuntu2_arm64.deb ...
513s Unpacking libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ...
513s Selecting previously unselected package gcc-13-aarch64-linux-gnu.
513s Preparing to unpack .../33-gcc-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ...
513s Unpacking gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
514s Selecting previously unselected package gcc-13.
514s Preparing to unpack .../34-gcc-13_13.2.0-17ubuntu2_arm64.deb ...
514s Unpacking gcc-13 (13.2.0-17ubuntu2) ...
515s Selecting previously unselected package gcc-aarch64-linux-gnu.
515s Preparing to unpack .../35-gcc-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ...
515s Unpacking gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
515s Selecting previously unselected package gcc.
515s Preparing to unpack .../36-gcc_4%3a13.2.0-7ubuntu1_arm64.deb ...
515s Unpacking gcc (4:13.2.0-7ubuntu1) ...
515s Selecting previously unselected package ocaml.
515s Preparing to unpack .../37-ocaml_4.14.1-1ubuntu1_arm64.deb ...
515s Unpacking ocaml (4.14.1-1ubuntu1) ...
520s Selecting previously unselected package ocaml-findlib.
520s Preparing to unpack .../38-ocaml-findlib_1.9.6-1build3_arm64.deb ...
520s Unpacking ocaml-findlib (1.9.6-1build3) ...
521s Selecting previously unselected package coq.
521s Preparing to unpack .../39-coq_8.18.0+dfsg-1build1_arm64.deb ...
521s Unpacking coq (8.18.0+dfsg-1build1) ...
528s Setting up linux-libc-dev:arm64 (6.8.0-11.11) ...
528s Setting up libgomp1:arm64 (14-20240303-1ubuntu1) ...
528s Setting up libcoq-stdlib (8.18.0+dfsg-1build1) ...
528s Setting up libtirpc-dev:arm64 (1.3.4+ds-1build1) ...
528s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ...
528s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ...
528s Setting up libmpc3:arm64 (1.3.1-1) ...
528s Setting up libatomic1:arm64 (14-20240303-1ubuntu1) ...
528s Setting up ocaml-base (4.14.1-1ubuntu1) ...
528s Setting up libubsan1:arm64 (14-20240303-1ubuntu1) ...
528s Setting up libnsl-dev:arm64 (1.3.0-3) ...
528s Setting up libhwasan0:arm64 (14-20240303-1ubuntu1) ...
528s Setting up libcrypt-dev:arm64 (1:4.4.36-4) ...
528s Setting up libasan8:arm64 (14-20240303-1ubuntu1) ...
529s Setting up libtsan2:arm64 (14-20240303-1ubuntu1) ...
529s Setting up libisl23:arm64 (0.26-3) ...
529s Setting up libc-dev-bin (2.39-0ubuntu2) ...
529s Setting up libcc1-0:arm64 (14-20240303-1ubuntu1) ...
529s Setting up liblsan0:arm64 (14-20240303-1ubuntu1) ...
529s Setting up libitm1:arm64 (14-20240303-1ubuntu1) ...
529s Setting up cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
529s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
529s Setting up libfindlib-ocaml (1.9.6-1build3) ...
529s Setting up libzarith-ocaml (1.13-2build3) ...
529s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
529s Setting up cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
529s Setting up ocaml-interp (4.14.1-1ubuntu1) ...
529s Setting up ocaml-findlib (1.9.6-1build3) ...
529s Setting up libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ...
529s Setting up libcoq-core-ocaml (8.18.0+dfsg-1build1) ...
529s Setting up libc6-dev:arm64 (2.39-0ubuntu2) ...
529s Setting up libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ...
529s Setting up cpp-13 (13.2.0-17ubuntu2) ...
529s Setting up gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
529s Setting up gcc-13 (13.2.0-17ubuntu2) ...
529s Setting up cpp (4:13.2.0-7ubuntu1) ...
529s Setting up gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
529s Setting up gcc (4:13.2.0-7ubuntu1) ...
529s Setting up ocaml (4.14.1-1ubuntu1) ...
529s Setting up coq (8.18.0+dfsg-1build1) ...
529s Setting up autopkgtest-satdep (0) ...
529s Processing triggers for man-db (2.12.0-3) ...
530s Processing triggers for libc-bin (2.39-0ubuntu2) ...
539s (Reading database ... 83259 files and directories currently installed.)
539s Removing autopkgtest-satdep (0) ...
541s autopkgtest [15:34:07]: test compiler: [-----------------------
542s autopkgtest [15:34:08]: test compiler: -----------------------]
543s autopkgtest [15:34:09]: test compiler:  - - - - - - - - - - results - - - - - - - - - -
543s compiler             PASS
543s autopkgtest [15:34:09]: test toplevel: preparing testbed
550s Reading package lists...
550s Building dependency tree...
550s Reading state information...
551s Starting pkgProblemResolver with broken count: 0
552s Starting 2 pkgProblemResolver with broken count: 0
552s Done
554s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
554s 1 not fully installed or removed.
554s After this operation, 0 B of additional disk space will be used.
554s Setting up autopkgtest-satdep (0) ...
561s (Reading database ... 83259 files and directories currently installed.)
561s Removing autopkgtest-satdep (0) ...
563s autopkgtest [15:34:29]: test toplevel: [-----------------------
563s Welcome to Coq 8.18.0
563s pierce is defined
563s excluded_middle is defined
563s 1 goal
563s   
563s   ============================
563s   pierce <-> excluded_middle
563s 1 goal
563s   
563s   ============================
563s   (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p)
563s 2 goals
563s   
563s   H : forall p q : Prop, ((p -> q) -> p) -> p
563s   p : Prop
563s   ============================
563s   p \/ ~ p
563s 
563s goal 2 is:
563s  p
563s 2 goals
563s   
563s   H : forall p q : Prop, ((p -> q) -> p) -> p
563s   p : Prop
563s   ============================
563s   (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p
563s 
563s goal 2 is:
563s  p
563s 1 goal
563s   
563s   H : forall p : Prop, p \/ ~ p
563s   p, q : Prop
563s   H0 : (p -> q) -> p
563s   ============================
563s   p
563s 2 goals
563s   
563s   H : forall p : Prop, p \/ ~ p
563s   p, q : Prop
563s   H0 : (p -> q) -> p
563s   H1 : p
563s   ============================
563s   p
563s 
563s goal 2 is:
563s  p
563s 1 goal
563s   
563s   H : forall p : Prop, p \/ ~ p
563s   p, q : Prop
563s   H0 : (p -> q) -> p
563s   H1 : ~ p
563s   ============================
563s   p
563s No more goals.
564s autopkgtest [15:34:30]: test toplevel: -----------------------]
564s autopkgtest [15:34:30]: test toplevel:  - - - - - - - - - - results - - - - - - - - - -
564s toplevel             PASS
565s autopkgtest [15:34:31]: @@@@@@@@@@@@@@@@@@@@ summary
565s compiler             PASS
565s toplevel             PASS
585s Creating nova instance adt-noble-arm64-coq-20240309-152506-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240308.img (UUID 818adddc-cacc-4dcd-be3d-ec9a61f3956b)...