1
0s autopkgtest [15:07:57]: starting date and time: 2024-11-20 15:07:57 0000
2
0s autopkgtest [15:07:57]: version 5.42
3
0s autopkgtest [15:07:57]: host ci-worker-arm64-08; command line: /usr/bin/autopkgtest --no-built-binaries '--setup-commands=echo '"'"'coq-libhyps testing/arm64'"'"' > /var/tmp/debci.pkg 2>&1 || true' '--setup-commands=echo '"'"'Acquire::Retries "10";'"'"' > /etc/apt/apt.conf.d/75retry 2>&1 || true' --timeout=30600 --user debci --apt-upgrade --pin-packages=unstable=src:coq '--add-apt-source=deb-src http://deb.debian.org/debian unstable main contrib non-free non-free-firmware
4
0s deb http://deb.debian.org/debian unstable main contrib non-free non-free-firmware' --output-dir /tmp/debci-worker-54474387-Tddrm4ZNsj/autopkgtest-incoming/testing/arm64/c/coq-libhyps/54474387 coq-libhyps -- lxc --sudo --name ci-325-31b7a9c2 autopkgtest-testing-arm64
5
11s autopkgtest [15:08:08]: testbed dpkg architecture: arm64
6
11s autopkgtest [15:08:08]: testbed apt version: 2.9.10
7
11s autopkgtest [15:08:08]: @@@@@@@@@@@@@@@@@@@@ test bed setup
8
11s autopkgtest [15:08:08]: testbed release detected to be: None
9
11s autopkgtest [15:08:08]: updating testbed package index (apt update)
10
11s Get:1 http://deb.debian.org/debian testing InRelease [172 kB]
11
12s Get:2 http://deb.debian.org/debian-debug testing-debug InRelease [53.1 kB]
12
12s Get:3 http://deb.debian.org/debian unstable InRelease [202 kB]
13
12s Get:4 http://deb.debian.org/debian testing/main Sources.diff/Index [27.9 kB]
14
12s Get:5 http://deb.debian.org/debian testing/main arm64 Packages.diff/Index [27.9 kB]
15
12s Get:6 http://deb.debian.org/debian testing/main Sources 2024-11-20-0806.26.pdiff [1,112 B]
16
12s Get:7 http://deb.debian.org/debian testing/main Sources 2024-11-20-1410.29.pdiff [1,066 B]
17
12s Get:7 http://deb.debian.org/debian testing/main Sources 2024-11-20-1410.29.pdiff [1,066 B]
18
12s Get:8 http://deb.debian.org/debian-debug testing-debug/main Sources.diff/Index [27.9 kB]
19
12s Get:9 http://deb.debian.org/debian-debug testing-debug/main arm64 Packages.diff/Index [27.9 kB]
20
12s Get:10 http://deb.debian.org/debian testing/main arm64 Packages 2024-11-20-0806.26.pdiff [739 B]
21
13s Get:11 http://deb.debian.org/debian testing/main arm64 Packages 2024-11-20-1410.29.pdiff [15.3 kB]
22
13s Get:11 http://deb.debian.org/debian testing/main arm64 Packages 2024-11-20-1410.29.pdiff [15.3 kB]
23
13s Get:12 http://deb.debian.org/debian-debug testing-debug/main Sources 2024-11-20-1410.29.pdiff [376 B]
24
13s Get:13 http://deb.debian.org/debian-debug testing-debug/main arm64 Packages 2024-11-20-1410.29.pdiff [342 B]
25
13s Get:12 http://deb.debian.org/debian-debug testing-debug/main Sources 2024-11-20-1410.29.pdiff [376 B]
26
13s Get:13 http://deb.debian.org/debian-debug testing-debug/main arm64 Packages 2024-11-20-1410.29.pdiff [342 B]
27
13s Get:14 http://deb.debian.org/debian unstable/non-free-firmware Sources [6,824 B]
28
13s Get:15 http://deb.debian.org/debian unstable/main Sources [10.9 MB]
29
13s Get:16 http://deb.debian.org/debian unstable/non-free Sources [83.7 kB]
30
13s Get:17 http://deb.debian.org/debian unstable/contrib Sources [62.6 kB]
31
13s Get:18 http://deb.debian.org/debian unstable/contrib arm64 Packages [55.4 kB]
32
13s Get:19 http://deb.debian.org/debian unstable/non-free-firmware arm64 Packages [6,528 B]
33
13s Get:20 http://deb.debian.org/debian unstable/main arm64 Packages [9,953 kB]
34
13s Get:21 http://deb.debian.org/debian unstable/non-free arm64 Packages [85.8 kB]
35
15s Fetched 21.7 MB in 4s (5,251 kB/s)
36
16s Reading package lists...
37
17s autopkgtest [15:08:14]: upgrading testbed (apt dist-upgrade and autopurge)
38
17s Reading package lists...
39
17s Building dependency tree...
40
17s Reading state information...
41
18s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
42
18s Starting 2 pkgProblemResolver with broken count: 0
43
18s Done
44
19s Entering ResolveByKeep
45
19s
46
19s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
47
20s Reading package lists...
48
20s Building dependency tree...
49
20s Reading state information...
50
20s Starting pkgProblemResolver with broken count: 0
51
20s Starting 2 pkgProblemResolver with broken count: 0
52
20s Done
53
21s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
54
22s autopkgtest [15:08:19]: testbed running kernel: Linux 6.9.10-arm64 #1 SMP Debian 6.9.10-1 (2024-07-19)
55
22s autopkgtest [15:08:19]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-libhyps
56
24s Get:1 http://deb.debian.org/debian testing/main coq-libhyps 2.0.8-4 (dsc) [1,843 B]
57
24s Get:2 http://deb.debian.org/debian testing/main coq-libhyps 2.0.8-4 (tar) [37.2 kB]
58
24s Get:3 http://deb.debian.org/debian testing/main coq-libhyps 2.0.8-4 (diff) [2,216 B]
59
24s gpgv: Signature made Sat 03 Aug 2024 03:34:01 PM UTC
60
24s gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
61
62
24s gpgv: Can't check signature: No public key
63
24s dpkg-source: warning: cannot verify inline signature for ./coq-libhyps_2.0.8-4.dsc: no acceptable signature found
64
24s autopkgtest [15:08:21]: testing package coq-libhyps version 2.0.8-4
65
24s autopkgtest [15:08:21]: build not needed
66
24s autopkgtest [15:08:21]: test command1: preparing testbed
67
25s Reading package lists...
68
25s Building dependency tree...
69
25s Reading state information...
70
25s Starting pkgProblemResolver with broken count: 1
71
25s Starting 2 pkgProblemResolver with broken count: 1
72
25s Investigating (0) libcoq-libhyps:arm64 < none -> 2.0.8-4 b2 @un puN Ib >
73
25s Broken libcoq-libhyps:arm64 Depends on libcoq-stdlib-cw0z4:arm64 < none @un H >
74
25s Considering libcoq-stdlib:arm64 1 as a solution to libcoq-libhyps:arm64 0
75
25s Re-Instated libcoq-stdlib:arm64
76
25s Done
77
25s Some packages could not be installed. This may mean that you have
78
25s requested an impossible situation or if you are using the unstable
79
25s distribution that some required packages have not yet been created
80
25s or been moved out of Incoming.
81
25s The following information may help to resolve the situation:
82
25s
83
25s The following packages have unmet dependencies:
84
26s libcoq-libhyps : Depends: libcoq-stdlib-cw0z4
85
26s E: Unable to correct problems, you have held broken packages.
86
26s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from unstable
87
26s Reading package lists...
88
26s Building dependency tree...
89
26s Reading state information...
90
27s Starting pkgProblemResolver with broken count: 1
91
27s Starting 2 pkgProblemResolver with broken count: 1
92
27s Investigating (0) libcoq-libhyps:arm64 < none -> 2.0.8-4 b2 @un puN Ib >
93
27s Broken libcoq-libhyps:arm64 Depends on libcoq-stdlib-cw0z4:arm64 < none @un H >
94
27s Considering libcoq-stdlib:arm64 1 as a solution to libcoq-libhyps:arm64 0
95
27s Re-Instated libcoq-stdlib:arm64
96
27s Done
97
27s Some packages could not be installed. This may mean that you have
98
27s requested an impossible situation or if you are using the unstable
99
27s distribution that some required packages have not yet been created
100
27s or been moved out of Incoming.
101
27s The following information may help to resolve the situation:
102
27s
103
27s The following packages have unmet dependencies:
104
27s libcoq-libhyps : Depends: libcoq-stdlib-cw0z4
105
27s E: Unable to correct problems, you have held broken packages.
106
27s command1 FAIL badpkg
107
27s blame: coq-libhyps
108
27s 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.
109
27s autopkgtest [15:08:24]: @@@@@@@@@@@@@@@@@@@@ summary
110
27s command1 FAIL badpkg
111
27s blame: coq-libhyps
112
27s 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.