0s autopkgtest [01:26:17]: starting date and time: 2025-06-20 01:26:17+0000 0s autopkgtest [01:26:17]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:17]: host juju-7f2275-prod-proposed-migration-environment-23; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.mtkhsawr/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:coq,src:findlib,src:ocaml-fpath,src:ocaml-visitors,src:ocaml-zarith,src:ocaml,src:ocplib-simplex,src:ppx-deriving-yojson,src:ppx-deriving --apt-upgrade coq-stdpp --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=coq/8.20.1+dfsg-1build1 findlib/1.9.8-1build1 ocaml-fpath/0.7.3-3build5 ocaml-visitors/20250212-1build1 ocaml-zarith/1.14-1build2 ocaml/5.3.0-3 ocplib-simplex/0.5.1-4build6 ppx-deriving-yojson/3.9.1-1build4 ppx-deriving/6.0.3-1build4' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-arm64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-23@sto01-arm64-19.secgroup --name adt-questing-arm64-coq-stdpp-20250620-012617-juju-7f2275-prod-proposed-migration-environment-23-84b66ddf-29e5-4562-aebc-cad1e6df7da5 --image adt/ubuntu-questing-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-23 --net-id=net_prod-autopkgtest-workers-arm64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 66s autopkgtest [01:27:23]: testbed dpkg architecture: arm64 66s autopkgtest [01:27:23]: testbed apt version: 3.1.2 67s autopkgtest [01:27:24]: @@@@@@@@@@@@@@@@@@@@ test bed setup 67s autopkgtest [01:27:24]: testbed release detected to be: None 67s autopkgtest [01:27:24]: updating testbed package index (apt update) 67s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 68s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 68s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 68s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 68s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 68s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 68s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 68s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 68s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [60.3 kB] 68s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted arm64 Packages [23.5 kB] 68s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [388 kB] 68s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [28.0 kB] 68s Fetched 1244 kB in 0s (2702 kB/s) 69s Reading package lists... 69s autopkgtest [01:27:26]: upgrading testbed (apt dist-upgrade and autopurge) 69s Reading package lists... 70s Building dependency tree... 70s Reading state information... 70s Calculating upgrade... 70s The following packages will be upgraded: 70s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 70s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 70s Need to get 1672 kB of archives. 70s After this operation, 5120 B of additional disk space will be used. 70s Get:1 http://ftpmaster.internal/ubuntu questing/main arm64 bash arm64 5.2.37-2ubuntu4 [784 kB] 70s Get:2 http://ftpmaster.internal/ubuntu questing/main arm64 libatomic1 arm64 15.1.0-8ubuntu1 [11.3 kB] 70s Get:3 http://ftpmaster.internal/ubuntu questing/main arm64 gcc-15-base arm64 15.1.0-8ubuntu1 [55.5 kB] 70s Get:4 http://ftpmaster.internal/ubuntu questing/main arm64 libstdc++6 arm64 15.1.0-8ubuntu1 [760 kB] 70s Get:5 http://ftpmaster.internal/ubuntu questing/main arm64 libgcc-s1 arm64 15.1.0-8ubuntu1 [61.1 kB] 71s Fetched 1672 kB in 0s (8763 kB/s) 71s (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 ... 86180 files and directories currently installed.) 71s Preparing to unpack .../bash_5.2.37-2ubuntu4_arm64.deb ... 71s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 71s Setting up bash (5.2.37-2ubuntu4) ... 71s Installing new version of config file /etc/bash.bashrc ... 71s update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode 71s (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 ... 86180 files and directories currently installed.) 71s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_arm64.deb ... 71s Unpacking libatomic1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 71s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_arm64.deb ... 71s Unpacking gcc-15-base:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 71s Setting up gcc-15-base:arm64 (15.1.0-8ubuntu1) ... 71s (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 ... 86180 files and directories currently installed.) 71s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_arm64.deb ... 71s Unpacking libstdc++6:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 71s Setting up libstdc++6:arm64 (15.1.0-8ubuntu1) ... 71s (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 ... 86180 files and directories currently installed.) 71s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_arm64.deb ... 71s Unpacking libgcc-s1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 71s Setting up libgcc-s1:arm64 (15.1.0-8ubuntu1) ... 71s Setting up libatomic1:arm64 (15.1.0-8ubuntu1) ... 71s Processing triggers for install-info (7.1.1-1) ... 71s Processing triggers for libc-bin (2.41-6ubuntu2) ... 71s Processing triggers for man-db (2.13.1-1) ... 72s Processing triggers for debianutils (5.23.1) ... 72s Reading package lists... 73s Building dependency tree... 73s Reading state information... 73s Solving dependencies... 73s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 75s autopkgtest [01:27:32]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 14:37:51 UTC 2025 75s autopkgtest [01:27:32]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-stdpp 77s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-stdpp 1.11.0-1build4 (dsc) [2075 B] 77s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-stdpp 1.11.0-1build4 (tar) [257 kB] 77s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-stdpp 1.11.0-1build4 (diff) [2960 B] 77s gpgv: Signature made Tue Feb 18 20:04:31 2025 UTC 77s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 77s gpgv: Can't check signature: No public key 77s dpkg-source: warning: cannot verify inline signature for ./coq-stdpp_1.11.0-1build4.dsc: no acceptable signature found 77s autopkgtest [01:27:34]: testing package coq-stdpp version 1.11.0-1build4 77s autopkgtest [01:27:34]: build not needed 77s autopkgtest [01:27:34]: test command1: preparing testbed 78s Reading package lists... 78s Building dependency tree... 78s Reading state information... 78s Solving dependencies... 78s Some packages could not be installed. This may mean that you have 78s requested an impossible situation or if you are using the unstable 78s distribution that some required packages have not yet been created 78s or been moved out of Incoming. 78s The following information may help to resolve the situation: 78s 78s The following packages have unmet dependencies: 78s satisfy:command-line : Depends: coq but it is not going to be installed 78s Depends: libcoq-stdpp but it is not going to be installed 78s E: Unable to satisfy dependencies. Reached two conflicting decisions: 78s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 78s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 78s 1. satisfy:command-line:arm64=1 is selected for install 78s 2. satisfy:command-line:arm64 Depends libcoq-stdpp 78s 3. libcoq-stdpp:arm64 Depends libcoq-stdlib-6snk6 78s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 79s Reading package lists... 79s Building dependency tree... 79s Reading state information... 79s Solving dependencies... 79s Some packages could not be installed. This may mean that you have 79s requested an impossible situation or if you are using the unstable 79s distribution that some required packages have not yet been created 79s or been moved out of Incoming. 79s The following information may help to resolve the situation: 79s 79s The following packages have unmet dependencies: 79s satisfy:command-line : Depends: coq but it is not going to be installed 79s Depends: libcoq-stdpp but it is not going to be installed 79s E: Unable to satisfy dependencies. Reached two conflicting decisions: 79s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 79s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 79s 1. satisfy:command-line:arm64=1 is selected for install 79s 2. satisfy:command-line:arm64 Depends libcoq-stdpp 79s 3. libcoq-stdpp:arm64 Depends libcoq-stdlib-6snk6 79s command1 FAIL badpkg 79s blame: coq-stdpp 79s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U. 79s autopkgtest [01:27:36]: @@@@@@@@@@@@@@@@@@@@ summary 79s command1 FAIL badpkg 79s blame: coq-stdpp 79s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U. 95s nova [W] Using flock in prodstack7-arm64 95s Creating nova instance adt-questing-arm64-coq-stdpp-20250620-012617-juju-7f2275-prod-proposed-migration-environment-23-84b66ddf-29e5-4562-aebc-cad1e6df7da5 from image adt/ubuntu-questing-arm64-server-20250619.img (UUID 7b84bb89-224c-4e23-be96-b5e4f0293f0f)... 95s nova [W] Timed out waiting for 14cf99ed-205f-4b02-bebe-7fe7146935aa to get deleted.