0s autopkgtest [01:26:16]: starting date and time: 2025-06-20 01:26:16+0000 0s autopkgtest [01:26:16]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:16]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.q_zez1rw/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-gappa --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-15.secgroup --name adt-questing-arm64-coq-gappa-20250620-012616-juju-7f2275-prod-proposed-migration-environment-20-81e6d04b-37d7-447e-b21a-11ea8ce2caaa --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/ 73s autopkgtest [01:27:29]: testbed dpkg architecture: arm64 73s autopkgtest [01:27:29]: testbed apt version: 3.1.2 73s autopkgtest [01:27:29]: @@@@@@@@@@@@@@@@@@@@ test bed setup 73s autopkgtest [01:27:29]: testbed release detected to be: None 74s autopkgtest [01:27:30]: updating testbed package index (apt update) 74s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 74s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 74s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 74s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 74s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 74s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 74s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 74s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 74s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [60.3 kB] 74s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted arm64 Packages [23.5 kB] 74s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [388 kB] 74s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [28.0 kB] 75s Fetched 1244 kB in 0s (2856 kB/s) 75s Reading package lists... 76s autopkgtest [01:27:32]: upgrading testbed (apt dist-upgrade and autopurge) 76s Reading package lists... 76s Building dependency tree... 76s Reading state information... 76s Calculating upgrade... 77s The following packages will be upgraded: 77s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 77s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 77s Need to get 1672 kB of archives. 77s After this operation, 5120 B of additional disk space will be used. 77s Get:1 http://ftpmaster.internal/ubuntu questing/main arm64 bash arm64 5.2.37-2ubuntu4 [784 kB] 77s Get:2 http://ftpmaster.internal/ubuntu questing/main arm64 libatomic1 arm64 15.1.0-8ubuntu1 [11.3 kB] 77s Get:3 http://ftpmaster.internal/ubuntu questing/main arm64 gcc-15-base arm64 15.1.0-8ubuntu1 [55.5 kB] 77s Get:4 http://ftpmaster.internal/ubuntu questing/main arm64 libstdc++6 arm64 15.1.0-8ubuntu1 [760 kB] 77s Get:5 http://ftpmaster.internal/ubuntu questing/main arm64 libgcc-s1 arm64 15.1.0-8ubuntu1 [61.1 kB] 77s Fetched 1672 kB in 0s (10.1 MB/s) 78s (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.) 78s Preparing to unpack .../bash_5.2.37-2ubuntu4_arm64.deb ... 78s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 78s Setting up bash (5.2.37-2ubuntu4) ... 78s Installing new version of config file /etc/bash.bashrc ... 78s 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 78s (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.) 78s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_arm64.deb ... 78s Unpacking libatomic1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 78s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_arm64.deb ... 78s Unpacking gcc-15-base:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 78s Setting up gcc-15-base:arm64 (15.1.0-8ubuntu1) ... 78s (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.) 78s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_arm64.deb ... 78s Unpacking libstdc++6:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 78s Setting up libstdc++6:arm64 (15.1.0-8ubuntu1) ... 78s (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.) 78s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_arm64.deb ... 78s Unpacking libgcc-s1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 78s Setting up libgcc-s1:arm64 (15.1.0-8ubuntu1) ... 78s Setting up libatomic1:arm64 (15.1.0-8ubuntu1) ... 78s Processing triggers for install-info (7.1.1-1) ... 78s Processing triggers for libc-bin (2.41-6ubuntu2) ... 78s Processing triggers for man-db (2.13.1-1) ... 79s Processing triggers for debianutils (5.23.1) ... 79s Reading package lists... 79s Building dependency tree... 79s Reading state information... 79s Solving dependencies... 80s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 82s autopkgtest [01:27:38]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 14:37:51 UTC 2025 82s autopkgtest [01:27:38]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-gappa 83s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (dsc) [2095 B] 83s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (tar) [76.4 kB] 83s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (diff) [2208 B] 83s gpgv: Signature made Thu Feb 20 15:30:48 2025 UTC 83s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 83s gpgv: issuer "julien.puydt@laposte.net" 83s gpgv: Can't check signature: No public key 83s dpkg-source: warning: cannot verify inline signature for ./coq-gappa_1.7.0-1.dsc: no acceptable signature found 83s autopkgtest [01:27:39]: testing package coq-gappa version 1.7.0-1 84s autopkgtest [01:27:40]: build not needed 84s autopkgtest [01:27:40]: 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: coq but it is not going to be installed 85s Depends: libcoq-gappa but it is not going to be installed 85s E: Unable to satisfy dependencies. Reached two conflicting decisions: 85s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 85s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 85s 1. satisfy:command-line:arm64=1 is selected for install 85s 2. satisfy:command-line:arm64 Depends libcoq-gappa 85s 3. libcoq-gappa:arm64 Depends libcoq-stdlib-6snk6 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: coq but it is not going to be installed 86s Depends: libcoq-gappa but it is not going to be installed 86s E: Unable to satisfy dependencies. Reached two conflicting decisions: 86s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 86s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 86s 1. satisfy:command-line:arm64=1 is selected for install 86s 2. satisfy:command-line:arm64 Depends libcoq-gappa 86s 3. libcoq-gappa:arm64 Depends libcoq-stdlib-6snk6 86s command1 FAIL badpkg 86s blame: coq-gappa 86s autopkgtest [01:27:42]: test testsuite: preparing testbed 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 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: 87s satisfy:command-line : Depends: coq but it is not going to be installed 87s Depends: libcoq-gappa but it is not going to be installed 87s E: Unable to satisfy dependencies. Reached two conflicting decisions: 87s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 87s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 87s 1. satisfy:command-line:arm64=1 is selected for install 87s 2. satisfy:command-line:arm64 Depends libcoq-gappa 87s 3. libcoq-gappa:arm64 Depends libcoq-stdlib-6snk6 87s testsuite FAIL badpkg 87s blame: coq-gappa 87s 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 autopkgtest [01:27:43]: @@@@@@@@@@@@@@@@@@@@ summary 87s command1 FAIL badpkg 87s blame: coq-gappa 87s 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 testsuite FAIL badpkg 87s blame: coq-gappa 87s 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-coq-gappa-20250620-012616-juju-7f2275-prod-proposed-migration-environment-20-81e6d04b-37d7-447e-b21a-11ea8ce2caaa from image adt/ubuntu-questing-arm64-server-20250619.img (UUID 7b84bb89-224c-4e23-be96-b5e4f0293f0f)... 90s nova [W] Timed out waiting for d76237ab-f4eb-46c0-bf57-1c61f94d2ce5 to get deleted.