0s autopkgtest [01:26:12]: starting date and time: 2025-06-20 01:26:12+0000 0s autopkgtest [01:26:12]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:12]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.29w29h_l/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-menhirlib --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 builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-5.secgroup --name adt-questing-amd64-coq-menhirlib-20250620-012611-juju-7f2275-prod-proposed-migration-environment-2-56dc8e12-50ca-4398-a40a-e7f94bde35ab --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 56s autopkgtest [01:27:08]: testbed dpkg architecture: amd64 56s autopkgtest [01:27:08]: testbed apt version: 3.1.2 56s autopkgtest [01:27:08]: @@@@@@@@@@@@@@@@@@@@ test bed setup 56s autopkgtest [01:27:08]: testbed release detected to be: None 57s autopkgtest [01:27:09]: updating testbed package index (apt update) 57s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 58s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 58s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 58s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 58s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 58s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 58s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 58s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 58s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [35.6 kB] 58s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [71.9 kB] 58s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/restricted i386 Packages [3816 B] 58s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/restricted amd64 Packages [18.7 kB] 58s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [396 kB] 58s Get:14 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [144 kB] 58s Get:15 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [6484 B] 58s Get:16 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [29.0 kB] 58s Fetched 1450 kB in 1s (1636 kB/s) 59s Reading package lists... 60s autopkgtest [01:27:12]: upgrading testbed (apt dist-upgrade and autopurge) 60s Reading package lists... 60s Building dependency tree... 60s Reading state information... 60s Calculating upgrade... 60s The following packages will be upgraded: 60s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 60s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 60s Need to get 1758 kB of archives. 60s After this operation, 5120 B of additional disk space will be used. 60s Get:1 http://ftpmaster.internal/ubuntu questing/main amd64 bash amd64 5.2.37-2ubuntu4 [801 kB] 61s Get:2 http://ftpmaster.internal/ubuntu questing/main amd64 libatomic1 amd64 15.1.0-8ubuntu1 [10.5 kB] 61s Get:3 http://ftpmaster.internal/ubuntu questing/main amd64 gcc-15-base amd64 15.1.0-8ubuntu1 [55.5 kB] 61s Get:4 http://ftpmaster.internal/ubuntu questing/main amd64 libstdc++6 amd64 15.1.0-8ubuntu1 [813 kB] 62s Get:5 http://ftpmaster.internal/ubuntu questing/main amd64 libgcc-s1 amd64 15.1.0-8ubuntu1 [78.1 kB] 62s Fetched 1758 kB in 1s (1173 kB/s) 62s (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 ... 81475 files and directories currently installed.) 62s Preparing to unpack .../bash_5.2.37-2ubuntu4_amd64.deb ... 62s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 62s Setting up bash (5.2.37-2ubuntu4) ... 62s Installing new version of config file /etc/bash.bashrc ... 62s 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 63s (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 ... 81475 files and directories currently installed.) 63s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_amd64.deb ... 63s Unpacking libatomic1:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 63s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_amd64.deb ... 63s Unpacking gcc-15-base:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 63s Setting up gcc-15-base:amd64 (15.1.0-8ubuntu1) ... 63s (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 ... 81475 files and directories currently installed.) 63s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_amd64.deb ... 63s Unpacking libstdc++6:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 63s Setting up libstdc++6:amd64 (15.1.0-8ubuntu1) ... 63s (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 ... 81475 files and directories currently installed.) 63s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_amd64.deb ... 63s Unpacking libgcc-s1:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 63s Setting up libgcc-s1:amd64 (15.1.0-8ubuntu1) ... 63s Setting up libatomic1:amd64 (15.1.0-8ubuntu1) ... 63s Processing triggers for install-info (7.1.1-1) ... 63s Processing triggers for libc-bin (2.41-6ubuntu2) ... 63s Processing triggers for man-db (2.13.1-1) ... 64s Processing triggers for debianutils (5.23.1) ... 64s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Solving dependencies... 64s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 67s autopkgtest [01:27:19]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 67s autopkgtest [01:27:19]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-menhirlib 69s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-menhirlib 20240715+ds-1build4 (dsc) [2144 B] 69s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-menhirlib 20240715+ds-1build4 (tar) [45.1 kB] 69s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-menhirlib 20240715+ds-1build4 (diff) [2312 B] 69s gpgv: Signature made Tue Feb 18 20:04:16 2025 UTC 69s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 69s gpgv: Can't check signature: No public key 69s dpkg-source: warning: cannot verify inline signature for ./coq-menhirlib_20240715+ds-1build4.dsc: no acceptable signature found 69s autopkgtest [01:27:21]: testing package coq-menhirlib version 20240715+ds-1build4 69s autopkgtest [01:27:21]: build not needed 69s autopkgtest [01:27:21]: test command1: preparing testbed 70s Reading package lists... 70s Building dependency tree... 70s Reading state information... 70s Solving dependencies... 70s Some packages could not be installed. This may mean that you have 70s requested an impossible situation or if you are using the unstable 70s distribution that some required packages have not yet been created 70s or been moved out of Incoming. 70s The following information may help to resolve the situation: 70s 70s The following packages have unmet dependencies: 70s satisfy:command-line : Depends: libcoq-menhirlib but it is not going to be installed 70s Depends: coq but it is not going to be installed 70s E: Unable to satisfy dependencies. Reached two conflicting decisions: 70s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 70s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 70s 1. satisfy:command-line:amd64=1 is selected for install 70s 2. satisfy:command-line:amd64 Depends libcoq-menhirlib 70s 3. libcoq-menhirlib:amd64 Depends libcoq-stdlib-9imx0 70s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 71s Reading package lists... 71s Building dependency tree... 71s Reading state information... 71s Solving dependencies... 71s Some packages could not be installed. This may mean that you have 71s requested an impossible situation or if you are using the unstable 71s distribution that some required packages have not yet been created 71s or been moved out of Incoming. 71s The following information may help to resolve the situation: 71s 71s The following packages have unmet dependencies: 71s satisfy:command-line : Depends: libcoq-menhirlib but it is not going to be installed 71s Depends: coq but it is not going to be installed 71s E: Unable to satisfy dependencies. Reached two conflicting decisions: 71s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 71s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 71s 1. satisfy:command-line:amd64=1 is selected for install 71s 2. satisfy:command-line:amd64 Depends libcoq-menhirlib 71s 3. libcoq-menhirlib:amd64 Depends libcoq-stdlib-9imx0 71s command1 FAIL badpkg 71s blame: coq-menhirlib 71s 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. 71s autopkgtest [01:27:23]: @@@@@@@@@@@@@@@@@@@@ summary 71s command1 FAIL badpkg 71s blame: coq-menhirlib 71s 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] Skipping flock for amd64 90s Creating nova instance adt-questing-amd64-coq-menhirlib-20250620-012611-juju-7f2275-prod-proposed-migration-environment-2-56dc8e12-50ca-4398-a40a-e7f94bde35ab from image adt/ubuntu-questing-amd64-server-20250619.img (UUID 0ac4ce88-14b4-462b-a8ff-5e89102fdccd)... 90s nova [W] Timed out waiting for 2c334acd-cf53-41bb-893a-05ef7f8c026e to get deleted.