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-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.flh3k6vf/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-mtac2 --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-20@sto01-arm64-14.secgroup --name adt-questing-arm64-coq-mtac2-20250620-012617-juju-7f2275-prod-proposed-migration-environment-20-e9e58e8e-9f9a-453c-8d18-db2e794f3c9a --image adt/ubuntu-questing-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-autopkgtest-workers-arm64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 99s autopkgtest [01:27:56]: testbed dpkg architecture: arm64 99s autopkgtest [01:27:56]: testbed apt version: 3.1.2 99s autopkgtest [01:27:56]: @@@@@@@@@@@@@@@@@@@@ test bed setup 100s autopkgtest [01:27:57]: testbed release detected to be: None 100s autopkgtest [01:27:57]: updating testbed package index (apt update) 100s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 100s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 100s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 100s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 100s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 100s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 100s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 101s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 101s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [60.3 kB] 101s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted arm64 Packages [23.5 kB] 101s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [388 kB] 101s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [28.0 kB] 101s Fetched 1244 kB in 0s (2720 kB/s) 101s Reading package lists... 102s autopkgtest [01:27:59]: upgrading testbed (apt dist-upgrade and autopurge) 102s Reading package lists... 102s Building dependency tree... 102s Reading state information... 103s Calculating upgrade... 103s The following packages will be upgraded: 103s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 103s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 103s Need to get 1672 kB of archives. 103s After this operation, 5120 B of additional disk space will be used. 103s Get:1 http://ftpmaster.internal/ubuntu questing/main arm64 bash arm64 5.2.37-2ubuntu4 [784 kB] 103s Get:2 http://ftpmaster.internal/ubuntu questing/main arm64 libatomic1 arm64 15.1.0-8ubuntu1 [11.3 kB] 103s Get:3 http://ftpmaster.internal/ubuntu questing/main arm64 gcc-15-base arm64 15.1.0-8ubuntu1 [55.5 kB] 103s Get:4 http://ftpmaster.internal/ubuntu questing/main arm64 libstdc++6 arm64 15.1.0-8ubuntu1 [760 kB] 104s Get:5 http://ftpmaster.internal/ubuntu questing/main arm64 libgcc-s1 arm64 15.1.0-8ubuntu1 [61.1 kB] 104s Fetched 1672 kB in 1s (2129 kB/s) 104s (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.) 104s Preparing to unpack .../bash_5.2.37-2ubuntu4_arm64.deb ... 104s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 104s Setting up bash (5.2.37-2ubuntu4) ... 104s Installing new version of config file /etc/bash.bashrc ... 104s 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 104s (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.) 104s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_arm64.deb ... 104s Unpacking libatomic1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 104s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_arm64.deb ... 104s Unpacking gcc-15-base:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 104s Setting up gcc-15-base:arm64 (15.1.0-8ubuntu1) ... 105s (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.) 105s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_arm64.deb ... 105s Unpacking libstdc++6:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 105s Setting up libstdc++6:arm64 (15.1.0-8ubuntu1) ... 105s (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.) 105s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_arm64.deb ... 105s Unpacking libgcc-s1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 105s Setting up libgcc-s1:arm64 (15.1.0-8ubuntu1) ... 105s Setting up libatomic1:arm64 (15.1.0-8ubuntu1) ... 105s Processing triggers for install-info (7.1.1-1) ... 105s Processing triggers for libc-bin (2.41-6ubuntu2) ... 105s Processing triggers for man-db (2.13.1-1) ... 106s Processing triggers for debianutils (5.23.1) ... 106s Reading package lists... 106s Building dependency tree... 106s Reading state information... 106s Solving dependencies... 107s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 109s autopkgtest [01:28:06]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 14:37:51 UTC 2025 109s autopkgtest [01:28:06]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-mtac2 110s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-mtac2 1.4+8.20-1build5 (dsc) [2099 B] 110s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-mtac2 1.4+8.20-1build5 (tar) [252 kB] 110s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-mtac2 1.4+8.20-1build5 (diff) [3120 B] 110s gpgv: Signature made Wed Feb 19 18:43:02 2025 UTC 110s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 110s gpgv: Can't check signature: No public key 110s dpkg-source: warning: cannot verify inline signature for ./coq-mtac2_1.4+8.20-1build5.dsc: no acceptable signature found 110s autopkgtest [01:28:07]: testing package coq-mtac2 version 1.4+8.20-1build5 110s autopkgtest [01:28:07]: build not needed 111s autopkgtest [01:28:08]: test command1: preparing testbed 111s Reading package lists... 112s Building dependency tree... 112s Reading state information... 112s Solving dependencies... 112s Some packages could not be installed. This may mean that you have 112s requested an impossible situation or if you are using the unstable 112s distribution that some required packages have not yet been created 112s or been moved out of Incoming. 112s The following information may help to resolve the situation: 112s 112s The following packages have unmet dependencies: 112s satisfy:command-line : Depends: coq but it is not going to be installed 112s Depends: libcoq-mtac2 but it is not going to be installed 112s E: Unable to satisfy dependencies. Reached two conflicting decisions: 112s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 112s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 112s 1. satisfy:command-line:arm64=1 is selected for install 112s 2. satisfy:command-line:arm64 Depends libcoq-mtac2 112s 3. libcoq-mtac2:arm64 Depends libcoq-stdlib-6snk6 112s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 112s Reading package lists... 112s Building dependency tree... 112s Reading state information... 112s Solving dependencies... 112s Some packages could not be installed. This may mean that you have 112s requested an impossible situation or if you are using the unstable 112s distribution that some required packages have not yet been created 112s or been moved out of Incoming. 112s The following information may help to resolve the situation: 112s 112s The following packages have unmet dependencies: 113s satisfy:command-line : Depends: coq but it is not going to be installed 113s Depends: libcoq-mtac2 but it is not going to be installed 113s E: Unable to satisfy dependencies. Reached two conflicting decisions: 113s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 113s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 113s 1. satisfy:command-line:arm64=1 is selected for install 113s 2. satisfy:command-line:arm64 Depends libcoq-mtac2 113s 3. libcoq-mtac2:arm64 Depends libcoq-stdlib-6snk6 113s autopkgtest [01:28:10]: @@@@@@@@@@@@@@@@@@@@ summary 113s command1 FAIL badpkg 113s blame: coq-mtac2 113s 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. 113s command1 FAIL badpkg 113s blame: coq-mtac2 113s 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. 116s nova [W] Using flock in prodstack7-arm64 116s Creating nova instance adt-questing-arm64-coq-mtac2-20250620-012617-juju-7f2275-prod-proposed-migration-environment-20-e9e58e8e-9f9a-453c-8d18-db2e794f3c9a from image adt/ubuntu-questing-arm64-server-20250619.img (UUID 7b84bb89-224c-4e23-be96-b5e4f0293f0f)... 116s nova [W] Timed out waiting for 2db3c9cf-df1e-4527-ab34-948ba1db2a9d to get deleted.