=============================================================================== About this build: this rebuild has been done as part of reproduce.debian.net where we aim to reproduce Debian binary packages distributed via ftp.debian.org, by rebuilding using the exact same packages as the original build on the buildds, as described in the relevant .buildinfo file from buildinfos.debian.net. For more information please go to https://reproduce.debian.net or join #debian-reproducible on irc.debian.org =============================================================================== Preparing download of sources for /srv/rebuilderd/tmp/rebuilderdyHulkl/inputs/mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.buildinfo Source: mathcomp-zify Version: 1.5.0+2.0+8.16-4 rebuilderd-worker node: codethink02-arm64 +------------------------------------------------------------------------------+ | Downloading sources Tue, 30 Dec 2025 15:04:54 +0000 | +------------------------------------------------------------------------------+ Get:1 https://deb.debian.org/debian trixie InRelease [140 kB] Get:2 https://deb.debian.org/debian-security trixie-security InRelease [43.4 kB] Get:3 https://deb.debian.org/debian trixie-updates InRelease [47.3 kB] Get:4 https://deb.debian.org/debian trixie-proposed-updates InRelease [57.6 kB] Get:5 https://deb.debian.org/debian trixie-backports InRelease [54.0 kB] Get:6 https://deb.debian.org/debian forky InRelease [137 kB] Get:7 https://deb.debian.org/debian sid InRelease [187 kB] Get:8 https://deb.debian.org/debian experimental InRelease [91.1 kB] Get:9 https://deb.debian.org/debian trixie/non-free-firmware Sources [6548 B] Get:10 https://deb.debian.org/debian trixie/main Sources [10.5 MB] Get:11 https://deb.debian.org/debian-security trixie-security/non-free-firmware Sources [696 B] Get:12 https://deb.debian.org/debian-security trixie-security/main Sources [116 kB] Get:13 https://deb.debian.org/debian trixie-updates/main Sources [2788 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/non-free-firmware Sources [692 B] Get:15 https://deb.debian.org/debian trixie-proposed-updates/main Sources [158 kB] Get:16 https://deb.debian.org/debian trixie-backports/main Sources [114 kB] Get:17 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2468 B] Get:18 https://deb.debian.org/debian forky/main Sources [10.6 MB] Get:19 https://deb.debian.org/debian forky/non-free-firmware Sources [7696 B] Get:20 https://deb.debian.org/debian sid/main Sources [11.2 MB] Get:21 https://deb.debian.org/debian sid/non-free-firmware Sources [9692 B] Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [3180 B] Get:23 https://deb.debian.org/debian experimental/main Sources [353 kB] Fetched 33.9 MB in 32s (1062 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/m/mathcomp-zify/mathcomp-zify_1.5.0%2b2.0%2b8.16-4.dsc' mathcomp-zify_1.5.0+2.0+8.16-4.dsc 2152 SHA256:83932f787ee03df6a1228c4528dc77a2086f073c4a5adc150292aa868afcfc8e 'https://deb.debian.org/debian/pool/main/m/mathcomp-zify/mathcomp-zify_1.5.0%2b2.0%2b8.16.orig.tar.gz' mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz 21080 SHA256:5988389c6c8dfde4d2f3a370278c6b2aa1b5a0f56531cb30b0cce2d550b4387c 'https://deb.debian.org/debian/pool/main/m/mathcomp-zify/mathcomp-zify_1.5.0%2b2.0%2b8.16-4.debian.tar.xz' mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz 8752 SHA256:d947e46b59557b3143c6b419647367fcc3a42d94451fdbb5db1acb20cf43eeed 5988389c6c8dfde4d2f3a370278c6b2aa1b5a0f56531cb30b0cce2d550b4387c mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz d947e46b59557b3143c6b419647367fcc3a42d94451fdbb5db1acb20cf43eeed mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz 83932f787ee03df6a1228c4528dc77a2086f073c4a5adc150292aa868afcfc8e mathcomp-zify_1.5.0+2.0+8.16-4.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Tue, 30 Dec 2025 15:05:26 +0000 | +------------------------------------------------------------------------------+ + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdyHulkl/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdyHulkl/inputs/mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.buildinfo Rebuilding mathcomp-zify=1.5.0+2.0+8.16-4 in /srv/rebuilderd/tmp/rebuilderdyHulkl/inputs now. /srv/rebuilderd/tmp/rebuilderdyHulkl/inputs/mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16 I: verifying dsc... successful! Get:1 http://deb.debian.org/debian unstable InRelease [187 kB] Get:2 http://snapshot.debian.org/archive/debian/20251226T145023Z forky InRelease [137 kB] Get:3 http://deb.debian.org/debian unstable/main arm64 Packages [10.1 MB] Get:4 http://snapshot.debian.org/archive/debian/20251226T145023Z forky/main arm64 Packages [9597 kB] Fetched 20.1 MB in 2s (10.3 MB/s) Reading package lists... W: http://snapshot.debian.org/archive/debian/20251226T145023Z/dists/forky/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted Get:1 http://deb.debian.org/debian unstable/main arm64 python3.13 arm64 3.13.11-1+b1 [770 kB] Fetched 770 kB in 0s (32.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5p2r3wvq/python3.13_3.13.11-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Fetched 18.9 kB in 0s (1115 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzfh9jys_/libconfig-tiny-perl_2.30-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 coreutils arm64 9.7-3 [2949 kB] Fetched 2949 kB in 0s (153 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6qu9s1nd/coreutils_9.7-3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcc1-0 arm64 15.2.0-12 [41.3 kB] Fetched 41.3 kB in 0s (2512 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjlv4fkbl/libcc1-0_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Fetched 104 kB in 0s (5967 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1gktvfci/libarchive-zip-perl_1.68-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-hierarchy-builder arm64 1.8.1-1+b11 [549 kB] Fetched 549 kB in 0s (25.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqfltm1q1/libcoq-hierarchy-builder_1.8.1-1+b11_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 linux-libc-dev all 6.17.13-1 [2574 kB] Fetched 2574 kB in 0s (68.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi80ursfy/linux-libc-dev_6.17.13-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 file arm64 1:5.46-5 [43.7 kB] Fetched 43.7 kB in 0s (2639 kB/s) dpkg-name: info: moved 'file_1%3a5.46-5_arm64.deb' to '/srv/rebuilderd/tmp/tmp5ygs8tb6/file_5.46-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libdpkg-perl all 1.23.3 [657 kB] Fetched 657 kB in 0s (30.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3ioszrwp/libdpkg-perl_1.23.3_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dh-autoreconf all 21 [12.2 kB] Fetched 12.2 kB in 0s (695 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwtvnv_1l/dh-autoreconf_21_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libubsan1 arm64 15.2.0-12 [1064 kB] Fetched 1064 kB in 0s (41.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph_a3y1uk/libubsan1_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libzstd-dev arm64 1.5.7+dfsg-2 [330 kB] Fetched 330 kB in 0s (17.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpa85lhgbu/libzstd-dev_1.5.7+dfsg-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 python3 arm64 3.13.9-2 [27.5 kB] Fetched 27.5 kB in 0s (1547 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpizfwfx64/python3_3.13.9-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 readline-common all 8.3-3 [74.8 kB] Fetched 74.8 kB in 0s (4215 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7gmae6kr/readline-common_8.3-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 base-files arm64 14 [72.9 kB] Fetched 72.9 kB in 0s (4088 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzrf4b6df/base-files_14_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 sed arm64 4.9-2+b1 [326 kB] Fetched 326 kB in 0s (17.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqdq5ojk5/sed_4.9-2+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libbinutils arm64 2.45.50.20251209-1 [670 kB] Fetched 670 kB in 0s (29.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvf682jjp/libbinutils_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcrypt1 arm64 1:4.5.1-1 [93.9 kB] Fetched 93.9 kB in 0s (5531 kB/s) dpkg-name: info: moved 'libcrypt1_1%3a4.5.1-1_arm64.deb' to '/srv/rebuilderd/tmp/tmp8vjxrpxx/libcrypt1_4.5.1-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libsystemd0 arm64 259-1 [430 kB] Fetched 430 kB in 0s (25.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp62i5mx0n/libsystemd0_259-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libctf-nobfd0 arm64 2.45.50.20251209-1 [154 kB] Fetched 154 kB in 0s (8665 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdwq1mmu1/libctf-nobfd0_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 coq arm64 8.20.1+dfsg-1+b2 [74.9 MB] Fetched 74.9 MB in 0s (183 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjtgy_gbd/coq_8.20.1+dfsg-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gcc arm64 4:15.2.0-4 [5156 B] Fetched 5156 B in 0s (337 kB/s) dpkg-name: info: moved 'gcc_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmp3hli5oph/gcc_15.2.0-4_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4 [1432 B] Fetched 1432 B in 0s (84.3 kB/s) dpkg-name: info: moved 'gcc-aarch64-linux-gnu_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmp1axafu9r/gcc-aarch64-linux-gnu_15.2.0-4_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libmpfr6 arm64 4.2.2-2 [685 kB] Fetched 685 kB in 0s (31.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxg3d0ake/libmpfr6_4.2.2-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 diffutils arm64 1:3.12-1 [397 kB] Fetched 397 kB in 0s (20.6 MB/s) dpkg-name: info: moved 'diffutils_1%3a3.12-1_arm64.deb' to '/srv/rebuilderd/tmp/tmp30raj6us/diffutils_3.12-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpam-runtime all 1.7.0-5 [249 kB] Fetched 249 kB in 0s (12.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjc4gd9tm/libpam-runtime_1.7.0-5_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libstdc++6 arm64 15.2.0-12 [648 kB] Fetched 648 kB in 0s (28.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpu0tg_u_v/libstdc++6_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libelpi-ocaml-dev arm64 2.0.7-3 [13.6 MB] Fetched 13.6 MB in 0s (130 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpstbcjik8/libelpi-ocaml-dev_2.0.7-3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpam-modules arm64 1.7.0-5 [172 kB] Fetched 172 kB in 0s (9797 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprxnjjbzr/libpam-modules_1.7.0-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 media-types all 14.0.0 [30.8 kB] Fetched 30.8 kB in 0s (1862 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqf7umnu2/media-types_14.0.0_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 groff-base arm64 1.23.0-10 [1130 kB] Fetched 1130 kB in 0s (43.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqw0twe13/groff-base_1.23.0-10_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libocaml-compiler-libs-ocaml-dev arm64 0.17.0-1+b3 [92.8 kB] Fetched 92.8 kB in 0s (5240 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwxm7r8t0/libocaml-compiler-libs-ocaml-dev_0.17.0-1+b3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 tzdata all 2025c-3 [263 kB] Fetched 263 kB in 0s (14.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcy867m8f/tzdata_2025c-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcrypt-dev arm64 1:4.5.1-1 [126 kB] Fetched 126 kB in 0s (6861 kB/s) dpkg-name: info: moved 'libcrypt-dev_1%3a4.5.1-1_arm64.deb' to '/srv/rebuilderd/tmp/tmp2t375z67/libcrypt-dev_4.5.1-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gcc-15-base arm64 15.2.0-12 [54.2 kB] Fetched 54.2 kB in 0s (3136 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkpw6k8_t/gcc-15-base_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libppx-deriving-ocaml arm64 6.1.1-1+b2 [4950 kB] Fetched 4950 kB in 0s (187 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg06mz97b/libppx-deriving-ocaml_6.1.1-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 perl arm64 5.40.1-7 [267 kB] Fetched 267 kB in 0s (8539 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyh9wbcqy/perl_5.40.1-7_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 sysvinit-utils arm64 3.15-6 [34.9 kB] Fetched 34.9 kB in 0s (2138 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptguycu8u/sysvinit-utils_3.15-6_arm64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpl7yc7rwo/hostname_3.25_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 hostname arm64 3.25 [10.8 kB] Fetched 10.8 kB in 0s (658 kB/s) Get:1 http://deb.debian.org/debian unstable/main arm64 make arm64 4.4.1-3 [453 kB] Fetched 453 kB in 0s (22.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp45bv9ssi/make_4.4.1-3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libmagic1t64 arm64 1:5.46-5 [103 kB] Fetched 103 kB in 0s (7034 kB/s) dpkg-name: info: moved 'libmagic1t64_1%3a5.46-5_arm64.deb' to '/srv/rebuilderd/tmp/tmpx5vq9emo/libmagic1t64_5.46-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 liblsan0 arm64 15.2.0-12 [1194 kB] Fetched 1194 kB in 0s (44.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0r3f0huq/liblsan0_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libsqlite3-0 arm64 3.46.1-8 [884 kB] Fetched 884 kB in 0s (38.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptoe1fz4i/libsqlite3-0_3.46.1-8_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 cpp-15 arm64 15.2.0-12 [1276 B] Fetched 1276 B in 0s (80.4 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp12vbff_v/cpp-15_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 ocaml-base arm64 5.4.0-1 [495 kB] Fetched 495 kB in 0s (23.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkuaxdqlu/ocaml-base_5.4.0-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-mathcomp-fingroup arm64 2.3.0-1+b15 [2299 kB] Fetched 2299 kB in 0s (61.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprbkhnrnp/libcoq-mathcomp-fingroup_2.3.0-1+b15_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libmount1 arm64 2.41.3-2 [199 kB] Fetched 199 kB in 0s (10.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpracedcjr/libmount1_2.41.3-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libreadline8t64 arm64 8.3-3 [169 kB] Fetched 169 kB in 0s (9134 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgod1de0o/libreadline8t64_8.3-3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libunistring5 arm64 1.3-2 [453 kB] Fetched 453 kB in 0s (21.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9fgjfhe3/libunistring5_1.3-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dh-ocaml all 2.5 [62.9 kB] Fetched 62.9 kB in 0s (3479 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcgmap8ad/dh-ocaml_2.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libitm1 arm64 15.2.0-12 [24.1 kB] Fetched 24.1 kB in 0s (1434 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpr0wgnh3e/libitm1_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 ocaml-interp arm64 5.4.0-1 [7460 kB] Fetched 7460 kB in 0s (101 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphr_7nvv2/ocaml-interp_5.4.0-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-core-ocaml arm64 8.20.1+dfsg-1+b2 [24.6 MB] Fetched 24.6 MB in 0s (170 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplh4kk01i/libcoq-core-ocaml_8.20.1+dfsg-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libmagic-mgc arm64 1:5.46-5 [338 kB] Fetched 338 kB in 0s (16.9 MB/s) dpkg-name: info: moved 'libmagic-mgc_1%3a5.46-5_arm64.deb' to '/srv/rebuilderd/tmp/tmp90zh5662/libmagic-mgc_5.46-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-core-ocaml-dev arm64 8.20.1+dfsg-1+b2 [51.8 MB] Fetched 51.8 MB in 0s (214 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbnxzauav/libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libtsan2 arm64 15.2.0-12 [2399 kB] Fetched 2399 kB in 0s (63.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptansuqb6/libtsan2_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libppxlib-ocaml-dev arm64 0.37.0-1+b1 [18.6 MB] Fetched 18.6 MB in 0s (117 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppg14zuw3/libppxlib-ocaml-dev_0.37.0-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libzarith-ocaml arm64 1.14-1+b3 [109 kB] Fetched 109 kB in 0s (6051 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpiwjhjyfa/libzarith-ocaml_1.14-1+b3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 m4 arm64 1.4.20-2 [315 kB] Fetched 315 kB in 0s (16.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpexeeo6tm/m4_1.4.20-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Fetched 22.9 kB in 0s (1911 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpw8e2obrd/intltool-debian_0.35.0+20060710.6_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libelpi-ocaml arm64 2.0.7-3 [3655 kB] Fetched 3655 kB in 0s (78.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbhfoguh_/libelpi-ocaml_2.0.7-3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgmp3-dev arm64 2:6.3.0+dfsg-5 [322 kB] Fetched 322 kB in 0s (16.6 MB/s) dpkg-name: info: moved 'libgmp3-dev_2%3a6.3.0+dfsg-5_arm64.deb' to '/srv/rebuilderd/tmp/tmprnytr384/libgmp3-dev_6.3.0+dfsg-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-elpi arm64 2.5.0-1.2+b2 [12.8 MB] Fetched 12.8 MB in 0s (175 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpc_xsmzi5/libcoq-elpi_2.5.0-1.2+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 netbase all 6.5 [12.4 kB] Fetched 12.4 kB in 0s (756 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgzwg5gvi/netbase_6.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpython3.13-minimal arm64 3.13.11-1+b1 [859 kB] Fetched 859 kB in 0s (35.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp59_x3_3b/libpython3.13-minimal_3.13.11-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 patch arm64 2.8-2 [128 kB] Fetched 128 kB in 0s (7167 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmbhn7e0r/patch_2.8-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 perl-modules-5.40 all 5.40.1-7 [3012 kB] Fetched 3012 kB in 0s (73.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5_qe16ag/perl-modules-5.40_5.40.1-7_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 openssl-provider-legacy arm64 3.5.4-1 [306 kB] Fetched 306 kB in 0s (23.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi3hvq7dh/openssl-provider-legacy_3.5.4-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libc-gconv-modules-extra arm64 2.42-6 [1158 kB] Fetched 1158 kB in 0s (56.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_6vuesw9/libc-gconv-modules-extra_2.42-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libncursesw6 arm64 6.5+20251123-1 [125 kB] Fetched 125 kB in 0s (6781 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_nmrrpit/libncursesw6_6.5+20251123-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcompiler-libs-ocaml-dev arm64 5.4.0-1 [39.0 MB] Fetched 39.0 MB in 0s (163 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp19f2xyef/libcompiler-libs-ocaml-dev_5.4.0-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-mathcomp-ssreflect arm64 2.3.0-1+b15 [8246 kB] Fetched 8246 kB in 0s (105 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpscqkgzdi/libcoq-mathcomp-ssreflect_2.3.0-1+b15_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgomp1 arm64 15.2.0-12 [126 kB] Fetched 126 kB in 0s (7192 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpediabc5p/libgomp1_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpython3.13-stdlib arm64 3.13.11-1+b1 [1903 kB] Fetched 1903 kB in 0s (59.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpj1wh59kd/libpython3.13-stdlib_3.13.11-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libuchardet0 arm64 0.0.8-2 [69.0 kB] Fetched 69.0 kB in 0s (3989 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp30nqap86/libuchardet0_0.0.8-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libtool all 2.5.4-9 [540 kB] Fetched 540 kB in 0s (26.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpshp9n_pp/libtool_2.5.4-9_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libudev1 arm64 259-1 [148 kB] Fetched 148 kB in 0s (8247 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbxrxs9ls/libudev1_259-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 sensible-utils all 0.0.26 [27.0 kB] Fetched 27.0 kB in 0s (1631 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_p9h801e/sensible-utils_0.0.26_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 ocaml arm64 5.4.0-1 [21.4 MB] Fetched 21.4 MB in 0s (157 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5bghwtru/ocaml_5.4.0-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dwz arm64 0.16-2 [100 kB] Fetched 100 kB in 0s (5564 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1_m6y7ig/dwz_0.16-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libstdlib-ocaml arm64 5.4.0-1 [588 kB] Fetched 588 kB in 0s (27.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1dvrgvu6/libstdlib-ocaml_5.4.0-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 perl-base arm64 5.40.1-7 [1528 kB] Fetched 1528 kB in 0s (52.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0jlwinzy/perl-base_5.40.1-7_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 g++-15-aarch64-linux-gnu arm64 15.2.0-12 [11.1 MB] Fetched 11.1 MB in 0s (129 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf3m26t99/g++-15-aarch64-linux-gnu_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 bzip2 arm64 1.0.8-6 [39.5 kB] Fetched 39.5 kB in 0s (2250 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp70rllysd/bzip2_1.0.8-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libselinux1 arm64 3.9-4+b1 [80.8 kB] Fetched 80.8 kB in 0s (4652 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpejq8l8zo/libselinux1_3.9-4+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-stdlib arm64 8.20.1+dfsg-1+b2 [23.5 MB] Fetched 23.5 MB in 0s (133 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7gh145ek/libcoq-stdlib_8.20.1+dfsg-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libaudit1 arm64 1:4.1.2-1+b1 [59.7 kB] Fetched 59.7 kB in 0s (3616 kB/s) dpkg-name: info: moved 'libaudit1_1%3a4.1.2-1+b1_arm64.deb' to '/srv/rebuilderd/tmp/tmpu9av5w0g/libaudit1_4.1.2-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libexpat1 arm64 2.7.3-1 [96.5 kB] Fetched 96.5 kB in 0s (5493 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnyau9qo8/libexpat1_2.7.3-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgdbm-compat4t64 arm64 1.26-1 [52.8 kB] Fetched 52.8 kB in 0s (3178 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9cggt32q/libgdbm-compat4t64_1.26-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 tar arm64 1.35+dfsg-3.1 [802 kB] Fetched 802 kB in 0s (35.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpz6uk_6yr/tar_1.35+dfsg-3.1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcap2 arm64 1:2.75-10+b5 [28.2 kB] Fetched 28.2 kB in 0s (2384 kB/s) dpkg-name: info: moved 'libcap2_1%3a2.75-10+b5_arm64.deb' to '/srv/rebuilderd/tmp/tmp_qk10mue/libcap2_2.75-10+b5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libmpc3 arm64 1.3.1-2 [50.2 kB] Fetched 50.2 kB in 0s (3038 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuzh7r9ss/libmpc3_1.3.1-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 build-essential arm64 12.12 [4624 B] Fetched 4624 B in 0s (309 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmps_37xv5e/build-essential_12.12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-5 [621 kB] Fetched 621 kB in 0s (28.7 MB/s) dpkg-name: info: moved 'libgmp-dev_2%3a6.3.0+dfsg-5_arm64.deb' to '/srv/rebuilderd/tmp/tmpdc938wzo/libgmp-dev_6.3.0+dfsg-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 binutils-common arm64 2.45.50.20251209-1 [2541 kB] Fetched 2541 kB in 0s (64.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpr522h78j/binutils-common_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpython3-stdlib arm64 3.13.9-2 [10.5 kB] Fetched 10.5 kB in 0s (608 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpby9bl2p_/libpython3-stdlib_3.13.9-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 binutils arm64 2.45.50.20251209-1 [278 kB] Fetched 278 kB in 0s (13.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptxahv_rj/binutils_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 autopoint all 0.23.2-1 [772 kB] Fetched 772 kB in 0s (31.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpan6rtut2/autopoint_0.23.2-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 automake all 1:1.18.1-3 [878 kB] Fetched 878 kB in 0s (49.0 MB/s) dpkg-name: info: moved 'automake_1%3a1.18.1-3_all.deb' to '/srv/rebuilderd/tmp/tmp5g45btvj/automake_1.18.1-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libffi8 arm64 3.5.2-3 [23.0 kB] Fetched 23.0 kB in 0s (1333 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0txoudr7/libffi8_3.5.2-3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libppx-deriving-ocaml-dev arm64 6.1.1-1+b2 [1029 kB] Fetched 1029 kB in 0s (40.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpz6gomi7r/libppx-deriving-ocaml-dev_6.1.1-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dpkg arm64 1.23.3 [1501 kB] Fetched 1501 kB in 0s (64.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuil3tau_/dpkg_1.23.3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libppx-derivers-ocaml-dev arm64 1.2.1-4+b5 [17.3 kB] Fetched 17.3 kB in 0s (970 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1hort5_2/libppx-derivers-ocaml-dev_1.2.1-4+b5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 po-debconf all 1.0.22 [216 kB] Fetched 216 kB in 0s (11.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1krdabxk/po-debconf_1.0.22_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-12 [10.1 MB] Fetched 10.1 MB in 0s (118 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp50w_xhu_/cpp-15-aarch64-linux-gnu_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4 [5288 B] Fetched 5288 B in 0s (304 kB/s) dpkg-name: info: moved 'cpp-aarch64-linux-gnu_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmpr5ew1tra/cpp-aarch64-linux-gnu_15.2.0-4_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 mawk arm64 1.3.4.20250131-2 [133 kB] Fetched 133 kB in 0s (7257 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpryncb5kc/mawk_1.3.4.20250131-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libc-bin arm64 2.42-6 [573 kB] Fetched 573 kB in 0s (24.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpm72ltr4w/libc-bin_2.42-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libstdc++-15-dev arm64 15.2.0-12 [2348 kB] Fetched 2348 kB in 0s (65.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphm8n5h0k/libstdc++-15-dev_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpipeline1 arm64 1.5.8-2 [40.3 kB] Fetched 40.3 kB in 0s (2368 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1z123lxs/libpipeline1_1.5.8-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libfindlib-ocaml-dev arm64 1.9.8-1+b2 [175 kB] Fetched 175 kB in 0s (7198 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpl_xujedd/libfindlib-ocaml-dev_1.9.8-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 g++-15 arm64 15.2.0-12 [25.0 kB] Fetched 25.0 kB in 0s (1494 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfmphq92g/g++-15_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gcc-15 arm64 15.2.0-12 [519 kB] Fetched 519 kB in 0s (22.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpaa60ea33/gcc-15_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 util-linux arm64 2.41.3-2 [1124 kB] Fetched 1124 kB in 0s (43.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg71qyt9g/util-linux_2.41.3-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libsframe2 arm64 2.45.50.20251209-1 [79.7 kB] Fetched 79.7 kB in 0s (4593 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpj4cq1t4m/libsframe2_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dpkg-dev all 1.23.3 [1318 kB] Fetched 1318 kB in 0s (48.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi354riuw/dpkg-dev_1.23.3_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libattr1 arm64 1:2.5.2-3 [22.7 kB] Fetched 22.7 kB in 0s (1352 kB/s) dpkg-name: info: moved 'libattr1_1%3a2.5.2-3_arm64.deb' to '/srv/rebuilderd/tmp/tmpq7m633g4/libattr1_2.5.2-3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcap-ng0 arm64 0.8.5-4+b2 [17.0 kB] Fetched 17.0 kB in 0s (953 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnajuxef9/libcap-ng0_0.8.5-4+b2_arm64.deb' Get:1 http://snapshot.debian.org/archive/debian/20251226T145023Z forky/main arm64 liblzma5 arm64 5.8.1-2 [302 kB] Fetched 302 kB in 0s (16.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4hvykiu6/liblzma5_5.8.1-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libzarith-ocaml-dev arm64 1.14-1+b3 [108 kB] Fetched 108 kB in 0s (6159 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppozc_92f/libzarith-ocaml-dev_1.14-1+b3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 debconf all 1.5.91 [121 kB] Fetched 121 kB in 0s (9236 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph94akse7/debconf_1.5.91_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libaudit-common all 1:4.1.2-1 [14.3 kB] Fetched 14.3 kB in 0s (892 kB/s) dpkg-name: info: moved 'libaudit-common_1%3a4.1.2-1_all.deb' to '/srv/rebuilderd/tmp/tmpa_bvzbts/libaudit-common_4.1.2-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libre-ocaml-dev arm64 1.14.0-1+b1 [1358 kB] Fetched 1358 kB in 0s (48.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq759uu4h/libre-ocaml-dev_1.14.0-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libmd0 arm64 1.1.0-2+b1 [33.7 kB] Fetched 33.7 kB in 0s (1912 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmparvblxht/libmd0_1.1.0-2+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libfindlib-ocaml arm64 1.9.8-1+b2 [198 kB] Fetched 198 kB in 0s (9584 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpghyf_vby/libfindlib-ocaml_1.9.8-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libhwasan0 arm64 15.2.0-12 [1479 kB] Fetched 1479 kB in 0s (51.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuntr3bqi/libhwasan0_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libtinfo6 arm64 6.5+20251123-1 [345 kB] Fetched 345 kB in 0s (17.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpndhyjqnu/libtinfo6_6.5+20251123-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 python3.13-minimal arm64 3.13.11-1+b1 [2060 kB] Fetched 2060 kB in 0s (61.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxmq4477l/python3.13-minimal_3.13.11-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libncurses6 arm64 6.5+20251123-1 [96.5 kB] Fetched 96.5 kB in 0s (5304 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3zqo2koh/libncurses6_6.5+20251123-1_arm64.deb' Downloading dependency 1 of 196: python3.13:arm64=3.13.11-1+b1 Downloading dependency 2 of 196: libconfig-tiny-perl:arm64=2.30-1 Downloading dependency 3 of 196: coreutils:arm64=9.7-3 Downloading dependency 4 of 196: libcc1-0:arm64=15.2.0-12 Downloading dependency 5 of 196: libarchive-zip-perl:arm64=1.68-1 Downloading dependency 6 of 196: libcoq-hierarchy-builder:arm64=1.8.1-1+b11 Downloading dependency 7 of 196: linux-libc-dev:arm64=6.17.13-1 Downloading dependency 8 of 196: file:arm64=1:5.46-5 Downloading dependency 9 of 196: libdpkg-perl:arm64=1.23.3 Downloading dependency 10 of 196: dh-autoreconf:arm64=21 Downloading dependency 11 of 196: libubsan1:arm64=15.2.0-12 Downloading dependency 12 of 196: libzstd-dev:arm64=1.5.7+dfsg-2 Downloading dependency 13 of 196: python3:arm64=3.13.9-2 Downloading dependency 14 of 196: readline-common:arm64=8.3-3 Downloading dependency 15 of 196: base-files:arm64=14 Downloading dependency 16 of 196: sed:arm64=4.9-2+b1 Downloading dependency 17 of 196: libbinutils:arm64=2.45.50.20251209-1 Downloading dependency 18 of 196: libcrypt1:arm64=1:4.5.1-1 Downloading dependency 19 of 196: libsystemd0:arm64=259-1 Downloading dependency 20 of 196: libctf-nobfd0:arm64=2.45.50.20251209-1 Downloading dependency 21 of 196: coq:arm64=8.20.1+dfsg-1+b2 Downloading dependency 22 of 196: gcc:arm64=4:15.2.0-4 Downloading dependency 23 of 196: gcc-aarch64-linux-gnu:arm64=4:15.2.0-4 Downloading dependency 24 of 196: libmpfr6:arm64=4.2.2-2 Downloading dependency 25 of 196: diffutils:arm64=1:3.12-1 Downloading dependency 26 of 196: libpam-runtime:arm64=1.7.0-5 Downloading dependency 27 of 196: libstdc++6:arm64=15.2.0-12 Downloading dependency 28 of 196: libelpi-ocaml-dev:arm64=2.0.7-3 Downloading dependency 29 of 196: libpam-modules:arm64=1.7.0-5 Downloading dependency 30 of 196: media-types:arm64=14.0.0 Downloading dependency 31 of 196: groff-base:arm64=1.23.0-10 Downloading dependency 32 of 196: libocaml-compiler-libs-ocaml-dev:arm64=0.17.0-1+b3 Downloading dependency 33 of 196: tzdata:arm64=2025c-3 Downloading dependency 34 of 196: libcrypt-dev:arm64=1:4.5.1-1 Downloading dependency 35 of 196: gcc-15-base:arm64=15.2.0-12 Downloading dependency 36 of 196: libppx-deriving-ocaml:arm64=6.1.1-1+b2 Downloading dependency 37 of 196: perl:arm64=5.40.1-7 Downloading dependency 38 of 196: sysvinit-utils:arm64=3.15-6 Downloading dependency 39 of 196: hostname:arm64=3.25 Downloading dependency 40 of 196: make:arm64=4.4.1-3 Downloading dependency 41 of 196: libmagic1t64:arm64=1:5.46-5 Downloading dependency 42 of 196: liblsan0:arm64=15.2.0-12 Downloading dependency 43 of 196: libsqlite3-0:arm64=3.46.1-8 Downloading dependency 44 of 196: cpp-15:arm64=15.2.0-12 Downloading dependency 45 of 196: ocaml-base:arm64=5.4.0-1 Downloading dependency 46 of 196: libcoq-mathcomp-fingroup:arm64=2.3.0-1+b15 Downloading dependency 47 of 196: libmount1:arm64=2.41.3-2 Downloading dependency 48 of 196: libreadline8t64:arm64=8.3-3 Downloading dependency 49 of 196: libunistring5:arm64=1.3-2 Downloading dependency 50 of 196: dh-ocaml:arm64=2.5 Downloading dependency 51 of 196: libitm1:arm64=15.2.0-12 Downloading dependency 52 of 196: ocaml-interp:arm64=5.4.0-1 Downloading dependency 53 of 196: libcoq-core-ocaml:arm64=8.20.1+dfsg-1+b2 Downloading dependency 54 of 196: libmagic-mgc:arm64=1:5.46-5 Downloading dependency 55 of 196: libcoq-core-ocaml-dev:arm64=8.20.1+dfsg-1+b2 Downloading dependency 56 of 196: libtsan2:arm64=15.2.0-12 Downloading dependency 57 of 196: libppxlib-ocaml-dev:arm64=0.37.0-1+b1 Downloading dependency 58 of 196: libzarith-ocaml:arm64=1.14-1+b3 Downloading dependency 59 of 196: m4:arm64=1.4.20-2 Downloading dependency 60 of 196: intltool-debian:arm64=0.35.0+20060710.6 Downloading dependency 61 of 196: libelpi-ocaml:arm64=2.0.7-3 Downloading dependency 62 of 196: libgmp3-dev:arm64=2:6.3.0+dfsg-5 Downloading dependency 63 of 196: libcoq-elpi:arm64=2.5.0-1.2+b2 Downloading dependency 64 of 196: netbase:arm64=6.5 Downloading dependency 65 of 196: libpython3.13-minimal:arm64=3.13.11-1+b1 Downloading dependency 66 of 196: patch:arm64=2.8-2 Downloading dependency 67 of 196: perl-modules-5.40:arm64=5.40.1-7 Downloading dependency 68 of 196: openssl-provider-legacy:arm64=3.5.4-1 Downloading dependency 69 of 196: libc-gconv-modules-extra:arm64=2.42-6 Downloading dependency 70 of 196: libncursesw6:arm64=6.5+20251123-1 Downloading dependency 71 of 196: libcompiler-libs-ocaml-dev:arm64=5.4.0-1 Downloading dependency 72 of 196: libcoq-mathcomp-ssreflect:arm64=2.3.0-1+b15 Downloading dependency 73 of 196: libgomp1:arm64=15.2.0-12 Downloading dependency 74 of 196: libpython3.13-stdlib:arm64=3.13.11-1+b1 Downloading dependency 75 of 196: libuchardet0:arm64=0.0.8-2 Downloading dependency 76 of 196: libtool:arm64=2.5.4-9 Downloading dependency 77 of 196: libudev1:arm64=259-1 Downloading dependency 78 of 196: sensible-utils:arm64=0.0.26 Downloading dependency 79 of 196: ocaml:arm64=5.4.0-1 Downloading dependency 80 of 196: dwz:arm64=0.16-2 Downloading dependency 81 of 196: libstdlib-ocaml:arm64=5.4.0-1 Downloading dependency 82 of 196: perl-base:arm64=5.40.1-7 Downloading dependency 83 of 196: g++-15-aarch64-linux-gnu:arm64=15.2.0-12 Downloading dependency 84 of 196: bzip2:arm64=1.0.8-6 Downloading dependency 85 of 196: libselinux1:arm64=3.9-4+b1 Downloading dependency 86 of 196: libcoq-stdlib:arm64=8.20.1+dfsg-1+b2 Downloading dependency 87 of 196: libaudit1:arm64=1:4.1.2-1+b1 Downloading dependency 88 of 196: libexpat1:arm64=2.7.3-1 Downloading dependency 89 of 196: libgdbm-compat4t64:arm64=1.26-1 Downloading dependency 90 of 196: tar:arm64=1.35+dfsg-3.1 Downloading dependency 91 of 196: libcap2:arm64=1:2.75-10+b5 Downloading dependency 92 of 196: libmpc3:arm64=1.3.1-2 Downloading dependency 93 of 196: build-essential:arm64=12.12 Downloading dependency 94 of 196: libgmp-dev:arm64=2:6.3.0+dfsg-5 Downloading dependency 95 of 196: binutils-common:arm64=2.45.50.20251209-1 Downloading dependency 96 of 196: libpython3-stdlib:arm64=3.13.9-2 Downloading dependency 97 of 196: binutils:arm64=2.45.50.20251209-1 Downloading dependency 98 of 196: autopoint:arm64=0.23.2-1 Downloading dependency 99 of 196: automake:arm64=1:1.18.1-3 Downloading dependency 100 of 196: libffi8:arm64=3.5.2-3 Downloading dependency 101 of 196: libppx-deriving-ocaml-dev:arm64=6.1.1-1+b2 Downloading dependency 102 of 196: dpkg:arm64=1.23.3 Downloading dependency 103 of 196: libppx-derivers-ocaml-dev:arm64=1.2.1-4+b5 Downloading dependency 104 of 196: po-debconf:arm64=1.0.22 Downloading dependency 105 of 196: cpp-15-aarch64-linux-gnu:arm64=15.2.0-12 Downloading dependency 106 of 196: cpp-aarch64-linux-gnu:arm64=4:15.2.0-4 Downloading dependency 107 of 196: mawk:arm64=1.3.4.20250131-2 Downloading dependency 108 of 196: libc-bin:arm64=2.42-6 Downloading dependency 109 of 196: libstdc++-15-dev:arm64=15.2.0-12 Downloading dependency 110 of 196: libpipeline1:arm64=1.5.8-2 Downloading dependency 111 of 196: libfindlib-ocaml-dev:arm64=1.9.8-1+b2 Downloading dependency 112 of 196: g++-15:arm64=15.2.0-12 Downloading dependency 113 of 196: gcc-15:arm64=15.2.0-12 Downloading dependency 114 of 196: util-linux:arm64=2.41.3-2 Downloading dependency 115 of 196: libsframe2:arm64=2.45.50.20251209-1 Downloading dependency 116 of 196: dpkg-dev:arm64=1.23.3 Downloading dependency 117 of 196: libattr1:arm64=1:2.5.2-3 Downloading dependency 118 of 196: libcap-ng0:arm64=0.8.5-4+b2 Downloading dependency 119 of 196: liblzma5:arm64=5.8.1-2 Downloading dependency 120 of 196: libzarith-ocaml-dev:arm64=1.14-1+b3 Downloading dependency 121 of 196: debconf:arm64=1.5.91 Downloading dependency 122 of 196: libaudit-common:arm64=1:4.1.2-1 Downloading dependency 123 of 196: libre-ocaml-dev:arm64=1.14.0-1+b1 Downloading dependency 124 of 196: libmd0:arm64=1.1.0-2+b1 Downloading dependency 125 of 196: libfindlib-ocaml:arm64=1.9.8-1+b2 Downloading dependency 126 of 196: libhwasan0:arm64=15.2.0-12 Downloading dependency 127 of 196: libtinfo6:arm64=6.5+20251123-1 Downloading dependency 128 of 196: python3.13-minimal:arm64=3.13.11-1+b1 Downloading dependency 129 of 196: libncurses6:arm64=6.5+20251123-1 Downloading dependency 130 of 196: debianutils:arm64=5.23.2Get:1 http://deb.debian.org/debian unstable/main arm64 debianutils arm64 5.23.2 [92.4 kB] Fetched 92.4 kB in 0s (4677 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdvfgslun/debianutils_5.23.2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libasan8 arm64 15.2.0-12 [2601 kB] Fetched 2601 kB in 0s (114 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwaikiw6u/libasan8_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libblkid1 arm64 2.41.3-2 [166 kB] Fetched 166 kB in 0s (9329 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpy4d90lps/libblkid1_2.41.3-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libelf1t64 arm64 0.194-1 [184 kB] Fetched 184 kB in 0s (11.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi9ye9ctt/libelf1t64_0.194-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dh-coq all 0.14 [6956 B] Fetched 6956 B in 0s (416 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_br55zmt/dh-coq_0.14_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgcc-15-dev arm64 15.2.0-12 [2365 kB] Fetched 2365 kB in 0s (63.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeir5bkyy/libgcc-15-dev_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgprofng0 arm64 2.45.50.20251209-1 [679 kB] Fetched 679 kB in 0s (47.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpza0gjprb/libgprofng0_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libsexplib0-ocaml-dev arm64 0.17.0-1+b3 [274 kB] Fetched 274 kB in 0s (13.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpw5lfrod4/libsexplib0-ocaml-dev_0.17.0-1+b3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libstdlib-ocaml-dev arm64 5.4.0-1 [6454 kB] Fetched 6454 kB in 0s (104 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpibg8ml4r/libstdlib-ocaml-dev_5.4.0-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libseccomp2 arm64 2.6.0-2+b1 [50.9 kB] Fetched 50.9 kB in 0s (2885 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpruegi56t/libseccomp2_2.6.0-2+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libxml2-16 arm64 2.15.1+dfsg-2+b1 [591 kB] Fetched 591 kB in 0s (27.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpr01ny0vb/libxml2-16_2.15.1+dfsg-2+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 ocaml-findlib arm64 1.9.8-1+b2 [660 kB] Fetched 660 kB in 0s (31.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbensaruh/ocaml-findlib_1.9.8-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 rpcsvc-proto arm64 1.4.3-1+b1 [60.5 kB] Fetched 60.5 kB in 0s (3111 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpe7i_qodg/rpcsvc-proto_1.4.3-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 findutils arm64 4.10.0-3 [696 kB] Fetched 696 kB in 0s (31.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9c_hgoj_/findutils_4.10.0-3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 zlib1g arm64 1:1.3.dfsg+really1.3.1-1+b2 [85.9 kB] Fetched 85.9 kB in 0s (5726 kB/s) dpkg-name: info: moved 'zlib1g_1%3a1.3.dfsg+really1.3.1-1+b2_arm64.deb' to '/srv/rebuilderd/tmp/tmpsbuznbdq/zlib1g_1.3.dfsg+really1.3.1-1+b2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libc6-dev arm64 2.42-6 [1691 kB] Fetched 1691 kB in 0s (49.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf927qgdj/libc6-dev_2.42-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libatomic1 arm64 15.2.0-12 [9852 B] Fetched 9852 B in 0s (553 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_dso_szc/libatomic1_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libctf0 arm64 2.45.50.20251209-1 [85.6 kB] Fetched 85.6 kB in 0s (4766 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9i91ax10/libctf0_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 bsdextrautils arm64 2.41.3-2 [97.6 kB] Fetched 97.6 kB in 0s (5503 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2xul0tm6/bsdextrautils_2.41.3-2_arm64.deb' Get:1 http://snapshot.debian.org/archive/debian/20251226T145023Z forky/main arm64 xz-utils arm64 5.8.1-2 [657 kB] Fetched 657 kB in 0s (34.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnrk5zpd0/xz-utils_5.8.1-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dash arm64 0.5.12-12 [95.6 kB] Fetched 95.6 kB in 0s (5334 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7adv7z6y/dash_0.5.12-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libsmartcols1 arm64 2.41.3-2 [139 kB] Fetched 139 kB in 0s (6616 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp41e8xgdy/libsmartcols1_2.41.3-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgdbm6t64 arm64 1.26-1 [77.5 kB] Fetched 77.5 kB in 0s (4504 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptx0mysb1/libgdbm6t64_1.26-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 g++ arm64 4:15.2.0-4 [1332 B] Fetched 1332 B in 0s (79.0 kB/s) dpkg-name: info: moved 'g++_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmpfnokuq19/g++_15.2.0-4_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 init-system-helpers all 1.69 [39.3 kB] Fetched 39.3 kB in 0s (2373 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpttw38exr/init-system-helpers_1.69_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libncurses-dev arm64 6.5+20251123-1 [343 kB] Fetched 343 kB in 0s (18.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfc9uughj/libncurses-dev_6.5+20251123-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Fetched 8812 B in 0s (537 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9claifrr/dh-strip-nondeterminism_1.15.0-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libdebhelper-perl all 13.29 [92.6 kB] Fetched 92.6 kB in 0s (5316 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7sesdwe5/libdebhelper-perl_13.29_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 cpp arm64 4:15.2.0-4 [1568 B] Fetched 1568 B in 0s (77.7 kB/s) dpkg-name: info: moved 'cpp_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmpppueq0gq/cpp_15.2.0-4_arm64.deb' Get:1 http://snapshot.debian.org/archive/debian/20251226T145023Z forky/main arm64 libdebconfclient0 arm64 0.282 [11.0 kB] Fetched 11.0 kB in 0s (555 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsv_5_ylq/libdebconfclient0_0.282_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-mathcomp-algebra arm64 2.3.0-1+b15 [12.0 MB] Fetched 12.0 MB in 0s (112 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2d6de_hb/libcoq-mathcomp-algebra_2.3.0-1+b15_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libssl3t64 arm64 3.5.4-1 [2725 kB] Fetched 2725 kB in 0s (66.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjxl78jhu/libssl3t64_3.5.4-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 python3-minimal arm64 3.13.9-2 [27.5 kB] Fetched 27.5 kB in 0s (1460 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpn5m96qvh/python3-minimal_3.13.9-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gzip arm64 1.13-1 [135 kB] Fetched 135 kB in 0s (5647 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjmdp1atc/gzip_1.13-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libsexplib0-ocaml arm64 0.17.0-1+b3 [119 kB] Fetched 119 kB in 0s (6714 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpueubhe19/libsexplib0-ocaml_0.17.0-1+b3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpam-modules-bin arm64 1.7.0-5 [48.3 kB] Fetched 48.3 kB in 0s (2621 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprm5jzwzo/libpam-modules-bin_1.7.0-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 binutils-aarch64-linux-gnu arm64 2.45.50.20251209-1 [858 kB] Fetched 858 kB in 0s (33.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjtnzsikz/binutils-aarch64-linux-gnu_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 autotools-dev all 20240727.1 [60.2 kB] Fetched 60.2 kB in 0s (3369 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph7s6brh_/autotools-dev_20240727.1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libacl1 arm64 2.3.2-2+b1 [32.2 kB] Fetched 32.2 kB in 0s (1828 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmps1i2xyjh/libacl1_2.3.2-2+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgmp10 arm64 2:6.3.0+dfsg-5 [535 kB] Fetched 535 kB in 0s (21.5 MB/s) dpkg-name: info: moved 'libgmp10_2%3a6.3.0+dfsg-5_arm64.deb' to '/srv/rebuilderd/tmp/tmpi7ycu2d3/libgmp10_6.3.0+dfsg-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 ncurses-bin arm64 6.5+20251123-1 [438 kB] Fetched 438 kB in 0s (21.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp03g6tsm6/ncurses-bin_6.5+20251123-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 debhelper all 13.29 [943 kB] Fetched 943 kB in 0s (38.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp18t31o74/debhelper_13.29_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 autoconf all 2.72-3.1 [494 kB] Fetched 494 kB in 0s (23.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp962szm5g/autoconf_2.72-3.1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libbz2-1.0 arm64 1.0.8-6 [37.8 kB] Fetched 37.8 kB in 0s (2217 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph567sgfi/libbz2-1.0_1.0.8-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libuuid1 arm64 2.41.3-2 [38.0 kB] Fetched 38.0 kB in 0s (2271 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9nep66v2/libuuid1_2.41.3-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libisl23 arm64 0.27-1 [601 kB] Fetched 601 kB in 0s (25.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpabxxj2vl/libisl23_0.27-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-12 [19.6 MB] Fetched 19.6 MB in 0s (142 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpv7pa6ml9/gcc-15-aarch64-linux-gnu_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 g++-aarch64-linux-gnu arm64 4:15.2.0-4 [1196 B] Fetched 1196 B in 0s (69.5 kB/s) dpkg-name: info: moved 'g++-aarch64-linux-gnu_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmpqf7nh4pm/g++-aarch64-linux-gnu_15.2.0-4_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 grep arm64 3.12-1 [440 kB] Fetched 440 kB in 0s (21.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpc57e3qzv/grep_3.12-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpam0g arm64 1.7.0-5 [68.8 kB] Fetched 68.8 kB in 0s (3876 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp69_if1z3/libpam0g_1.7.0-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libzstd1 arm64 1.5.7+dfsg-2 [260 kB] Fetched 260 kB in 0s (14.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_wgitjc9/libzstd1_1.5.7+dfsg-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-5 [329 kB] Fetched 329 kB in 0s (15.2 MB/s) dpkg-name: info: moved 'libgmpxx4ldbl_2%3a6.3.0+dfsg-5_arm64.deb' to '/srv/rebuilderd/tmp/tmp66hxrdij/libgmpxx4ldbl_6.3.0+dfsg-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libc6 arm64 2.42-6 [1459 kB] Fetched 1459 kB in 0s (52.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpju0xi788/libc6_2.42-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 man-db arm64 2.13.1-1 [1453 kB] Fetched 1453 kB in 0s (50.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyo6kh5iq/man-db_2.13.1-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libdb5.3t64 arm64 5.3.28+dfsg2-11 [626 kB] Fetched 626 kB in 0s (28.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpaosdtb_d/libdb5.3t64_5.3.28+dfsg2-11_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 base-passwd arm64 3.6.8 [54.0 kB] Fetched 54.0 kB in 0s (2931 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjk68tj0r/base-passwd_3.6.8_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libperl5.40 arm64 5.40.1-7 [4134 kB] Fetched 4134 kB in 0s (145 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplr5hfns5/libperl5.40_5.40.1-7_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libjansson4 arm64 2.14-2+b4 [38.9 kB] Fetched 38.9 kB in 0s (2310 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk0t2zo2u/libjansson4_2.14-2+b4_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gettext-base arm64 0.23.2-1 [242 kB] Fetched 242 kB in 0s (13.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpchu8abxj/gettext-base_0.23.2-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libc-dev-bin arm64 2.42-6 [59.5 kB] Fetched 59.5 kB in 0s (3671 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpilj5vnty/libc-dev-bin_2.42-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libgcc-s1 arm64 15.2.0-12 [53.4 kB] Fetched 53.4 kB in 0s (3233 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnd5urc70/libgcc-s1_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Fetched 19.9 kB in 0s (1193 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg3d0c5tn/libfile-stripnondeterminism-perl_1.15.0-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 ncurses-base all 6.5+20251123-1 [277 kB] Fetched 277 kB in 0s (14.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpouls9ett/ncurses-base_6.5+20251123-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gettext arm64 0.23.2-1 [1613 kB] Fetched 1613 kB in 0s (77.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5n08n5ug/gettext_0.23.2-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libmenhir-ocaml-dev arm64 20250912+ds-1+b1 [668 kB] Fetched 668 kB in 0s (29.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphgrkkn8_/libmenhir-ocaml-dev_20250912+ds-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 bash arm64 5.3-1 [1507 kB] Fetched 1507 kB in 0s (51.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpffdrqdvi/bash_5.3-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libpcre2-8-0 arm64 10.46-1 [262 kB] Fetched 262 kB in 0s (14.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkk9z6gm0/libpcre2-8-0_10.46-1_arm64.deb' dpkg-buildpackage: info: source package debootsnap-dummy dpkg-buildpackage: info: source version 1.0 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Equivs Dummy Package Generator dpkg-buildpackage: info: host architecture arm64 dpkg-source --before-build . debian/rules clean dh clean dh_clean debian/rules binary dh binary dh_update_autotools_config dh_autoreconf create-stamp debian/debhelper-build-stamp dh_prep dh_auto_install --destdir=debian/debootsnap-dummy/ dh_install dh_installdocs dh_installchangelogs dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'debootsnap-dummy' in '../debootsnap-dummy_1.0_all.deb'. dpkg-genbuildinfo --build=binary -O../debootsnap-dummy_1.0_arm64.buildinfo dpkg-genchanges --build=binary -O../debootsnap-dummy_1.0_arm64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) The package has been created. Attention, the package has been created in the /srv/rebuilderd/tmp/tmpdv0_f5rx/cache directory, not in ".." as indicated by the message above! I: automatically chosen mode: unshare I: chroot architecture arm64 is equal to the host's architecture I: using /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX as tempdir I: running --setup-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/setup00.sh /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX 127.0.0.1 - - [30/Dec/2025 15:07:21] code 404, message File not found 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:46729 ./ InRelease 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./Release HTTP/1.1" 200 - Get:2 http://localhost:46729 ./ Release [462 B] 127.0.0.1 - - [30/Dec/2025 15:07:21] code 404, message File not found 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:46729 ./ Release.gpg 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./Packages HTTP/1.1" 200 - Get:4 http://localhost:46729 ./ Packages [241 kB] Fetched 242 kB in 0s (7273 kB/s) Reading package lists... usr-is-merged found but not real -- not running merged-usr setup hook I: skipping apt-get update because it was already run I: downloading packages with apt... 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./gcc-15-base_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libc-gconv-modules-extra_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libc6_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libgcc-s1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./mawk_1.3.4.20250131-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./base-files_14_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libtinfo6_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./debianutils_5.23.2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./bash_5.3-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libacl1_2.3.2-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libattr1_2.5.2-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libcap2_2.75-10%2bb5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libgmp10_6.3.0%2bdfsg-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libpcre2-8-0_10.46-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libselinux1_3.9-4%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libzstd1_1.5.7%2bdfsg-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./zlib1g_1.3.dfsg%2breally1.3.1-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libssl3t64_3.5.4-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./openssl-provider-legacy_3.5.4-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libsystemd0_259-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./coreutils_9.7-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./dash_0.5.12-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./diffutils_3.12-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libbz2-1.0_1.0.8-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./liblzma5_5.8.1-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libmd0_1.1.0-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./tar_1.35%2bdfsg-3.1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./dpkg_1.23.3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./findutils_4.10.0-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./grep_3.12-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./gzip_1.13-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./hostname_3.25_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./ncurses-bin_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libcrypt1_4.5.1-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./perl-base_5.40.1-7_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./sed_4.9-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libaudit-common_4.1.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libcap-ng0_0.8.5-4%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libaudit1_4.1.2-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libdb5.3t64_5.3.28%2bdfsg2-11_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./debconf_1.5.91_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libpam0g_1.7.0-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libpam-modules-bin_1.7.0-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libpam-modules_1.7.0-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libpam-runtime_1.7.0-5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libblkid1_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libmount1_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libsmartcols1_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libudev1_259-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libuuid1_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./util-linux_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libdebconfclient0_0.282_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./base-passwd_3.6.8_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./init-system-helpers_1.69_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./libc-bin_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./ncurses-base_6.5%2b20251123-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:21] "GET /./sysvinit-utils_3.15-6_arm64.deb HTTP/1.1" 200 - I: extracting archives... I: running --extract-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/extract00.sh /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX 127.0.0.1 - - [30/Dec/2025 15:07:24] code 404, message File not found 127.0.0.1 - - [30/Dec/2025 15:07:24] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:46729 ./ InRelease 127.0.0.1 - - [30/Dec/2025 15:07:24] "GET /./Release HTTP/1.1" 304 - Hit:2 http://localhost:46729 ./ Release 127.0.0.1 - - [30/Dec/2025 15:07:24] code 404, message File not found 127.0.0.1 - - [30/Dec/2025 15:07:24] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:46729 ./ Release.gpg Reading package lists... usr-is-merged found but not real -- not running merged-usr extract hook I: installing essential packages... I: running --essential-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/essential00.sh /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX usr-is-merged was not installed in a previous hook -- not running merged-usr essential hook I: installing remaining packages inside the chroot... 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libexpat1_2.7.3-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libpython3.13-minimal_3.13.11-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./python3.13-minimal_3.13.11-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./python3-minimal_3.13.9-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./media-types_14.0.0_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./netbase_6.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./tzdata_2025c-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libffi8_3.5.2-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libncursesw6_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./readline-common_8.3-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libreadline8t64_8.3-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libsqlite3-0_3.46.1-8_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libpython3.13-stdlib_3.13.11-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./python3.13_3.13.11-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libpython3-stdlib_3.13.9-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./python3_3.13.9-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./sensible-utils_0.0.26_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libstdc%2b%2b6_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libuchardet0_0.0.8-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./groff-base_1.23.0-10_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./bsdextrautils_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libgdbm6t64_1.26-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libpipeline1_1.5.8-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libseccomp2_2.6.0-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./man-db_2.13.1-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./bzip2_1.0.8-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libmagic-mgc_5.46-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libmagic1t64_5.46-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./file_5.46-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./gettext-base_0.23.2-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./perl-modules-5.40_5.40.1-7_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libgdbm-compat4t64_1.26-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libperl5.40_5.40.1-7_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./perl_5.40.1-7_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./xz-utils_5.8.1-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./m4_1.4.20-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./autoconf_2.72-3.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./autotools-dev_20240727.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./automake_1.18.1-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./autopoint_0.23.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libsframe2_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./binutils-common_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libbinutils_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libgprofng0_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libctf-nobfd0_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libctf0_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libjansson4_2.14-2%2bb4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./binutils-aarch64-linux-gnu_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./binutils_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libc-dev-bin_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./linux-libc-dev_6.17.13-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libcrypt-dev_4.5.1-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./rpcsvc-proto_1.4.3-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libc6-dev_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libisl23_0.27-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libmpfr6_4.2.2-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./libmpc3_1.3.1-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:33] "GET /./cpp-15-aarch64-linux-gnu_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./cpp-15_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./cpp-aarch64-linux-gnu_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./cpp_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libcc1-0_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libgomp1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libitm1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libatomic1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libasan8_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./liblsan0_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libtsan2_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libubsan1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libhwasan0_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libgcc-15-dev_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./gcc-15-aarch64-linux-gnu_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./gcc-15_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./gcc-aarch64-linux-gnu_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./gcc_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libstdc%2b%2b-15-dev_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./g%2b%2b-15-aarch64-linux-gnu_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./g%2b%2b-15_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./g%2b%2b-aarch64-linux-gnu_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./g%2b%2b_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./make_4.4.1-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libdpkg-perl_1.23.3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./patch_2.8-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./dpkg-dev_1.23.3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./build-essential_12.12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libcoq-stdlib_8.20.1%2bdfsg-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libstdlib-ocaml_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./ocaml-base_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libfindlib-ocaml_1.9.8-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libzarith-ocaml_1.14-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libcoq-core-ocaml_8.20.1%2bdfsg-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libstdlib-ocaml-dev_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libcompiler-libs-ocaml-dev_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./ocaml-interp_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libncurses6_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libncurses-dev_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./libzstd-dev_1.5.7%2bdfsg-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:34] "GET /./ocaml_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./ocaml-findlib_1.9.8-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./coq_8.20.1%2bdfsg-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libdebhelper-perl_13.29_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libtool_2.5.4-9_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./dh-autoreconf_21_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libarchive-zip-perl_1.68-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libfile-stripnondeterminism-perl_1.15.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./dh-strip-nondeterminism_1.15.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libelf1t64_0.194-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./dwz_0.16-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libunistring5_1.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libxml2-16_2.15.1%2bdfsg-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./gettext_0.23.2-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./intltool-debian_0.35.0%2b20060710.6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./po-debconf_1.0.22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./debhelper_13.29_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libconfig-tiny-perl_2.30-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libsexplib0-ocaml_0.17.0-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libppx-deriving-ocaml_6.1.1-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libelpi-ocaml_2.0.7-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libmenhir-ocaml-dev_20250912%2bds-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libocaml-compiler-libs-ocaml-dev_0.17.0-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libppx-derivers-ocaml-dev_1.2.1-4%2bb5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libsexplib0-ocaml-dev_0.17.0-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:35] "GET /./libppxlib-ocaml-dev_0.37.0-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libppx-deriving-ocaml-dev_6.1.1-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libre-ocaml-dev_1.14.0-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libelpi-ocaml-dev_2.0.7-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libfindlib-ocaml-dev_1.9.8-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libgmpxx4ldbl_6.3.0%2bdfsg-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libgmp-dev_6.3.0%2bdfsg-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libgmp3-dev_6.3.0%2bdfsg-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libzarith-ocaml-dev_1.14-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libcoq-core-ocaml-dev_8.20.1%2bdfsg-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libcoq-elpi_2.5.0-1.2%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libcoq-hierarchy-builder_1.8.1-1%2bb11_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libcoq-mathcomp-ssreflect_2.3.0-1%2bb15_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libcoq-mathcomp-fingroup_2.3.0-1%2bb15_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./dh-ocaml_2.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./dh-coq_0.14_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./libcoq-mathcomp-algebra_2.3.0-1%2bb15_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 15:07:36] "GET /./debootsnap-dummy_1.0_all.deb HTTP/1.1" 200 - I: running --customize-hook directly: /srv/rebuilderd/tmp/tmpdv0_f5rx/apt_install.sh /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX Reading package lists... Building dependency tree... Reading state information... python3.13 is already the newest version (3.13.11-1+b1). python3.13 set to manually installed. libconfig-tiny-perl is already the newest version (2.30-1). libconfig-tiny-perl set to manually installed. coreutils is already the newest version (9.7-3). libcc1-0 is already the newest version (15.2.0-12). libcc1-0 set to manually installed. libarchive-zip-perl is already the newest version (1.68-1). libarchive-zip-perl set to manually installed. libcoq-hierarchy-builder is already the newest version (1.8.1-1+b11). libcoq-hierarchy-builder set to manually installed. linux-libc-dev is already the newest version (6.17.13-1). linux-libc-dev set to manually installed. file is already the newest version (1:5.46-5). file set to manually installed. libdpkg-perl is already the newest version (1.23.3). libdpkg-perl set to manually installed. dh-autoreconf is already the newest version (21). dh-autoreconf set to manually installed. libubsan1 is already the newest version (15.2.0-12). libubsan1 set to manually installed. libzstd-dev is already the newest version (1.5.7+dfsg-2). libzstd-dev set to manually installed. python3 is already the newest version (3.13.9-2). python3 set to manually installed. readline-common is already the newest version (8.3-3). readline-common set to manually installed. base-files is already the newest version (14). sed is already the newest version (4.9-2+b1). libbinutils is already the newest version (2.45.50.20251209-1). libbinutils set to manually installed. libcrypt1 is already the newest version (1:4.5.1-1). libsystemd0 is already the newest version (259-1). libctf-nobfd0 is already the newest version (2.45.50.20251209-1). libctf-nobfd0 set to manually installed. coq is already the newest version (8.20.1+dfsg-1+b2). coq set to manually installed. gcc is already the newest version (4:15.2.0-4). gcc set to manually installed. gcc-aarch64-linux-gnu is already the newest version (4:15.2.0-4). gcc-aarch64-linux-gnu set to manually installed. libmpfr6 is already the newest version (4.2.2-2). libmpfr6 set to manually installed. diffutils is already the newest version (1:3.12-1). libpam-runtime is already the newest version (1.7.0-5). libstdc++6 is already the newest version (15.2.0-12). libstdc++6 set to manually installed. libelpi-ocaml-dev is already the newest version (2.0.7-3). libelpi-ocaml-dev set to manually installed. libpam-modules is already the newest version (1.7.0-5). media-types is already the newest version (14.0.0). media-types set to manually installed. groff-base is already the newest version (1.23.0-10). groff-base set to manually installed. libocaml-compiler-libs-ocaml-dev is already the newest version (0.17.0-1+b3). libocaml-compiler-libs-ocaml-dev set to manually installed. tzdata is already the newest version (2025c-3). tzdata set to manually installed. libcrypt-dev is already the newest version (1:4.5.1-1). libcrypt-dev set to manually installed. gcc-15-base is already the newest version (15.2.0-12). libppx-deriving-ocaml is already the newest version (6.1.1-1+b2). libppx-deriving-ocaml set to manually installed. perl is already the newest version (5.40.1-7). perl set to manually installed. sysvinit-utils is already the newest version (3.15-6). hostname is already the newest version (3.25). make is already the newest version (4.4.1-3). make set to manually installed. libmagic1t64 is already the newest version (1:5.46-5). libmagic1t64 set to manually installed. liblsan0 is already the newest version (15.2.0-12). liblsan0 set to manually installed. libsqlite3-0 is already the newest version (3.46.1-8). libsqlite3-0 set to manually installed. cpp-15 is already the newest version (15.2.0-12). cpp-15 set to manually installed. ocaml-base is already the newest version (5.4.0-1). ocaml-base set to manually installed. libcoq-mathcomp-fingroup is already the newest version (2.3.0-1+b15). libcoq-mathcomp-fingroup set to manually installed. libmount1 is already the newest version (2.41.3-2). libreadline8t64 is already the newest version (8.3-3). libreadline8t64 set to manually installed. libunistring5 is already the newest version (1.3-2). libunistring5 set to manually installed. dh-ocaml is already the newest version (2.5). dh-ocaml set to manually installed. libitm1 is already the newest version (15.2.0-12). libitm1 set to manually installed. ocaml-interp is already the newest version (5.4.0-1). ocaml-interp set to manually installed. libcoq-core-ocaml is already the newest version (8.20.1+dfsg-1+b2). libcoq-core-ocaml set to manually installed. libmagic-mgc is already the newest version (1:5.46-5). libmagic-mgc set to manually installed. libcoq-core-ocaml-dev is already the newest version (8.20.1+dfsg-1+b2). libcoq-core-ocaml-dev set to manually installed. libtsan2 is already the newest version (15.2.0-12). libtsan2 set to manually installed. libppxlib-ocaml-dev is already the newest version (0.37.0-1+b1). libppxlib-ocaml-dev set to manually installed. libzarith-ocaml is already the newest version (1.14-1+b3). libzarith-ocaml set to manually installed. m4 is already the newest version (1.4.20-2). m4 set to manually installed. intltool-debian is already the newest version (0.35.0+20060710.6). intltool-debian set to manually installed. libelpi-ocaml is already the newest version (2.0.7-3). libelpi-ocaml set to manually installed. libgmp3-dev is already the newest version (2:6.3.0+dfsg-5). libgmp3-dev set to manually installed. libcoq-elpi is already the newest version (2.5.0-1.2+b2). libcoq-elpi set to manually installed. netbase is already the newest version (6.5). netbase set to manually installed. libpython3.13-minimal is already the newest version (3.13.11-1+b1). libpython3.13-minimal set to manually installed. patch is already the newest version (2.8-2). patch set to manually installed. perl-modules-5.40 is already the newest version (5.40.1-7). perl-modules-5.40 set to manually installed. openssl-provider-legacy is already the newest version (3.5.4-1). libc-gconv-modules-extra is already the newest version (2.42-6). libncursesw6 is already the newest version (6.5+20251123-1). libncursesw6 set to manually installed. libcompiler-libs-ocaml-dev is already the newest version (5.4.0-1). libcompiler-libs-ocaml-dev set to manually installed. libcoq-mathcomp-ssreflect is already the newest version (2.3.0-1+b15). libcoq-mathcomp-ssreflect set to manually installed. libgomp1 is already the newest version (15.2.0-12). libgomp1 set to manually installed. libpython3.13-stdlib is already the newest version (3.13.11-1+b1). libpython3.13-stdlib set to manually installed. libuchardet0 is already the newest version (0.0.8-2). libuchardet0 set to manually installed. libtool is already the newest version (2.5.4-9). libtool set to manually installed. libudev1 is already the newest version (259-1). sensible-utils is already the newest version (0.0.26). sensible-utils set to manually installed. ocaml is already the newest version (5.4.0-1). ocaml set to manually installed. dwz is already the newest version (0.16-2). dwz set to manually installed. libstdlib-ocaml is already the newest version (5.4.0-1). libstdlib-ocaml set to manually installed. perl-base is already the newest version (5.40.1-7). g++-15-aarch64-linux-gnu is already the newest version (15.2.0-12). g++-15-aarch64-linux-gnu set to manually installed. bzip2 is already the newest version (1.0.8-6). bzip2 set to manually installed. libselinux1 is already the newest version (3.9-4+b1). libcoq-stdlib is already the newest version (8.20.1+dfsg-1+b2). libcoq-stdlib set to manually installed. libaudit1 is already the newest version (1:4.1.2-1+b1). libexpat1 is already the newest version (2.7.3-1). libexpat1 set to manually installed. libgdbm-compat4t64 is already the newest version (1.26-1). libgdbm-compat4t64 set to manually installed. tar is already the newest version (1.35+dfsg-3.1). libcap2 is already the newest version (1:2.75-10+b5). libmpc3 is already the newest version (1.3.1-2). libmpc3 set to manually installed. build-essential is already the newest version (12.12). build-essential set to manually installed. libgmp-dev is already the newest version (2:6.3.0+dfsg-5). libgmp-dev set to manually installed. binutils-common is already the newest version (2.45.50.20251209-1). binutils-common set to manually installed. libpython3-stdlib is already the newest version (3.13.9-2). libpython3-stdlib set to manually installed. binutils is already the newest version (2.45.50.20251209-1). binutils set to manually installed. autopoint is already the newest version (0.23.2-1). autopoint set to manually installed. automake is already the newest version (1:1.18.1-3). automake set to manually installed. libffi8 is already the newest version (3.5.2-3). libffi8 set to manually installed. libppx-deriving-ocaml-dev is already the newest version (6.1.1-1+b2). libppx-deriving-ocaml-dev set to manually installed. dpkg is already the newest version (1.23.3). libppx-derivers-ocaml-dev is already the newest version (1.2.1-4+b5). libppx-derivers-ocaml-dev set to manually installed. po-debconf is already the newest version (1.0.22). po-debconf set to manually installed. cpp-15-aarch64-linux-gnu is already the newest version (15.2.0-12). cpp-15-aarch64-linux-gnu set to manually installed. cpp-aarch64-linux-gnu is already the newest version (4:15.2.0-4). cpp-aarch64-linux-gnu set to manually installed. mawk is already the newest version (1.3.4.20250131-2). libc-bin is already the newest version (2.42-6). libstdc++-15-dev is already the newest version (15.2.0-12). libstdc++-15-dev set to manually installed. libpipeline1 is already the newest version (1.5.8-2). libpipeline1 set to manually installed. libfindlib-ocaml-dev is already the newest version (1.9.8-1+b2). libfindlib-ocaml-dev set to manually installed. g++-15 is already the newest version (15.2.0-12). g++-15 set to manually installed. gcc-15 is already the newest version (15.2.0-12). gcc-15 set to manually installed. util-linux is already the newest version (2.41.3-2). libsframe2 is already the newest version (2.45.50.20251209-1). libsframe2 set to manually installed. dpkg-dev is already the newest version (1.23.3). dpkg-dev set to manually installed. libattr1 is already the newest version (1:2.5.2-3). libcap-ng0 is already the newest version (0.8.5-4+b2). liblzma5 is already the newest version (5.8.1-2). libzarith-ocaml-dev is already the newest version (1.14-1+b3). libzarith-ocaml-dev set to manually installed. debconf is already the newest version (1.5.91). libaudit-common is already the newest version (1:4.1.2-1). libre-ocaml-dev is already the newest version (1.14.0-1+b1). libre-ocaml-dev set to manually installed. libmd0 is already the newest version (1.1.0-2+b1). libfindlib-ocaml is already the newest version (1.9.8-1+b2). libfindlib-ocaml set to manually installed. libhwasan0 is already the newest version (15.2.0-12). libhwasan0 set to manually installed. libtinfo6 is already the newest version (6.5+20251123-1). python3.13-minimal is already the newest version (3.13.11-1+b1). python3.13-minimal set to manually installed. libncurses6 is already the newest version (6.5+20251123-1). libncurses6 set to manually installed. debianutils is already the newest version (5.23.2). libasan8 is already the newest version (15.2.0-12). libasan8 set to manually installed. libblkid1 is already the newest version (2.41.3-2). libelf1t64 is already the newest version (0.194-1). libelf1t64 set to manually installed. dh-coq is already the newest version (0.14). dh-coq set to manually installed. libgcc-15-dev is already the newest version (15.2.0-12). libgcc-15-dev set to manually installed. libgprofng0 is already the newest version (2.45.50.20251209-1). libgprofng0 set to manually installed. libsexplib0-ocaml-dev is already the newest version (0.17.0-1+b3). libsexplib0-ocaml-dev set to manually installed. libstdlib-ocaml-dev is already the newest version (5.4.0-1). libstdlib-ocaml-dev set to manually installed. libseccomp2 is already the newest version (2.6.0-2+b1). libseccomp2 set to manually installed. libxml2-16 is already the newest version (2.15.1+dfsg-2+b1). libxml2-16 set to manually installed. ocaml-findlib is already the newest version (1.9.8-1+b2). ocaml-findlib set to manually installed. rpcsvc-proto is already the newest version (1.4.3-1+b1). rpcsvc-proto set to manually installed. findutils is already the newest version (4.10.0-3). zlib1g is already the newest version (1:1.3.dfsg+really1.3.1-1+b2). libc6-dev is already the newest version (2.42-6). libc6-dev set to manually installed. libatomic1 is already the newest version (15.2.0-12). libatomic1 set to manually installed. libctf0 is already the newest version (2.45.50.20251209-1). libctf0 set to manually installed. bsdextrautils is already the newest version (2.41.3-2). bsdextrautils set to manually installed. xz-utils is already the newest version (5.8.1-2). xz-utils set to manually installed. dash is already the newest version (0.5.12-12). libsmartcols1 is already the newest version (2.41.3-2). libgdbm6t64 is already the newest version (1.26-1). libgdbm6t64 set to manually installed. g++ is already the newest version (4:15.2.0-4). g++ set to manually installed. init-system-helpers is already the newest version (1.69). libncurses-dev is already the newest version (6.5+20251123-1). libncurses-dev set to manually installed. dh-strip-nondeterminism is already the newest version (1.15.0-1). dh-strip-nondeterminism set to manually installed. libdebhelper-perl is already the newest version (13.29). libdebhelper-perl set to manually installed. cpp is already the newest version (4:15.2.0-4). cpp set to manually installed. libdebconfclient0 is already the newest version (0.282). libcoq-mathcomp-algebra is already the newest version (2.3.0-1+b15). libcoq-mathcomp-algebra set to manually installed. libssl3t64 is already the newest version (3.5.4-1). python3-minimal is already the newest version (3.13.9-2). python3-minimal set to manually installed. gzip is already the newest version (1.13-1). libsexplib0-ocaml is already the newest version (0.17.0-1+b3). libsexplib0-ocaml set to manually installed. libpam-modules-bin is already the newest version (1.7.0-5). binutils-aarch64-linux-gnu is already the newest version (2.45.50.20251209-1). binutils-aarch64-linux-gnu set to manually installed. autotools-dev is already the newest version (20240727.1). autotools-dev set to manually installed. libacl1 is already the newest version (2.3.2-2+b1). libgmp10 is already the newest version (2:6.3.0+dfsg-5). ncurses-bin is already the newest version (6.5+20251123-1). debhelper is already the newest version (13.29). debhelper set to manually installed. autoconf is already the newest version (2.72-3.1). autoconf set to manually installed. libbz2-1.0 is already the newest version (1.0.8-6). libuuid1 is already the newest version (2.41.3-2). libisl23 is already the newest version (0.27-1). libisl23 set to manually installed. gcc-15-aarch64-linux-gnu is already the newest version (15.2.0-12). gcc-15-aarch64-linux-gnu set to manually installed. g++-aarch64-linux-gnu is already the newest version (4:15.2.0-4). g++-aarch64-linux-gnu set to manually installed. grep is already the newest version (3.12-1). libpam0g is already the newest version (1.7.0-5). libzstd1 is already the newest version (1.5.7+dfsg-2). libgmpxx4ldbl is already the newest version (2:6.3.0+dfsg-5). libgmpxx4ldbl set to manually installed. libc6 is already the newest version (2.42-6). man-db is already the newest version (2.13.1-1). man-db set to manually installed. libdb5.3t64 is already the newest version (5.3.28+dfsg2-11). base-passwd is already the newest version (3.6.8). libperl5.40 is already the newest version (5.40.1-7). libperl5.40 set to manually installed. libjansson4 is already the newest version (2.14-2+b4). libjansson4 set to manually installed. gettext-base is already the newest version (0.23.2-1). gettext-base set to manually installed. libc-dev-bin is already the newest version (2.42-6). libc-dev-bin set to manually installed. libgcc-s1 is already the newest version (15.2.0-12). libfile-stripnondeterminism-perl is already the newest version (1.15.0-1). libfile-stripnondeterminism-perl set to manually installed. ncurses-base is already the newest version (6.5+20251123-1). gettext is already the newest version (0.23.2-1). gettext set to manually installed. libmenhir-ocaml-dev is already the newest version (20250912+ds-1+b1). libmenhir-ocaml-dev set to manually installed. bash is already the newest version (5.3-1). libpcre2-8-0 is already the newest version (10.46-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: running --customize-hook in shell: sh -c 'chroot "$1" dpkg -r debootsnap-dummy' exec /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX (Reading database ... 26568 files and directories currently installed.) Removing debootsnap-dummy (1.0) ... I: running --customize-hook in shell: sh -c 'chroot "$1" dpkg-query --showformat '${binary:Package}=${Version}\n' --show > "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX I: running special hook: download /pkglist ./pkglist I: running --customize-hook in shell: sh -c 'rm "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX I: running special hook: upload sources.list /etc/apt/sources.list I: waiting for background processes to finish... I: cleaning package lists and apt cache... I: skipping cleanup/reproducible as requested I: creating tarball... I: done I: removing tempdir /srv/rebuilderd/tmp/mmdebstrap.0LOqepmrqX... I: success in 62.3823 seconds Downloading dependency 131 of 196: libasan8:arm64=15.2.0-12 Downloading dependency 132 of 196: libblkid1:arm64=2.41.3-2 Downloading dependency 133 of 196: libelf1t64:arm64=0.194-1 Downloading dependency 134 of 196: dh-coq:arm64=0.14 Downloading dependency 135 of 196: libgcc-15-dev:arm64=15.2.0-12 Downloading dependency 136 of 196: libgprofng0:arm64=2.45.50.20251209-1 Downloading dependency 137 of 196: libsexplib0-ocaml-dev:arm64=0.17.0-1+b3 Downloading dependency 138 of 196: libstdlib-ocaml-dev:arm64=5.4.0-1 Downloading dependency 139 of 196: libseccomp2:arm64=2.6.0-2+b1 Downloading dependency 140 of 196: libxml2-16:arm64=2.15.1+dfsg-2+b1 Downloading dependency 141 of 196: ocaml-findlib:arm64=1.9.8-1+b2 Downloading dependency 142 of 196: rpcsvc-proto:arm64=1.4.3-1+b1 Downloading dependency 143 of 196: findutils:arm64=4.10.0-3 Downloading dependency 144 of 196: zlib1g:arm64=1:1.3.dfsg+really1.3.1-1+b2 Downloading dependency 145 of 196: libc6-dev:arm64=2.42-6 Downloading dependency 146 of 196: libatomic1:arm64=15.2.0-12 Downloading dependency 147 of 196: libctf0:arm64=2.45.50.20251209-1 Downloading dependency 148 of 196: bsdextrautils:arm64=2.41.3-2 Downloading dependency 149 of 196: xz-utils:arm64=5.8.1-2 Downloading dependency 150 of 196: dash:arm64=0.5.12-12 Downloading dependency 151 of 196: libsmartcols1:arm64=2.41.3-2 Downloading dependency 152 of 196: libgdbm6t64:arm64=1.26-1 Downloading dependency 153 of 196: g++:arm64=4:15.2.0-4 Downloading dependency 154 of 196: init-system-helpers:arm64=1.69 Downloading dependency 155 of 196: libncurses-dev:arm64=6.5+20251123-1 Downloading dependency 156 of 196: dh-strip-nondeterminism:arm64=1.15.0-1 Downloading dependency 157 of 196: libdebhelper-perl:arm64=13.29 Downloading dependency 158 of 196: cpp:arm64=4:15.2.0-4 Downloading dependency 159 of 196: libdebconfclient0:arm64=0.282 Downloading dependency 160 of 196: libcoq-mathcomp-algebra:arm64=2.3.0-1+b15 Downloading dependency 161 of 196: libssl3t64:arm64=3.5.4-1 Downloading dependency 162 of 196: python3-minimal:arm64=3.13.9-2 Downloading dependency 163 of 196: gzip:arm64=1.13-1 Downloading dependency 164 of 196: libsexplib0-ocaml:arm64=0.17.0-1+b3 Downloading dependency 165 of 196: libpam-modules-bin:arm64=1.7.0-5 Downloading dependency 166 of 196: binutils-aarch64-linux-gnu:arm64=2.45.50.20251209-1 Downloading dependency 167 of 196: autotools-dev:arm64=20240727.1 Downloading dependency 168 of 196: libacl1:arm64=2.3.2-2+b1 Downloading dependency 169 of 196: libgmp10:arm64=2:6.3.0+dfsg-5 Downloading dependency 170 of 196: ncurses-bin:arm64=6.5+20251123-1 Downloading dependency 171 of 196: debhelper:arm64=13.29 Downloading dependency 172 of 196: autoconf:arm64=2.72-3.1 Downloading dependency 173 of 196: libbz2-1.0:arm64=1.0.8-6 Downloading dependency 174 of 196: libuuid1:arm64=2.41.3-2 Downloading dependency 175 of 196: libisl23:arm64=0.27-1 Downloading dependency 176 of 196: gcc-15-aarch64-linux-gnu:arm64=15.2.0-12 Downloading dependency 177 of 196: g++-aarch64-linux-gnu:arm64=4:15.2.0-4 Downloading dependency 178 of 196: grep:arm64=3.12-1 Downloading dependency 179 of 196: libpam0g:arm64=1.7.0-5 Downloading dependency 180 of 196: libzstd1:arm64=1.5.7+dfsg-2 Downloading dependency 181 of 196: libgmpxx4ldbl:arm64=2:6.3.0+dfsg-5 Downloading dependency 182 of 196: libc6:arm64=2.42-6 Downloading dependency 183 of 196: man-db:arm64=2.13.1-1 Downloading dependency 184 of 196: libdb5.3t64:arm64=5.3.28+dfsg2-11 Downloading dependency 185 of 196: base-passwd:arm64=3.6.8 Downloading dependency 186 of 196: libperl5.40:arm64=5.40.1-7 Downloading dependency 187 of 196: libjansson4:arm64=2.14-2+b4 Downloading dependency 188 of 196: gettext-base:arm64=0.23.2-1 Downloading dependency 189 of 196: libc-dev-bin:arm64=2.42-6 Downloading dependency 190 of 196: libgcc-s1:arm64=15.2.0-12 Downloading dependency 191 of 196: libfile-stripnondeterminism-perl:arm64=1.15.0-1 Downloading dependency 192 of 196: ncurses-base:arm64=6.5+20251123-1 Downloading dependency 193 of 196: gettext:arm64=0.23.2-1 Downloading dependency 194 of 196: libmenhir-ocaml-dev:arm64=20250912+ds-1+b1 Downloading dependency 195 of 196: bash:arm64=5.3-1 Downloading dependency 196 of 196: libpcre2-8-0:arm64=10.46-1 env --chdir=/srv/rebuilderd/tmp/rebuilderdyHulkl/out DEB_BUILD_OPTIONS=parallel=8 LANG=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 SOURCE_DATE_EPOCH=1766902354 SBUILD_CONFIG=/srv/rebuilderd/tmp/debrebuild4rhlcf/debrebuild.sbuildrc.Vowxqp2nQD1X sbuild --build=arm64 --host=arm64 --no-source --arch-any --no-arch-all --binNMU-changelog= mathcomp-zify (1.5.0+2.0+8.16-4+b15) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for arm64; no source changes. * Recompile with OCaml 5.4.0 -- arm Build Daemon (arm-conova-02) Sun, 28 Dec 2025 06:12:34 +0000 --chroot=/srv/rebuilderd/tmp/debrebuild4rhlcf/debrebuild.tar.TV8CoKp1wt2_ --chroot-mode=unshare --dist=unstable --no-run-lintian --no-run-piuparts --no-run-autopkgtest --no-apt-update --no-apt-upgrade --no-apt-distupgrade --verbose --nolog --bd-uninstallable-explainer= --build-path=/build/reproducible-path --dsc-dir=mathcomp-zify-1.5.0+2.0+8.16 /srv/rebuilderd/tmp/rebuilderdyHulkl/inputs/mathcomp-zify_1.5.0+2.0+8.16-4.dsc I: consider moving your ~/.sbuildrc to /srv/rebuilderd/.config/sbuild/config.pl The Debian buildds switched to the "unshare" backend and sbuild will default to it in the future. To start using "unshare" add this to your `~/.config/sbuild/config.pl`: $chroot_mode = "unshare"; If you want to keep the old "schroot" mode even in the future, add the following to your `~/.config/sbuild/config.pl`: $chroot_mode = "schroot"; $schroot = "schroot"; sbuild: warning: descr(l1): found blank line where expected first heading sbuild (Debian sbuild) 0.89.3+deb13u1 (16 August 2025) on codethink02-arm64 +==============================================================================+ | mathcomp-zify 1.5.0+2.0+8.16-4+b15 (arm64) Tue, 30 Dec 2025 15:08:24 +0000 | +==============================================================================+ Package: mathcomp-zify Version: 1.5.0+2.0+8.16-4+b15 Source Version: 1.5.0+2.0+8.16-4 Distribution: unstable Machine Architecture: arm64 Host Architecture: arm64 Build Architecture: arm64 Build Type: any I: No tarballs found in /srv/rebuilderd/.cache/sbuild I: Unpacking /srv/rebuilderd/tmp/debrebuild4rhlcf/debrebuild.tar.TV8CoKp1wt2_ to /srv/rebuilderd/tmp/tmp.sbuild.wEclmHSPSn... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Fetch source files Tue, 30 Dec 2025 15:08:33 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /srv/rebuilderd/tmp/rebuilderdyHulkl/inputs/mathcomp-zify_1.5.0+2.0+8.16-4.dsc exists in /srv/rebuilderd/tmp/rebuilderdyHulkl/inputs; copying to chroot sbuild: warning: descr(l1): found blank line where expected first heading +------------------------------------------------------------------------------+ | Install package build dependencies Tue, 30 Dec 2025 15:08:36 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, build-essential Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-s2eLbj/apt_archive/sbuild-build-depends-main-dummy.deb'. Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies +------------------------------------------------------------------------------+ | Check architectures Tue, 30 Dec 2025 15:08:42 +0000 | +------------------------------------------------------------------------------+ Arch check ok (arm64 included in any) +------------------------------------------------------------------------------+ | Build environment Tue, 30 Dec 2025 15:08:42 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.57+deb13-cloud-arm64 #1 SMP Debian 6.12.57-1 (2025-11-05) arm64 (aarch64) Toolchain package versions: binutils_2.45.50.20251209-1 dpkg-dev_1.23.3 g++-15_15.2.0-12 gcc-15_15.2.0-12 libc6-dev_2.42-6 libstdc++-15-dev_15.2.0-12 libstdc++6_15.2.0-12 linux-libc-dev_6.17.13-1 Package versions: autoconf_2.72-3.1 automake_1:1.18.1-3 autopoint_0.23.2-1 autotools-dev_20240727.1 base-files_14 base-passwd_3.6.8 bash_5.3-1 binutils_2.45.50.20251209-1 binutils-aarch64-linux-gnu_2.45.50.20251209-1 binutils-common_2.45.50.20251209-1 bsdextrautils_2.41.3-2 build-essential_12.12 bzip2_1.0.8-6 coq_8.20.1+dfsg-1+b2 coreutils_9.7-3 cpp_4:15.2.0-4 cpp-15_15.2.0-12 cpp-15-aarch64-linux-gnu_15.2.0-12 cpp-aarch64-linux-gnu_4:15.2.0-4 dash_0.5.12-12 debconf_1.5.91 debhelper_13.29 debianutils_5.23.2 dh-autoreconf_21 dh-coq_0.14 dh-ocaml_2.5 dh-strip-nondeterminism_1.15.0-1 diffutils_1:3.12-1 dpkg_1.23.3 dpkg-dev_1.23.3 dwz_0.16-2 file_1:5.46-5 findutils_4.10.0-3 g++_4:15.2.0-4 g++-15_15.2.0-12 g++-15-aarch64-linux-gnu_15.2.0-12 g++-aarch64-linux-gnu_4:15.2.0-4 gcc_4:15.2.0-4 gcc-15_15.2.0-12 gcc-15-aarch64-linux-gnu_15.2.0-12 gcc-15-base_15.2.0-12 gcc-aarch64-linux-gnu_4:15.2.0-4 gettext_0.23.2-1 gettext-base_0.23.2-1 grep_3.12-1 groff-base_1.23.0-10 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b1 libarchive-zip-perl_1.68-1 libasan8_15.2.0-12 libatomic1_15.2.0-12 libattr1_1:2.5.2-3 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.45.50.20251209-1 libblkid1_2.41.3-2 libbz2-1.0_1.0.8-6 libc-bin_2.42-6 libc-dev-bin_2.42-6 libc-gconv-modules-extra_2.42-6 libc6_2.42-6 libc6-dev_2.42-6 libcap-ng0_0.8.5-4+b2 libcap2_1:2.75-10+b5 libcc1-0_15.2.0-12 libcompiler-libs-ocaml-dev_5.4.0-1 libconfig-tiny-perl_2.30-1 libcoq-core-ocaml_8.20.1+dfsg-1+b2 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2 libcoq-elpi_2.5.0-1.2+b2 libcoq-hierarchy-builder_1.8.1-1+b11 libcoq-mathcomp-algebra_2.3.0-1+b15 libcoq-mathcomp-fingroup_2.3.0-1+b15 libcoq-mathcomp-ssreflect_2.3.0-1+b15 libcoq-stdlib_8.20.1+dfsg-1+b2 libcrypt-dev_1:4.5.1-1 libcrypt1_1:4.5.1-1 libctf-nobfd0_2.45.50.20251209-1 libctf0_2.45.50.20251209-1 libdb5.3t64_5.3.28+dfsg2-11 libdebconfclient0_0.282 libdebhelper-perl_13.29 libdpkg-perl_1.23.3 libelf1t64_0.194-1 libelpi-ocaml_2.0.7-3 libelpi-ocaml-dev_2.0.7-3 libexpat1_2.7.3-1 libffi8_3.5.2-3 libfile-stripnondeterminism-perl_1.15.0-1 libfindlib-ocaml_1.9.8-1+b2 libfindlib-ocaml-dev_1.9.8-1+b2 libgcc-15-dev_15.2.0-12 libgcc-s1_15.2.0-12 libgdbm-compat4t64_1.26-1 libgdbm6t64_1.26-1 libgmp-dev_2:6.3.0+dfsg-5 libgmp10_2:6.3.0+dfsg-5 libgmp3-dev_2:6.3.0+dfsg-5 libgmpxx4ldbl_2:6.3.0+dfsg-5 libgomp1_15.2.0-12 libgprofng0_2.45.50.20251209-1 libhwasan0_15.2.0-12 libisl23_0.27-1 libitm1_15.2.0-12 libjansson4_2.14-2+b4 liblsan0_15.2.0-12 liblzma5_5.8.1-2 libmagic-mgc_1:5.46-5 libmagic1t64_1:5.46-5 libmd0_1.1.0-2+b1 libmenhir-ocaml-dev_20250912+ds-1+b1 libmount1_2.41.3-2 libmpc3_1.3.1-2 libmpfr6_4.2.2-2 libncurses-dev_6.5+20251123-1 libncurses6_6.5+20251123-1 libncursesw6_6.5+20251123-1 libocaml-compiler-libs-ocaml-dev_0.17.0-1+b3 libpam-modules_1.7.0-5 libpam-modules-bin_1.7.0-5 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5 libpcre2-8-0_10.46-1 libperl5.40_5.40.1-7 libpipeline1_1.5.8-2 libppx-derivers-ocaml-dev_1.2.1-4+b5 libppx-deriving-ocaml_6.1.1-1+b2 libppx-deriving-ocaml-dev_6.1.1-1+b2 libppxlib-ocaml-dev_0.37.0-1+b1 libpython3-stdlib_3.13.9-2 libpython3.13-minimal_3.13.11-1+b1 libpython3.13-stdlib_3.13.11-1+b1 libre-ocaml-dev_1.14.0-1+b1 libreadline8t64_8.3-3 libseccomp2_2.6.0-2+b1 libselinux1_3.9-4+b1 libsexplib0-ocaml_0.17.0-1+b3 libsexplib0-ocaml-dev_0.17.0-1+b3 libsframe2_2.45.50.20251209-1 libsmartcols1_2.41.3-2 libsqlite3-0_3.46.1-8 libssl3t64_3.5.4-1 libstdc++-15-dev_15.2.0-12 libstdc++6_15.2.0-12 libstdlib-ocaml_5.4.0-1 libstdlib-ocaml-dev_5.4.0-1 libsystemd0_259-1 libtinfo6_6.5+20251123-1 libtool_2.5.4-9 libtsan2_15.2.0-12 libubsan1_15.2.0-12 libuchardet0_0.0.8-2 libudev1_259-1 libunistring5_1.3-2 libuuid1_2.41.3-2 libxml2-16_2.15.1+dfsg-2+b1 libzarith-ocaml_1.14-1+b3 libzarith-ocaml-dev_1.14-1+b3 libzstd-dev_1.5.7+dfsg-2 libzstd1_1.5.7+dfsg-2 linux-libc-dev_6.17.13-1 m4_1.4.20-2 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20250131-2 media-types_14.0.0 ncurses-base_6.5+20251123-1 ncurses-bin_6.5+20251123-1 netbase_6.5 ocaml_5.4.0-1 ocaml-base_5.4.0-1 ocaml-findlib_1.9.8-1+b2 ocaml-interp_5.4.0-1 openssl-provider-legacy_3.5.4-1 patch_2.8-2 perl_5.40.1-7 perl-base_5.40.1-7 perl-modules-5.40_5.40.1-7 po-debconf_1.0.22 python3_3.13.9-2 python3-minimal_3.13.9-2 python3.13_3.13.11-1+b1 python3.13-minimal_3.13.11-1+b1 readline-common_8.3-3 rpcsvc-proto_1.4.3-1+b1 sed_4.9-2+b1 sensible-utils_0.0.26 sysvinit-utils_3.15-6 tar_1.35+dfsg-3.1 tzdata_2025c-3 util-linux_2.41.3-2 xz-utils_5.8.1-2 zlib1g_1:1.3.dfsg+really1.3.1-1+b2 +------------------------------------------------------------------------------+ | Build Tue, 30 Dec 2025 15:08:42 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: any Version: 1.5.0+2.0+8.16-4 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/mczify Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-zify Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-zify.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra Package-List: libcoq-mathcomp-zify deb ocaml optional arch=any Checksums-Sha1: cb3d53e9c1680fb90be08563bc6c0f14ce4779a2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz 343f732a3da7e117f1236e9166a22ff8e859747c 8752 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz Checksums-Sha256: 5988389c6c8dfde4d2f3a370278c6b2aa1b5a0f56531cb30b0cce2d550b4387c 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz d947e46b59557b3143c6b419647367fcc3a42d94451fdbb5db1acb20cf43eeed 8752 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz Files: c9d02b943ba8148a27ec3e02a21bdcf2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz 4eefea64503d33ee7b6c8d77f5304281 8752 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdSqmcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRz00QAJYO0+szFc6Jw2nJ+TxgGoYA9bGGz3JX hg2ZErS0HSVIch2DfuwePLviWUAi2twjpvGy0DoXb5830BPzBDwrXsrJ96g7S0KR mnRausm4NR5tShDEi8rWJJN5qYnqHUpTXaZ48ikkPwGxtxsSAHAXBrIurI8ChedF hporWCz4ZFUhFTvVHwaO+pSV6UTIATkM0XKqFukkb19H8CeBGGxani7s0RqcX+d+ Xf/0zbs3Cf6Vmtx5goH6lwdnjRuayPoZojV6UTg8/rmhT6qZQN+5i8OlsWtnVMHW xwYo+yF6AqJUuGGGTVwRED8Om8qay6Tw6fzvMCG+sg2hpzAEPkhm0d50OnwnaHW/ d+UIHAgvNWWcwCrNizCdxNr2gbDcXNlDDDzjsS3bo6noKsq0/R9102hkQvL0zgCH Cqztk+v2HuOFfJEGa5xzABUnwDTAXaf4RbZnIxWO9pyx8zjD9Il5w2vngwjixEL5 nPwG7TkFMacW492EIKh0kPy8Em51HpawWnL1UXeIic3J42nljSXpCVgsZxEafHTW UAQyHqJyHH2qChtVBOVzHnxFFwXQnvRxGjErGpcu3EfS5nqwSg881cig8QuYLWLw apraKbBCdT5TEkjh6rbBezPsrYMbHSQIFYbmlDzLC3daOb2UWeu/z93NI2Oqj3cx LxYtJaln2GNB =bVpo -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./mathcomp-zify_1.5.0+2.0+8.16-4.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./mathcomp-zify_1.5.0+2.0+8.16-4.dsc dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-keyring.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-tag2upload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-nonupload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-maintainers.pgp dpkg-source: info: extracting mathcomp-zify in /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16 dpkg-source: info: unpacking mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz dpkg-source: info: unpacking mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz Check disk space ---------------- Sufficient free space for build Hack binNMU version ------------------- Created changelog entry for binNMU version 1.5.0+2.0+8.16-4+b15 User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=8 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 LOGNAME=sbuild PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh SOURCE_DATE_EPOCH=1766902354 USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -B dpkg-buildpackage: info: source package mathcomp-zify dpkg-buildpackage: info: source version 1.5.0+2.0+8.16-4+b15 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by arm Build Daemon (arm-conova-02) dpkg-source --before-build . dpkg-buildpackage: info: host architecture arm64 debian/rules clean dh clean --with coq,ocaml dh_auto_clean make -j8 distclean make[1]: Entering directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' rm -f Makefile.coq Makefile.coq.conf rm -f Makefile.test-suite.coq Makefile.test-suite.coq.conf make[1]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with coq,ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' make make[2]: Entering directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' coq_makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq COQDEP VFILES COQC theories/zify_ssreflect.v File "./theories/zify_ssreflect.v", line 157, characters 29-37: Warning: Reference addn_rec is deprecated since mathcomp 2.3.0. Use addn instead. [deprecated-reference-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-reference,deprecated,default] File "./theories/zify_ssreflect.v", line 170, characters 29-37: Warning: Reference subn_rec is deprecated since mathcomp 2.3.0. Use subn instead. [deprecated-reference-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-reference,deprecated,default] File "./theories/zify_ssreflect.v", line 178, characters 29-37: Warning: Reference muln_rec is deprecated since mathcomp 2.3.0. Use muln instead. [deprecated-reference-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-reference,deprecated,default] File "./theories/zify_ssreflect.v", line 239, characters 29-37: Warning: Reference expn_rec is deprecated since mathcomp 2.3.0. Use expn instead. [deprecated-reference-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-reference,deprecated,default] COQC theories/ssrZ.v File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.subring_closedM; GRing.smulr_closedN] : GRing.subring_closed >-> GRing.oppr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedN] : GRing.subring_closed >-> GRing.oppr_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.subring_closed_semi; GRing.semiring_closedM] : GRing.subring_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.subring_closedM; GRing.smulr_closedM] : GRing.subring_closed >-> GRing.mulr_closed. New coercion path [GRing.subring_closed_semi; GRing.semiring_closedD] : GRing.subring_closed >-> GRing.addr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedD] : GRing.subring_closed >-> GRing.addr_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.sdivr_closed_div; GRing.divr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.sdivr_closedM; GRing.smulr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.subalg_closedBM; GRing.subring_closedB] : GRing.subalg_closed >-> GRing.zmod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closedB] : GRing.subalg_closed >-> GRing.zmod_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.divring_closed_div; GRing.sdivr_closedM] : GRing.divring_closed >-> GRing.smulr_closed is ambiguous with existing [GRing.divring_closedBM; GRing.subring_closedM] : GRing.divring_closed >-> GRing.smulr_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.divalg_closedBdiv; GRing.divring_closedBM] : GRing.divalg_closed >-> GRing.subring_closed is ambiguous with existing [GRing.divalg_closedZ; GRing.subalg_closedBM] : GRing.divalg_closed >-> GRing.subring_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 42, characters 0-82: Warning: Ignoring canonical projection to add0n by GRing.isNmodule.add0r in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 42, characters 0-82: Warning: Ignoring canonical projection to addnC by GRing.isNmodule.addrC in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 42, characters 0-82: Warning: Ignoring canonical projection to addnA by GRing.isNmodule.addrA in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 42, characters 0-82: Warning: Ignoring canonical projection to addn by GRing.isNmodule.add in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 42, characters 0-82: Warning: Ignoring canonical projection to O by GRing.isNmodule.zero in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrC by GRing.SemiRing_hasCommutativeMul.mulrC in HB_unnamed_mixin_822: redundant with GRing_Nmodule_isComSemiRing__to__GRing_SemiRing_hasCommutativeMul [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.oner_neq0 by GRing.Nmodule_isSemiRing.oner_neq0 in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Builders_211.mulr0 by GRing.Nmodule_isSemiRing.mulr0 in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul0r by GRing.Nmodule_isSemiRing.mul0r in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Builders_211.mulrDr by GRing.Nmodule_isSemiRing.mulrDr in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrDl by GRing.Nmodule_isSemiRing.mulrDl in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Builders_211.mulr1 by GRing.Nmodule_isSemiRing.mulr1 in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul1r by GRing.Nmodule_isSemiRing.mul1r in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrA by GRing.Nmodule_isSemiRing.mulrA in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul by GRing.Nmodule_isSemiRing.mul in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.one by GRing.Nmodule_isSemiRing.one in HB_unnamed_mixin_821: redundant with GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 45, characters 0-115: Warning: HB: no new instance is generated [HB.no-new-instance,HB,elpi,default] File "./theories/ssrZ.v", line 49, characters 0-135: Warning: Ignoring canonical projection to pair by GRing.isSemiAdditive.semi_additive_subproof in GRing_isSemiAdditive__to__GRing_isSemiAdditive: redundant with HB_unnamed_factory_824 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 49, characters 0-135: Warning: Ignoring canonical projection to pair by GRing.isSemiAdditive.semi_additive_subproof in GRing_isSemiAdditive__to__GRing_isSemiAdditive: redundant with HB_unnamed_factory_824 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 53, characters 0-131: Warning: Ignoring canonical projection to pair by GRing.isMultiplicative.rmorphism_subproof in GRing_isMultiplicative__to__GRing_isMultiplicative: redundant with HB_unnamed_factory_827 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 53, characters 0-131: Warning: Ignoring canonical projection to pair by GRing.isMultiplicative.rmorphism_subproof in GRing_isMultiplicative__to__GRing_isMultiplicative: redundant with HB_unnamed_factory_827 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 60, characters 0-102: Warning: Ignoring canonical projection to pair by GRing.isSemiAdditive.semi_additive_subproof in HB_unnamed_factory_13: redundant with HB_unnamed_factory_824 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 67, characters 0-105: Warning: Ignoring canonical projection to pair by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_20: redundant with HB_unnamed_factory_827 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 72, characters 0-78: Warning: Ignoring canonical projection to eq_binP by hasDecEq.eqP in ssrnat.HB_unnamed_factory_3: redundant with ssrnat.HB_unnamed_factory_3 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 72, characters 0-78: Warning: Ignoring canonical projection to N.eqb by hasDecEq.eq_op in ssrnat.HB_unnamed_factory_3: redundant with ssrnat.HB_unnamed_factory_3 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 72, characters 0-78: Warning: Ignoring canonical projection to isCountable.pickleK by Choice_isCountable.pickleK in choice_Countable__to__choice_Choice_isCountable: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 72, characters 0-78: Warning: Ignoring canonical projection to isCountable.unpickle by Choice_isCountable.unpickle in choice_Countable__to__choice_Choice_isCountable: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 72, characters 0-78: Warning: Ignoring canonical projection to isCountable.pickle by Choice_isCountable.pickle in choice_Countable__to__choice_Choice_isCountable: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrC by GRing.SemiRing_hasCommutativeMul.mulrC in GRing_Nmodule_isComSemiRing__to__GRing_SemiRing_hasCommutativeMul: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_SemiRing_hasCommutativeMul [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.oner_neq0 by GRing.Nmodule_isSemiRing.oner_neq0 in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Builders_211.mulr0 by GRing.Nmodule_isSemiRing.mulr0 in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul0r by GRing.Nmodule_isSemiRing.mul0r in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Builders_211.mulrDr by GRing.Nmodule_isSemiRing.mulrDr in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrDl by GRing.Nmodule_isSemiRing.mulrDl in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Builders_211.mulr1 by GRing.Nmodule_isSemiRing.mulr1 in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul1r by GRing.Nmodule_isSemiRing.mul1r in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrA by GRing.Nmodule_isSemiRing.mulrA in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul by GRing.Nmodule_isSemiRing.mul in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 79, characters 0-142: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.one by GRing.Nmodule_isSemiRing.one in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 147, characters 0-76: Warning: Ignoring canonical projection to eqZP by hasDecEq.eqP in HB_unnamed_factory_45: redundant with HB_unnamed_factory_45 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 147, characters 0-76: Warning: Ignoring canonical projection to Z.eqb by hasDecEq.eq_op in HB_unnamed_factory_45: redundant with HB_unnamed_factory_45 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 147, characters 0-76: Warning: Ignoring canonical projection to isCountable.pickleK by Choice_isCountable.pickleK in choice_Countable__to__choice_Choice_isCountable__52: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 147, characters 0-76: Warning: Ignoring canonical projection to isCountable.unpickle by Choice_isCountable.unpickle in choice_Countable__to__choice_Choice_isCountable__52: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 147, characters 0-76: Warning: Ignoring canonical projection to isCountable.pickle by Choice_isCountable.pickle in choice_Countable__to__choice_Choice_isCountable__52: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 150, characters 0-109: Warning: Ignoring canonical projection to GRing.isZmodule.addNr by GRing.Nmodule_isZmodule.addNr in GRing_isZmodule__to__GRing_Nmodule_isZmodule: redundant with ssralg.GRing_isZmodule__to__GRing_Nmodule_isZmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 150, characters 0-109: Warning: Ignoring canonical projection to GRing.isZmodule.opp by GRing.Nmodule_isZmodule.opp in GRing_isZmodule__to__GRing_Nmodule_isZmodule: redundant with ssralg.GRing_isZmodule__to__GRing_Nmodule_isZmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 150, characters 0-109: Warning: Ignoring canonical projection to GRing.isZmodule.add0r by GRing.isNmodule.add0r in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 150, characters 0-109: Warning: Ignoring canonical projection to GRing.isZmodule.addrC by GRing.isNmodule.addrC in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 150, characters 0-109: Warning: Ignoring canonical projection to GRing.isZmodule.addrA by GRing.isNmodule.addrA in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 150, characters 0-109: Warning: Ignoring canonical projection to GRing.isZmodule.add by GRing.isNmodule.add in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 150, characters 0-109: Warning: Ignoring canonical projection to GRing.isZmodule.zero by GRing.isNmodule.zero in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Ring_hasCommutativeMul.mulrC by GRing.SemiRing_hasCommutativeMul.mulrC in GRing_Zmodule_isComRing__to__GRing_SemiRing_hasCommutativeMul: redundant with ssralg.GRing_Zmodule_isComRing__to__GRing_SemiRing_hasCommutativeMul [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.oner_neq0 by GRing.Nmodule_isSemiRing.oner_neq0 in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Builders_31.mulr0 by GRing.Nmodule_isSemiRing.mulr0 in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Builders_31.mul0r by GRing.Nmodule_isSemiRing.mul0r in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mulrDr by GRing.Nmodule_isSemiRing.mulrDr in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mulrDl by GRing.Nmodule_isSemiRing.mulrDl in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mulr1 by GRing.Nmodule_isSemiRing.mulr1 in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mul1r by GRing.Nmodule_isSemiRing.mul1r in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mulrA by GRing.Nmodule_isSemiRing.mulrA in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mul by GRing.Nmodule_isSemiRing.mul in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 154, characters 0-128: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.one by GRing.Nmodule_isSemiRing.one in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 170, characters 0-99: Warning: Ignoring canonical projection to GRing.ComRing_hasMulInverse.invr_out by GRing.Ring_hasMulInverse.invr_out_subproof in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 170, characters 0-99: Warning: Ignoring canonical projection to GRing.Builders_268.mulC_unitP by GRing.Ring_hasMulInverse.unitrP_subproof in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 170, characters 0-99: Warning: Ignoring canonical projection to GRing.Builders_268.mulC_mulrV by GRing.Ring_hasMulInverse.divrr_subproof in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 170, characters 0-99: Warning: Ignoring canonical projection to GRing.ComRing_hasMulInverse.mulVx by GRing.Ring_hasMulInverse.mulVr_subproof in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 170, characters 0-99: Warning: Ignoring canonical projection to GRing.ComRing_hasMulInverse.inv by GRing.Ring_hasMulInverse.inv in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 170, characters 0-99: Warning: Ignoring canonical projection to GRing.ComRing_hasMulInverse.unit by GRing.Ring_hasMulInverse.unit_subdef in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.POrder_MeetJoin_isLattice.meetP by Order.POrder_isMeetSemilattice.lexI in Num_IntegralDomain_isLeReal__to__Order_POrder_isMeetSemilattice: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_POrder_isMeetSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.POrder_MeetJoin_isLattice.meet by Order.POrder_isMeetSemilattice.meet in Num_IntegralDomain_isLeReal__to__Order_POrder_isMeetSemilattice: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_POrder_isMeetSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to order.Order.Builders_133.joinIl_subproof by Order.Lattice_isDistributive.joinIl in Num_IntegralDomain_isLeReal__to__Order_Lattice_isDistributive: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_Lattice_isDistributive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.Lattice_Meet_isDistrLattice.meetUl by Order.Lattice_isDistributive.meetUl in Num_IntegralDomain_isLeReal__to__Order_Lattice_isDistributive: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_Lattice_isDistributive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.Lattice_isTotal.le_total by Order.DistrLattice_isTotal.le_total in Num_IntegralDomain_isLeReal__to__Order_DistrLattice_isTotal: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_DistrLattice_isTotal [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.POrder_MeetJoin_isLattice.joinP by Order.POrder_isJoinSemilattice.leUx in Num_IntegralDomain_isLeReal__to__Order_POrder_isJoinSemilattice: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_POrder_isJoinSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.POrder_MeetJoin_isLattice.join by Order.POrder_isJoinSemilattice.join in Num_IntegralDomain_isLeReal__to__Order_POrder_isJoinSemilattice: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_POrder_isJoinSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.isPOrder.le_trans by Order.isDuallyPOrder.ge_trans in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.isPOrder.le_trans by Order.isDuallyPOrder.le_trans in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.Builders_90.ge_anti by Order.isDuallyPOrder.ge_anti in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.isPOrder.le_anti by Order.isDuallyPOrder.le_anti in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.isPOrder.le_refl by Order.isDuallyPOrder.ge_refl in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.isPOrder.le_refl by Order.isDuallyPOrder.le_refl in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.Builders_90.gt_def by Order.isDuallyPOrder.gt_def in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.isPOrder.lt_def by Order.isDuallyPOrder.lt_def in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.isPOrder.lt by Order.isDuallyPOrder.lt in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Order.isPOrder.le by Order.isDuallyPOrder.le in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.le_def by Num.isNumRing.ler_def in Num_IntegralDomain_isLeReal__to__Num_isNumRing: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_isNumRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.normM by Num.isNumRing.normrM in Num_IntegralDomain_isLeReal__to__Num_isNumRing: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_isNumRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.ger_total by Num.isNumRing.ger_leVge in Num_IntegralDomain_isLeReal__to__Num_isNumRing: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_isNumRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.addr_gt0 by Num.isNumRing.addr_gt0 in Num_IntegralDomain_isLeReal__to__Num_isNumRing: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_isNumRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.Builders_41.normrN by Num.Zmodule_isNormed.normrN in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.Builders_41.normrMn by Num.Zmodule_isNormed.normrMn in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.norm_eq0 by Num.Zmodule_isNormed.normr0_eq0 in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.normD by Num.Zmodule_isNormed.ler_normD in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 196, characters 0-149: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.norm by Num.Zmodule_isNormed.norm in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 211, characters 0-99: Warning: Ignoring canonical projection to pair_of_and by GRing.isSemiAdditive.semi_additive_subproof in GRing_isAdditive__to__GRing_isSemiAdditive: redundant with GRing.GRing_isAdditive__to__GRing_isSemiAdditive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 218, characters 0-99: Warning: Ignoring canonical projection to pair_of_and by GRing.isSemiAdditive.semi_additive_subproof in GRing_isAdditive__to__GRing_isSemiAdditive__90: redundant with GRing.GRing_isAdditive__to__GRing_isSemiAdditive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to add0n by GRing.isNmodule.add0r in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to addnC by GRing.isNmodule.addrC in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to addnA by GRing.isNmodule.addrA in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to addn by GRing.isNmodule.add in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to O by GRing.isNmodule.zero in HB_unnamed_factory_816: redundant with HB_unnamed_factory_816 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to nat by CountRing.Nmodule.sort in Datatypes_nat__canonical__CountRing_Nmodule: redundant with Datatypes_nat__canonical__CountRing_Nmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to nat by CountRing.SemiRing.sort in Datatypes_nat__canonical__CountRing_SemiRing: redundant with Datatypes_nat__canonical__CountRing_SemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to nat by CountRing.ComSemiRing.sort in Datatypes_nat__canonical__CountRing_ComSemiRing: redundant with Datatypes_nat__canonical__CountRing_ComSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrC by GRing.SemiRing_hasCommutativeMul.mulrC in HB_unnamed_mixin_822: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_SemiRing_hasCommutativeMul [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.oner_neq0 by GRing.Nmodule_isSemiRing.oner_neq0 in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_211.mulr0 by GRing.Nmodule_isSemiRing.mulr0 in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul0r by GRing.Nmodule_isSemiRing.mul0r in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_211.mulrDr by GRing.Nmodule_isSemiRing.mulrDr in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrDl by GRing.Nmodule_isSemiRing.mulrDl in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_211.mulr1 by GRing.Nmodule_isSemiRing.mulr1 in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul1r by GRing.Nmodule_isSemiRing.mul1r in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrA by GRing.Nmodule_isSemiRing.mulrA in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul by GRing.Nmodule_isSemiRing.mul in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.one by GRing.Nmodule_isSemiRing.one in HB_unnamed_mixin_821: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to pair by GRing.isSemiAdditive.semi_additive_subproof in GRing_isSemiAdditive__to__GRing_isSemiAdditive: redundant with HB_unnamed_factory_824 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to pair by GRing.isMultiplicative.rmorphism_subproof in GRing_isMultiplicative__to__GRing_isMultiplicative: redundant with HB_unnamed_factory_827 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to pair by GRing.isSemiAdditive.semi_additive_subproof in HB_unnamed_factory_13: redundant with HB_unnamed_factory_824 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to pair by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_20: redundant with HB_unnamed_factory_827 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to eq_binP by hasDecEq.eqP in ssrnat.HB_unnamed_factory_3: redundant with ssrnat.HB_unnamed_factory_3 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.eqb by hasDecEq.eq_op in ssrnat.HB_unnamed_factory_3: redundant with ssrnat.HB_unnamed_factory_3 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to isCountable.pickleK by Choice_isCountable.pickleK in choice_Countable__to__choice_Choice_isCountable: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to isCountable.unpickle by Choice_isCountable.unpickle in choice_Countable__to__choice_Choice_isCountable: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to isCountable.pickle by Choice_isCountable.pickle in choice_Countable__to__choice_Choice_isCountable: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N by Choice.sort in BinNums_N__canonical__choice_Choice: redundant with BinNums_N__canonical__choice_Choice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N by Countable.sort in BinNums_N__canonical__choice_Countable: redundant with BinNums_N__canonical__choice_Countable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.add_0_l by GRing.isNmodule.add0r in HB_unnamed_factory_22: redundant with HB_unnamed_factory_22 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.add_comm by GRing.isNmodule.addrC in HB_unnamed_factory_22: redundant with HB_unnamed_factory_22 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.add_assoc by GRing.isNmodule.addrA in HB_unnamed_factory_22: redundant with HB_unnamed_factory_22 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.add by GRing.isNmodule.add in HB_unnamed_factory_22: redundant with HB_unnamed_factory_22 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N0 by GRing.isNmodule.zero in HB_unnamed_factory_22: redundant with HB_unnamed_factory_22 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N by GRing.Nmodule.sort in BinNums_N__canonical__GRing_Nmodule: redundant with BinNums_N__canonical__GRing_Nmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N by CountRing.Nmodule.sort in BinNums_N__canonical__CountRing_Nmodule: redundant with BinNums_N__canonical__CountRing_Nmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrC by GRing.SemiRing_hasCommutativeMul.mulrC in GRing_Nmodule_isComSemiRing__to__GRing_SemiRing_hasCommutativeMul: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_SemiRing_hasCommutativeMul [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.oner_neq0 by GRing.Nmodule_isSemiRing.oner_neq0 in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_211.mulr0 by GRing.Nmodule_isSemiRing.mulr0 in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul0r by GRing.Nmodule_isSemiRing.mul0r in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_211.mulrDr by GRing.Nmodule_isSemiRing.mulrDr in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrDl by GRing.Nmodule_isSemiRing.mulrDl in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_211.mulr1 by GRing.Nmodule_isSemiRing.mulr1 in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul1r by GRing.Nmodule_isSemiRing.mul1r in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrA by GRing.Nmodule_isSemiRing.mulrA in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul by GRing.Nmodule_isSemiRing.mul in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Nmodule_isComSemiRing.one by GRing.Nmodule_isSemiRing.one in GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing: redundant with ssralg.GRing_Nmodule_isComSemiRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N by GRing.SemiRing.sort in BinNums_N__canonical__GRing_SemiRing: redundant with BinNums_N__canonical__GRing_SemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N by CountRing.SemiRing.sort in BinNums_N__canonical__CountRing_SemiRing: redundant with BinNums_N__canonical__CountRing_SemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N by GRing.ComSemiRing.sort in BinNums_N__canonical__GRing_ComSemiRing: redundant with BinNums_N__canonical__GRing_ComSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N by CountRing.ComSemiRing.sort in BinNums_N__canonical__CountRing_ComSemiRing: redundant with BinNums_N__canonical__CountRing_ComSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to bin_of_nat_is_semi_additive by GRing.isSemiAdditive.semi_additive_subproof in HB_unnamed_factory_29: redundant with HB_unnamed_factory_29 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to bin_of_nat by GRing.Additive.sort in ssrnat_bin_of_nat__canonical__GRing_Additive: redundant with ssrnat_bin_of_nat__canonical__GRing_Additive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to nat_of_bin_is_semi_additive by GRing.isSemiAdditive.semi_additive_subproof in HB_unnamed_factory_31: redundant with HB_unnamed_factory_31 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to nat_of_bin by GRing.Additive.sort in ssrnat_nat_of_bin__canonical__GRing_Additive: redundant with ssrnat_nat_of_bin__canonical__GRing_Additive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to bin_of_nat_is_multiplicative by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_33: redundant with HB_unnamed_factory_33 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to bin_of_nat by GRing.RMorphism.sort in ssrnat_bin_of_nat__canonical__GRing_RMorphism: redundant with ssrnat_bin_of_nat__canonical__GRing_RMorphism [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to nat_of_bin_is_multiplicative by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_35: redundant with HB_unnamed_factory_35 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to nat_of_bin by GRing.RMorphism.sort in ssrnat_nat_of_bin__canonical__GRing_RMorphism: redundant with ssrnat_nat_of_bin__canonical__GRing_RMorphism [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N_of_nat_is_semi_additive by GRing.isSemiAdditive.semi_additive_subproof in HB_unnamed_factory_37: redundant with HB_unnamed_factory_37 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.of_nat by GRing.Additive.sort in N_of_nat__canonical__GRing_Additive: redundant with N_of_nat__canonical__GRing_Additive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N_to_nat_is_semi_additive by GRing.isSemiAdditive.semi_additive_subproof in HB_unnamed_factory_39: redundant with HB_unnamed_factory_39 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.to_nat by GRing.Additive.sort in N_to_nat__canonical__GRing_Additive: redundant with N_to_nat__canonical__GRing_Additive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N_of_nat_is_multiplicative by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_41: redundant with HB_unnamed_factory_41 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.of_nat by GRing.RMorphism.sort in N_of_nat__canonical__GRing_RMorphism: redundant with N_of_nat__canonical__GRing_RMorphism [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N_to_nat_is_multiplicative by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_43: redundant with HB_unnamed_factory_43 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to N.to_nat by GRing.RMorphism.sort in N_to_nat__canonical__GRing_RMorphism: redundant with N_to_nat__canonical__GRing_RMorphism [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to eqZP by hasDecEq.eqP in HB_unnamed_factory_45: redundant with HB_unnamed_factory_45 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z.eqb by hasDecEq.eq_op in HB_unnamed_factory_45: redundant with HB_unnamed_factory_45 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Equality.sort in BinNums_Z__canonical__eqtype_Equality: redundant with BinNums_Z__canonical__eqtype_Equality [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to isCountable.pickleK by Choice_isCountable.pickleK in choice_Countable__to__choice_Choice_isCountable__52: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to isCountable.unpickle by Choice_isCountable.unpickle in choice_Countable__to__choice_Choice_isCountable__52: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to isCountable.pickle by Choice_isCountable.pickle in choice_Countable__to__choice_Choice_isCountable__52: redundant with choice.choice_isCountable__to__choice_Choice_isCountable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Choice.sort in BinNums_Z__canonical__choice_Choice: redundant with BinNums_Z__canonical__choice_Choice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Countable.sort in BinNums_Z__canonical__choice_Countable: redundant with BinNums_Z__canonical__choice_Countable [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.isZmodule.addNr by GRing.Nmodule_isZmodule.addNr in GRing_isZmodule__to__GRing_Nmodule_isZmodule: redundant with ssralg.GRing_isZmodule__to__GRing_Nmodule_isZmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.isZmodule.opp by GRing.Nmodule_isZmodule.opp in GRing_isZmodule__to__GRing_Nmodule_isZmodule: redundant with ssralg.GRing_isZmodule__to__GRing_Nmodule_isZmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.isZmodule.add0r by GRing.isNmodule.add0r in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.isZmodule.addrC by GRing.isNmodule.addrC in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.isZmodule.addrA by GRing.isNmodule.addrA in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.isZmodule.add by GRing.isNmodule.add in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.isZmodule.zero by GRing.isNmodule.zero in GRing_isZmodule__to__GRing_isNmodule: redundant with ssralg.GRing_isZmodule__to__GRing_isNmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.Nmodule.sort in BinNums_Z__canonical__GRing_Nmodule: redundant with BinNums_Z__canonical__GRing_Nmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.Zmodule.sort in BinNums_Z__canonical__GRing_Zmodule: redundant with BinNums_Z__canonical__GRing_Zmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.Nmodule.sort in BinNums_Z__canonical__CountRing_Nmodule: redundant with BinNums_Z__canonical__CountRing_Nmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.Zmodule.sort in BinNums_Z__canonical__CountRing_Zmodule: redundant with BinNums_Z__canonical__CountRing_Zmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Ring_hasCommutativeMul.mulrC by GRing.SemiRing_hasCommutativeMul.mulrC in GRing_Zmodule_isComRing__to__GRing_SemiRing_hasCommutativeMul: redundant with ssralg.GRing_Zmodule_isComRing__to__GRing_SemiRing_hasCommutativeMul [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.oner_neq0 by GRing.Nmodule_isSemiRing.oner_neq0 in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_31.mulr0 by GRing.Nmodule_isSemiRing.mulr0 in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_31.mul0r by GRing.Nmodule_isSemiRing.mul0r in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mulrDr by GRing.Nmodule_isSemiRing.mulrDr in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mulrDl by GRing.Nmodule_isSemiRing.mulrDl in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mulr1 by GRing.Nmodule_isSemiRing.mulr1 in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mul1r by GRing.Nmodule_isSemiRing.mul1r in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mulrA by GRing.Nmodule_isSemiRing.mulrA in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.mul by GRing.Nmodule_isSemiRing.mul in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Zmodule_isRing.one by GRing.Nmodule_isSemiRing.one in GRing_Zmodule_isComRing__to__GRing_Nmodule_isSemiRing: redundant with GRing_Zmodule_isRing__to__GRing_Nmodule_isSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.SemiRing.sort in BinNums_Z__canonical__GRing_SemiRing: redundant with BinNums_Z__canonical__GRing_SemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.SemiRing.sort in BinNums_Z__canonical__CountRing_SemiRing: redundant with BinNums_Z__canonical__CountRing_SemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.Ring.sort in BinNums_Z__canonical__GRing_Ring: redundant with BinNums_Z__canonical__GRing_Ring [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.Ring.sort in BinNums_Z__canonical__CountRing_Ring: redundant with BinNums_Z__canonical__CountRing_Ring [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.ComSemiRing.sort in BinNums_Z__canonical__GRing_ComSemiRing: redundant with BinNums_Z__canonical__GRing_ComSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.ComSemiRing.sort in BinNums_Z__canonical__CountRing_ComSemiRing: redundant with BinNums_Z__canonical__CountRing_ComSemiRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.ComRing.sort in BinNums_Z__canonical__GRing_ComRing: redundant with BinNums_Z__canonical__GRing_ComRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.ComRing.sort in BinNums_Z__canonical__CountRing_ComRing: redundant with BinNums_Z__canonical__CountRing_ComRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.ComRing_hasMulInverse.invr_out by GRing.Ring_hasMulInverse.invr_out_subproof in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_268.mulC_unitP by GRing.Ring_hasMulInverse.unitrP_subproof in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.Builders_268.mulC_mulrV by GRing.Ring_hasMulInverse.divrr_subproof in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.ComRing_hasMulInverse.mulVx by GRing.Ring_hasMulInverse.mulVr_subproof in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.ComRing_hasMulInverse.inv by GRing.Ring_hasMulInverse.inv in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to GRing.ComRing_hasMulInverse.unit by GRing.Ring_hasMulInverse.unit_subdef in GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse: redundant with ssralg.GRing_ComRing_hasMulInverse__to__GRing_Ring_hasMulInverse [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.UnitRing.sort in BinNums_Z__canonical__GRing_UnitRing: redundant with BinNums_Z__canonical__GRing_UnitRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.UnitRing.sort in BinNums_Z__canonical__CountRing_UnitRing: redundant with BinNums_Z__canonical__CountRing_UnitRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.ComUnitRing.sort in BinNums_Z__canonical__GRing_ComUnitRing: redundant with BinNums_Z__canonical__GRing_ComUnitRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.ComUnitRing.sort in BinNums_Z__canonical__CountRing_ComUnitRing: redundant with BinNums_Z__canonical__CountRing_ComUnitRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to idomain_axiomZ by GRing.ComUnitRing_isIntegral.mulf_eq0_subproof in HB_unnamed_factory_68: redundant with HB_unnamed_factory_68 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by GRing.IntegralDomain.sort in BinNums_Z__canonical__GRing_IntegralDomain: redundant with BinNums_Z__canonical__GRing_IntegralDomain [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by CountRing.IntegralDomain.sort in BinNums_Z__canonical__CountRing_IntegralDomain: redundant with BinNums_Z__canonical__CountRing_IntegralDomain [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.POrder_MeetJoin_isLattice.meetP by Order.POrder_isMeetSemilattice.lexI in Num_IntegralDomain_isLeReal__to__Order_POrder_isMeetSemilattice: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_POrder_isMeetSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.POrder_MeetJoin_isLattice.meet by Order.POrder_isMeetSemilattice.meet in Num_IntegralDomain_isLeReal__to__Order_POrder_isMeetSemilattice: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_POrder_isMeetSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to order.Order.Builders_133.joinIl_subproof by Order.Lattice_isDistributive.joinIl in Num_IntegralDomain_isLeReal__to__Order_Lattice_isDistributive: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_Lattice_isDistributive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.Lattice_Meet_isDistrLattice.meetUl by Order.Lattice_isDistributive.meetUl in Num_IntegralDomain_isLeReal__to__Order_Lattice_isDistributive: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_Lattice_isDistributive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.Lattice_isTotal.le_total by Order.DistrLattice_isTotal.le_total in Num_IntegralDomain_isLeReal__to__Order_DistrLattice_isTotal: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_DistrLattice_isTotal [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.POrder_MeetJoin_isLattice.joinP by Order.POrder_isJoinSemilattice.leUx in Num_IntegralDomain_isLeReal__to__Order_POrder_isJoinSemilattice: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_POrder_isJoinSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.POrder_MeetJoin_isLattice.join by Order.POrder_isJoinSemilattice.join in Num_IntegralDomain_isLeReal__to__Order_POrder_isJoinSemilattice: redundant with @Order.DeprecatedSubOrder.Order_SubPOrder_isSubOrder__to__Order_POrder_isJoinSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.isPOrder.le_trans by Order.isDuallyPOrder.ge_trans in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.isPOrder.le_trans by Order.isDuallyPOrder.le_trans in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.Builders_90.ge_anti by Order.isDuallyPOrder.ge_anti in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.isPOrder.le_anti by Order.isDuallyPOrder.le_anti in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.isPOrder.le_refl by Order.isDuallyPOrder.ge_refl in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.isPOrder.le_refl by Order.isDuallyPOrder.le_refl in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.Builders_90.gt_def by Order.isDuallyPOrder.gt_def in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.isPOrder.lt_def by Order.isDuallyPOrder.lt_def in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.isPOrder.lt by Order.isDuallyPOrder.lt in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Order.isPOrder.le by Order.isDuallyPOrder.le in Num_IntegralDomain_isLeReal__to__Order_isDuallyPOrder: redundant with Order.NatOrder.Order_isOrder__to__Order_isDuallyPOrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.le_def by Num.isNumRing.ler_def in Num_IntegralDomain_isLeReal__to__Num_isNumRing: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_isNumRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.normM by Num.isNumRing.normrM in Num_IntegralDomain_isLeReal__to__Num_isNumRing: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_isNumRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.ger_total by Num.isNumRing.ger_leVge in Num_IntegralDomain_isLeReal__to__Num_isNumRing: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_isNumRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.addr_gt0 by Num.isNumRing.addr_gt0 in Num_IntegralDomain_isLeReal__to__Num_isNumRing: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_isNumRing [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.Builders_41.normrN by Num.Zmodule_isNormed.normrN in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.Builders_41.normrMn by Num.Zmodule_isNormed.normrMn in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.norm_eq0 by Num.Zmodule_isNormed.normr0_eq0 in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.normD by Num.Zmodule_isNormed.ler_normD in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Num.IntegralDomain_isNumRing.norm by Num.Zmodule_isNormed.norm in Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed: redundant with ssrint.Num_IntegralDomain_isLeReal__to__Num_Zmodule_isNormed [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Order.POrder.sort in BinNums_Z__canonical__Order_POrder: redundant with BinNums_Z__canonical__Order_POrder [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Num.POrderedZmodule.sort in BinNums_Z__canonical__Num_POrderedZmodule: redundant with BinNums_Z__canonical__Num_POrderedZmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Order.MeetSemilattice.sort in BinNums_Z__canonical__Order_MeetSemilattice: redundant with BinNums_Z__canonical__Order_MeetSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Order.JoinSemilattice.sort in BinNums_Z__canonical__Order_JoinSemilattice: redundant with BinNums_Z__canonical__Order_JoinSemilattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Order.Lattice.sort in BinNums_Z__canonical__Order_Lattice: redundant with BinNums_Z__canonical__Order_Lattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Order.DistrLattice.sort in BinNums_Z__canonical__Order_DistrLattice: redundant with BinNums_Z__canonical__Order_DistrLattice [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Order.Total.sort in BinNums_Z__canonical__Order_Total: redundant with BinNums_Z__canonical__Order_Total [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Num.NormedZmodule.sort in BinNums_Z__canonical__Num_NormedZmodule: redundant with BinNums_Z__canonical__Num_NormedZmodule [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Num.NumDomain.sort in BinNums_Z__canonical__Num_NumDomain: redundant with BinNums_Z__canonical__Num_NumDomain [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z by Num.RealDomain.sort in BinNums_Z__canonical__Num_RealDomain: redundant with BinNums_Z__canonical__Num_RealDomain [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to pair_of_and by GRing.isSemiAdditive.semi_additive_subproof in GRing_isAdditive__to__GRing_isSemiAdditive: redundant with GRing.GRing_isAdditive__to__GRing_isSemiAdditive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z_of_int by GRing.Additive.sort in ssrZ_Z_of_int__canonical__GRing_Additive: redundant with ssrZ_Z_of_int__canonical__GRing_Additive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to pair_of_and by GRing.isSemiAdditive.semi_additive_subproof in GRing_isAdditive__to__GRing_isSemiAdditive__90: redundant with GRing.GRing_isAdditive__to__GRing_isSemiAdditive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to int_of_Z by GRing.Additive.sort in ssrZ_int_of_Z__canonical__GRing_Additive: redundant with ssrZ_int_of_Z__canonical__GRing_Additive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z_of_int_is_multiplicative by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_92: redundant with HB_unnamed_factory_92 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z_of_int by GRing.RMorphism.sort in ssrZ_Z_of_int__canonical__GRing_RMorphism: redundant with ssrZ_Z_of_int__canonical__GRing_RMorphism [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to int_of_Z_is_multiplicative by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_94: redundant with HB_unnamed_factory_94 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to int_of_Z by GRing.RMorphism.sort in ssrZ_int_of_Z__canonical__GRing_RMorphism: redundant with ssrZ_int_of_Z__canonical__GRing_RMorphism [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z_of_nat_is_semi_additive by GRing.isSemiAdditive.semi_additive_subproof in HB_unnamed_factory_96: redundant with HB_unnamed_factory_96 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z.of_nat by GRing.Additive.sort in Z_of_nat__canonical__GRing_Additive: redundant with Z_of_nat__canonical__GRing_Additive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z_of_nat_is_multiplicative by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_98: redundant with HB_unnamed_factory_98 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z.of_nat by GRing.RMorphism.sort in Z_of_nat__canonical__GRing_RMorphism: redundant with Z_of_nat__canonical__GRing_RMorphism [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z_of_N_is_semi_additive by GRing.isSemiAdditive.semi_additive_subproof in HB_unnamed_factory_100: redundant with HB_unnamed_factory_100 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z.of_N by GRing.Additive.sort in Z_of_N__canonical__GRing_Additive: redundant with Z_of_N__canonical__GRing_Additive [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z_of_N_is_multiplicative by GRing.isMultiplicative.rmorphism_subproof in HB_unnamed_factory_102: redundant with HB_unnamed_factory_102 [redundant-canonical-projection,records,default] File "./theories/ssrZ.v", line 264, characters 16-28: Warning: Ignoring canonical projection to Z.of_N by GRing.RMorphism.sort in Z_of_N__canonical__GRing_RMorphism: redundant with Z_of_N__canonical__GRing_RMorphism [redundant-canonical-projection,records,default] COQC theories/zify_algebra.v File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subring_closedM; GRing.smulr_closedN] : GRing.subring_closed >-> GRing.oppr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedN] : GRing.subring_closed >-> GRing.oppr_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subring_closed_semi; GRing.semiring_closedM] : GRing.subring_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.subring_closedM; GRing.smulr_closedM] : GRing.subring_closed >-> GRing.mulr_closed. New coercion path [GRing.subring_closed_semi; GRing.semiring_closedD] : GRing.subring_closed >-> GRing.addr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedD] : GRing.subring_closed >-> GRing.addr_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.sdivr_closed_div; GRing.divr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.sdivr_closedM; GRing.smulr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subalg_closedBM; GRing.subring_closedB] : GRing.subalg_closed >-> GRing.zmod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closedB] : GRing.subalg_closed >-> GRing.zmod_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.divring_closed_div; GRing.sdivr_closedM] : GRing.divring_closed >-> GRing.smulr_closed is ambiguous with existing [GRing.divring_closedBM; GRing.subring_closedM] : GRing.divring_closed >-> GRing.smulr_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.divalg_closedBdiv; GRing.divring_closedBM] : GRing.divalg_closed >-> GRing.subring_closed is ambiguous with existing [GRing.divalg_closedZ; GRing.subalg_closedBM] : GRing.divalg_closed >-> GRing.subring_closed. [ambiguous-paths,coercions,default] COQC theories/zify.v make[2]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' make[1]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' debian/rules override_dh_auto_test make[1]: Entering directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' # disabled, upstream doesn't maintain them make[1]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' make install DESTDIR=/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp make[2]: Entering directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' coq_makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq install INSTALL theories/ssrZ.vo /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.vo /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.vo /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.vo /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/ssrZ.v /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.v /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.v /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.v /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/ssrZ.glob /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.glob /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.glob /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.glob /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16/debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/mathcomp/zify/ make[2]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' make[1]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_ocaml -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-mathcomp-zify' in '../libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb'. dpkg-genbuildinfo --build=any -O../mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.buildinfo dpkg-genchanges --build=any -O../mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2025-12-30T15:09:24Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Tue, 30 Dec 2025 15:09:25 +0000 | +------------------------------------------------------------------------------+ mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.changes: ------------------------------------------------- Format: 1.8 Date: Sun, 28 Dec 2025 06:12:34 +0000 Source: mathcomp-zify (1.5.0+2.0+8.16-4) Binary: libcoq-mathcomp-zify Binary-Only: yes Architecture: arm64 Version: 1.5.0+2.0+8.16-4+b15 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: arm Build Daemon (arm-conova-02) Description: libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components Changes: mathcomp-zify (1.5.0+2.0+8.16-4+b15) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for arm64; no source changes. * Recompile with OCaml 5.4.0 Checksums-Sha1: f03291da0515da58eb79533d5cd2d2254596a8f0 272968 libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb 123142c4e1cdc9d06ef220c8fd8931adcf6fc22b 6838 mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.buildinfo Checksums-Sha256: d0be0542a1a3a0267a9f0e9bb3c379de33055be0330a41ea9ffeae9debbc529f 272968 libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb eaef6e3ab814766a30dcc0126ce7d6899a87dd1466871cecc4994028b9784228 6838 mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.buildinfo Files: 78868ab220b622dba08039110521e94b 272968 ocaml optional libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb 8979e6152201fd278af3e7cca14e8dcc 6838 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.buildinfo +------------------------------------------------------------------------------+ | Buildinfo Tue, 30 Dec 2025 15:09:26 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: mathcomp-zify (1.5.0+2.0+8.16-4) Binary: libcoq-mathcomp-zify Architecture: arm64 Version: 1.5.0+2.0+8.16-4+b15 Binary-Only-Changes: mathcomp-zify (1.5.0+2.0+8.16-4+b15) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for arm64; no source changes. * Recompile with OCaml 5.4.0 . -- arm Build Daemon (arm-conova-02) Sun, 28 Dec 2025 06:12:34 +0000 Checksums-Md5: 78868ab220b622dba08039110521e94b 272968 libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb Checksums-Sha1: f03291da0515da58eb79533d5cd2d2254596a8f0 272968 libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb Checksums-Sha256: d0be0542a1a3a0267a9f0e9bb3c379de33055be0330a41ea9ffeae9debbc529f 272968 libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb Build-Origin: Debian Build-Architecture: arm64 Build-Date: Tue, 30 Dec 2025 15:09:24 +0000 Build-Path: /build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16 Installed-Build-Depends: autoconf (= 2.72-3.1), automake (= 1:1.18.1-3), autopoint (= 0.23.2-1), autotools-dev (= 20240727.1), base-files (= 14), base-passwd (= 3.6.8), bash (= 5.3-1), binutils (= 2.45.50.20251209-1), binutils-aarch64-linux-gnu (= 2.45.50.20251209-1), binutils-common (= 2.45.50.20251209-1), bsdextrautils (= 2.41.3-2), build-essential (= 12.12), bzip2 (= 1.0.8-6), coq (= 8.20.1+dfsg-1+b2), coreutils (= 9.7-3), cpp (= 4:15.2.0-4), cpp-15 (= 15.2.0-12), cpp-15-aarch64-linux-gnu (= 15.2.0-12), cpp-aarch64-linux-gnu (= 4:15.2.0-4), dash (= 0.5.12-12), debconf (= 1.5.91), debhelper (= 13.29), debianutils (= 5.23.2), dh-autoreconf (= 21), dh-coq (= 0.14), dh-ocaml (= 2.5), dh-strip-nondeterminism (= 1.15.0-1), diffutils (= 1:3.12-1), dpkg (= 1.23.3), dpkg-dev (= 1.23.3), dwz (= 0.16-2), file (= 1:5.46-5), findutils (= 4.10.0-3), g++ (= 4:15.2.0-4), g++-15 (= 15.2.0-12), g++-15-aarch64-linux-gnu (= 15.2.0-12), g++-aarch64-linux-gnu (= 4:15.2.0-4), gcc (= 4:15.2.0-4), gcc-15 (= 15.2.0-12), gcc-15-aarch64-linux-gnu (= 15.2.0-12), gcc-15-base (= 15.2.0-12), gcc-aarch64-linux-gnu (= 4:15.2.0-4), gettext (= 0.23.2-1), gettext-base (= 0.23.2-1), grep (= 3.12-1), groff-base (= 1.23.0-10), gzip (= 1.13-1), hostname (= 3.25), init-system-helpers (= 1.69), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2+b1), libarchive-zip-perl (= 1.68-1), libasan8 (= 15.2.0-12), libatomic1 (= 15.2.0-12), libattr1 (= 1:2.5.2-3), libaudit-common (= 1:4.1.2-1), libaudit1 (= 1:4.1.2-1+b1), libbinutils (= 2.45.50.20251209-1), libblkid1 (= 2.41.3-2), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.42-6), libc-dev-bin (= 2.42-6), libc-gconv-modules-extra (= 2.42-6), libc6 (= 2.42-6), libc6-dev (= 2.42-6), libcap-ng0 (= 0.8.5-4+b2), libcap2 (= 1:2.75-10+b5), libcc1-0 (= 15.2.0-12), libcompiler-libs-ocaml-dev (= 5.4.0-1), libconfig-tiny-perl (= 2.30-1), libcoq-core-ocaml (= 8.20.1+dfsg-1+b2), libcoq-core-ocaml-dev (= 8.20.1+dfsg-1+b2), libcoq-elpi (= 2.5.0-1.2+b2), libcoq-hierarchy-builder (= 1.8.1-1+b11), libcoq-mathcomp-algebra (= 2.3.0-1+b15), libcoq-mathcomp-fingroup (= 2.3.0-1+b15), libcoq-mathcomp-ssreflect (= 2.3.0-1+b15), libcoq-stdlib (= 8.20.1+dfsg-1+b2), libcrypt-dev (= 1:4.5.1-1), libcrypt1 (= 1:4.5.1-1), libctf-nobfd0 (= 2.45.50.20251209-1), libctf0 (= 2.45.50.20251209-1), libdb5.3t64 (= 5.3.28+dfsg2-11), libdebconfclient0 (= 0.282), libdebhelper-perl (= 13.29), libdpkg-perl (= 1.23.3), libelf1t64 (= 0.194-1), libelpi-ocaml (= 2.0.7-3), libelpi-ocaml-dev (= 2.0.7-3), libexpat1 (= 2.7.3-1), libffi8 (= 3.5.2-3), libfile-stripnondeterminism-perl (= 1.15.0-1), libfindlib-ocaml (= 1.9.8-1+b2), libfindlib-ocaml-dev (= 1.9.8-1+b2), libgcc-15-dev (= 15.2.0-12), libgcc-s1 (= 15.2.0-12), libgdbm-compat4t64 (= 1.26-1), libgdbm6t64 (= 1.26-1), libgmp-dev (= 2:6.3.0+dfsg-5), libgmp10 (= 2:6.3.0+dfsg-5), libgmp3-dev (= 2:6.3.0+dfsg-5), libgmpxx4ldbl (= 2:6.3.0+dfsg-5), libgomp1 (= 15.2.0-12), libgprofng0 (= 2.45.50.20251209-1), libhwasan0 (= 15.2.0-12), libisl23 (= 0.27-1), libitm1 (= 15.2.0-12), libjansson4 (= 2.14-2+b4), liblsan0 (= 15.2.0-12), liblzma5 (= 5.8.1-2), libmagic-mgc (= 1:5.46-5), libmagic1t64 (= 1:5.46-5), libmd0 (= 1.1.0-2+b1), libmenhir-ocaml-dev (= 20250912+ds-1+b1), libmount1 (= 2.41.3-2), libmpc3 (= 1.3.1-2), libmpfr6 (= 4.2.2-2), libncurses-dev (= 6.5+20251123-1), libncurses6 (= 6.5+20251123-1), libncursesw6 (= 6.5+20251123-1), libocaml-compiler-libs-ocaml-dev (= 0.17.0-1+b3), libpam-modules (= 1.7.0-5), libpam-modules-bin (= 1.7.0-5), libpam-runtime (= 1.7.0-5), libpam0g (= 1.7.0-5), libpcre2-8-0 (= 10.46-1), libperl5.40 (= 5.40.1-7), libpipeline1 (= 1.5.8-2), libppx-derivers-ocaml-dev (= 1.2.1-4+b5), libppx-deriving-ocaml (= 6.1.1-1+b2), libppx-deriving-ocaml-dev (= 6.1.1-1+b2), libppxlib-ocaml-dev (= 0.37.0-1+b1), libpython3-stdlib (= 3.13.9-2), libpython3.13-minimal (= 3.13.11-1+b1), libpython3.13-stdlib (= 3.13.11-1+b1), libre-ocaml-dev (= 1.14.0-1+b1), libreadline8t64 (= 8.3-3), libseccomp2 (= 2.6.0-2+b1), libselinux1 (= 3.9-4+b1), libsexplib0-ocaml (= 0.17.0-1+b3), libsexplib0-ocaml-dev (= 0.17.0-1+b3), libsframe2 (= 2.45.50.20251209-1), libsmartcols1 (= 2.41.3-2), libsqlite3-0 (= 3.46.1-8), libssl3t64 (= 3.5.4-1), libstdc++-15-dev (= 15.2.0-12), libstdc++6 (= 15.2.0-12), libstdlib-ocaml (= 5.4.0-1), libstdlib-ocaml-dev (= 5.4.0-1), libsystemd0 (= 259-1), libtinfo6 (= 6.5+20251123-1), libtool (= 2.5.4-9), libtsan2 (= 15.2.0-12), libubsan1 (= 15.2.0-12), libuchardet0 (= 0.0.8-2), libudev1 (= 259-1), libunistring5 (= 1.3-2), libuuid1 (= 2.41.3-2), libxml2-16 (= 2.15.1+dfsg-2+b1), libzarith-ocaml (= 1.14-1+b3), libzarith-ocaml-dev (= 1.14-1+b3), libzstd-dev (= 1.5.7+dfsg-2), libzstd1 (= 1.5.7+dfsg-2), linux-libc-dev (= 6.17.13-1), m4 (= 1.4.20-2), make (= 4.4.1-3), man-db (= 2.13.1-1), mawk (= 1.3.4.20250131-2), media-types (= 14.0.0), ncurses-base (= 6.5+20251123-1), ncurses-bin (= 6.5+20251123-1), netbase (= 6.5), ocaml (= 5.4.0-1), ocaml-base (= 5.4.0-1), ocaml-findlib (= 1.9.8-1+b2), ocaml-interp (= 5.4.0-1), openssl-provider-legacy (= 3.5.4-1), patch (= 2.8-2), perl (= 5.40.1-7), perl-base (= 5.40.1-7), perl-modules-5.40 (= 5.40.1-7), po-debconf (= 1.0.22), python3 (= 3.13.9-2), python3-minimal (= 3.13.9-2), python3.13 (= 3.13.11-1+b1), python3.13-minimal (= 3.13.11-1+b1), readline-common (= 8.3-3), rpcsvc-proto (= 1.4.3-1+b1), sed (= 4.9-2+b1), sensible-utils (= 0.0.26), sysvinit-utils (= 3.15-6), tar (= 1.35+dfsg-3.1), tzdata (= 2025c-3), util-linux (= 2.41.3-2), xz-utils (= 5.8.1-2), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b2) Environment: DEB_BUILD_OPTIONS="parallel=8" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1766902354" +------------------------------------------------------------------------------+ | Package contents Tue, 30 Dec 2025 15:09:26 +0000 | +------------------------------------------------------------------------------+ libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb --------------------------------------------------- new Debian package, version 2.0. size 272968 bytes: control archive=1216 bytes. 778 bytes, 20 lines control 1816 bytes, 17 lines md5sums Package: libcoq-mathcomp-zify Source: mathcomp-zify (1.5.0+2.0+8.16-4) Version: 1.5.0+2.0+8.16-4+b15 Architecture: arm64 Maintainer: Debian OCaml Maintainers Installed-Size: 976 Depends: libcoq-mathcomp-algebra-0wx97 Suggests: ocaml-findlib Provides: libcoq-mathcomp-zify-bx1e0 Section: ocaml Priority: optional Homepage: https://github.com/math-comp/mczify Description: Micromega arithmetic solvers for Mathematical Components This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant. drwxr-xr-x root/root 0 2025-12-28 06:12 ./ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/lib/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/ -rw-r--r-- root/root 37256 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/ssrZ.glob -rw-r--r-- root/root 8219 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/ssrZ.v -rw-r--r-- root/root 264473 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/ssrZ.vo -rw-r--r-- root/root 332 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify.glob -rw-r--r-- root/root 163 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify.v -rw-r--r-- root/root 892 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify.vo -rw-r--r-- root/root 61923 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify_algebra.glob -rw-r--r-- root/root 18045 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify_algebra.v -rw-r--r-- root/root 268409 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify_algebra.vo -rw-r--r-- root/root 77489 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob -rw-r--r-- root/root 21150 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.v -rw-r--r-- root/root 188354 2025-12-28 06:12 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.vo drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/share/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./usr/share/doc/libcoq-mathcomp-zify/ -rw-r--r-- root/root 1790 2023-07-11 13:37 ./usr/share/doc/libcoq-mathcomp-zify/README.md -rw-r--r-- root/root 235 2025-12-28 06:12 ./usr/share/doc/libcoq-mathcomp-zify/changelog.Debian.arm64.gz -rw-r--r-- root/root 607 2025-12-28 06:12 ./usr/share/doc/libcoq-mathcomp-zify/changelog.Debian.gz -rw-r--r-- root/root 22286 2024-12-05 16:01 ./usr/share/doc/libcoq-mathcomp-zify/copyright drwxr-xr-x root/root 0 2025-12-28 06:12 ./var/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./var/lib/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./var/lib/coq/ drwxr-xr-x root/root 0 2025-12-28 06:12 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2025-12-28 06:12 ./var/lib/coq/md5sums/libcoq-mathcomp-zify.checksum +------------------------------------------------------------------------------+ | Post Build Tue, 30 Dec 2025 15:09:27 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Tue, 30 Dec 2025 15:09:27 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Tue, 30 Dec 2025 15:09:29 +0000 | +------------------------------------------------------------------------------+ Build Architecture: arm64 Build Type: any Build-Space: 4316 Build-Time: 39 Distribution: unstable Host Architecture: arm64 Install-Time: 6 Job: /srv/rebuilderd/tmp/rebuilderdyHulkl/inputs/mathcomp-zify_1.5.0+2.0+8.16-4.dsc Machine Architecture: arm64 Package: mathcomp-zify Package-Time: 60 Source-Version: 1.5.0+2.0+8.16-4 Space: 4316 Status: successful Version: 1.5.0+2.0+8.16-4+b15 -------------------------------------------------------------------------------- Finished at 2025-12-30T15:09:24Z Build needed 00:01:00, 4316k disk space build artifacts stored in /srv/rebuilderd/tmp/rebuilderdyHulkl/out checking libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64.deb: size... md5... sha256... sha1... all OK + set +x +------------------------------------------------------------------------------+ | Finished running debrebuild Tue, 30 Dec 2025 15:09:29 +0000 | +------------------------------------------------------------------------------+