=============================================================================== 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/rebuilderd3qElxK/inputs/coq-relation-algebra_1.7.11-1+b15_arm64.buildinfo Source: coq-relation-algebra Version: 1.7.11-1 rebuilderd-worker node: codethink02-arm64 +------------------------------------------------------------------------------+ | Downloading sources Tue, 30 Dec 2025 09:16:41 +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/non-free-firmware Sources [7696 B] Get:19 https://deb.debian.org/debian forky/main Sources [10.6 MB] Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [9692 B] Get:21 https://deb.debian.org/debian sid/main Sources [11.2 MB] 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 (1059 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq-relation-algebra/coq-relation-algebra_1.7.11-1.dsc' coq-relation-algebra_1.7.11-1.dsc 2251 SHA256:712f4effc05398c2571337ee2c09f7942b3046d1d19a98429ff839054f1b431a 'https://deb.debian.org/debian/pool/main/c/coq-relation-algebra/coq-relation-algebra_1.7.11.orig.tar.gz' coq-relation-algebra_1.7.11.orig.tar.gz 196680 SHA256:6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 'https://deb.debian.org/debian/pool/main/c/coq-relation-algebra/coq-relation-algebra_1.7.11-1.debian.tar.xz' coq-relation-algebra_1.7.11-1.debian.tar.xz 2232 SHA256:c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 coq-relation-algebra_1.7.11.orig.tar.gz c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e coq-relation-algebra_1.7.11-1.debian.tar.xz 712f4effc05398c2571337ee2c09f7942b3046d1d19a98429ff839054f1b431a coq-relation-algebra_1.7.11-1.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Tue, 30 Dec 2025 09:17:14 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq-relation-algebra=1.7.11-1 in /srv/rebuilderd/tmp/rebuilderd3qElxK/inputs now. + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderd3qElxK/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderd3qElxK/inputs/coq-relation-algebra_1.7.11-1+b15_arm64.buildinfo /srv/rebuilderd/tmp/rebuilderd3qElxK/inputs/coq-relation-algebra_1.7.11-1+b15_arm64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coq-relation-algebra-1.7.11 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 (9953 kB/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 libzstd-dev arm64 1.5.7+dfsg-2 [330 kB] Fetched 330 kB in 0s (16.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp46a5gxj3/libzstd-dev_1.5.7+dfsg-2_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 (1752 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjrlzz6w6/libexpat1_2.7.3-1_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 (1637 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmnzlt9hl/libcc1-0_15.2.0-12_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 (568 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9_sduy1w/sysvinit-utils_3.15-6_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 (4741 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzle1pbjm/binutils_2.45.50.20251209-1_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 (18.3 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdo9h3hsh/cpp-15_15.2.0-12_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 (4615 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvgza2k7x/libgdbm6t64_1.26-1_arm64.deb' 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 (19.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphg0wkv0i/python3.13_3.13.11-1+b1_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 (14.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf4m57hd0/perl_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 (2339 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg1_ewmp_/libjansson4_2.14-2+b4_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 (156 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6yynx332/libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_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 (39.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8bpa_plg/perl-base_5.40.1-7_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 (44.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq1qrww08/libcoq-elpi_2.5.0-1.2+b2_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 (75.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph0a873n8/libstdlib-ocaml-dev_5.4.0-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.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpx5474i8h/python3.13-minimal_3.13.11-1+b1_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 (794 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeu5cd119/libseccomp2_2.6.0-2+b1_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 (370 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpanqqvodd/netbase_6.5_all.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 (15.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprb9hlz4o/liblzma5_5.8.1-2_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 (1827 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1lrtrc_a/bzip2_1.0.8-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libreadline8t64 arm64 8.3-3 [169 kB] Fetched 169 kB in 0s (9705 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpecavmw8q/libreadline8t64_8.3-3_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 (152 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpar17jong/libppxlib-ocaml-dev_0.37.0-1+b1_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 (10.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpppllyaoi/libsexplib0-ocaml_0.17.0-1+b3_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 (7718 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4y6fo_5j/libsmartcols1_2.41.3-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 (2474 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppfp9k_nu/readline-common_8.3-3_all.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 (6352 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpurb58ogm/libzarith-ocaml-dev_1.14-1+b3_arm64.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 (1434 kB/s) dpkg-name: info: moved 'libattr1_1%3a2.5.2-3_arm64.deb' to '/srv/rebuilderd/tmp/tmpswjh9hqj/libattr1_2.5.2-3_arm64.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 (3740 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4x4c2zy1/libdebhelper-perl_13.29_all.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 (13.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp07q5i_o3/libpam-runtime_1.7.0-5_all.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 (2893 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpde4tx_5w/libfindlib-ocaml_1.9.8-1+b2_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 (2495 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdm5qi3aj/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 (5425 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphx3mfz69/libfindlib-ocaml-dev_1.9.8-1+b2_arm64.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 (31.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9oxc35gu/libgcc-15-dev_15.2.0-12_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 (3301 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgtdwveya/libgcc-s1_15.2.0-12_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 (11.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp411lv7kv/autopoint_0.23.2-1_all.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 (7533 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcq774oa8/mawk_1.3.4.20250131-2_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 (284 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpun69wjnl/libcap-ng0_0.8.5-4+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 (2671 kB/s) dpkg-name: info: moved 'libaudit1_1%3a4.1.2-1+b1_arm64.deb' to '/srv/rebuilderd/tmp/tmpqns0agwm/libaudit1_4.1.2-1+b1_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 (820 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppwmflx1u/libgdbm-compat4t64_1.26-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 (1707 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpomyvx9c_/python3-minimal_3.13.9-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libunistring5 arm64 1.3-2 [453 kB] Fetched 453 kB in 0s (22.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp06bolcjx/libunistring5_1.3-2_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 (81.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpie78skop/libperl5.40_5.40.1-7_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 autoconf all 2.72-3.1 [494 kB] Fetched 494 kB in 0s (24.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptk_qdvt4/autoconf_2.72-3.1_all.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 (1703 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1pzjm28v/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/tmpna66ox_a/m4_1.4.20-2_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 (18.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp944ofkwr/libtinfo6_6.5+20251123-1_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 (66.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpe0zw87ob/libstdc++-15-dev_15.2.0-12_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 (3278 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbjjzrork/gcc-15-base_15.2.0-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 (29.0 MB/s) dpkg-name: info: moved 'libgmp-dev_2%3a6.3.0+dfsg-5_arm64.deb' to '/srv/rebuilderd/tmp/tmptyjvixxx/libgmp-dev_6.3.0+dfsg-5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dpkg arm64 1.23.3 [1501 kB] Fetched 1501 kB in 0s (23.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxagarleq/dpkg_1.23.3_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 (3621 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprs6e0ivv/libpam-modules-bin_1.7.0-5_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 (43.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpd3oru8vy/libtsan2_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libcoq-aac-tactics arm64 8.20.0-1+b5 [399 kB] Fetched 399 kB in 0s (8039 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8z9ll29g/libcoq-aac-tactics_8.20.0-1+b5_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 make arm64 4.4.1-3 [453 kB] Fetched 453 kB in 0s (22.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpp746w_ij/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 (1644 kB/s) dpkg-name: info: moved 'libmagic1t64_1%3a5.46-5_arm64.deb' to '/srv/rebuilderd/tmp/tmpjfdbl_nk/libmagic1t64_5.46-5_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 (4108 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2bfulbn_/libgomp1_15.2.0-12_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 (5094 kB/s) dpkg-name: info: moved 'zlib1g_1%3a1.3.dfsg+really1.3.1-1+b2_arm64.deb' to '/srv/rebuilderd/tmp/tmp18zy3nm0/zlib1g_1.3.dfsg+really1.3.1-1+b2_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 (33.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7gw970na/linux-libc-dev_6.17.13-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 diffutils arm64 1:3.12-1 [397 kB] Fetched 397 kB in 0s (8914 kB/s) dpkg-name: info: moved 'diffutils_1%3a3.12-1_arm64.deb' to '/srv/rebuilderd/tmp/tmpmmlxg3ea/diffutils_3.12-1_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 (71.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpduaxu9xa/libssl3t64_3.5.4-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 coreutils arm64 9.7-3 [2949 kB] Fetched 2949 kB in 0s (31.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1u5mlirj/coreutils_9.7-3_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 (4631 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpy7qev8ru/libsframe2_2.45.50.20251209-1_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 (1054 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq922p7kn/libppx-derivers-ocaml-dev_1.2.1-4+b5_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 (1256 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpl7ojmd_9/libpam0g_1.7.0-5_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 (5411 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3uyj4_60/dash_0.5.12-12_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 (87.4 kB/s) dpkg-name: info: moved 'gcc-aarch64-linux-gnu_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmp8_z68tbw/gcc-aarch64-linux-gnu_15.2.0-4_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 (661 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpavx6f0fd/libpython3-stdlib_3.13.9-2_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 (66.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpytagq7sp/binutils-common_2.45.50.20251209-1_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 (58.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5pyfy73r/libpython3.13-stdlib_3.13.11-1+b1_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 (2402 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppicuhooi/init-system-helpers_1.69_all.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 (5392 kB/s) dpkg-name: info: moved 'libcrypt1_1%3a4.5.1-1_arm64.deb' to '/srv/rebuilderd/tmp/tmpl0t2o3ob/libcrypt1_4.5.1-1_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 (119 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5p_uy6uy/g++-15-aarch64-linux-gnu_15.2.0-12_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 (517 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcrj3ib7x/sensible-utils_0.0.26_all.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 (5405 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpc8ej15uu/libocaml-compiler-libs-ocaml-dev_0.17.0-1+b3_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dh-coq all 0.14 [6956 B] Fetched 6956 B in 0s (442 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp84yd25zg/dh-coq_0.14_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dpkg-dev all 1.23.3 [1318 kB] Fetched 1318 kB in 0s (26.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpoem9zhmk/dpkg-dev_1.23.3_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 (1076 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpevmes9o_/libitm1_15.2.0-12_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 (29.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdm0hqtv5/findutils_4.10.0-3_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 (841 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi1o99at6/base-passwd_3.6.8_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 (326 kB/s) dpkg-name: info: moved 'cpp-aarch64-linux-gnu_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmp5q079qc1/cpp-aarch64-linux-gnu_15.2.0-4_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 dwz arm64 0.16-2 [100 kB] Fetched 100 kB in 0s (5882 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1g0meg93/dwz_0.16-2_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 (12.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8dn5zwrj/libmenhir-ocaml-dev_20250912+ds-1+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 tzdata all 2025c-3 [263 kB] Fetched 263 kB in 0s (5120 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8zkv6irq/tzdata_2025c-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libmpfr6 arm64 4.2.2-2 [685 kB] Fetched 685 kB in 0s (30.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpasvo5wfs/libmpfr6_4.2.2-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 debhelper all 13.29 [943 kB] Fetched 943 kB in 0s (39.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwszjlt_j/debhelper_13.29_all.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 (4320 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf41pkw77/libncurses6_6.5+20251123-1_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 (6965 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpw6j6xdcr/libncursesw6_6.5+20251123-1_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 (53.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpaj9m8unl/libhwasan0_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libubsan1 arm64 15.2.0-12 [1064 kB] Fetched 1064 kB in 0s (42.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuilfrb89/libubsan1_15.2.0-12_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 (13.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7dk0yahe/tar_1.35+dfsg-3.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 (3567 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmcc39tgc/libc-dev-bin_2.42-6_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 (7373 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp53577l57/ocaml-base_5.4.0-1_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 (31.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0gvfkfc9/libgprofng0_2.45.50.20251209-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gettext arm64 0.23.2-1 [1613 kB] Fetched 1613 kB in 0s (54.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbkpy_ln_/gettext_0.23.2-1_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.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnumm_whn/libtool_2.5.4-9_all.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 (4767 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmknwxdc9/libselinux1_3.9-4+b1_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 (11.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptw3zbk_9/libmount1_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 (29.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpz4qegyc9/xz-utils_5.8.1-2_arm64.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.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxbvriqc6/ncurses-base_6.5+20251123-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 (49.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptylo19_k/libre-ocaml-dev_1.14.0-1+b1_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 (233 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1nlze1sb/libdebconfclient0_0.282_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 build-essential arm64 12.12 [4624 B] Fetched 4624 B in 0s (282 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbtsileld/build-essential_12.12_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 (1720 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpaeo1my2f/python3_3.13.9-2_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 (29.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9mg8pr7b/ocaml-findlib_1.9.8-1+b2_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 (4738 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwy8fyfx6/autotools-dev_20240727.1_all.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 (1156 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2xmaphsg/libconfig-tiny-perl_2.30-1_all.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 (84.2 kB/s) dpkg-name: info: moved 'g++_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmp5vu5nhcd/g++_15.2.0-4_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 (5828 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0zt5wp8k/bsdextrautils_2.41.3-2_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 (132 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4dx_y1o7/libcompiler-libs-ocaml-dev_5.4.0-1_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 (54.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuenol1q9/libc6-dev_2.42-6_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libelf1t64 arm64 0.194-1 [184 kB] Fetched 184 kB in 0s (10.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpysgp_1f5/libelf1t64_0.194-1_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 (5106 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg3l03dbr/libctf0_2.45.50.20251209-1_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 (39.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvl7_ju28/libelpi-ocaml-dev_2.0.7-3_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 (11.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzhqbc50b/libc-bin_2.42-6_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 (30.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8514yxkg/libbinutils_2.45.50.20251209-1_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 (1289 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphhwcqxkw/libuchardet0_0.0.8-2_arm64.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 (2601 kB/s) dpkg-name: info: moved 'file_1%3a5.46-5_arm64.deb' to '/srv/rebuilderd/tmp/tmp54uvyilt/file_5.46-5_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 (3698 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9susavbv/rpcsvc-proto_1.4.3-1+b1_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 (17.5 MB/s) dpkg-name: info: moved 'libgmp3-dev_2%3a6.3.0+dfsg-5_arm64.deb' to '/srv/rebuilderd/tmp/tmpbpxapzv1/libgmp3-dev_6.3.0+dfsg-5_arm64.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 (161 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpu4h3xeci/ocaml_5.4.0-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libisl23 arm64 0.27-1 [601 kB] Fetched 601 kB in 0s (28.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq1ct0qk5/libisl23_0.27-1_arm64.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 (3585 kB/s) dpkg-name: info: moved 'libcrypt-dev_1%3a4.5.1-1_arm64.deb' to '/srv/rebuilderd/tmp/tmpmsbrfki0/libcrypt-dev_4.5.1-1_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 (9878 kB/s) dpkg-name: info: moved 'libgmp10_2%3a6.3.0+dfsg-5_arm64.deb' to '/srv/rebuilderd/tmp/tmp8inuxfak/libgmp10_6.3.0+dfsg-5_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 (4744 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7x4ye_j0/gettext-base_0.23.2-1_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 (28.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptqy2i1e2/libdpkg-perl_1.23.3_all.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.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8vtu2j2v/po-debconf_1.0.22_all.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 (2309 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsvbbguff/libuuid1_2.41.3-2_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 (3075 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpel4c_gax/libmpc3_1.3.1-2_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libudev1 arm64 259-1 [148 kB] Fetched 148 kB in 0s (3495 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvy45u3s_/libudev1_259-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 (553 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9mfj06zh/dh-strip-nondeterminism_1.15.0-1_all.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 (2572 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb0hdn9vf/libpam-modules_1.7.0-5_arm64.deb' Downloading dependency 1 of 195: libzstd-dev:arm64=1.5.7+dfsg-2 Downloading dependency 2 of 195: libexpat1:arm64=2.7.3-1 Downloading dependency 3 of 195: libcc1-0:arm64=15.2.0-12 Downloading dependency 4 of 195: sysvinit-utils:arm64=3.15-6 Downloading dependency 5 of 195: binutils:arm64=2.45.50.20251209-1 Downloading dependency 6 of 195: cpp-15:arm64=15.2.0-12 Downloading dependency 7 of 195: libgdbm6t64:arm64=1.26-1 Downloading dependency 8 of 195: python3.13:arm64=3.13.11-1+b1 Downloading dependency 9 of 195: perl:arm64=5.40.1-7 Downloading dependency 10 of 195: libjansson4:arm64=2.14-2+b4 Downloading dependency 11 of 195: libcoq-core-ocaml-dev:arm64=8.20.1+dfsg-1+b2 Downloading dependency 12 of 195: perl-base:arm64=5.40.1-7 Downloading dependency 13 of 195: libcoq-elpi:arm64=2.5.0-1.2+b2 Downloading dependency 14 of 195: libstdlib-ocaml-dev:arm64=5.4.0-1 Downloading dependency 15 of 195: python3.13-minimal:arm64=3.13.11-1+b1 Downloading dependency 16 of 195: libseccomp2:arm64=2.6.0-2+b1 Downloading dependency 17 of 195: netbase:arm64=6.5 Downloading dependency 18 of 195: liblzma5:arm64=5.8.1-2 Downloading dependency 19 of 195: bzip2:arm64=1.0.8-6 Downloading dependency 20 of 195: libreadline8t64:arm64=8.3-3 Downloading dependency 21 of 195: libppxlib-ocaml-dev:arm64=0.37.0-1+b1 Downloading dependency 22 of 195: libsexplib0-ocaml:arm64=0.17.0-1+b3 Downloading dependency 23 of 195: libsmartcols1:arm64=2.41.3-2 Downloading dependency 24 of 195: readline-common:arm64=8.3-3 Downloading dependency 25 of 195: libzarith-ocaml-dev:arm64=1.14-1+b3 Downloading dependency 26 of 195: libattr1:arm64=1:2.5.2-3 Downloading dependency 27 of 195: libdebhelper-perl:arm64=13.29 Downloading dependency 28 of 195: libpam-runtime:arm64=1.7.0-5 Downloading dependency 29 of 195: libfindlib-ocaml:arm64=1.9.8-1+b2 Downloading dependency 30 of 195: libpipeline1:arm64=1.5.8-2 Downloading dependency 31 of 195: libfindlib-ocaml-dev:arm64=1.9.8-1+b2 Downloading dependency 32 of 195: libgcc-15-dev:arm64=15.2.0-12 Downloading dependency 33 of 195: libgcc-s1:arm64=15.2.0-12 Downloading dependency 34 of 195: autopoint:arm64=0.23.2-1 Downloading dependency 35 of 195: mawk:arm64=1.3.4.20250131-2 Downloading dependency 36 of 195: libcap-ng0:arm64=0.8.5-4+b2 Downloading dependency 37 of 195: libaudit1:arm64=1:4.1.2-1+b1 Downloading dependency 38 of 195: libgdbm-compat4t64:arm64=1.26-1 Downloading dependency 39 of 195: python3-minimal:arm64=3.13.9-2 Downloading dependency 40 of 195: libunistring5:arm64=1.3-2 Downloading dependency 41 of 195: libperl5.40:arm64=5.40.1-7 Downloading dependency 42 of 195: autoconf:arm64=2.72-3.1 Downloading dependency 43 of 195: libzarith-ocaml:arm64=1.14-1+b3 Downloading dependency 44 of 195: m4:arm64=1.4.20-2 Downloading dependency 45 of 195: libtinfo6:arm64=6.5+20251123-1 Downloading dependency 46 of 195: libstdc++-15-dev:arm64=15.2.0-12 Downloading dependency 47 of 195: gcc-15-base:arm64=15.2.0-12 Downloading dependency 48 of 195: libgmp-dev:arm64=2:6.3.0+dfsg-5 Downloading dependency 49 of 195: dpkg:arm64=1.23.3 Downloading dependency 50 of 195: libpam-modules-bin:arm64=1.7.0-5 Downloading dependency 51 of 195: libtsan2:arm64=15.2.0-12 Downloading dependency 52 of 195: libcoq-aac-tactics:arm64=8.20.0-1+b5 Downloading dependency 53 of 195: make:arm64=4.4.1-3 Downloading dependency 54 of 195: libmagic1t64:arm64=1:5.46-5 Downloading dependency 55 of 195: libgomp1:arm64=15.2.0-12 Downloading dependency 56 of 195: zlib1g:arm64=1:1.3.dfsg+really1.3.1-1+b2 Downloading dependency 57 of 195: linux-libc-dev:arm64=6.17.13-1 Downloading dependency 58 of 195: diffutils:arm64=1:3.12-1 Downloading dependency 59 of 195: libssl3t64:arm64=3.5.4-1 Downloading dependency 60 of 195: coreutils:arm64=9.7-3 Downloading dependency 61 of 195: libsframe2:arm64=2.45.50.20251209-1 Downloading dependency 62 of 195: libppx-derivers-ocaml-dev:arm64=1.2.1-4+b5 Downloading dependency 63 of 195: libpam0g:arm64=1.7.0-5 Downloading dependency 64 of 195: dash:arm64=0.5.12-12 Downloading dependency 65 of 195: gcc-aarch64-linux-gnu:arm64=4:15.2.0-4 Downloading dependency 66 of 195: libpython3-stdlib:arm64=3.13.9-2 Downloading dependency 67 of 195: binutils-common:arm64=2.45.50.20251209-1 Downloading dependency 68 of 195: libpython3.13-stdlib:arm64=3.13.11-1+b1 Downloading dependency 69 of 195: init-system-helpers:arm64=1.69 Downloading dependency 70 of 195: libcrypt1:arm64=1:4.5.1-1 Downloading dependency 71 of 195: g++-15-aarch64-linux-gnu:arm64=15.2.0-12 Downloading dependency 72 of 195: sensible-utils:arm64=0.0.26 Downloading dependency 73 of 195: libocaml-compiler-libs-ocaml-dev:arm64=0.17.0-1+b3 Downloading dependency 74 of 195: dh-coq:arm64=0.14 Downloading dependency 75 of 195: dpkg-dev:arm64=1.23.3 Downloading dependency 76 of 195: libitm1:arm64=15.2.0-12 Downloading dependency 77 of 195: findutils:arm64=4.10.0-3 Downloading dependency 78 of 195: base-passwd:arm64=3.6.8 Downloading dependency 79 of 195: cpp-aarch64-linux-gnu:arm64=4:15.2.0-4 Downloading dependency 80 of 195: dwz:arm64=0.16-2 Downloading dependency 81 of 195: libmenhir-ocaml-dev:arm64=20250912+ds-1+b1 Downloading dependency 82 of 195: tzdata:arm64=2025c-3 Downloading dependency 83 of 195: libmpfr6:arm64=4.2.2-2 Downloading dependency 84 of 195: debhelper:arm64=13.29 Downloading dependency 85 of 195: libncurses6:arm64=6.5+20251123-1 Downloading dependency 86 of 195: libncursesw6:arm64=6.5+20251123-1 Downloading dependency 87 of 195: libhwasan0:arm64=15.2.0-12 Downloading dependency 88 of 195: libubsan1:arm64=15.2.0-12 Downloading dependency 89 of 195: tar:arm64=1.35+dfsg-3.1 Downloading dependency 90 of 195: libc-dev-bin:arm64=2.42-6 Downloading dependency 91 of 195: ocaml-base:arm64=5.4.0-1 Downloading dependency 92 of 195: libgprofng0:arm64=2.45.50.20251209-1 Downloading dependency 93 of 195: gettext:arm64=0.23.2-1 Downloading dependency 94 of 195: libtool:arm64=2.5.4-9 Downloading dependency 95 of 195: libselinux1:arm64=3.9-4+b1 Downloading dependency 96 of 195: libmount1:arm64=2.41.3-2 Downloading dependency 97 of 195: xz-utils:arm64=5.8.1-2 Downloading dependency 98 of 195: ncurses-base:arm64=6.5+20251123-1 Downloading dependency 99 of 195: libre-ocaml-dev:arm64=1.14.0-1+b1 Downloading dependency 100 of 195: libdebconfclient0:arm64=0.282 Downloading dependency 101 of 195: build-essential:arm64=12.12 Downloading dependency 102 of 195: python3:arm64=3.13.9-2 Downloading dependency 103 of 195: ocaml-findlib:arm64=1.9.8-1+b2 Downloading dependency 104 of 195: autotools-dev:arm64=20240727.1 Downloading dependency 105 of 195: libconfig-tiny-perl:arm64=2.30-1 Downloading dependency 106 of 195: g++:arm64=4:15.2.0-4 Downloading dependency 107 of 195: bsdextrautils:arm64=2.41.3-2 Downloading dependency 108 of 195: libcompiler-libs-ocaml-dev:arm64=5.4.0-1 Downloading dependency 109 of 195: libc6-dev:arm64=2.42-6 Downloading dependency 110 of 195: libelf1t64:arm64=0.194-1 Downloading dependency 111 of 195: libctf0:arm64=2.45.50.20251209-1 Downloading dependency 112 of 195: libelpi-ocaml-dev:arm64=2.0.7-3 Downloading dependency 113 of 195: libc-bin:arm64=2.42-6 Downloading dependency 114 of 195: libbinutils:arm64=2.45.50.20251209-1 Downloading dependency 115 of 195: libuchardet0:arm64=0.0.8-2 Downloading dependency 116 of 195: file:arm64=1:5.46-5 Downloading dependency 117 of 195: rpcsvc-proto:arm64=1.4.3-1+b1 Downloading dependency 118 of 195: libgmp3-dev:arm64=2:6.3.0+dfsg-5 Downloading dependency 119 of 195: ocaml:arm64=5.4.0-1 Downloading dependency 120 of 195: libisl23:arm64=0.27-1 Downloading dependency 121 of 195: libcrypt-dev:arm64=1:4.5.1-1 Downloading dependency 122 of 195: libgmp10:arm64=2:6.3.0+dfsg-5 Downloading dependency 123 of 195: gettext-base:arm64=0.23.2-1 Downloading dependency 124 of 195: libdpkg-perl:arm64=1.23.3 Downloading dependency 125 of 195: po-debconf:arm64=1.0.22 Downloading dependency 126 of 195: libuuid1:arm64=2.41.3-2 Downloading dependency 127 of 195: libmpc3:arm64=1.3.1-2 Downloading dependency 128 of 195: libudev1:arm64=259-1 Downloading dependency 129 of 195: dh-strip-nondeterminism:arm64=1.15.0-1 Downloading dependency 130 of 195: libpam-modules:arm64=1.7.0-5 Downloading dependency 131 of 195: sed:arm64=4.9-2+b1Get:1 http://deb.debian.org/debian unstable/main arm64 sed arm64 4.9-2+b1 [326 kB] Fetched 326 kB in 0s (17.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbiz3ejvo/sed_4.9-2+b1_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 (64.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfzufcke5/ocaml-interp_5.4.0-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 (14.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcy0o33ub/libsexplib0-ocaml-dev_0.17.0-1+b3_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 (135 kB/s) dpkg-name: info: moved 'gcc_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmpui_4cywy/gcc_15.2.0-4_arm64.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 (38.6 MB/s) dpkg-name: info: moved 'automake_1%3a1.18.1-3_all.deb' to '/srv/rebuilderd/tmp/tmp1cjxpbxz/automake_1.18.1-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 (758 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwrw36i7p/dh-autoreconf_21_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 (115 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplmxeaca2/cpp-15-aarch64-linux-gnu_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 base-files arm64 14 [72.9 kB] Fetched 72.9 kB in 0s (4397 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk8ji46a4/base-files_14_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 (1422 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfs8w_klm/intltool-debian_0.35.0+20060710.6_all.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 (44.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph43l04d6/util-linux_2.41.3-2_arm64.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 (11.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpet4uplvx/libcoq-hierarchy-builder_1.8.1-1+b11_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 (17.7 MB/s) dpkg-name: info: moved 'libmagic-mgc_1%3a5.46-5_arm64.deb' to '/srv/rebuilderd/tmp/tmpi8bg5rcp/libmagic-mgc_5.46-5_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 (86.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7uofqaly/libppx-deriving-ocaml_6.1.1-1+b2_arm64.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 (44.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppb1_n63z/groff-base_1.23.0-10_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 (20.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmsf6hfio/gcc-15_15.2.0-12_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 (28.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphauvdr34/libstdlib-ocaml_5.4.0-1_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 (7164 kB/s) dpkg-name: info: moved 'libgmpxx4ldbl_2%3a6.3.0+dfsg-5_arm64.deb' to '/srv/rebuilderd/tmp/tmp05ps3y8e/libgmpxx4ldbl_6.3.0+dfsg-5_arm64.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 (1928 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzs9_pvhl/libacl1_2.3.2-2+b1_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 (18.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp95t6fc_a/libc-gconv-modules-extra_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 (52.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcjd0bg8m/man-db_2.13.1-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 (169 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp64h6_kou/coq_8.20.1+dfsg-1+b2_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 (7169 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpoazl1nfq/libzstd1_1.5.7+dfsg-2_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 (2334 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpygtesigw/libarchive-zip-perl_1.68-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 patch arm64 2.8-2 [128 kB] Fetched 128 kB in 0s (7391 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbjtufleq/patch_2.8-2_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 (2039 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7viw93bx/libmd0_1.1.0-2+b1_arm64.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 (24.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpoel9xd4b/libelpi-ocaml_2.0.7-3_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 (9233 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4k3peh6a/libblkid1_2.41.3-2_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 (6032 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpoury1ajn/libctf-nobfd0_2.45.50.20251209-1_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/tmp9r8pshya/libc6_2.42-6_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 (6763 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjyzwq5yh/ncurses-bin_6.5+20251123-1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 bash arm64 5.3-1 [1507 kB] Fetched 1507 kB in 0s (20.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyd3z9wbc/bash_5.3-1_arm64.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 (11.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqcvk3o0f/libncurses-dev_6.5+20251123-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 (113 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpa5xxted9/libcoq-core-ocaml_8.20.1+dfsg-1+b2_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 (43.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpw6nje5hw/libppx-deriving-ocaml-dev_6.1.1-1+b2_arm64.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 (5103 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpn1ygjq4r/openssl-provider-legacy_3.5.4-1_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 (34.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1ir8qer5/libasan8_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 (991 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptjr0ibh_/libfile-stripnondeterminism-perl_1.15.0-1_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 (1402 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdz5otj6z/libffi8_3.5.2-3_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 (26.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgxt_xeug/libcoq-mathcomp-ssreflect_2.3.0-1+b15_arm64.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 (31.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg9k54ppj/libpython3.13-minimal_3.13.11-1+b1_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 (130 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptqyoikke/gcc-15-aarch64-linux-gnu_15.2.0-12_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 debconf all 1.5.91 [121 kB] Fetched 121 kB in 0s (2659 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmps2hlk263/debconf_1.5.91_all.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 (1725 kB/s) dpkg-name: info: moved 'libcap2_1%3a2.75-10+b5_arm64.deb' to '/srv/rebuilderd/tmp/tmpm74f1uij/libcap2_2.75-10+b5_arm64.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 (870 kB/s) dpkg-name: info: moved 'libaudit-common_1%3a4.1.2-1_all.deb' to '/srv/rebuilderd/tmp/tmpjdome_dk/libaudit-common_4.1.2-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 (2274 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp42bxdo09/libbz2-1.0_1.0.8-6_arm64.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 (10.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphuul78ee/libstdc++6_15.2.0-12_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 (25.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpswxttn2z/binutils-aarch64-linux-gnu_2.45.50.20251209-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 (18.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeoe42dmj/libdb5.3t64_5.3.28+dfsg2-11_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 (75.0 kB/s) dpkg-name: info: moved 'g++-aarch64-linux-gnu_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmpxe053wh2/g++-aarch64-linux-gnu_15.2.0-4_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 debianutils arm64 5.23.2 [92.4 kB] Fetched 92.4 kB in 0s (5444 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5akkpeu/debianutils_5.23.2_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 (1168 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphovv4yh7/media-types_14.0.0_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 gzip arm64 1.13-1 [135 kB] Fetched 135 kB in 0s (1807 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphtodhyg7/gzip_1.13-1_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 (3794 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9sdnxp47/dh-ocaml_2.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 libsystemd0 arm64 259-1 [430 kB] Fetched 430 kB in 0s (6190 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxyxrrrvk/libsystemd0_259-1_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 (664 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbsrdcgzi/hostname_3.25_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.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf3je4u3h/libsqlite3-0_3.46.1-8_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 (111 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqvoahxfn/libcoq-stdlib_8.20.1+dfsg-1+b2_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 (146 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3_i_48ro/libatomic1_15.2.0-12_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 (49.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp39sdglal/perl-modules-5.40_5.40.1-7_all.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 liblsan0 arm64 15.2.0-12 [1194 kB] Fetched 1194 kB in 0s (61.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq46nou2d/liblsan0_15.2.0-12_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 (13.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpx6e7qxpm/libpcre2-8-0_10.46-1_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 (727 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpabk7mblt/g++-15_15.2.0-12_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 (23.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp69u9ne38/libxml2-16_2.15.1+dfsg-2+b1_arm64.deb' Get:1 http://deb.debian.org/debian unstable/main arm64 grep arm64 3.12-1 [440 kB] Fetched 440 kB in 0s (22.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjgjmwrcr/grep_3.12-1_arm64.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 (93.5 kB/s) dpkg-name: info: moved 'cpp_4%3a15.2.0-4_arm64.deb' to '/srv/rebuilderd/tmp/tmp_298648h/cpp_15.2.0-4_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-source --before-build . dpkg-buildpackage: info: host architecture arm64 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/tmpvrj5uwaa/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.6oRlhopyy_ as tempdir I: running --setup-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/setup00.sh /srv/rebuilderd/tmp/mmdebstrap.6oRlhopyy_ 127.0.0.1 - - [30/Dec/2025 09:19:11] code 404, message File not found 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:39399 ./ InRelease 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./Release HTTP/1.1" 200 - Get:2 http://localhost:39399 ./ Release [462 B] 127.0.0.1 - - [30/Dec/2025 09:19:11] code 404, message File not found 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:39399 ./ Release.gpg 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./Packages HTTP/1.1" 200 - Get:4 http://localhost:39399 ./ Packages [239 kB] Fetched 239 kB in 0s (2107 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 09:19:11] "GET /./gcc-15-base_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libc-gconv-modules-extra_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libc6_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libgcc-s1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./mawk_1.3.4.20250131-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./base-files_14_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libtinfo6_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./debianutils_5.23.2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./bash_5.3-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libacl1_2.3.2-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libattr1_2.5.2-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libcap2_2.75-10%2bb5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libgmp10_6.3.0%2bdfsg-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libpcre2-8-0_10.46-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libselinux1_3.9-4%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libzstd1_1.5.7%2bdfsg-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./zlib1g_1.3.dfsg%2breally1.3.1-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libssl3t64_3.5.4-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./openssl-provider-legacy_3.5.4-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libsystemd0_259-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./coreutils_9.7-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./dash_0.5.12-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./diffutils_3.12-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libbz2-1.0_1.0.8-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./liblzma5_5.8.1-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libmd0_1.1.0-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./tar_1.35%2bdfsg-3.1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./dpkg_1.23.3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./findutils_4.10.0-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./grep_3.12-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./gzip_1.13-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./hostname_3.25_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./ncurses-bin_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libcrypt1_4.5.1-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./perl-base_5.40.1-7_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./sed_4.9-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libaudit-common_4.1.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libcap-ng0_0.8.5-4%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libaudit1_4.1.2-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libdb5.3t64_5.3.28%2bdfsg2-11_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./debconf_1.5.91_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libpam0g_1.7.0-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libpam-modules-bin_1.7.0-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libpam-modules_1.7.0-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libpam-runtime_1.7.0-5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libblkid1_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libmount1_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libsmartcols1_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libudev1_259-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libuuid1_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./util-linux_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libdebconfclient0_0.282_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./base-passwd_3.6.8_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./init-system-helpers_1.69_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:11] "GET /./libc-bin_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:12] "GET /./ncurses-base_6.5%2b20251123-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:12] "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.6oRlhopyy_ 127.0.0.1 - - [30/Dec/2025 09:19:15] code 404, message File not found 127.0.0.1 - - [30/Dec/2025 09:19:15] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:39399 ./ InRelease 127.0.0.1 - - [30/Dec/2025 09:19:15] "GET /./Release HTTP/1.1" 304 - Hit:2 http://localhost:39399 ./ Release 127.0.0.1 - - [30/Dec/2025 09:19:15] code 404, message File not found 127.0.0.1 - - [30/Dec/2025 09:19:15] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:39399 ./ 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.6oRlhopyy_ 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 09:19:32] "GET /./libexpat1_2.7.3-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libpython3.13-minimal_3.13.11-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./python3.13-minimal_3.13.11-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./python3-minimal_3.13.9-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./media-types_14.0.0_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./netbase_6.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./tzdata_2025c-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libffi8_3.5.2-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libncursesw6_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./readline-common_8.3-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libreadline8t64_8.3-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libsqlite3-0_3.46.1-8_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libpython3.13-stdlib_3.13.11-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./python3.13_3.13.11-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libpython3-stdlib_3.13.9-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./python3_3.13.9-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./sensible-utils_0.0.26_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libstdc%2b%2b6_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libuchardet0_0.0.8-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./groff-base_1.23.0-10_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./bsdextrautils_2.41.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libgdbm6t64_1.26-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libpipeline1_1.5.8-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libseccomp2_2.6.0-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./man-db_2.13.1-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./bzip2_1.0.8-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libmagic-mgc_5.46-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libmagic1t64_5.46-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./file_5.46-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./gettext-base_0.23.2-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./perl-modules-5.40_5.40.1-7_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libgdbm-compat4t64_1.26-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./libperl5.40_5.40.1-7_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./perl_5.40.1-7_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./xz-utils_5.8.1-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./m4_1.4.20-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./autoconf_2.72-3.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./autotools-dev_20240727.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:32] "GET /./automake_1.18.1-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./autopoint_0.23.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libsframe2_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./binutils-common_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libbinutils_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libgprofng0_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libctf-nobfd0_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libctf0_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libjansson4_2.14-2%2bb4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./binutils-aarch64-linux-gnu_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./binutils_2.45.50.20251209-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libc-dev-bin_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./linux-libc-dev_6.17.13-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libcrypt-dev_4.5.1-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./rpcsvc-proto_1.4.3-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libc6-dev_2.42-6_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libisl23_0.27-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libmpfr6_4.2.2-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libmpc3_1.3.1-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./cpp-15-aarch64-linux-gnu_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./cpp-15_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./cpp-aarch64-linux-gnu_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./cpp_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libcc1-0_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libgomp1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libitm1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libatomic1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libasan8_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./liblsan0_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libtsan2_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libubsan1_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libhwasan0_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libgcc-15-dev_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./gcc-15-aarch64-linux-gnu_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./gcc-15_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./gcc-aarch64-linux-gnu_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./gcc_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "GET /./libstdc%2b%2b-15-dev_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:33] "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 09:19:34] "GET /./g%2b%2b-15_15.2.0-12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19: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 09:19:34] "GET /./g%2b%2b_15.2.0-4_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./make_4.4.1-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./libdpkg-perl_1.23.3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./patch_2.8-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./dpkg-dev_1.23.3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./build-essential_12.12_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./libcoq-stdlib_8.20.1%2bdfsg-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./libstdlib-ocaml_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./ocaml-base_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./libfindlib-ocaml_1.9.8-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./libzarith-ocaml_1.14-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./libcoq-core-ocaml_8.20.1%2bdfsg-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./libstdlib-ocaml-dev_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:34] "GET /./libcompiler-libs-ocaml-dev_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:35] "GET /./ocaml-interp_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:35] "GET /./libncurses6_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:35] "GET /./libncurses-dev_6.5%2b20251123-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:35] "GET /./libzstd-dev_1.5.7%2bdfsg-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:35] "GET /./ocaml_5.4.0-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:35] "GET /./ocaml-findlib_1.9.8-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:35] "GET /./coq_8.20.1%2bdfsg-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libdebhelper-perl_13.29_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libtool_2.5.4-9_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./dh-autoreconf_21_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libarchive-zip-perl_1.68-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libfile-stripnondeterminism-perl_1.15.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./dh-strip-nondeterminism_1.15.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libelf1t64_0.194-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./dwz_0.16-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libunistring5_1.3-2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libxml2-16_2.15.1%2bdfsg-2%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./gettext_0.23.2-1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./intltool-debian_0.35.0%2b20060710.6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./po-debconf_1.0.22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./debhelper_13.29_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libfindlib-ocaml-dev_1.9.8-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libgmpxx4ldbl_6.3.0%2bdfsg-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libgmp-dev_6.3.0%2bdfsg-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libgmp3-dev_6.3.0%2bdfsg-5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:36] "GET /./libzarith-ocaml-dev_1.14-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19: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 09:19:37] "GET /./libsexplib0-ocaml_0.17.0-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libppx-deriving-ocaml_6.1.1-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libelpi-ocaml_2.0.7-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libmenhir-ocaml-dev_20250912%2bds-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libocaml-compiler-libs-ocaml-dev_0.17.0-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libppx-derivers-ocaml-dev_1.2.1-4%2bb5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libsexplib0-ocaml-dev_0.17.0-1%2bb3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libppxlib-ocaml-dev_0.37.0-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libppx-deriving-ocaml-dev_6.1.1-1%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libre-ocaml-dev_1.14.0-1%2bb1_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:37] "GET /./libelpi-ocaml-dev_2.0.7-3_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:38] "GET /./libcoq-elpi_2.5.0-1.2%2bb2_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:38] "GET /./libcoq-aac-tactics_8.20.0-1%2bb5_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:38] "GET /./dh-coq_0.14_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:38] "GET /./libconfig-tiny-perl_2.30-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:38] "GET /./libcoq-hierarchy-builder_1.8.1-1%2bb11_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:38] "GET /./libcoq-mathcomp-ssreflect_2.3.0-1%2bb15_arm64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:38] "GET /./dh-ocaml_2.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Dec/2025 09:19:38] "GET /./debootsnap-dummy_1.0_all.deb HTTP/1.1" 200 - I: running --customize-hook directly: /srv/rebuilderd/tmp/tmpvrj5uwaa/apt_install.sh /srv/rebuilderd/tmp/mmdebstrap.6oRlhopyy_ Reading package lists... Building dependency tree... Reading state information... libzstd-dev is already the newest version (1.5.7+dfsg-2). libzstd-dev set to manually installed. libexpat1 is already the newest version (2.7.3-1). libexpat1 set to manually installed. libcc1-0 is already the newest version (15.2.0-12). libcc1-0 set to manually installed. sysvinit-utils is already the newest version (3.15-6). binutils is already the newest version (2.45.50.20251209-1). binutils set to manually installed. cpp-15 is already the newest version (15.2.0-12). cpp-15 set to manually installed. libgdbm6t64 is already the newest version (1.26-1). libgdbm6t64 set to manually installed. python3.13 is already the newest version (3.13.11-1+b1). python3.13 set to manually installed. perl is already the newest version (5.40.1-7). perl set to manually installed. libjansson4 is already the newest version (2.14-2+b4). libjansson4 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. perl-base is already the newest version (5.40.1-7). libcoq-elpi is already the newest version (2.5.0-1.2+b2). libcoq-elpi set to manually installed. libstdlib-ocaml-dev is already the newest version (5.4.0-1). libstdlib-ocaml-dev set to manually installed. python3.13-minimal is already the newest version (3.13.11-1+b1). python3.13-minimal set to manually installed. libseccomp2 is already the newest version (2.6.0-2+b1). libseccomp2 set to manually installed. netbase is already the newest version (6.5). netbase set to manually installed. liblzma5 is already the newest version (5.8.1-2). bzip2 is already the newest version (1.0.8-6). bzip2 set to manually installed. libreadline8t64 is already the newest version (8.3-3). libreadline8t64 set to manually installed. libppxlib-ocaml-dev is already the newest version (0.37.0-1+b1). libppxlib-ocaml-dev set to manually installed. libsexplib0-ocaml is already the newest version (0.17.0-1+b3). libsexplib0-ocaml set to manually installed. libsmartcols1 is already the newest version (2.41.3-2). readline-common is already the newest version (8.3-3). readline-common set to manually installed. libzarith-ocaml-dev is already the newest version (1.14-1+b3). libzarith-ocaml-dev set to manually installed. libattr1 is already the newest version (1:2.5.2-3). libdebhelper-perl is already the newest version (13.29). libdebhelper-perl set to manually installed. libpam-runtime is already the newest version (1.7.0-5). libfindlib-ocaml is already the newest version (1.9.8-1+b2). libfindlib-ocaml 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. libgcc-15-dev is already the newest version (15.2.0-12). libgcc-15-dev set to manually installed. libgcc-s1 is already the newest version (15.2.0-12). autopoint is already the newest version (0.23.2-1). autopoint set to manually installed. mawk is already the newest version (1.3.4.20250131-2). libcap-ng0 is already the newest version (0.8.5-4+b2). libaudit1 is already the newest version (1:4.1.2-1+b1). libgdbm-compat4t64 is already the newest version (1.26-1). libgdbm-compat4t64 set to manually installed. python3-minimal is already the newest version (3.13.9-2). python3-minimal set to manually installed. libunistring5 is already the newest version (1.3-2). libunistring5 set to manually installed. libperl5.40 is already the newest version (5.40.1-7). libperl5.40 set to manually installed. autoconf is already the newest version (2.72-3.1). autoconf 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. libtinfo6 is already the newest version (6.5+20251123-1). libstdc++-15-dev is already the newest version (15.2.0-12). libstdc++-15-dev set to manually installed. gcc-15-base is already the newest version (15.2.0-12). libgmp-dev is already the newest version (2:6.3.0+dfsg-5). libgmp-dev set to manually installed. dpkg is already the newest version (1.23.3). libpam-modules-bin is already the newest version (1.7.0-5). libtsan2 is already the newest version (15.2.0-12). libtsan2 set to manually installed. libcoq-aac-tactics is already the newest version (8.20.0-1+b5). libcoq-aac-tactics set to manually installed. 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. libgomp1 is already the newest version (15.2.0-12). libgomp1 set to manually installed. zlib1g is already the newest version (1:1.3.dfsg+really1.3.1-1+b2). linux-libc-dev is already the newest version (6.17.13-1). linux-libc-dev set to manually installed. diffutils is already the newest version (1:3.12-1). libssl3t64 is already the newest version (3.5.4-1). coreutils is already the newest version (9.7-3). libsframe2 is already the newest version (2.45.50.20251209-1). libsframe2 set to manually installed. libppx-derivers-ocaml-dev is already the newest version (1.2.1-4+b5). libppx-derivers-ocaml-dev set to manually installed. libpam0g is already the newest version (1.7.0-5). dash is already the newest version (0.5.12-12). gcc-aarch64-linux-gnu is already the newest version (4:15.2.0-4). gcc-aarch64-linux-gnu set to manually installed. libpython3-stdlib is already the newest version (3.13.9-2). libpython3-stdlib set to manually installed. binutils-common is already the newest version (2.45.50.20251209-1). binutils-common set to manually installed. libpython3.13-stdlib is already the newest version (3.13.11-1+b1). libpython3.13-stdlib set to manually installed. init-system-helpers is already the newest version (1.69). libcrypt1 is already the newest version (1:4.5.1-1). g++-15-aarch64-linux-gnu is already the newest version (15.2.0-12). g++-15-aarch64-linux-gnu set to manually installed. sensible-utils is already the newest version (0.0.26). sensible-utils 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. dh-coq is already the newest version (0.14). dh-coq set to manually installed. dpkg-dev is already the newest version (1.23.3). dpkg-dev set to manually installed. libitm1 is already the newest version (15.2.0-12). libitm1 set to manually installed. findutils is already the newest version (4.10.0-3). base-passwd is already the newest version (3.6.8). cpp-aarch64-linux-gnu is already the newest version (4:15.2.0-4). cpp-aarch64-linux-gnu set to manually installed. dwz is already the newest version (0.16-2). dwz set to manually installed. libmenhir-ocaml-dev is already the newest version (20250912+ds-1+b1). libmenhir-ocaml-dev set to manually installed. tzdata is already the newest version (2025c-3). tzdata set to manually installed. libmpfr6 is already the newest version (4.2.2-2). libmpfr6 set to manually installed. debhelper is already the newest version (13.29). debhelper set to manually installed. libncurses6 is already the newest version (6.5+20251123-1). libncurses6 set to manually installed. libncursesw6 is already the newest version (6.5+20251123-1). libncursesw6 set to manually installed. libhwasan0 is already the newest version (15.2.0-12). libhwasan0 set to manually installed. libubsan1 is already the newest version (15.2.0-12). libubsan1 set to manually installed. tar is already the newest version (1.35+dfsg-3.1). libc-dev-bin is already the newest version (2.42-6). libc-dev-bin set to manually installed. ocaml-base is already the newest version (5.4.0-1). ocaml-base set to manually installed. libgprofng0 is already the newest version (2.45.50.20251209-1). libgprofng0 set to manually installed. gettext is already the newest version (0.23.2-1). gettext set to manually installed. libtool is already the newest version (2.5.4-9). libtool set to manually installed. libselinux1 is already the newest version (3.9-4+b1). libmount1 is already the newest version (2.41.3-2). xz-utils is already the newest version (5.8.1-2). xz-utils set to manually installed. ncurses-base is already the newest version (6.5+20251123-1). libre-ocaml-dev is already the newest version (1.14.0-1+b1). libre-ocaml-dev set to manually installed. libdebconfclient0 is already the newest version (0.282). build-essential is already the newest version (12.12). build-essential set to manually installed. python3 is already the newest version (3.13.9-2). python3 set to manually installed. ocaml-findlib is already the newest version (1.9.8-1+b2). ocaml-findlib set to manually installed. autotools-dev is already the newest version (20240727.1). autotools-dev set to manually installed. libconfig-tiny-perl is already the newest version (2.30-1). libconfig-tiny-perl set to manually installed. g++ is already the newest version (4:15.2.0-4). g++ set to manually installed. bsdextrautils is already the newest version (2.41.3-2). bsdextrautils 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. libc6-dev is already the newest version (2.42-6). libc6-dev set to manually installed. libelf1t64 is already the newest version (0.194-1). libelf1t64 set to manually installed. libctf0 is already the newest version (2.45.50.20251209-1). libctf0 set to manually installed. libelpi-ocaml-dev is already the newest version (2.0.7-3). libelpi-ocaml-dev set to manually installed. libc-bin is already the newest version (2.42-6). libbinutils is already the newest version (2.45.50.20251209-1). libbinutils set to manually installed. libuchardet0 is already the newest version (0.0.8-2). libuchardet0 set to manually installed. file is already the newest version (1:5.46-5). file set to manually installed. rpcsvc-proto is already the newest version (1.4.3-1+b1). rpcsvc-proto set to manually installed. libgmp3-dev is already the newest version (2:6.3.0+dfsg-5). libgmp3-dev set to manually installed. ocaml is already the newest version (5.4.0-1). ocaml set to manually installed. libisl23 is already the newest version (0.27-1). libisl23 set to manually installed. libcrypt-dev is already the newest version (1:4.5.1-1). libcrypt-dev set to manually installed. libgmp10 is already the newest version (2:6.3.0+dfsg-5). gettext-base is already the newest version (0.23.2-1). gettext-base set to manually installed. libdpkg-perl is already the newest version (1.23.3). libdpkg-perl set to manually installed. po-debconf is already the newest version (1.0.22). po-debconf set to manually installed. libuuid1 is already the newest version (2.41.3-2). libmpc3 is already the newest version (1.3.1-2). libmpc3 set to manually installed. libudev1 is already the newest version (259-1). dh-strip-nondeterminism is already the newest version (1.15.0-1). dh-strip-nondeterminism set to manually installed. libpam-modules is already the newest version (1.7.0-5). sed is already the newest version (4.9-2+b1). ocaml-interp is already the newest version (5.4.0-1). ocaml-interp set to manually installed. libsexplib0-ocaml-dev is already the newest version (0.17.0-1+b3). libsexplib0-ocaml-dev set to manually installed. gcc is already the newest version (4:15.2.0-4). gcc set to manually installed. automake is already the newest version (1:1.18.1-3). automake set to manually installed. dh-autoreconf is already the newest version (21). dh-autoreconf 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. base-files is already the newest version (14). intltool-debian is already the newest version (0.35.0+20060710.6). intltool-debian set to manually installed. util-linux is already the newest version (2.41.3-2). libcoq-hierarchy-builder is already the newest version (1.8.1-1+b11). libcoq-hierarchy-builder set to manually installed. libmagic-mgc is already the newest version (1:5.46-5). libmagic-mgc set to manually installed. libppx-deriving-ocaml is already the newest version (6.1.1-1+b2). libppx-deriving-ocaml set to manually installed. groff-base is already the newest version (1.23.0-10). groff-base set to manually installed. gcc-15 is already the newest version (15.2.0-12). gcc-15 set to manually installed. libstdlib-ocaml is already the newest version (5.4.0-1). libstdlib-ocaml set to manually installed. libgmpxx4ldbl is already the newest version (2:6.3.0+dfsg-5). libgmpxx4ldbl set to manually installed. libacl1 is already the newest version (2.3.2-2+b1). libc-gconv-modules-extra 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. coq is already the newest version (8.20.1+dfsg-1+b2). coq set to manually installed. libzstd1 is already the newest version (1.5.7+dfsg-2). libarchive-zip-perl is already the newest version (1.68-1). libarchive-zip-perl set to manually installed. patch is already the newest version (2.8-2). patch set to manually installed. libmd0 is already the newest version (1.1.0-2+b1). libelpi-ocaml is already the newest version (2.0.7-3). libelpi-ocaml set to manually installed. libblkid1 is already the newest version (2.41.3-2). libctf-nobfd0 is already the newest version (2.45.50.20251209-1). libctf-nobfd0 set to manually installed. libc6 is already the newest version (2.42-6). ncurses-bin is already the newest version (6.5+20251123-1). bash is already the newest version (5.3-1). libncurses-dev is already the newest version (6.5+20251123-1). libncurses-dev 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. libppx-deriving-ocaml-dev is already the newest version (6.1.1-1+b2). libppx-deriving-ocaml-dev set to manually installed. openssl-provider-legacy is already the newest version (3.5.4-1). libasan8 is already the newest version (15.2.0-12). libasan8 set to manually installed. libfile-stripnondeterminism-perl is already the newest version (1.15.0-1). libfile-stripnondeterminism-perl set to manually installed. libffi8 is already the newest version (3.5.2-3). libffi8 set to manually installed. libcoq-mathcomp-ssreflect is already the newest version (2.3.0-1+b15). libcoq-mathcomp-ssreflect set to manually installed. libpython3.13-minimal is already the newest version (3.13.11-1+b1). libpython3.13-minimal 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. debconf is already the newest version (1.5.91). libcap2 is already the newest version (1:2.75-10+b5). libaudit-common is already the newest version (1:4.1.2-1). libbz2-1.0 is already the newest version (1.0.8-6). libstdc++6 is already the newest version (15.2.0-12). libstdc++6 set to manually installed. binutils-aarch64-linux-gnu is already the newest version (2.45.50.20251209-1). binutils-aarch64-linux-gnu set to manually installed. libdb5.3t64 is already the newest version (5.3.28+dfsg2-11). g++-aarch64-linux-gnu is already the newest version (4:15.2.0-4). g++-aarch64-linux-gnu set to manually installed. debianutils is already the newest version (5.23.2). media-types is already the newest version (14.0.0). media-types set to manually installed. gzip is already the newest version (1.13-1). dh-ocaml is already the newest version (2.5). dh-ocaml set to manually installed. libsystemd0 is already the newest version (259-1). hostname is already the newest version (3.25). libsqlite3-0 is already the newest version (3.46.1-8). libsqlite3-0 set to manually installed. libcoq-stdlib is already the newest version (8.20.1+dfsg-1+b2). libcoq-stdlib set to manually installed. libatomic1 is already the newest version (15.2.0-12). libatomic1 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. liblsan0 is already the newest version (15.2.0-12). liblsan0 set to manually installed. libpcre2-8-0 is already the newest version (10.46-1). g++-15 is already the newest version (15.2.0-12). g++-15 set to manually installed. libxml2-16 is already the newest version (2.15.1+dfsg-2+b1). libxml2-16 set to manually installed. grep is already the newest version (3.12-1). cpp is already the newest version (4:15.2.0-4). cpp set to manually installed. 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.6oRlhopyy_ (Reading database ... 26502 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.6oRlhopyy_ I: running special hook: download /pkglist ./pkglist I: running --customize-hook in shell: sh -c 'rm "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.6oRlhopyy_ 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.6oRlhopyy_... I: success in 116.3561 seconds Downloading dependency 132 of 195: ocaml-interp:arm64=5.4.0-1 Downloading dependency 133 of 195: libsexplib0-ocaml-dev:arm64=0.17.0-1+b3 Downloading dependency 134 of 195: gcc:arm64=4:15.2.0-4 Downloading dependency 135 of 195: automake:arm64=1:1.18.1-3 Downloading dependency 136 of 195: dh-autoreconf:arm64=21 Downloading dependency 137 of 195: cpp-15-aarch64-linux-gnu:arm64=15.2.0-12 Downloading dependency 138 of 195: base-files:arm64=14 Downloading dependency 139 of 195: intltool-debian:arm64=0.35.0+20060710.6 Downloading dependency 140 of 195: util-linux:arm64=2.41.3-2 Downloading dependency 141 of 195: libcoq-hierarchy-builder:arm64=1.8.1-1+b11 Downloading dependency 142 of 195: libmagic-mgc:arm64=1:5.46-5 Downloading dependency 143 of 195: libppx-deriving-ocaml:arm64=6.1.1-1+b2 Downloading dependency 144 of 195: groff-base:arm64=1.23.0-10 Downloading dependency 145 of 195: gcc-15:arm64=15.2.0-12 Downloading dependency 146 of 195: libstdlib-ocaml:arm64=5.4.0-1 Downloading dependency 147 of 195: libgmpxx4ldbl:arm64=2:6.3.0+dfsg-5 Downloading dependency 148 of 195: libacl1:arm64=2.3.2-2+b1 Downloading dependency 149 of 195: libc-gconv-modules-extra:arm64=2.42-6 Downloading dependency 150 of 195: man-db:arm64=2.13.1-1 Downloading dependency 151 of 195: coq:arm64=8.20.1+dfsg-1+b2 Downloading dependency 152 of 195: libzstd1:arm64=1.5.7+dfsg-2 Downloading dependency 153 of 195: libarchive-zip-perl:arm64=1.68-1 Downloading dependency 154 of 195: patch:arm64=2.8-2 Downloading dependency 155 of 195: libmd0:arm64=1.1.0-2+b1 Downloading dependency 156 of 195: libelpi-ocaml:arm64=2.0.7-3 Downloading dependency 157 of 195: libblkid1:arm64=2.41.3-2 Downloading dependency 158 of 195: libctf-nobfd0:arm64=2.45.50.20251209-1 Downloading dependency 159 of 195: libc6:arm64=2.42-6 Downloading dependency 160 of 195: ncurses-bin:arm64=6.5+20251123-1 Downloading dependency 161 of 195: bash:arm64=5.3-1 Downloading dependency 162 of 195: libncurses-dev:arm64=6.5+20251123-1 Downloading dependency 163 of 195: libcoq-core-ocaml:arm64=8.20.1+dfsg-1+b2 Downloading dependency 164 of 195: libppx-deriving-ocaml-dev:arm64=6.1.1-1+b2 Downloading dependency 165 of 195: openssl-provider-legacy:arm64=3.5.4-1 Downloading dependency 166 of 195: libasan8:arm64=15.2.0-12 Downloading dependency 167 of 195: libfile-stripnondeterminism-perl:arm64=1.15.0-1 Downloading dependency 168 of 195: libffi8:arm64=3.5.2-3 Downloading dependency 169 of 195: libcoq-mathcomp-ssreflect:arm64=2.3.0-1+b15 Downloading dependency 170 of 195: libpython3.13-minimal:arm64=3.13.11-1+b1 Downloading dependency 171 of 195: gcc-15-aarch64-linux-gnu:arm64=15.2.0-12 Downloading dependency 172 of 195: debconf:arm64=1.5.91 Downloading dependency 173 of 195: libcap2:arm64=1:2.75-10+b5 Downloading dependency 174 of 195: libaudit-common:arm64=1:4.1.2-1 Downloading dependency 175 of 195: libbz2-1.0:arm64=1.0.8-6 Downloading dependency 176 of 195: libstdc++6:arm64=15.2.0-12 Downloading dependency 177 of 195: binutils-aarch64-linux-gnu:arm64=2.45.50.20251209-1 Downloading dependency 178 of 195: libdb5.3t64:arm64=5.3.28+dfsg2-11 Downloading dependency 179 of 195: g++-aarch64-linux-gnu:arm64=4:15.2.0-4 Downloading dependency 180 of 195: debianutils:arm64=5.23.2 Downloading dependency 181 of 195: media-types:arm64=14.0.0 Downloading dependency 182 of 195: gzip:arm64=1.13-1 Downloading dependency 183 of 195: dh-ocaml:arm64=2.5 Downloading dependency 184 of 195: libsystemd0:arm64=259-1 Downloading dependency 185 of 195: hostname:arm64=3.25 Downloading dependency 186 of 195: libsqlite3-0:arm64=3.46.1-8 Downloading dependency 187 of 195: libcoq-stdlib:arm64=8.20.1+dfsg-1+b2 Downloading dependency 188 of 195: libatomic1:arm64=15.2.0-12 Downloading dependency 189 of 195: perl-modules-5.40:arm64=5.40.1-7 Downloading dependency 190 of 195: liblsan0:arm64=15.2.0-12 Downloading dependency 191 of 195: libpcre2-8-0:arm64=10.46-1 Downloading dependency 192 of 195: g++-15:arm64=15.2.0-12 Downloading dependency 193 of 195: libxml2-16:arm64=2.15.1+dfsg-2+b1 Downloading dependency 194 of 195: grep:arm64=3.12-1 Downloading dependency 195 of 195: cpp:arm64=4:15.2.0-4 env --chdir=/srv/rebuilderd/tmp/rebuilderd3qElxK/out DEB_BUILD_OPTIONS=parallel=8 LANG=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 SOURCE_DATE_EPOCH=1766902318 SBUILD_CONFIG=/srv/rebuilderd/tmp/debrebuildcRc_4y/debrebuild.sbuildrc.Q21s_daVCkqF sbuild --build=arm64 --host=arm64 --no-source --arch-any --no-arch-all --binNMU-changelog= coq-relation-algebra (1.7.11-1+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-ubc-04) Sun, 28 Dec 2025 06:11:58 +0000 --chroot=/srv/rebuilderd/tmp/debrebuildcRc_4y/debrebuild.tar.b_UcnELZpOnA --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=coq-relation-algebra-1.7.11 /srv/rebuilderd/tmp/rebuilderd3qElxK/inputs/coq-relation-algebra_1.7.11-1.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 +==============================================================================+ | coq-relation-algebra 1.7.11-1+b15 (arm64) Tue, 30 Dec 2025 09:21:08 +0000 | +==============================================================================+ Package: coq-relation-algebra Version: 1.7.11-1+b15 Source Version: 1.7.11-1 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/debrebuildcRc_4y/debrebuild.tar.b_UcnELZpOnA to /srv/rebuilderd/tmp/tmp.sbuild.bQFotEuFrB... 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 09:21:21 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /srv/rebuilderd/tmp/rebuilderd3qElxK/inputs/coq-relation-algebra_1.7.11-1.dsc exists in /srv/rebuilderd/tmp/rebuilderd3qElxK/inputs; copying to chroot sbuild: warning: descr(l1): found blank line where expected first heading +------------------------------------------------------------------------------+ | Install package build dependencies Tue, 30 Dec 2025 09:21:24 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-aac-tactics, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential Filtered Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-aac-tactics, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-lDFkBa/apt_archive/sbuild-build-depends-main-dummy.deb'. Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies +------------------------------------------------------------------------------+ | Check architectures Tue, 30 Dec 2025 09:21:31 +0000 | +------------------------------------------------------------------------------+ Arch check ok (arm64 included in any) +------------------------------------------------------------------------------+ | Build environment Tue, 30 Dec 2025 09:21:31 +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-aac-tactics_8.20.0-1+b5 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-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 09:21:31 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq-relation-algebra Binary: libcoq-relation-algebra Architecture: any Version: 1.7.11-1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/damien-pous/relation-algebra Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-relation-algebra Vcs-Git: https://salsa.debian.org/ocaml-team/coq-relation-algebra.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-aac-tactics, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib Package-List: libcoq-relation-algebra deb ocaml optional arch=any Checksums-Sha1: 604c4995145c10e227d848ec6c0368f6b599ace9 196680 coq-relation-algebra_1.7.11.orig.tar.gz 6a32abe53b04f618f4bca85326a6eb7861256ce9 2232 coq-relation-algebra_1.7.11-1.debian.tar.xz Checksums-Sha256: 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e 2232 coq-relation-algebra_1.7.11-1.debian.tar.xz Files: 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz 80e749da2ff5182296a73fbc7d603ca1 2232 coq-relation-algebra_1.7.11-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9smsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR6ZoP/iSaRP0WWYolZlWFc8w3RCIS/5u1Q/Fs eGrO27NLOaIZffSqaLeq5GDS7F40+Y5kSzd5YXK2Cylkdu1oZqp+G86EfbQZhJxs lUe3o8DGT1Uz6czuCJuCYJtoA/0cXQi5S7hYdlPYiAPf40tjmruSvl/OrTBRj6+J tNWGkOGJX59jJidJYFP62fx87bu4CBpcJxOIfC0u6ijwCqrJ6a72OIKiiHrNO9dV 2GSa0gjQVM1eryjrD9sigD4svLoUvcn0U4s3yjFgn8YcLu9K1z7uyGKLbpFbKnE3 Nmpm1EDOlWXA2JqdB2ItU2FnViwosPX22kjN+QBt85Bd5jk0amaHcnxEeb+WHnQ2 FbsXmwFRAQ2ldL01uU9N4ExOcXGZSgVoDaTHCz1KwI2B8YSMVQrRTfuhAsa3Csa4 9Eb5TcrlRy2qi477vRy0FOpI7yJt9wun8IBe1acyoCsT+BcnQKuk0yX5+MEnjhhR qnD++j1OhH/13V/n/0u3I4qv8cBtKQdjzXdAZD5G7PiT8Jn7O8F9k9/Rpz0qi0uJ HzSu25ODi33jXSva00KGh7x4rwoKIiSTDCG5Dh5rA+slDzbPPT7N652rTVPCvBJ2 yjuR0QzvnKBPy14DJZwfXiKDVegtFdmmfvfIMogl54Ip+KjJNgWuckhIPJVOnyjC 4kJom2MyB1wL =DXEk -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./coq-relation-algebra_1.7.11-1.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./coq-relation-algebra_1.7.11-1.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 coq-relation-algebra in /build/reproducible-path/coq-relation-algebra-1.7.11 dpkg-source: info: unpacking coq-relation-algebra_1.7.11.orig.tar.gz dpkg-source: info: unpacking coq-relation-algebra_1.7.11-1.debian.tar.xz Check disk space ---------------- Sufficient free space for build Hack binNMU version ------------------- Created changelog entry for binNMU version 1.7.11-1+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=1766902318 USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -B dpkg-buildpackage: info: source package coq-relation-algebra dpkg-buildpackage: info: source version 1.7.11-1+b15 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by arm Build Daemon (arm-ubc-04) dpkg-source --before-build . dpkg-buildpackage: info: host architecture arm64 debian/rules clean dh clean --with coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/coq-relation-algebra-1.7.11' make clean make[2]: Entering directory '/build/reproducible-path/coq-relation-algebra-1.7.11' coq_makefile -f _CoqProject -o Makefile.coq CLEAN make[2]: Leaving directory '/build/reproducible-path/coq-relation-algebra-1.7.11' find . -name "*.aux" -delete rm -f Makefile.coq Makefile.coq.conf .nia.cache if test -f _CoqProject.orig; then \ mv _CoqProject.orig _CoqProject; \ fi make[1]: Leaving directory '/build/reproducible-path/coq-relation-algebra-1.7.11' 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 debian/rules override_dh_auto_configure make[1]: Entering directory '/build/reproducible-path/coq-relation-algebra-1.7.11' cp _CoqProject _CoqProject.orig ./configure --enable-ssr --enable-aac make[1]: Leaving directory '/build/reproducible-path/coq-relation-algebra-1.7.11' dh_auto_build -a make -j8 make[1]: Entering directory '/build/reproducible-path/coq-relation-algebra-1.7.11' coq_makefile -f _CoqProject -o Makefile.coq COQPP src/fold_g.mlg COQPP src/mrewrite_g.mlg COQPP src/reification_g.mlg COQPP src/kat_reification_g.mlg COQDEP VFILES CAMLDEP src/fold_g.ml CAMLDEP src/reification_g.ml CAMLDEP src/mrewrite_g.ml CAMLDEP src/kat_reification_g.ml CAMLDEP src/common.ml CAMLDEP src/fold.ml CAMLDEP src/mrewrite.ml CAMLDEP src/reification.ml CAMLDEP src/kat_dec.ml CAMLDEP src/kat_reification.ml OCAMLLIBDEP src/plugins.mlpack OCAMLLIBDEP src/packed_fold.mlpack OCAMLLIBDEP src/packed_mrewrite.mlpack OCAMLLIBDEP src/packed_reification.mlpack OCAMLLIBDEP src/packed_kat.mlpack CAMLDEP src/common.mli CAMLDEP src/fold.mli CAMLDEP src/mrewrite.mli CAMLDEP src/fold_g.mli CAMLDEP src/mrewrite_g.mli CAMLDEP src/reification.mli CAMLDEP src/kat_dec.mli CAMLDEP src/reification_g.mli CAMLDEP src/kat_reification.mli CAMLDEP src/kat_reification_g.mli COQC theories/common.v COQC theories/comparisons.v CAMLC -c src/common.mli CAMLC -c src/fold.mli CAMLC -c src/fold_g.mli CAMLC -c src/mrewrite.mli CAMLC -c src/mrewrite_g.mli CAMLC -c src/reification.mli CAMLC -c src/reification_g.mli CAMLC -c src/kat_dec.mli CAMLC -c src/kat_reification.mli CAMLC -c src/kat_reification_g.mli CAMLOPT -c -for-pack Plugins src/common.ml CAMLOPT -c -for-pack Packed_kat src/kat_dec.ml COQC theories/powerfix.v COQC theories/level.v File "src/common.ml", line 30, characters 14-28: 30 | let error s = Printf.kprintf (fun s -> CErrors.user_err (Pp.str s)) ("[RelationAlgebra] "^^s) ^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Printf.kprintf Use Printf.ksprintf instead. File "src/common.ml", line 53, characters 81-102: 53 | lazy (EConstr.of_constr (UnivGen.constr_of_monomorphic_global (Global.env ()) (Coqlib.find_reference "RelationAlgebra.reification" dir s))) ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Coqlib.find_reference Please use Coqlib.lib_ref CAMLOPT -pack -o src/plugins.cmx COQC theories/positives.v COQC theories/ordinal.v CAMLOPT -a -o src/plugins.cmxa CAMLOPT -c -for-pack Packed_mrewrite src/mrewrite.ml CAMLOPT -c -for-pack Packed_fold src/fold.ml CAMLOPT -c -for-pack Packed_reification src/reification.ml CAMLOPT -c -for-pack Packed_kat src/kat_reification.ml CAMLOPT -shared -o src/plugins.cmxs CAMLOPT -c -for-pack Packed_mrewrite src/mrewrite_g.ml CAMLOPT -c -for-pack Packed_fold src/fold_g.ml CAMLOPT -c -for-pack Packed_reification src/reification_g.ml File "src/fold_g.mlg", line 19, characters 93-100: Alert deprecated: Stdarg.wit_var Use Stdarg.wit_hyp File "src/fold_g.mlg", line 22, characters 93-100: Alert deprecated: Stdarg.wit_var Use Stdarg.wit_hyp COQC theories/lattice.v CAMLOPT -c -for-pack Packed_kat src/kat_reification_g.ml CAMLOPT -pack -o src/packed_reification.cmx CAMLOPT -pack -o src/packed_mrewrite.cmx CAMLOPT -pack -o src/packed_fold.cmx File "./theories/lattice.v", line 46, characters 0-47: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/lattice.v", line 47, characters 0-47: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/lattice.v", line 48, characters 0-47: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/lattice.v", line 49, characters 0-47: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/lattice.v", line 50, characters 0-45: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] CAMLOPT -pack -o src/packed_kat.cmx CAMLOPT -a -o src/packed_fold.cmxa CAMLOPT -a -o src/packed_mrewrite.cmxa CAMLOPT -a -o src/packed_reification.cmxa COQC theories/denum.v COQC theories/pair.v CAMLOPT -shared -o src/packed_reification.cmxs CAMLOPT -shared -o src/packed_fold.cmxs CAMLOPT -shared -o src/packed_mrewrite.cmxs CAMLOPT -a -o src/packed_kat.cmxa CAMLOPT -shared -o src/packed_kat.cmxs File "./theories/lattice.v", line 589, characters 0-36: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] COQC theories/prop.v COQC theories/monoid.v COQC theories/lset.v File "./theories/monoid.v", line 37, characters 0-53: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/monoid.v", line 39, characters 0-47: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/monoid.v", line 40, characters 0-47: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/monoid.v", line 41, characters 0-49: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/monoid.v", line 42, characters 0-53: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/monoid.v", line 43, characters 0-53: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] COQC theories/sups.v COQC theories/lsyntax.v COQC theories/kleene.v COQC theories/rewriting.v COQC theories/syntax.v COQC theories/boolean.v COQC theories/sums.v COQC theories/traces.v COQC theories/lang.v COQC theories/rewriting_aac.v COQC theories/atoms.v COQC theories/factors.v COQC theories/kat.v COQC theories/normalisation.v COQC theories/untyping.v COQC theories/glang.v COQC theories/rel.v COQC theories/ugregex.v COQC theories/srel.v COQC theories/ugregex_dec.v COQC theories/gregex.v COQC theories/kat_reification.v COQC theories/kat_untyping.v File "./theories/kat_reification.v", line 229, characters 0-40: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/kat_reification.v", line 230, characters 0-33: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./theories/kat_reification.v", line 231, characters 0-27: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] COQC theories/matrix.v COQC theories/relalg.v COQC theories/regex.v COQC theories/matrix_ext.v COQC theories/bmx.v COQC theories/dfa.v COQC theories/rmx.v COQC theories/nfa.v COQC theories/ka_completeness.v COQC theories/kat_completeness.v COQC theories/kat_tac.v COQC theories/move.v COQC examples/compiler_opts.v COQC examples/imp.v COQC theories/fhrel.v File "./examples/imp.v", line 39, characters 0-31: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./examples/imp.v", line 40, characters 0-25: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] COQC theories/all.v COQC examples/paterson.v File "./theories/fhrel.v", line 4, characters 0-43: Warning: Notations "_ ^+" defined at level 5 with arguments constr at level 5 and "_ ^+ _" defined at level 29 with arguments constr at level 29 have incompatible prefixes. One of them will likely not work. [notation-incompatible-prefix,parsing,default] File "./theories/fhrel.v", line 263, characters 0-46: Warning: fhrel_pred does not respect the uniform inheritance condition. [uniform-inheritance,coercions,default] make[1]: Leaving directory '/build/reproducible-path/coq-relation-algebra-1.7.11' dh_auto_test -a create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/reproducible-path/coq-relation-algebra-1.7.11' DESTDIR=debian/tmp make install make[2]: Entering directory '/build/reproducible-path/coq-relation-algebra-1.7.11' INSTALL theories/common.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/comparisons.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/positives.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ordinal.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/denum.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/pair.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/powerfix.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/level.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lattice.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/monoid.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kleene.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/factors.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rewriting.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/move.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lsyntax.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/syntax.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/normalisation.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/prop.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/boolean.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rel.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/srel.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lang.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lset.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/sups.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/sums.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/matrix.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/matrix_ext.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/untyping.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/regex.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rmx.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/bmx.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/dfa.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/nfa.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ka_completeness.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/atoms.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/traces.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/glang.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/gregex.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_completeness.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ugregex.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ugregex_dec.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_untyping.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_reification.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_tac.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/relalg.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/all.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ SKIP examples/compiler_opts.vo since it has no logical path SKIP examples/imp.vo since it has no logical path SKIP examples/paterson.vo since it has no logical path INSTALL theories/fhrel.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rewriting_aac.vo debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/common.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/comparisons.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/positives.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ordinal.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/denum.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/pair.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/powerfix.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/level.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lattice.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/monoid.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kleene.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/factors.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rewriting.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/move.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lsyntax.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/syntax.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/normalisation.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/prop.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/boolean.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rel.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/srel.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lang.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lset.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/sups.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/sums.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/matrix.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/matrix_ext.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/untyping.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/regex.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rmx.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/bmx.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/dfa.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/nfa.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ka_completeness.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/atoms.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/traces.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/glang.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/gregex.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_completeness.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ugregex.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ugregex_dec.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_untyping.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_reification.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_tac.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/relalg.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/all.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ SKIP examples/compiler_opts.v since it has no logical path SKIP examples/imp.v since it has no logical path SKIP examples/paterson.v since it has no logical path INSTALL theories/fhrel.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rewriting_aac.v debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/common.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/comparisons.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/positives.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ordinal.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/denum.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/pair.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/powerfix.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/level.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lattice.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/monoid.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kleene.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/factors.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rewriting.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/move.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lsyntax.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/syntax.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/normalisation.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/prop.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/boolean.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rel.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/srel.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lang.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/lset.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/sups.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/sums.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/matrix.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/matrix_ext.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/untyping.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/regex.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rmx.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/bmx.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/dfa.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/nfa.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ka_completeness.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/atoms.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/traces.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/glang.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/gregex.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_completeness.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ugregex.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/ugregex_dec.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_untyping.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_reification.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/kat_tac.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/relalg.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/all.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ SKIP examples/compiler_opts.glob since it has no logical path SKIP examples/imp.glob since it has no logical path SKIP examples/paterson.glob since it has no logical path INSTALL theories/fhrel.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL theories/rewriting_aac.glob debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/plugins.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/packed_fold.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/packed_mrewrite.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/packed_reification.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/packed_kat.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/plugins.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/packed_fold.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/packed_mrewrite.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/packed_reification.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ INSTALL src/packed_kat.cmxs debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq//user-contrib/RelationAlgebra/ ocamlfind: [WARNING] No such file: debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/META Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_kat.cmx Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_reification.cmx Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_mrewrite.cmx Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_fold.cmx Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/plugins.cmx Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_kat.cmxa Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_reification.cmxa Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_mrewrite.cmxa Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_fold.cmxa Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/plugins.cmxa Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_kat.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_reification.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_mrewrite.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_fold.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/plugins.cmxs ocamlfind: [WARNING] Overwriting file debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_kat.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_kat.cmxs ocamlfind: [WARNING] Overwriting file debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_reification.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_reification.cmxs ocamlfind: [WARNING] Overwriting file debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_mrewrite.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_mrewrite.cmxs ocamlfind: [WARNING] Overwriting file debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_fold.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_fold.cmxs ocamlfind: [WARNING] Overwriting file debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/plugins.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/plugins.cmxs Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_kat.cmi Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_reification.cmi Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_mrewrite.cmi Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/packed_fold.cmi Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/plugins.cmi Installed debian/tmp//usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/../coq-core//../coq-relation-algebra/META make[3]: Entering directory '/build/reproducible-path/coq-relation-algebra-1.7.11' make[3]: Leaving directory '/build/reproducible-path/coq-relation-algebra-1.7.11' make[2]: Leaving directory '/build/reproducible-path/coq-relation-algebra-1.7.11' find debian/tmp -empty -delete make[1]: Leaving directory '/build/reproducible-path/coq-relation-algebra-1.7.11' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_lintian -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs: .debug_info section not present dwz: debian/libcoq-relation-algebra/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/plugins.cmxs: .debug_info section not present dwz: Too few files for multifile optimization dh_dwz: warning: No dwz multifile created, but not explicitly requested either so ignoring it. dh_dwz: warning: Common issues include no debug information at all (missing -g) and dh_dwz: warning: compressed debug information (#931891). dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_ocaml -a dh_gencontrol -a dpkg-gencontrol: warning: package libcoq-relation-algebra: substitution variable ${ocaml:Depends} unused, but is defined dpkg-gencontrol: warning: package libcoq-relation-algebra: substitution variable ${ocaml:Depends} unused, but is defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-relation-algebra' in '../libcoq-relation-algebra_1.7.11-1+b15_arm64.deb'. dpkg-deb: building package 'libcoq-relation-algebra-dbgsym' in '../libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb'. dpkg-genbuildinfo --build=any -O../coq-relation-algebra_1.7.11-1+b15_arm64.buildinfo dpkg-genchanges --build=any -O../coq-relation-algebra_1.7.11-1+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-30T09:23:13Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Tue, 30 Dec 2025 09:23:14 +0000 | +------------------------------------------------------------------------------+ coq-relation-algebra_1.7.11-1+b15_arm64.changes: ------------------------------------------------ Format: 1.8 Date: Sun, 28 Dec 2025 06:11:58 +0000 Source: coq-relation-algebra (1.7.11-1) Binary: libcoq-relation-algebra libcoq-relation-algebra-dbgsym Binary-Only: yes Architecture: arm64 Version: 1.7.11-1+b15 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: arm Build Daemon (arm-ubc-04) Description: libcoq-relation-algebra - relation algebra for Coq Changes: coq-relation-algebra (1.7.11-1+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: 1f5bbe1177ef92f262722acc73dbd73f14ffc76c 7117 coq-relation-algebra_1.7.11-1+b15_arm64.buildinfo 542ca8bb66294851e4afe491d31db3eef416ab11 15896 libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb b610d4bff299e8294b4c0f93149dc4dcc6467c0d 2083896 libcoq-relation-algebra_1.7.11-1+b15_arm64.deb Checksums-Sha256: 386f761384bd5b16c8286bfa9c2c59c615d458ca88ded540a518c6798d17d123 7117 coq-relation-algebra_1.7.11-1+b15_arm64.buildinfo 1e4aef3bde2cdb7f5253b42dce58a4370aca30ac102d12645e3773dbad4fda26 15896 libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb 809cbd6139a8c039ba1fabd33f14220569f19fcf2afa4c58b4253db37300b5ae 2083896 libcoq-relation-algebra_1.7.11-1+b15_arm64.deb Files: 9fe444a0030795ac532a81b907e4b25b 7117 ocaml optional coq-relation-algebra_1.7.11-1+b15_arm64.buildinfo d45ba98fab9c37472f3ef3b119ead4c7 15896 debug optional libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb 27c812d7961c951cb074d7d3563299bb 2083896 ocaml optional libcoq-relation-algebra_1.7.11-1+b15_arm64.deb +------------------------------------------------------------------------------+ | Buildinfo Tue, 30 Dec 2025 09:23:15 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-relation-algebra (1.7.11-1) Binary: libcoq-relation-algebra libcoq-relation-algebra-dbgsym Architecture: arm64 Version: 1.7.11-1+b15 Binary-Only-Changes: coq-relation-algebra (1.7.11-1+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-ubc-04) Sun, 28 Dec 2025 06:11:58 +0000 Checksums-Md5: d45ba98fab9c37472f3ef3b119ead4c7 15896 libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb 27c812d7961c951cb074d7d3563299bb 2083896 libcoq-relation-algebra_1.7.11-1+b15_arm64.deb Checksums-Sha1: 542ca8bb66294851e4afe491d31db3eef416ab11 15896 libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb b610d4bff299e8294b4c0f93149dc4dcc6467c0d 2083896 libcoq-relation-algebra_1.7.11-1+b15_arm64.deb Checksums-Sha256: 1e4aef3bde2cdb7f5253b42dce58a4370aca30ac102d12645e3773dbad4fda26 15896 libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb 809cbd6139a8c039ba1fabd33f14220569f19fcf2afa4c58b4253db37300b5ae 2083896 libcoq-relation-algebra_1.7.11-1+b15_arm64.deb Build-Origin: Debian Build-Architecture: arm64 Build-Date: Tue, 30 Dec 2025 09:23:13 +0000 Build-Path: /build/reproducible-path/coq-relation-algebra-1.7.11 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-aac-tactics (= 8.20.0-1+b5), 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-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="1766902318" +------------------------------------------------------------------------------+ | Package contents Tue, 30 Dec 2025 09:23:15 +0000 | +------------------------------------------------------------------------------+ libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb ----------------------------------------------------- new Debian package, version 2.0. size 15896 bytes: control archive=764 bytes. 606 bytes, 12 lines control 530 bytes, 5 lines md5sums Package: libcoq-relation-algebra-dbgsym Source: coq-relation-algebra (1.7.11-1) Version: 1.7.11-1+b15 Auto-Built-Package: debug-symbols Architecture: arm64 Maintainer: Debian OCaml Maintainers Installed-Size: 107 Depends: libcoq-relation-algebra (= 1.7.11-1+b15) Section: debug Priority: optional Description: debug symbols for libcoq-relation-algebra Build-Ids: 42f0bd68b7cbed39bb04fb26dd22ac37c9cb644c 69101e75ccec3a72af418ffd0282dcb2a29b4481 b9bf28fcffa1d50a367ac45108bfe48b72e96a9d c33031c4825efce55c683432c79a5815eb4e2544 e39cc7d09231171cbff767cfe45b8b1dcb066e90 drwxr-xr-x root/root 0 2025-12-28 06:11 ./ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/debug/.build-id/42/ -rw-r--r-- root/root 11328 2025-12-28 06:11 ./usr/lib/debug/.build-id/42/f0bd68b7cbed39bb04fb26dd22ac37c9cb644c.debug drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/debug/.build-id/69/ -rw-r--r-- root/root 14528 2025-12-28 06:11 ./usr/lib/debug/.build-id/69/101e75ccec3a72af418ffd0282dcb2a29b4481.debug drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/debug/.build-id/b9/ -rw-r--r-- root/root 25288 2025-12-28 06:11 ./usr/lib/debug/.build-id/b9/bf28fcffa1d50a367ac45108bfe48b72e96a9d.debug drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/debug/.build-id/c3/ -rw-r--r-- root/root 14584 2025-12-28 06:11 ./usr/lib/debug/.build-id/c3/3031c4825efce55c683432c79a5815eb4e2544.debug drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/debug/.build-id/e3/ -rw-r--r-- root/root 25848 2025-12-28 06:11 ./usr/lib/debug/.build-id/e3/9cc7d09231171cbff767cfe45b8b1dcb066e90.debug drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/share/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-12-28 06:11 ./usr/share/doc/libcoq-relation-algebra-dbgsym -> libcoq-relation-algebra libcoq-relation-algebra_1.7.11-1+b15_arm64.deb ---------------------------------------------- new Debian package, version 2.0. size 2083896 bytes: control archive=4956 bytes. 748 bytes, 18 lines control 20520 bytes, 179 lines md5sums Package: libcoq-relation-algebra Source: coq-relation-algebra (1.7.11-1) Version: 1.7.11-1+b15 Architecture: arm64 Maintainer: Debian OCaml Maintainers Installed-Size: 7980 Depends: libcoq-aac-tactics-ns8j0, libcoq-mathcomp-ssreflect-bqpu1, libcoq-stdlib-vm656 Provides: libcoq-relation-algebra-tid49 Section: ocaml Priority: optional Homepage: https://github.com/damien-pous/relation-algebra Description: relation algebra for Coq This package provides a library on relation algebras, that is those admitting heterogeneous binary relations as a model, ranging from partially ordered monoid to residuated Kleen allegories and Kleene algebras with tests. . Coq is a proof assistant for higher-order logic. drwxr-xr-x root/root 0 2025-12-28 06:11 ./ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/ -rw-r--r-- root/root 1484 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/META -rw-r--r-- root/root 3838 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmi -rw-r--r-- root/root 7417 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmx -rw-r--r-- root/root 6980 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxa -rw-r--r-- root/root 84320 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxs -rw-r--r-- root/root 5596 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmi -rw-r--r-- root/root 10828 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmx -rw-r--r-- root/root 6995 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxa -rw-r--r-- root/root 167424 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxs -rw-r--r-- root/root 5942 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmi -rw-r--r-- root/root 7069 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmx -rw-r--r-- root/root 6779 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxa -rw-r--r-- root/root 79784 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxs -rw-r--r-- root/root 3412 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmi -rw-r--r-- root/root 7772 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmx -rw-r--r-- root/root 7013 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxa -rw-r--r-- root/root 84560 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxs -rw-r--r-- root/root 33802 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmi -rw-r--r-- root/root 10737 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmx -rw-r--r-- root/root 6369 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxa -rw-r--r-- root/root 162440 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxs drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ -rw-r--r-- root/root 2034 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/all.glob -rw-r--r-- root/root 1146 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/all.v -rw-r--r-- root/root 3143 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/all.vo -rw-r--r-- root/root 113439 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/atoms.glob -rw-r--r-- root/root 6369 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/atoms.v -rw-r--r-- root/root 41800 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/atoms.vo -rw-r--r-- root/root 17416 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/bmx.glob -rw-r--r-- root/root 3800 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/bmx.v -rw-r--r-- root/root 25886 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/bmx.vo -rw-r--r-- root/root 16064 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/boolean.glob -rw-r--r-- root/root 3890 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/boolean.v -rw-r--r-- root/root 27793 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/boolean.vo -rw-r--r-- root/root 8285 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/common.glob -rw-r--r-- root/root 3532 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/common.v -rw-r--r-- root/root 11781 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/common.vo -rw-r--r-- root/root 34259 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/comparisons.glob -rw-r--r-- root/root 7588 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/comparisons.v -rw-r--r-- root/root 34688 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/comparisons.vo -rw-r--r-- root/root 7873 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/denum.glob -rw-r--r-- root/root 1993 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/denum.v -rw-r--r-- root/root 9544 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/denum.vo -rw-r--r-- root/root 21536 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/dfa.glob -rw-r--r-- root/root 6085 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/dfa.v -rw-r--r-- root/root 24772 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/dfa.vo -rw-r--r-- root/root 25871 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/factors.glob -rw-r--r-- root/root 2688 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/factors.v -rw-r--r-- root/root 19373 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/factors.vo -rw-r--r-- root/root 79892 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/fhrel.glob -rw-r--r-- root/root 14719 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/fhrel.v -rw-r--r-- root/root 98506 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/fhrel.vo -rw-r--r-- root/root 11538 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/glang.glob -rw-r--r-- root/root 4118 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/glang.v -rw-r--r-- root/root 24684 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/glang.vo -rw-r--r-- root/root 30032 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/gregex.glob -rw-r--r-- root/root 8048 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/gregex.v -rw-r--r-- root/root 55195 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/gregex.vo -rw-r--r-- root/root 104383 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ka_completeness.glob -rw-r--r-- root/root 16356 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ka_completeness.v -rw-r--r-- root/root 72464 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ka_completeness.vo -rw-r--r-- root/root 8668 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat.glob -rw-r--r-- root/root 3144 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat.v -rw-r--r-- root/root 13811 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat.vo -rw-r--r-- root/root 360127 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_completeness.glob -rw-r--r-- root/root 34868 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_completeness.v -rw-r--r-- root/root 331997 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_completeness.vo -rw-r--r-- root/root 30741 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_reification.glob -rw-r--r-- root/root 8308 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_reification.v -rw-r--r-- root/root 47435 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_reification.vo -rw-r--r-- root/root 28623 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_tac.glob -rw-r--r-- root/root 8583 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_tac.v -rw-r--r-- root/root 37967 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_tac.vo -rw-r--r-- root/root 12562 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_untyping.glob -rw-r--r-- root/root 2852 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_untyping.v -rw-r--r-- root/root 13507 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_untyping.vo -rw-r--r-- root/root 64023 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kleene.glob -rw-r--r-- root/root 7329 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kleene.v -rw-r--r-- root/root 51635 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kleene.vo -rw-r--r-- root/root 18575 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lang.glob -rw-r--r-- root/root 6484 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lang.v -rw-r--r-- root/root 39539 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lang.vo -rw-r--r-- root/root 111466 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lattice.glob -rw-r--r-- root/root 21791 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lattice.v -rw-r--r-- root/root 114812 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lattice.vo -rw-r--r-- root/root 34045 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/level.glob -rw-r--r-- root/root 6176 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/level.v -rw-r--r-- root/root 41549 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/level.vo -rw-r--r-- root/root 14437 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lset.glob -rw-r--r-- root/root 4491 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lset.v -rw-r--r-- root/root 25167 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lset.vo -rw-r--r-- root/root 17211 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lsyntax.glob -rw-r--r-- root/root 6171 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lsyntax.v -rw-r--r-- root/root 29143 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lsyntax.vo -rw-r--r-- root/root 211582 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix.glob -rw-r--r-- root/root 21951 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix.v -rw-r--r-- root/root 156017 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix.vo -rw-r--r-- root/root 85246 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix_ext.glob -rw-r--r-- root/root 8419 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix_ext.v -rw-r--r-- root/root 55874 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix_ext.vo -rw-r--r-- root/root 145703 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/monoid.glob -rw-r--r-- root/root 21466 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/monoid.v -rw-r--r-- root/root 161190 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/monoid.vo -rw-r--r-- root/root 18762 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/move.glob -rw-r--r-- root/root 3237 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/move.v -rw-r--r-- root/root 34748 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/move.vo -rw-r--r-- root/root 42100 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/nfa.glob -rw-r--r-- root/root 6405 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/nfa.v -rw-r--r-- root/root 40487 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/nfa.vo -rw-r--r-- root/root 152613 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/normalisation.glob -rw-r--r-- root/root 25632 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/normalisation.v -rw-r--r-- root/root 407867 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/normalisation.vo -rw-r--r-- root/root 53808 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ordinal.glob -rw-r--r-- root/root 12917 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ordinal.v -rw-r--r-- root/root 53846 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ordinal.vo -rw-r--r-- root/root 84320 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs -rw-r--r-- root/root 167424 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs -rw-r--r-- root/root 79784 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs -rw-r--r-- root/root 84560 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs -rw-r--r-- root/root 10314 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/pair.glob -rw-r--r-- root/root 2761 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/pair.v -rw-r--r-- root/root 21906 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/pair.vo -rw-r--r-- root/root 162440 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/plugins.cmxs -rw-r--r-- root/root 6642 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/positives.glob -rw-r--r-- root/root 1913 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/positives.v -rw-r--r-- root/root 9829 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/positives.vo -rw-r--r-- root/root 9055 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/powerfix.glob -rw-r--r-- root/root 3020 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/powerfix.v -rw-r--r-- root/root 7721 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/powerfix.vo -rw-r--r-- root/root 2225 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/prop.glob -rw-r--r-- root/root 1186 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/prop.v -rw-r--r-- root/root 7046 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/prop.vo -rw-r--r-- root/root 122797 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/regex.glob -rw-r--r-- root/root 15977 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/regex.v -rw-r--r-- root/root 105500 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/regex.vo -rw-r--r-- root/root 16194 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rel.glob -rw-r--r-- root/root 6182 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rel.v -rw-r--r-- root/root 30986 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rel.vo -rw-r--r-- root/root 129161 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/relalg.glob -rw-r--r-- root/root 19297 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/relalg.v -rw-r--r-- root/root 189799 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/relalg.vo -rw-r--r-- root/root 27207 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting.glob -rw-r--r-- root/root 4510 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting.v -rw-r--r-- root/root 21099 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting.vo -rw-r--r-- root/root 5452 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting_aac.glob -rw-r--r-- root/root 1783 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting_aac.v -rw-r--r-- root/root 8922 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting_aac.vo -rw-r--r-- root/root 68562 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rmx.glob -rw-r--r-- root/root 11202 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rmx.v -rw-r--r-- root/root 76748 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rmx.vo -rw-r--r-- root/root 28340 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/srel.glob -rw-r--r-- root/root 10045 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/srel.v -rw-r--r-- root/root 50199 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/srel.vo -rw-r--r-- root/root 6956 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sums.glob -rw-r--r-- root/root 1234 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sums.v -rw-r--r-- root/root 5696 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sums.vo -rw-r--r-- root/root 44315 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sups.glob -rw-r--r-- root/root 7933 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sups.v -rw-r--r-- root/root 48791 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sups.vo -rw-r--r-- root/root 56553 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/syntax.glob -rw-r--r-- root/root 14585 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/syntax.v -rw-r--r-- root/root 126167 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/syntax.vo -rw-r--r-- root/root 88675 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/traces.glob -rw-r--r-- root/root 22457 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/traces.v -rw-r--r-- root/root 166433 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/traces.vo -rw-r--r-- root/root 44348 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex.glob -rw-r--r-- root/root 8220 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex.v -rw-r--r-- root/root 45211 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex.vo -rw-r--r-- root/root 81602 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex_dec.glob -rw-r--r-- root/root 14339 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex_dec.v -rw-r--r-- root/root 89909 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex_dec.vo -rw-r--r-- root/root 128948 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/untyping.glob -rw-r--r-- root/root 26210 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/untyping.v -rw-r--r-- root/root 419078 2025-12-28 06:11 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/untyping.vo drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/share/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/share/doc/libcoq-relation-algebra/ -rw-r--r-- root/root 230 2025-12-28 06:11 ./usr/share/doc/libcoq-relation-algebra/changelog.Debian.arm64.gz -rw-r--r-- root/root 618 2025-12-28 06:11 ./usr/share/doc/libcoq-relation-algebra/changelog.Debian.gz -rw-r--r-- root/root 974 2024-09-18 07:54 ./usr/share/doc/libcoq-relation-algebra/changelog.gz -rw-r--r-- root/root 598 2024-11-20 09:56 ./usr/share/doc/libcoq-relation-algebra/copyright drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/share/lintian/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 2072 2024-11-20 09:56 ./usr/share/lintian/overrides/libcoq-relation-algebra drwxr-xr-x root/root 0 2025-12-28 06:11 ./var/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./var/lib/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./var/lib/coq/ drwxr-xr-x root/root 0 2025-12-28 06:11 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2025-12-28 06:11 ./var/lib/coq/md5sums/libcoq-relation-algebra.checksum +------------------------------------------------------------------------------+ | Post Build Tue, 30 Dec 2025 09:23:17 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Tue, 30 Dec 2025 09:23:17 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Tue, 30 Dec 2025 09:23:20 +0000 | +------------------------------------------------------------------------------+ Build Architecture: arm64 Build Type: any Build-Space: 31116 Build-Time: 99 Distribution: unstable Host Architecture: arm64 Install-Time: 7 Job: /srv/rebuilderd/tmp/rebuilderd3qElxK/inputs/coq-relation-algebra_1.7.11-1.dsc Machine Architecture: arm64 Package: coq-relation-algebra Package-Time: 125 Source-Version: 1.7.11-1 Space: 31116 Status: successful Version: 1.7.11-1+b15 -------------------------------------------------------------------------------- Finished at 2025-12-30T09:23:13Z Build needed 00:02:05, 31116k disk space build artifacts stored in /srv/rebuilderd/tmp/rebuilderd3qElxK/out checking libcoq-relation-algebra-dbgsym_1.7.11-1+b15_arm64.deb: size... md5... sha256... sha1... all OK checking libcoq-relation-algebra_1.7.11-1+b15_arm64.deb: size... sha1... md5... sha256... all OK +------------------------------------------------------------------------------+ + set +x | Finished running debrebuild Tue, 30 Dec 2025 09:23:20 +0000 | +------------------------------------------------------------------------------+