0s autopkgtest [06:17:35]: starting date and time: 2025-06-20 06:17:35+0000 0s autopkgtest [06:17:35]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [06:17:35]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.x1q47am3/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:coq-elpi,src:coq,src:elpi,src:findlib,src:ocaml-fpath,src:ocaml-sexplib0,src:ocaml-visitors,src:ocaml-zarith,src:ocaml,src:ppx-deriving-yojson,src:ppx-deriving --apt-upgrade mathcomp-algebra-tactics --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=coq-elpi/2.5.0-1.1 coq/8.20.1+dfsg-1build1 elpi/2.0.7-1build1 findlib/1.9.8-1build1 ocaml-fpath/0.7.3-3build5 ocaml-sexplib0/0.17.0-1build2 ocaml-visitors/20250212-1build1 ocaml-zarith/1.14-1build2 ocaml/5.3.0-3 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-15@sto01-arm64-15.secgroup --name adt-questing-arm64-mathcomp-algebra-tactics-20250620-061734-juju-7f2275-prod-proposed-migration-environment-15-8a2b5807-35c7-4b57-80ed-a465092d4226 --image adt/ubuntu-questing-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-arm64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 74s autopkgtest [06:18:49]: testbed dpkg architecture: arm64 74s autopkgtest [06:18:49]: testbed apt version: 3.1.2 75s autopkgtest [06:18:50]: @@@@@@@@@@@@@@@@@@@@ test bed setup 75s autopkgtest [06:18:50]: testbed release detected to be: None 75s autopkgtest [06:18:50]: updating testbed package index (apt update) 76s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 76s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 76s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 76s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 76s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 76s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 76s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [438 kB] 76s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 76s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [61.0 kB] 76s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted arm64 Packages [23.5 kB] 76s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [396 kB] 76s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [28.0 kB] 76s Fetched 1253 kB in 0s (2892 kB/s) 77s Reading package lists... 77s autopkgtest [06:18:52]: upgrading testbed (apt dist-upgrade and autopurge) 77s Reading package lists... 78s Building dependency tree... 78s Reading state information... 78s Calculating upgrade... 78s The following packages will be upgraded: 78s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 78s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 78s Need to get 1672 kB of archives. 78s After this operation, 5120 B of additional disk space will be used. 78s Get:1 http://ftpmaster.internal/ubuntu questing/main arm64 bash arm64 5.2.37-2ubuntu4 [784 kB] 78s Get:2 http://ftpmaster.internal/ubuntu questing/main arm64 libatomic1 arm64 15.1.0-8ubuntu1 [11.3 kB] 78s Get:3 http://ftpmaster.internal/ubuntu questing/main arm64 gcc-15-base arm64 15.1.0-8ubuntu1 [55.5 kB] 78s Get:4 http://ftpmaster.internal/ubuntu questing/main arm64 libstdc++6 arm64 15.1.0-8ubuntu1 [760 kB] 78s Get:5 http://ftpmaster.internal/ubuntu questing/main arm64 libgcc-s1 arm64 15.1.0-8ubuntu1 [61.1 kB] 78s Fetched 1672 kB in 0s (17.7 MB/s) 79s (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.) 79s Preparing to unpack .../bash_5.2.37-2ubuntu4_arm64.deb ... 79s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 79s Setting up bash (5.2.37-2ubuntu4) ... 79s Installing new version of config file /etc/bash.bashrc ... 79s 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 79s (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.) 79s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_arm64.deb ... 79s Unpacking libatomic1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 79s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_arm64.deb ... 79s Unpacking gcc-15-base:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 79s Setting up gcc-15-base:arm64 (15.1.0-8ubuntu1) ... 79s (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.) 79s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_arm64.deb ... 79s Unpacking libstdc++6:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 79s Setting up libstdc++6:arm64 (15.1.0-8ubuntu1) ... 79s (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.) 79s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_arm64.deb ... 79s Unpacking libgcc-s1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 79s Setting up libgcc-s1:arm64 (15.1.0-8ubuntu1) ... 79s Setting up libatomic1:arm64 (15.1.0-8ubuntu1) ... 79s Processing triggers for install-info (7.1.1-1) ... 79s Processing triggers for libc-bin (2.41-6ubuntu2) ... 79s Processing triggers for man-db (2.13.1-1) ... 80s Processing triggers for debianutils (5.23.1) ... 80s Reading package lists... 80s Building dependency tree... 80s Reading state information... 80s Solving dependencies... 81s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 83s autopkgtest [06:18:58]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 14:37:51 UTC 2025 83s autopkgtest [06:18:58]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-algebra-tactics 84s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build3 (dsc) [2281 B] 84s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build3 (tar) [59.1 kB] 84s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build3 (diff) [9140 B] 84s gpgv: Signature made Wed May 28 08:06:30 2025 UTC 84s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 84s gpgv: Can't check signature: No public key 84s dpkg-source: warning: cannot verify inline signature for ./mathcomp-algebra-tactics_1.2.4-1build3.dsc: no acceptable signature found 84s autopkgtest [06:18:59]: testing package mathcomp-algebra-tactics version 1.2.4-1build3 84s autopkgtest [06:18:59]: build not needed 84s autopkgtest [06:18:59]: test command1: preparing testbed 84s Reading package lists... 85s Building dependency tree... 85s Reading state information... 85s Solving dependencies... 85s Some packages could not be installed. This may mean that you have 85s requested an impossible situation or if you are using the unstable 85s distribution that some required packages have not yet been created 85s or been moved out of Incoming. 85s The following information may help to resolve the situation: 85s 85s The following packages have unmet dependencies: 85s satisfy:command-line : Depends: libcoq-mathcomp-algebra-tactics but it is not going to be installed 85s Depends: coq but it is not going to be installed 85s E: Unable to satisfy dependencies. Reached two conflicting decisions: 85s 1. libcoq-elpi:arm64=2.5.0-1ubuntu1 is not selected for install 85s 2. libcoq-elpi:arm64=2.5.0-1ubuntu1 is selected for install because: 85s 1. satisfy:command-line:arm64=1 is selected for install 85s 2. satisfy:command-line:arm64 Depends libcoq-mathcomp-algebra-tactics 85s 3. libcoq-mathcomp-algebra-tactics:arm64 Depends libcoq-elpi-x7fm9 85s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 85s Reading package lists... 86s Building dependency tree... 86s Reading state information... 86s Solving dependencies... 86s Some packages could not be installed. This may mean that you have 86s requested an impossible situation or if you are using the unstable 86s distribution that some required packages have not yet been created 86s or been moved out of Incoming. 86s The following information may help to resolve the situation: 86s 86s The following packages have unmet dependencies: 86s satisfy:command-line : Depends: libcoq-mathcomp-algebra-tactics but it is not going to be installed 86s Depends: coq but it is not going to be installed 86s E: Unable to satisfy dependencies. Reached two conflicting decisions: 86s 1. libcoq-elpi:arm64=2.5.0-1ubuntu1 is not selected for install 86s 2. libcoq-elpi:arm64=2.5.0-1ubuntu1 is selected for install because: 86s 1. satisfy:command-line:arm64=1 is selected for install 86s 2. satisfy:command-line:arm64 Depends libcoq-mathcomp-algebra-tactics 86s 3. libcoq-mathcomp-algebra-tactics:arm64 Depends libcoq-elpi-x7fm9 86s command1 FAIL badpkg 86s blame: mathcomp-algebra-tactics 86s 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. 86s autopkgtest [06:19:01]: @@@@@@@@@@@@@@@@@@@@ summary 86s command1 FAIL badpkg 86s blame: mathcomp-algebra-tactics 86s 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. 90s nova [W] Using flock in prodstack7-arm64 90s Creating nova instance adt-questing-arm64-mathcomp-algebra-tactics-20250620-061734-juju-7f2275-prod-proposed-migration-environment-15-8a2b5807-35c7-4b57-80ed-a465092d4226 from image adt/ubuntu-questing-arm64-server-20250619.img (UUID 7b84bb89-224c-4e23-be96-b5e4f0293f0f)... 90s nova [W] Timed out waiting for 0c8e710f-c3a4-4780-9479-9cb17753fee4 to get deleted.