0s autopkgtest [01:26:23]: starting date and time: 2025-06-20 01:26:23+0000 0s autopkgtest [01:26:23]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:23]: host juju-7f2275-prod-proposed-migration-environment-21; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.l7rdosfy/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 coqprime --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-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-21@sto01-ppc64el-19.secgroup --name adt-questing-ppc64el-coqprime-20250620-012623-juju-7f2275-prod-proposed-migration-environment-21-6a7d627b-c3e9-48a9-92be-92b913a4d1e4 --image adt/ubuntu-questing-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-21 --net-id=net_prod-autopkgtest-workers-ppc64el -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 69s autopkgtest [01:27:32]: testbed dpkg architecture: ppc64el 70s autopkgtest [01:27:33]: testbed apt version: 3.1.2 70s autopkgtest [01:27:33]: @@@@@@@@@@@@@@@@@@@@ test bed setup 70s autopkgtest [01:27:33]: testbed release detected to be: None 71s autopkgtest [01:27:34]: updating testbed package index (apt update) 71s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 71s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 71s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 71s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 71s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 71s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 71s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 71s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 71s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main ppc64el Packages [60.7 kB] 71s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted ppc64el Packages [960 B] 71s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe ppc64el Packages [372 kB] 71s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse ppc64el Packages [6652 B] 71s Fetched 1184 kB in 0s (2472 kB/s) 72s Reading package lists... 73s autopkgtest [01:27:36]: upgrading testbed (apt dist-upgrade and autopurge) 73s Reading package lists... 73s Building dependency tree... 73s Reading state information... 73s Calculating upgrade... 73s The following packages will be upgraded: 73s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 73s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 73s Need to get 2001 kB of archives. 73s After this operation, 5120 B of additional disk space will be used. 73s Get:1 http://ftpmaster.internal/ubuntu questing/main ppc64el bash ppc64el 5.2.37-2ubuntu4 [973 kB] 74s Get:2 http://ftpmaster.internal/ubuntu questing/main ppc64el libatomic1 ppc64el 15.1.0-8ubuntu1 [11.0 kB] 74s Get:3 http://ftpmaster.internal/ubuntu questing/main ppc64el gcc-15-base ppc64el 15.1.0-8ubuntu1 [55.5 kB] 74s Get:4 http://ftpmaster.internal/ubuntu questing/main ppc64el libstdc++6 ppc64el 15.1.0-8ubuntu1 [921 kB] 74s Get:5 http://ftpmaster.internal/ubuntu questing/main ppc64el libgcc-s1 ppc64el 15.1.0-8ubuntu1 [40.2 kB] 74s Fetched 2001 kB in 0s (4958 kB/s) 75s (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 ... 79652 files and directories currently installed.) 75s Preparing to unpack .../bash_5.2.37-2ubuntu4_ppc64el.deb ... 75s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 75s Setting up bash (5.2.37-2ubuntu4) ... 75s Installing new version of config file /etc/bash.bashrc ... 75s 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 75s (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 ... 79652 files and directories currently installed.) 75s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_ppc64el.deb ... 75s Unpacking libatomic1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 75s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_ppc64el.deb ... 75s Unpacking gcc-15-base:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 75s Setting up gcc-15-base:ppc64el (15.1.0-8ubuntu1) ... 75s (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 ... 79652 files and directories currently installed.) 75s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_ppc64el.deb ... 75s Unpacking libstdc++6:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 75s Setting up libstdc++6:ppc64el (15.1.0-8ubuntu1) ... 75s (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 ... 79652 files and directories currently installed.) 75s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_ppc64el.deb ... 75s Unpacking libgcc-s1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 75s Setting up libgcc-s1:ppc64el (15.1.0-8ubuntu1) ... 75s Setting up libatomic1:ppc64el (15.1.0-8ubuntu1) ... 75s Processing triggers for install-info (7.1.1-1) ... 75s Processing triggers for libc-bin (2.41-6ubuntu2) ... 75s Processing triggers for man-db (2.13.1-1) ... 76s Processing triggers for debianutils (5.23.1) ... 76s Reading package lists... 77s Building dependency tree... 77s Reading state information... 77s Solving dependencies... 77s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 79s autopkgtest [01:27:42]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 14:52:42 UTC 2025 79s autopkgtest [01:27:42]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime 81s Get:1 http://ftpmaster.internal/ubuntu questing/universe coqprime 8.20.1-1build4 (dsc) [2165 B] 81s Get:2 http://ftpmaster.internal/ubuntu questing/universe coqprime 8.20.1-1build4 (tar) [997 kB] 81s Get:3 http://ftpmaster.internal/ubuntu questing/universe coqprime 8.20.1-1build4 (diff) [3624 B] 81s gpgv: Signature made Wed Feb 19 07:18:59 2025 UTC 81s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 81s gpgv: Can't check signature: No public key 81s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.20.1-1build4.dsc: no acceptable signature found 81s autopkgtest [01:27:44]: testing package coqprime version 8.20.1-1build4 82s autopkgtest [01:27:45]: build not needed 82s autopkgtest [01:27:45]: test command1: preparing testbed 82s Reading package lists... 83s Building dependency tree... 83s Reading state information... 83s Solving dependencies... 83s Some packages could not be installed. This may mean that you have 83s requested an impossible situation or if you are using the unstable 83s distribution that some required packages have not yet been created 83s or been moved out of Incoming. 83s The following information may help to resolve the situation: 83s 83s The following packages have unmet dependencies: 83s satisfy:command-line : Depends: coq but it is not going to be installed 83s Depends: libcoq-coqprime but it is not going to be installed 83s E: Unable to satisfy dependencies. Reached two conflicting decisions: 83s 1. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is not selected for install 83s 2. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is selected for install because: 83s 1. satisfy:command-line:ppc64el=1 is selected for install 83s 2. satisfy:command-line:ppc64el Depends libcoq-coqprime 83s 3. libcoq-coqprime:ppc64el Depends libcoq-stdlib-j3jw0 83s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 83s Reading package lists... 83s Building dependency tree... 83s Reading state information... 83s Solving dependencies... 83s Some packages could not be installed. This may mean that you have 83s requested an impossible situation or if you are using the unstable 83s distribution that some required packages have not yet been created 83s or been moved out of Incoming. 83s The following information may help to resolve the situation: 83s 83s The following packages have unmet dependencies: 83s satisfy:command-line : Depends: coq but it is not going to be installed 83s Depends: libcoq-coqprime but it is not going to be installed 83s E: Unable to satisfy dependencies. Reached two conflicting decisions: 83s 1. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is not selected for install 83s 2. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is selected for install because: 83s 1. satisfy:command-line:ppc64el=1 is selected for install 83s 2. satisfy:command-line:ppc64el Depends libcoq-coqprime 83s 3. libcoq-coqprime:ppc64el Depends libcoq-stdlib-j3jw0 83s command1 FAIL badpkg 83s blame: coqprime 83s 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. 83s autopkgtest [01:27:46]: @@@@@@@@@@@@@@@@@@@@ summary 83s command1 FAIL badpkg 83s blame: coqprime 83s 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. 87s nova [W] Using flock in prodstack7-ppc64el 87s Creating nova instance adt-questing-ppc64el-coqprime-20250620-012623-juju-7f2275-prod-proposed-migration-environment-21-6a7d627b-c3e9-48a9-92be-92b913a4d1e4 from image adt/ubuntu-questing-ppc64el-server-20250619.img (UUID 1c97422d-c646-492e-9581-3c98f213de4b)... 87s nova [W] Timed out waiting for 5d1ad55b-2692-4e79-93db-bd5dd9252b1e to get deleted.