=============================================================================== 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/rebuilderd6w6cX7/inputs/coqeal_2.1.2-2+b2_riscv64.buildinfo Source: coqeal Version: 2.1.2-2 rebuilderd-worker node: riscv64-33 +------------------------------------------------------------------------------+ | Downloading sources Mon, 28 Sep 2026 06:59:57 +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.7 kB] Get:5 https://deb.debian.org/debian trixie-backports InRelease [54.0 kB] Get:6 https://deb.debian.org/debian forky InRelease [151 kB] Get:7 https://deb.debian.org/debian sid InRelease [193 kB] Get:8 https://deb.debian.org/debian experimental InRelease [91.7 kB] Get:9 https://deb.debian.org/debian trixie/non-free-firmware Sources [6,552 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 [231 kB] Get:13 https://deb.debian.org/debian trixie-updates/main Sources [1,840 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [105 kB] Get:15 https://deb.debian.org/debian trixie-backports/main Sources [312 kB] Get:16 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [3,412 B] Get:17 https://deb.debian.org/debian forky/non-free-firmware Sources [7,876 B] Get:18 https://deb.debian.org/debian forky/main Sources [11.3 MB] Get:19 https://deb.debian.org/debian sid/non-free-firmware Sources [10.6 kB] Get:20 https://deb.debian.org/debian sid/main Sources [12.0 MB] Get:21 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,568 B] Get:22 https://deb.debian.org/debian experimental/main Sources [398 kB] Fetched 35.6 MB in 15s (2,439 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.2-2.dsc' coqeal_2.1.2-2.dsc 2163 SHA256:dbd85e41ba7bce30f950209f9fc3a976cd4ef23cca941480c5a9a2cc4f05b21f 'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.2.orig.tar.gz' coqeal_2.1.2.orig.tar.gz 227558 SHA256:4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.2-2.debian.tar.xz' coqeal_2.1.2-2.debian.tar.xz 2552 SHA256:a27f1b405461172ba00f4415a8ae299888db58e86ef5164b528fc64312926dc6 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f coqeal_2.1.2.orig.tar.gz a27f1b405461172ba00f4415a8ae299888db58e86ef5164b528fc64312926dc6 coqeal_2.1.2-2.debian.tar.xz dbd85e41ba7bce30f950209f9fc3a976cd4ef23cca941480c5a9a2cc4f05b21f coqeal_2.1.2-2.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Mon, 28 Sep 2026 07:00:14 +0000 | +------------------------------------------------------------------------------+ Rebuilding coqeal=2.1.2-2 in /srv/rebuilderd/tmp/rebuilderd6w6cX7/inputs now. + /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderd6w6cX7/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderd6w6cX7/inputs/coqeal_2.1.2-2+b2_riscv64.buildinfo /srv/rebuilderd/tmp/rebuilderd6w6cX7/inputs/coqeal_2.1.2-2+b2_riscv64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coqeal-2.1.2 I: verifying dsc... successful! WARNING:root:found partial file in cache, consider deleting it manually: /srv/rebuilderd/cache/pool/main/q/qt6-shadertools/libqt6shadertools6_6.11.2-1_riscv64.212703.part Get:1 http://deb.debian.org/debian unstable InRelease [193 kB] Get:2 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable InRelease [193 kB] Get:3 http://deb.debian.org/debian unstable/main riscv64 Packages [10.4 MB] Get:4 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 Packages [10.3 MB] Fetched 21.1 MB in 7s (2981 kB/s) Reading package lists... W: http://snapshot.debian.org/archive/debian/20260917T082919Z/dists/unstable/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted Get:1 http://deb.debian.org/debian unstable/main riscv64 libacl1 riscv64 2.4.0-1 [37.1 kB] Get:2 http://deb.debian.org/debian unstable/main riscv64 libattr1 riscv64 1:2.6.0-1 [24.7 kB] Get:3 http://deb.debian.org/debian unstable/main riscv64 autoconf all 2.73-2 [516 kB] Get:4 http://deb.debian.org/debian unstable/main riscv64 automake all 1:1.19-2 [891 kB] Get:5 http://deb.debian.org/debian unstable/main riscv64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:6 http://deb.debian.org/debian unstable/main riscv64 base-files riscv64 14.2 [87.9 kB] Get:7 http://deb.debian.org/debian unstable/main riscv64 base-passwd riscv64 3.6.8 [54.8 kB] Get:8 http://deb.debian.org/debian unstable/main riscv64 bash riscv64 5.3-4 [1560 kB] Get:9 http://deb.debian.org/debian unstable/main riscv64 binutils riscv64 2.47-6 [289 kB] Get:10 http://deb.debian.org/debian unstable/main riscv64 binutils-common riscv64 2.47-6 [2686 kB] Get:11 http://deb.debian.org/debian unstable/main riscv64 binutils-riscv64-linux-gnu riscv64 2.47-6 [928 kB] Get:12 http://deb.debian.org/debian unstable/main riscv64 libbinutils riscv64 2.47-6 [511 kB] Get:13 http://deb.debian.org/debian unstable/main riscv64 libctf-nobfd0 riscv64 2.47-6 [164 kB] Get:14 http://deb.debian.org/debian unstable/main riscv64 libctf0 riscv64 2.47-6 [96.5 kB] Get:15 http://deb.debian.org/debian unstable/main riscv64 build-essential riscv64 12.12 [4628 B] Get:16 http://deb.debian.org/debian unstable/main riscv64 bzip2 riscv64 1.0.8-6+b2 [40.2 kB] Get:17 http://deb.debian.org/debian unstable/main riscv64 libbz2-1.0 riscv64 1.0.8-6+b2 [39.6 kB] Get:18 http://deb.debian.org/debian unstable/main riscv64 libdebconfclient0 riscv64 0.283 [7424 B] Get:19 http://deb.debian.org/debian unstable/main riscv64 coq riscv64 9.2.0+dfsg-4 [42.5 MB] Get:20 http://deb.debian.org/debian unstable/main riscv64 libcoq-core riscv64 9.2.0+dfsg-4 [1152 kB] Get:21 http://deb.debian.org/debian unstable/main riscv64 libcoq-core-ocaml riscv64 9.2.0+dfsg-4 [26.0 MB] Get:22 http://deb.debian.org/debian unstable/main riscv64 libcoq-core-ocaml-dev riscv64 9.2.0+dfsg-4 [60.9 MB] Get:23 http://deb.debian.org/debian unstable/main riscv64 libcoq-bignums riscv64 9.0.0+rocq9.2-3+b1 [1901 kB] Get:24 http://deb.debian.org/debian unstable/main riscv64 libcoq-elpi riscv64 3.5.0-3+b2 [13.3 MB] Get:25 http://deb.debian.org/debian unstable/main riscv64 libcoq-hierarchy-builder riscv64 1.10.3-3+b2 [832 kB] Get:26 http://deb.debian.org/debian unstable/main riscv64 coreutils riscv64 9.10-1 [3128 kB] Get:27 http://deb.debian.org/debian unstable/main riscv64 dash riscv64 0.5.12-12 [101 kB] Get:28 http://deb.debian.org/debian unstable/main riscv64 libdb5.3t64 riscv64 5.3.28+dfsg2-11+b1 [719 kB] Get:29 http://deb.debian.org/debian unstable/main riscv64 debconf all 1.5.92 [123 kB] Get:30 http://deb.debian.org/debian unstable/main riscv64 debhelper all 14.5 [944 kB] Get:31 http://deb.debian.org/debian unstable/main riscv64 libdebhelper-perl all 14.5 [77.7 kB] Get:32 http://deb.debian.org/debian unstable/main riscv64 debianutils riscv64 5.24 [92.5 kB] Get:33 http://deb.debian.org/debian unstable/main riscv64 dh-autoreconf all 23 [12.7 kB] Get:34 http://deb.debian.org/debian unstable/main riscv64 dh-coq all 0.17 [6960 B] Get:35 http://deb.debian.org/debian unstable/main riscv64 dh-ocaml all 3.8 [201 kB] Get:36 http://deb.debian.org/debian unstable/main riscv64 diffutils riscv64 1:3.12-1 [405 kB] Get:37 http://deb.debian.org/debian unstable/main riscv64 dpkg riscv64 1.23.11 [1208 kB] Get:38 http://deb.debian.org/debian unstable/main riscv64 dpkg-dev all 1.23.11 [1005 kB] Get:39 http://deb.debian.org/debian unstable/main riscv64 libdpkg-perl all 1.23.11 [650 kB] Get:40 http://deb.debian.org/debian unstable/main riscv64 dwz riscv64 0.17-1 [115 kB] Get:41 http://deb.debian.org/debian unstable/main riscv64 libelf1t64 riscv64 0.196-1 [62.9 kB] Get:42 http://deb.debian.org/debian unstable/main riscv64 libelpi-ocaml riscv64 3.7.2-2+b2 [3435 kB] Get:43 http://deb.debian.org/debian unstable/main riscv64 libelpi-ocaml-dev riscv64 3.7.2-2+b2 [13.0 MB] Get:44 http://deb.debian.org/debian unstable/main riscv64 file riscv64 1:5.47-4 [42.8 kB] Get:45 http://deb.debian.org/debian unstable/main riscv64 findutils riscv64 4.11.0-2 [785 kB] Get:46 http://deb.debian.org/debian unstable/main riscv64 cpp riscv64 4:16.1.0-3 [1568 B] Get:47 http://deb.debian.org/debian unstable/main riscv64 cpp-riscv64-linux-gnu riscv64 4:16.1.0-3 [4464 B] Get:48 http://deb.debian.org/debian unstable/main riscv64 g++ riscv64 4:16.1.0-3 [1324 B] Get:49 http://deb.debian.org/debian unstable/main riscv64 g++-riscv64-linux-gnu riscv64 4:16.1.0-3 [1196 B] Get:50 http://deb.debian.org/debian unstable/main riscv64 gcc riscv64 4:16.1.0-3 [5144 B] Get:51 http://deb.debian.org/debian unstable/main riscv64 gcc-riscv64-linux-gnu riscv64 4:16.1.0-3 [1432 B] Get:52 http://deb.debian.org/debian unstable/main riscv64 autopoint all 1.0-5 [820 kB] Get:53 http://deb.debian.org/debian unstable/main riscv64 gettext riscv64 1.0-5 [2658 kB] Get:54 http://deb.debian.org/debian unstable/main riscv64 gettext-base riscv64 1.0-5 [331 kB] Get:55 http://deb.debian.org/debian unstable/main riscv64 grep riscv64 3.12-1 [442 kB] Get:56 http://deb.debian.org/debian unstable/main riscv64 groff-base riscv64 1.24.1-1 [1311 kB] Get:57 http://deb.debian.org/debian unstable/main riscv64 gzip riscv64 1.14-1 [144 kB] Get:58 http://deb.debian.org/debian unstable/main riscv64 hostname riscv64 3.25 [10.7 kB] Get:59 http://deb.debian.org/debian unstable/main riscv64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:60 http://deb.debian.org/debian unstable/main riscv64 libarchive-zip-perl all 1.68-1 [104 kB] Get:61 http://deb.debian.org/debian unstable/main riscv64 libcap-ng0 riscv64 0.9.6-1 [18.4 kB] Get:62 http://deb.debian.org/debian unstable/main riscv64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:63 http://deb.debian.org/debian unstable/main riscv64 libffi8 riscv64 3.8.0-2 [26.7 kB] Get:64 http://deb.debian.org/debian unstable/main riscv64 libcrypt1 riscv64 1:4.5.2+20251210-1 [113 kB] Get:65 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-bigenough riscv64 1.0.4-3+b2 [22.1 kB] Get:66 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-finmap riscv64 2.2.4-3+b2 [1050 kB] Get:67 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-multinomials riscv64 2.5.0-3+b2 [2298 kB] Get:68 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-real-closed riscv64 2.0.6-2+b2 [2867 kB] Get:69 http://deb.debian.org/debian unstable/main riscv64 libcompiler-libs-ocaml-dev riscv64 5.4.1-1 [42.0 MB] Get:70 http://deb.debian.org/debian unstable/main riscv64 libcoq-micromega-plugin riscv64 1.1.1-2 [4217 kB] Get:71 http://deb.debian.org/debian unstable/main riscv64 libcoq-stdlib riscv64 9.2.0-1+b1 [20.1 MB] Get:72 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-algebra riscv64 2.6.0-3+b2 [23.1 MB] Get:73 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-boot riscv64 2.6.0-3+b2 [6032 kB] Get:74 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-field riscv64 2.6.0-3+b2 [4523 kB] Get:75 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-finite-group riscv64 2.6.0-3+b2 [2468 kB] Get:76 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-order riscv64 2.6.0-3+b2 [6871 kB] Get:77 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-solvable riscv64 2.6.0-3+b2 [5069 kB] Get:78 http://deb.debian.org/debian unstable/main riscv64 libcoq-mathcomp-ssreflect riscv64 2.6.0-3+b2 [90.3 kB] Get:79 http://deb.debian.org/debian unstable/main riscv64 dh-strip-nondeterminism all 1.15.1-1 [6020 B] Get:80 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libaudit-common all 1:4.1.2-1 [14.3 kB] Get:81 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libaudit1 riscv64 1:4.1.2-1+b2 [57.0 kB] Get:82 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libexpat1 riscv64 2.8.4-1 [123 kB] Get:83 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 cpp-16 riscv64 16.2.0-2 [1272 B] Get:84 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 cpp-16-riscv64-linux-gnu riscv64 16.2.0-2 [114 MB] Get:85 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 g++-16 riscv64 16.2.0-2 [35.2 kB] Get:86 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 g++-16-riscv64-linux-gnu riscv64 16.2.0-2 [121 MB] Get:87 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 gcc-16 riscv64 16.2.0-2 [524 kB] Get:88 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 gcc-16-base riscv64 16.2.0-2 [38.4 kB] Get:89 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 gcc-16-riscv64-linux-gnu riscv64 16.2.0-2 [128 MB] Get:90 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libasan8 riscv64 16.2.0-2 [2993 kB] Get:91 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libatomic1 riscv64 16.2.0-2 [8508 B] Get:92 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libcc1-0 riscv64 16.2.0-2 [41.7 kB] Get:93 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libc-bin riscv64 2.43-5 [586 kB] Get:94 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libc-dev-bin riscv64 2.43-5 [38.2 kB] Get:95 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libc-gconv-modules-extra riscv64 2.43-5 [1105 kB] Get:96 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libc6 riscv64 2.43-5 [1464 kB] Get:97 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libc6-dev riscv64 2.43-5 [3502 kB] Get:98 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 init-system-helpers all 1.69+nmu1 [37.1 kB] Get:99 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 bsdextrautils riscv64 2.42.3-1 [103 kB] Get:100 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libblkid1 riscv64 2.42.3-1 [193 kB] Fetched 682 MB in 1min 33s (7353 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libdb5.3t64_5.3.28+dfsg2-11+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/debianutils_5.24_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/init-system-helpers_1.69+nmu1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-elpi_3.5.0-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-bigenough_1.0.4-3+b2_riscv64.deb' dpkg-name: info: moved 'gcc_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/gcc_16.1.0-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-micromega-plugin_1.1.1-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/dpkg_1.23.11_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/gettext-base_1.0-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/dwz_0.17-1_riscv64.deb' dpkg-name: info: moved 'libattr1_1%3a2.6.0-1_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/libattr1_2.6.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-core_9.2.0+dfsg-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcap-ng0_0.9.6-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/gettext_1.0-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/debconf_1.5.92_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-core-ocaml-dev_9.2.0+dfsg-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libdpkg-perl_1.23.11_all.deb' dpkg-name: info: moved 'gcc-riscv64-linux-gnu_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/gcc-riscv64-linux-gnu_16.1.0-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/gcc-16_16.2.0-2_riscv64.deb' dpkg-name: info: moved 'libcrypt1_1%3a4.5.2+20251210-1_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/libcrypt1_4.5.2+20251210-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-finite-group_2.6.0-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/cpp-16-riscv64-linux-gnu_16.2.0-2_riscv64.deb' dpkg-name: info: moved 'g++_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/g++_16.1.0-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/bash_5.3-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-order_2.6.0-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libbinutils_2.47-6_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libblkid1_2.42.3-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libc-gconv-modules-extra_2.43-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libelf1t64_0.196-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libc-dev-bin_2.43-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libctf0_2.47-6_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/intltool-debian_0.35.0+20060710.6_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/hostname_3.25_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libdebconfclient0_0.283_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-algebra_2.6.0-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/build-essential_12.12_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libbz2-1.0_1.0.8-6+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/dh-strip-nondeterminism_1.15.1-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libdebhelper-perl_14.5_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/dpkg-dev_1.23.11_all.deb' dpkg-name: info: moved 'libaudit-common_1%3a4.1.2-1_all.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/libaudit-common_4.1.2-1_all.deb' dpkg-name: info: moved 'diffutils_1%3a3.12-1_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/diffutils_3.12-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/grep_3.12-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/base-passwd_3.6.8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-bignums_9.0.0+rocq9.2-3+b1_riscv64.deb' dpkg-name: info: moved 'cpp_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/cpp_16.1.0-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcompiler-libs-ocaml-dev_5.4.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/cpp-16_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libctf-nobfd0_2.47-6_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libc-bin_2.43-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/base-files_14.2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/g++-16_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/autotools-dev_20240727.1+nmu1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libelpi-ocaml_3.7.2-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libffi8_3.8.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-field_2.6.0-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/debhelper_14.5_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-solvable_2.6.0-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/autopoint_1.0-5_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-stdlib_9.2.0-1+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/coq_9.2.0+dfsg-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcc1-0_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/g++-16-riscv64-linux-gnu_16.2.0-2_riscv64.deb' dpkg-name: info: moved 'file_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/file_5.47-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/dash_0.5.12-12_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-finmap_2.2.4-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/bzip2_1.0.8-6+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/binutils-common_2.47-6_riscv64.deb' dpkg-name: info: moved 'g++-riscv64-linux-gnu_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/g++-riscv64-linux-gnu_16.1.0-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/coreutils_9.10-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-boot_2.6.0-3+b2_riscv64.deb' dpkg-name: info: moved 'cpp-riscv64-linux-gnu_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/cpp-riscv64-linux-gnu_16.1.0-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/groff-base_1.24.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/gzip_1.14-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-real-closed_2.0.6-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libexpat1_2.8.4-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libelpi-ocaml-dev_3.7.2-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libasan8_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/dh-autoreconf_23_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libarchive-zip-perl_1.68-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/gcc-16-base_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/autoconf_2.73-2_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-core-ocaml_9.2.0+dfsg-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/gcc-16-riscv64-linux-gnu_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/dh-coq_0.17_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libconfig-tiny-perl_2.30-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/findutils_4.11.0-2_riscv64.deb' dpkg-name: info: moved 'automake_1%3a1.19-2_all.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/automake_1.19-2_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/dh-ocaml_3.8_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libc6_2.43-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/binutils_2.47-6_riscv64.deb' dpkg-name: info: moved 'libaudit1_1%3a4.1.2-1+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmpb5wby3ub/libaudit1_4.1.2-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libacl1_2.4.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-ssreflect_2.6.0-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-mathcomp-multinomials_2.5.0-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libatomic1_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libcoq-hierarchy-builder_1.10.3-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/libc6-dev_2.43-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/binutils-riscv64-linux-gnu_2.47-6_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb5wby3ub/bsdextrautils_2.42.3-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libgprofng0 riscv64 2.47-6 [723 kB] Get:2 http://deb.debian.org/debian unstable/main riscv64 libsframe3 riscv64 2.47-6 [86.1 kB] Get:3 http://deb.debian.org/debian unstable/main riscv64 libmagic-mgc riscv64 1:5.47-4 [345 kB] Get:4 http://deb.debian.org/debian unstable/main riscv64 libmagic1t64 riscv64 1:5.47-4 [117 kB] Get:5 http://deb.debian.org/debian unstable/main riscv64 libfindlib-ocaml riscv64 1.9.8-1+b3 [198 kB] Get:6 http://deb.debian.org/debian unstable/main riscv64 libfindlib-ocaml-dev riscv64 1.9.8-1+b3 [225 kB] Get:7 http://deb.debian.org/debian unstable/main riscv64 ocaml-findlib riscv64 1.9.8-1+b3 [621 kB] Get:8 http://deb.debian.org/debian unstable/main riscv64 libgdbm-compat4t64 riscv64 1.26-1+b2 [52.1 kB] Get:9 http://deb.debian.org/debian unstable/main riscv64 libgdbm6t64 riscv64 1.26-1+b2 [78.1 kB] Get:10 http://deb.debian.org/debian unstable/main riscv64 libgmp-dev riscv64 2:6.3.0+dfsg-5+b2 [1101 kB] Get:11 http://deb.debian.org/debian unstable/main riscv64 libgmp10 riscv64 2:6.3.0+dfsg-5+b2 [561 kB] Get:12 http://deb.debian.org/debian unstable/main riscv64 libgmp3-dev riscv64 2:6.3.0+dfsg-5+b2 [321 kB] Get:13 http://deb.debian.org/debian unstable/main riscv64 libgmpxx4ldbl riscv64 2:6.3.0+dfsg-5+b2 [328 kB] Get:14 http://deb.debian.org/debian unstable/main riscv64 libisl23 riscv64 0.28-1 [666 kB] Get:15 http://deb.debian.org/debian unstable/main riscv64 libocaml-compiler-libs-ocaml-dev riscv64 0.17.0-2+b1 [92.3 kB] Get:16 http://deb.debian.org/debian unstable/main riscv64 libjansson4 riscv64 2.15.1-1 [65.1 kB] Get:17 http://deb.debian.org/debian unstable/main riscv64 libjson-perl all 4.10000-1 [87.5 kB] Get:18 http://deb.debian.org/debian unstable/main riscv64 libmd0 riscv64 1.2.0-2 [44.0 kB] Get:19 http://deb.debian.org/debian unstable/main riscv64 libpipeline1 riscv64 1.5.8-3 [48.2 kB] Get:20 http://deb.debian.org/debian unstable/main riscv64 libtool all 2.6.2-3 [552 kB] Get:21 http://deb.debian.org/debian unstable/main riscv64 libunistring5 riscv64 1.4.2-1 [475 kB] Get:22 http://deb.debian.org/debian unstable/main riscv64 libxml2-16 riscv64 2.15.4+dfsg-1 [649 kB] Get:23 http://deb.debian.org/debian unstable/main riscv64 libzstd-dev riscv64 1.5.7+dfsg-4 [1626 kB] Get:24 http://deb.debian.org/debian unstable/main riscv64 libzstd1 riscv64 1.5.7+dfsg-4 [368 kB] Get:25 http://deb.debian.org/debian unstable/main riscv64 m4 riscv64 1.4.21-1 [330 kB] Get:26 http://deb.debian.org/debian unstable/main riscv64 make riscv64 4.4.1-3 [463 kB] Get:27 http://deb.debian.org/debian unstable/main riscv64 man-db riscv64 2.13.1-1 [1458 kB] Get:28 http://deb.debian.org/debian unstable/main riscv64 media-types all 14.0.0 [30.8 kB] Get:29 http://deb.debian.org/debian unstable/main riscv64 libmenhir-ocaml-dev riscv64 20260209+ds-3 [1076 kB] Get:30 http://deb.debian.org/debian unstable/main riscv64 libmpc3 riscv64 1.3.1-3 [56.5 kB] Get:31 http://deb.debian.org/debian unstable/main riscv64 libmpfr6 riscv64 4.2.2-3 [666 kB] Get:32 http://deb.debian.org/debian unstable/main riscv64 libncurses-dev riscv64 6.6+20260608-2 [934 kB] Get:33 http://deb.debian.org/debian unstable/main riscv64 libncurses6 riscv64 6.6+20260608-2 [105 kB] Get:34 http://deb.debian.org/debian unstable/main riscv64 libncursesw6 riscv64 6.6+20260608-2 [141 kB] Get:35 http://deb.debian.org/debian unstable/main riscv64 libtinfo6 riscv64 6.6+20260608-2 [351 kB] Get:36 http://deb.debian.org/debian unstable/main riscv64 ncurses-base all 6.6+20260608-2 [276 kB] Get:37 http://deb.debian.org/debian unstable/main riscv64 ncurses-bin riscv64 6.6+20260608-2 [442 kB] Get:38 http://deb.debian.org/debian unstable/main riscv64 netbase all 6.6 [10.3 kB] Get:39 http://deb.debian.org/debian unstable/main riscv64 libstdlib-ocaml riscv64 5.4.1-1 [608 kB] Get:40 http://deb.debian.org/debian unstable/main riscv64 libstdlib-ocaml-dev riscv64 5.4.1-1 [9944 kB] Get:41 http://deb.debian.org/debian unstable/main riscv64 ocaml riscv64 5.4.1-1 [19.5 MB] Get:42 http://deb.debian.org/debian unstable/main riscv64 ocaml-base riscv64 5.4.1-1 [521 kB] Get:43 http://deb.debian.org/debian unstable/main riscv64 ocaml-interp riscv64 5.4.1-1 [7459 kB] Get:44 http://deb.debian.org/debian unstable/main riscv64 libre-ocaml-dev riscv64 1.14.0-2+b1 [1472 kB] Get:45 http://deb.debian.org/debian unstable/main riscv64 libsexplib0-ocaml riscv64 0.17.0-1+b4 [118 kB] Get:46 http://deb.debian.org/debian unstable/main riscv64 libsexplib0-ocaml-dev riscv64 0.17.0-1+b4 [298 kB] Get:47 http://deb.debian.org/debian unstable/main riscv64 libzarith-ocaml riscv64 1.14-4 [113 kB] Get:48 http://deb.debian.org/debian unstable/main riscv64 libzarith-ocaml-dev riscv64 1.14-4 [166 kB] Get:49 http://deb.debian.org/debian unstable/main riscv64 libssl3t64 riscv64 3.6.4-1 [2276 kB] Get:50 http://deb.debian.org/debian unstable/main riscv64 openssl-provider-legacy riscv64 3.6.4-1 [326 kB] Get:51 http://deb.debian.org/debian unstable/main riscv64 libpam-modules riscv64 1.7.0-8 [165 kB] Get:52 http://deb.debian.org/debian unstable/main riscv64 libpam-modules-bin riscv64 1.7.0-8 [46.2 kB] Get:53 http://deb.debian.org/debian unstable/main riscv64 libpam-runtime all 1.7.0-8 [246 kB] Get:54 http://deb.debian.org/debian unstable/main riscv64 libpam0g riscv64 1.7.0-8 [66.9 kB] Get:55 http://deb.debian.org/debian unstable/main riscv64 patch riscv64 2.8-2 [134 kB] Get:56 http://deb.debian.org/debian unstable/main riscv64 libpcre2-8-0 riscv64 10.48-3 [310 kB] Get:57 http://deb.debian.org/debian unstable/main riscv64 libperl5.42 riscv64 5.42.3-1 [3853 kB] Get:58 http://deb.debian.org/debian unstable/main riscv64 perl riscv64 5.42.3-1 [266 kB] Get:59 http://deb.debian.org/debian unstable/main riscv64 perl-base riscv64 5.42.3-1 [1846 kB] Get:60 http://deb.debian.org/debian unstable/main riscv64 perl-modules-5.42 all 5.42.3-1 [3213 kB] Get:61 http://deb.debian.org/debian unstable/main riscv64 po-debconf all 1.0.22 [216 kB] Get:62 http://deb.debian.org/debian unstable/main riscv64 libppx-derivers-ocaml-dev riscv64 1.2.1-4+b7 [17.7 kB] Get:63 http://deb.debian.org/debian unstable/main riscv64 libppx-deriving-ocaml riscv64 6.2.0-1 [421 kB] Get:64 http://deb.debian.org/debian unstable/main riscv64 libppx-deriving-ocaml-dev riscv64 6.2.0-1 [5276 kB] Get:65 http://deb.debian.org/debian unstable/main riscv64 libppxlib-ocaml-dev riscv64 0.38.0-1+b1 [20.3 MB] Get:66 http://deb.debian.org/debian unstable/main riscv64 libpython3-stdlib riscv64 3.14.7-3 [8252 B] Get:67 http://deb.debian.org/debian unstable/main riscv64 python3 riscv64 3.14.7-3 [26.0 kB] Get:68 http://deb.debian.org/debian unstable/main riscv64 python3-minimal riscv64 3.14.7-3 [25.3 kB] Get:69 http://deb.debian.org/debian unstable/main riscv64 libpython3.14-minimal riscv64 3.14.7-4 [896 kB] Get:70 http://deb.debian.org/debian unstable/main riscv64 libpython3.14-stdlib riscv64 3.14.7-4 [2326 kB] Get:71 http://deb.debian.org/debian unstable/main riscv64 python3.14 riscv64 3.14.7-4 [861 kB] Get:72 http://deb.debian.org/debian unstable/main riscv64 python3.14-minimal riscv64 3.14.7-4 [2301 kB] Get:73 http://deb.debian.org/debian unstable/main riscv64 quickjs riscv64 2025.04.26-1+b2 [459 kB] Get:74 http://deb.debian.org/debian unstable/main riscv64 libreadline8t64 riscv64 8.3-4 [180 kB] Get:75 http://deb.debian.org/debian unstable/main riscv64 readline-common all 8.3-4 [74.8 kB] Get:76 http://deb.debian.org/debian unstable/main riscv64 sed riscv64 4.9-3 [329 kB] Get:77 http://deb.debian.org/debian unstable/main riscv64 sensible-utils all 0.0.26 [27.0 kB] Get:78 http://deb.debian.org/debian unstable/main riscv64 libsqlite3-0 riscv64 3.53.4-2 [957 kB] Get:79 http://deb.debian.org/debian unstable/main riscv64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB] Get:80 http://deb.debian.org/debian unstable/main riscv64 sysvinit-utils riscv64 3.18-1 [29.3 kB] Get:81 http://deb.debian.org/debian unstable/main riscv64 libuchardet0 riscv64 0.0.8-2+b2 [68.8 kB] Get:82 http://deb.debian.org/debian unstable/main riscv64 liblzma5 riscv64 5.8.4-1 [352 kB] Get:83 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libgcc-16-dev riscv64 16.2.0-2 [5876 kB] Get:84 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libgcc-s1 riscv64 16.2.0-2 [74.2 kB] Get:85 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libgomp1 riscv64 16.2.0-2 [137 kB] Get:86 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libitm1 riscv64 16.2.0-2 [25.6 kB] Get:87 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 liblsan0 riscv64 16.2.0-2 [1342 kB] Get:88 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libstdc++-16-dev riscv64 16.2.0-2 [10.6 MB] Get:89 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libstdc++6 riscv64 16.2.0-2 [776 kB] Get:90 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libtsan2 riscv64 16.2.0-2 [2706 kB] Get:91 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libubsan1 riscv64 16.2.0-2 [1191 kB] Get:92 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libselinux1 riscv64 3.11-2 [90.4 kB] Get:93 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 linux-libc-dev all 7.1.13-1 [2064 kB] Get:94 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 mawk riscv64 1.3.4.20260302-1 [142 kB] Get:95 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libsystemd0 riscv64 262~rc2-1 [482 kB] Get:96 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libudev1 riscv64 262~rc2-1 [141 kB] Get:97 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 tar riscv64 1.35+dfsg-5 [821 kB] Get:98 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libmount1 riscv64 2.42.3-1 [228 kB] Get:99 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libsmartcols1 riscv64 2.42.3-1 [154 kB] Get:100 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 libuuid1 riscv64 2.42.3-1 [35.2 kB] Fetched 131 MB in 4s (31.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libppx-deriving-ocaml_6.2.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libncurses6_6.6+20260608-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libjansson4_2.15.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/ncurses-bin_6.6+20260608-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/perl-base_5.42.3-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libssl3t64_3.6.4-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/patch_2.8-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libncurses-dev_6.6+20260608-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libsexplib0-ocaml-dev_0.17.0-1+b4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libocaml-compiler-libs-ocaml-dev_0.17.0-2+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/ocaml_5.4.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/make_4.4.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpam-modules_1.7.0-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libselinux1_3.11-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libgcc-s1_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/netbase_6.6_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libtinfo6_6.6+20260608-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libfile-stripnondeterminism-perl_1.15.1-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libstdc++6_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/po-debconf_1.0.22_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libppx-derivers-ocaml-dev_1.2.1-4+b7_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpam0g_1.7.0-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libzstd1_1.5.7+dfsg-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpython3.14-stdlib_3.14.7-4_riscv64.deb' dpkg-name: info: moved 'libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmpkd2_i863/libgmpxx4ldbl_6.3.0+dfsg-5+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libsexplib0-ocaml_0.17.0-1+b4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/ocaml-findlib_1.9.8-1+b3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libncursesw6_6.6+20260608-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpython3-stdlib_3.14.7-3_riscv64.deb' dpkg-name: info: moved 'libgmp3-dev_2%3a6.3.0+dfsg-5+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmpkd2_i863/libgmp3-dev_6.3.0+dfsg-5+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/sensible-utils_0.0.26_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libxml2-16_2.15.4+dfsg-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/python3-minimal_3.14.7-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libmenhir-ocaml-dev_20260209+ds-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libudev1_262~rc2-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libperl5.42_5.42.3-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libsystemd0_262~rc2-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpython3.14-minimal_3.14.7-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libppxlib-ocaml-dev_0.38.0-1+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/python3.14-minimal_3.14.7-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libfindlib-ocaml-dev_1.9.8-1+b3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/tar_1.35+dfsg-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libmpc3_1.3.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libzstd-dev_1.5.7+dfsg-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libfindlib-ocaml_1.9.8-1+b3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libisl23_0.28-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libsmartcols1_2.42.3-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libppx-deriving-ocaml-dev_6.2.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libzarith-ocaml_1.14-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libgomp1_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpam-runtime_1.7.0-8_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpcre2-8-0_10.48-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/readline-common_8.3-4_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libunistring5_1.4.2-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/perl_5.42.3-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/m4_1.4.21-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libtsan2_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/sysvinit-utils_3.18-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/openssl-provider-legacy_3.6.4-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libstdlib-ocaml-dev_5.4.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libgcc-16-dev_16.2.0-2_riscv64.deb' dpkg-name: info: moved 'libmagic1t64_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmpkd2_i863/libmagic1t64_5.47-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libgdbm-compat4t64_1.26-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libsframe3_2.47-6_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libstdc++-16-dev_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libreadline8t64_8.3-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libzarith-ocaml-dev_1.14-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/mawk_1.3.4.20260302-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libuchardet0_0.0.8-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libjson-perl_4.10000-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/quickjs_2025.04.26-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libmd0_1.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/python3_3.14.7-3_riscv64.deb' dpkg-name: info: moved 'libgmp-dev_2%3a6.3.0+dfsg-5+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmpkd2_i863/libgmp-dev_6.3.0+dfsg-5+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/linux-libc-dev_7.1.13-1_all.deb' dpkg-name: info: moved 'libmagic-mgc_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmpkd2_i863/libmagic-mgc_5.47-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/ocaml-base_5.4.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/sed_4.9-3_riscv64.deb' dpkg-name: info: moved 'libgmp10_2%3a6.3.0+dfsg-5+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmpkd2_i863/libgmp10_6.3.0+dfsg-5+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/liblsan0_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libre-ocaml-dev_1.14.0-2+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/ocaml-interp_5.4.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libgdbm6t64_1.26-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/media-types_14.0.0_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/man-db_2.13.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/perl-modules-5.42_5.42.3-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpam-modules-bin_1.7.0-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libpipeline1_1.5.8-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libsqlite3-0_3.53.4-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/python3.14_3.14.7-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libmount1_2.42.3-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/liblzma5_5.8.4-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libitm1_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libubsan1_16.2.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libstdlib-ocaml_5.4.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libtool_2.6.2-3_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libgprofng0_2.47-6_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libmpfr6_4.2.2-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/ncurses-base_6.6+20260608-2_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkd2_i863/libuuid1_2.42.3-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 tzdata all 2026c-1 [260 kB] Get:2 http://deb.debian.org/debian unstable/main riscv64 xz-utils riscv64 5.8.4-1 [759 kB] Get:3 http://deb.debian.org/debian unstable/main riscv64 zlib1g riscv64 1:1.3.dfsg+really1.3.2-3 [87.3 kB] Get:4 http://snapshot.debian.org/archive/debian/20260917T082919Z unstable/main riscv64 util-linux riscv64 2.42.3-1 [1223 kB] Fetched 2330 kB in 0s (21.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk6_3_v12/tzdata_2026c-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk6_3_v12/xz-utils_5.8.4-1_riscv64.deb' dpkg-name: info: moved 'zlib1g_1%3a1.3.dfsg+really1.3.2-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpk6_3_v12/zlib1g_1.3.dfsg+really1.3.2-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk6_3_v12/util-linux_2.42.3-1_riscv64.deb' dpkg-buildpackage: info: source package debootsnap-dummy dpkg-buildpackage: info: source version 1.0 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Equivs Dummy Package Generator dpkg-buildpackage: info: host architecture riscv64 dpkg-source --before-build . debian/rules clean dh clean dh_clean debian/rules binary dh binary dh_update_autotools_config dh_autoreconf create-stamp debian/debhelper-build-stamp dh_prep dh_auto_install --destdir=debian/debootsnap-dummy/ dh_install dh_installdocs dh_installchangelogs dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'debootsnap-dummy' in '../debootsnap-dummy_1.0_all.deb'. dpkg-genbuildinfo --build=binary -O../debootsnap-dummy_1.0_riscv64.buildinfo dpkg-genchanges --build=binary -O../debootsnap-dummy_1.0_riscv64.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/tmpsf2idc71/cache directory, not in ".." as indicated by the message above! I: automatically chosen mode: unshare I: chroot architecture riscv64 is equal to the host's architecture I: using /srv/rebuilderd/tmp/mmdebstrap.kdiNTGJLxJ as tempdir I: running --setup-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/setup00.sh /srv/rebuilderd/tmp/mmdebstrap.kdiNTGJLxJ 127.0.0.1 - - [28/Sep/2026 15:02:54] code 404, message File not found 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:45877 ./ InRelease 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./Release HTTP/1.1" 200 - Get:2 http://localhost:45877 ./ Release [462 B] 127.0.0.1 - - [28/Sep/2026 15:02:54] code 404, message File not found 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:45877 ./ Release.gpg 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./Packages HTTP/1.1" 200 - Get:4 http://localhost:45877 ./ Packages [254 kB] Fetched 255 kB in 0s (5026 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 - - [28/Sep/2026 15:02:54] "GET /./gcc-16-base_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libc-gconv-modules-extra_2.43-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libc6_2.43-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libgcc-s1_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./mawk_1.3.4.20260302-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./base-files_14.2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libtinfo6_6.6%2b20260608-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./debianutils_5.24_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./bash_5.3-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libacl1_2.4.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libattr1_2.6.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libgmp10_6.3.0%2bdfsg-5%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libpcre2-8-0_10.48-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libselinux1_3.11-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libzstd1_1.5.7%2bdfsg-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./zlib1g_1.3.dfsg%2breally1.3.2-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libssl3t64_3.6.4-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./openssl-provider-legacy_3.6.4-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libsystemd0_262%7erc2-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./coreutils_9.10-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./dash_0.5.12-12_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./diffutils_3.12-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libbz2-1.0_1.0.8-6%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./liblzma5_5.8.4-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libmd0_1.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./dpkg_1.23.11_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./findutils_4.11.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./grep_3.12-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./gzip_1.14-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./hostname_3.25_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./ncurses-bin_6.6%2b20260608-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./libcrypt1_4.5.2%2b20251210-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./perl-base_5.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./sed_4.9-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:54] "GET /./tar_1.35%2bdfsg-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libaudit-common_4.1.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libcap-ng0_0.9.6-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libaudit1_4.1.2-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libdb5.3t64_5.3.28%2bdfsg2-11%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./debconf_1.5.92_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libpam0g_1.7.0-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libpam-modules-bin_1.7.0-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libpam-modules_1.7.0-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libpam-runtime_1.7.0-8_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libblkid1_2.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libmount1_2.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libsmartcols1_2.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libudev1_262%7erc2-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libuuid1_2.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./util-linux_2.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libdebconfclient0_0.283_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./base-passwd_3.6.8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./init-system-helpers_1.69%2bnmu1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./libc-bin_2.43-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./ncurses-base_6.6%2b20260608-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:02:55] "GET /./sysvinit-utils_3.18-1_riscv64.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.kdiNTGJLxJ 127.0.0.1 - - [28/Sep/2026 15:02:58] code 404, message File not found 127.0.0.1 - - [28/Sep/2026 15:02:58] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:45877 ./ InRelease 127.0.0.1 - - [28/Sep/2026 15:02:58] "GET /./Release HTTP/1.1" 304 - Hit:2 http://localhost:45877 ./ Release 127.0.0.1 - - [28/Sep/2026 15:02:58] code 404, message File not found 127.0.0.1 - - [28/Sep/2026 15:02:58] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:45877 ./ 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.kdiNTGJLxJ 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 - - [28/Sep/2026 15:03:11] "GET /./libexpat1_2.8.4-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libpython3.14-minimal_3.14.7-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./python3.14-minimal_3.14.7-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./python3-minimal_3.14.7-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./media-types_14.0.0_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./netbase_6.6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./tzdata_2026c-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libffi8_3.8.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libncursesw6_6.6%2b20260608-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./readline-common_8.3-4_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libreadline8t64_8.3-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libsqlite3-0_3.53.4-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libpython3.14-stdlib_3.14.7-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./python3.14_3.14.7-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libpython3-stdlib_3.14.7-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./python3_3.14.7-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./sensible-utils_0.0.26_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libstdc%2b%2b6_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libuchardet0_0.0.8-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./groff-base_1.24.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./bsdextrautils_2.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libgdbm6t64_1.26-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./libpipeline1_1.5.8-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:11] "GET /./man-db_2.13.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./bzip2_1.0.8-6%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libmagic-mgc_5.47-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libmagic1t64_5.47-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./file_5.47-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./gettext-base_1.0-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./perl-modules-5.42_5.42.3-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libgdbm-compat4t64_1.26-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libperl5.42_5.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./perl_5.42.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./xz-utils_5.8.4-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./m4_1.4.21-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./autoconf_2.73-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./autotools-dev_20240727.1%2bnmu1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./automake_1.19-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./autopoint_1.0-5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libsframe3_2.47-6_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./binutils-common_2.47-6_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libbinutils_2.47-6_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libgprofng0_2.47-6_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libctf-nobfd0_2.47-6_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libctf0_2.47-6_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libjansson4_2.15.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./binutils-riscv64-linux-gnu_2.47-6_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./binutils_2.47-6_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libc-dev-bin_2.43-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./linux-libc-dev_7.1.13-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libc6-dev_2.43-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libisl23_0.28-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libmpfr6_4.2.2-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./libmpc3_1.3.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:12] "GET /./cpp-16-riscv64-linux-gnu_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./cpp-16_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./cpp-riscv64-linux-gnu_16.1.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./cpp_16.1.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./libcc1-0_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./libgomp1_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./libitm1_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./libatomic1_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./libasan8_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./liblsan0_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./libtsan2_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./libubsan1_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:21] "GET /./libgcc-16-dev_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:22] "GET /./gcc-16-riscv64-linux-gnu_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:27] "GET /./gcc-16_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:27] "GET /./gcc-riscv64-linux-gnu_16.1.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:27] "GET /./gcc_16.1.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:27] "GET /./libstdc%2b%2b-16-dev_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:27] "GET /./g%2b%2b-16-riscv64-linux-gnu_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:33] "GET /./g%2b%2b-16_16.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./g%2b%2b-riscv64-linux-gnu_16.1.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./g%2b%2b_16.1.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./make_4.4.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./libdpkg-perl_1.23.11_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./patch_2.8-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./dpkg-dev_1.23.11_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./build-essential_12.12_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./libcoq-core_9.2.0%2bdfsg-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./libstdlib-ocaml_5.4.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./ocaml-base_5.4.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./libfindlib-ocaml_1.9.8-1%2bb3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./libzarith-ocaml_1.14-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:34] "GET /./libcoq-core-ocaml_9.2.0%2bdfsg-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:35] "GET /./libstdlib-ocaml-dev_5.4.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:35] "GET /./libcompiler-libs-ocaml-dev_5.4.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:37] "GET /./ocaml-interp_5.4.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:37] "GET /./libncurses6_6.6%2b20260608-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:37] "GET /./libncurses-dev_6.6%2b20260608-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:37] "GET /./libzstd-dev_1.5.7%2bdfsg-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:37] "GET /./ocaml_5.4.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:38] "GET /./ocaml-findlib_1.9.8-1%2bb3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:38] "GET /./coq_9.2.0%2bdfsg-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libdebhelper-perl_14.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libtool_2.6.2-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./dh-autoreconf_23_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libarchive-zip-perl_1.68-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libfile-stripnondeterminism-perl_1.15.1-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./dh-strip-nondeterminism_1.15.1-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libelf1t64_0.196-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./dwz_0.17-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libunistring5_1.4.2-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libxml2-16_2.15.4%2bdfsg-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./gettext_1.0-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./intltool-debian_0.35.0%2b20060710.6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./po-debconf_1.0.22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./debhelper_14.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libsexplib0-ocaml_0.17.0-1%2bb4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libppx-deriving-ocaml_6.2.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libelpi-ocaml_3.7.2-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libmenhir-ocaml-dev_20260209%2bds-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:39] "GET /./libocaml-compiler-libs-ocaml-dev_0.17.0-2%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:40] "GET /./libppx-derivers-ocaml-dev_1.2.1-4%2bb7_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:40] "GET /./libsexplib0-ocaml-dev_0.17.0-1%2bb4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:40] "GET /./libppxlib-ocaml-dev_0.38.0-1%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:40] "GET /./libppx-deriving-ocaml-dev_6.2.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:40] "GET /./libre-ocaml-dev_1.14.0-2%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:40] "GET /./libelpi-ocaml-dev_3.7.2-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:41] "GET /./libcoq-stdlib_9.2.0-1%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:42] "GET /./libcoq-elpi_3.5.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:42] "GET /./libcoq-hierarchy-builder_1.10.3-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:42] "GET /./libcoq-micromega-plugin_1.1.1-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:42] "GET /./libcoq-mathcomp-boot_2.6.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libgmpxx4ldbl_6.3.0%2bdfsg-5%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libgmp-dev_6.3.0%2bdfsg-5%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libgmp3-dev_6.3.0%2bdfsg-5%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libzarith-ocaml-dev_1.14-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libcoq-mathcomp-order_2.6.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libcoq-mathcomp-ssreflect_2.6.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libcoq-bignums_9.0.0%2brocq9.2-3%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libjson-perl_4.10000-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libfindlib-ocaml-dev_1.9.8-1%2bb3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:43] "GET /./libcoq-core-ocaml-dev_9.2.0%2bdfsg-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:45] "GET /./dh-coq_0.17_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:45] "GET /./libcoq-mathcomp-finite-group_2.6.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:45] "GET /./libcoq-mathcomp-algebra_2.6.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:46] "GET /./libcoq-mathcomp-bigenough_1.0.4-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:46] "GET /./libcoq-mathcomp-solvable_2.6.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:46] "GET /./libcoq-mathcomp-field_2.6.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:46] "GET /./libcoq-mathcomp-real-closed_2.0.6-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:47] "GET /./libcoq-mathcomp-finmap_2.2.4-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:47] "GET /./quickjs_2025.04.26-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:47] "GET /./libconfig-tiny-perl_2.30-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:47] "GET /./dh-ocaml_3.8_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:47] "GET /./libcoq-mathcomp-multinomials_2.5.0-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [28/Sep/2026 15:03:47] "GET /./debootsnap-dummy_1.0_all.deb HTTP/1.1" 200 - I: running --customize-hook directly: /srv/rebuilderd/tmp/tmpsf2idc71/apt_install.sh /srv/rebuilderd/tmp/mmdebstrap.kdiNTGJLxJ Reading package lists... Building dependency tree... Reading state information... cpp-riscv64-linux-gnu is already the newest version (4:16.1.0-3). cpp-riscv64-linux-gnu set to manually installed. libdb5.3t64 is already the newest version (5.3.28+dfsg2-11+b1). debianutils is already the newest version (5.24). init-system-helpers is already the newest version (1.69+nmu1). libcoq-elpi is already the newest version (3.5.0-3+b2). libcoq-elpi set to manually installed. libcoq-mathcomp-bigenough is already the newest version (1.0.4-3+b2). libcoq-mathcomp-bigenough set to manually installed. libcoq-micromega-plugin is already the newest version (1.1.1-2). libcoq-micromega-plugin set to manually installed. dpkg is already the newest version (1.23.11). gettext-base is already the newest version (1.0-5). gettext-base set to manually installed. dwz is already the newest version (0.17-1). dwz set to manually installed. libcoq-core is already the newest version (9.2.0+dfsg-4). libcoq-core set to manually installed. libaudit1 is already the newest version (1:4.1.2-1+b2). libcap-ng0 is already the newest version (0.9.6-1). gettext is already the newest version (1.0-5). gettext set to manually installed. debconf is already the newest version (1.5.92). libcoq-core-ocaml-dev is already the newest version (9.2.0+dfsg-4). libcoq-core-ocaml-dev set to manually installed. libdpkg-perl is already the newest version (1.23.11). libdpkg-perl set to manually installed. gcc-16 is already the newest version (16.2.0-2). gcc-16 set to manually installed. libcoq-mathcomp-finite-group is already the newest version (2.6.0-3+b2). libcoq-mathcomp-finite-group set to manually installed. cpp-16-riscv64-linux-gnu is already the newest version (16.2.0-2). cpp-16-riscv64-linux-gnu set to manually installed. file is already the newest version (1:5.47-4). file set to manually installed. libattr1 is already the newest version (1:2.6.0-1). bash is already the newest version (5.3-4). g++ is already the newest version (4:16.1.0-3). g++ set to manually installed. libcoq-mathcomp-order is already the newest version (2.6.0-3+b2). libcoq-mathcomp-order set to manually installed. libbinutils is already the newest version (2.47-6). libbinutils set to manually installed. libblkid1 is already the newest version (2.42.3-1). libc-gconv-modules-extra is already the newest version (2.43-5). libelf1t64 is already the newest version (0.196-1). libelf1t64 set to manually installed. libc-dev-bin is already the newest version (2.43-5). libc-dev-bin set to manually installed. libctf0 is already the newest version (2.47-6). libctf0 set to manually installed. intltool-debian is already the newest version (0.35.0+20060710.6). intltool-debian set to manually installed. hostname is already the newest version (3.25). libdebconfclient0 is already the newest version (0.283). libcoq-mathcomp-algebra is already the newest version (2.6.0-3+b2). libcoq-mathcomp-algebra set to manually installed. build-essential is already the newest version (12.12). build-essential set to manually installed. libbz2-1.0 is already the newest version (1.0.8-6+b2). dh-strip-nondeterminism is already the newest version (1.15.1-1). dh-strip-nondeterminism set to manually installed. libdebhelper-perl is already the newest version (14.5). libdebhelper-perl set to manually installed. dpkg-dev is already the newest version (1.23.11). dpkg-dev set to manually installed. grep is already the newest version (3.12-1). base-passwd is already the newest version (3.6.8). libcoq-bignums is already the newest version (9.0.0+rocq9.2-3+b1). libcoq-bignums set to manually installed. libcompiler-libs-ocaml-dev is already the newest version (5.4.1-1). libcompiler-libs-ocaml-dev set to manually installed. cpp-16 is already the newest version (16.2.0-2). cpp-16 set to manually installed. libctf-nobfd0 is already the newest version (2.47-6). libctf-nobfd0 set to manually installed. automake is already the newest version (1:1.19-2). automake set to manually installed. libc-bin is already the newest version (2.43-5). base-files is already the newest version (14.2). g++-16 is already the newest version (16.2.0-2). g++-16 set to manually installed. autotools-dev is already the newest version (20240727.1+nmu1). autotools-dev set to manually installed. libelpi-ocaml is already the newest version (3.7.2-2+b2). libelpi-ocaml set to manually installed. libffi8 is already the newest version (3.8.0-2). libffi8 set to manually installed. libcoq-mathcomp-field is already the newest version (2.6.0-3+b2). libcoq-mathcomp-field set to manually installed. debhelper is already the newest version (14.5). debhelper set to manually installed. libcoq-mathcomp-solvable is already the newest version (2.6.0-3+b2). libcoq-mathcomp-solvable set to manually installed. autopoint is already the newest version (1.0-5). autopoint set to manually installed. libcoq-stdlib is already the newest version (9.2.0-1+b1). libcoq-stdlib set to manually installed. coq is already the newest version (9.2.0+dfsg-4). coq set to manually installed. libcrypt1 is already the newest version (1:4.5.2+20251210-1). libcc1-0 is already the newest version (16.2.0-2). libcc1-0 set to manually installed. g++-16-riscv64-linux-gnu is already the newest version (16.2.0-2). g++-16-riscv64-linux-gnu set to manually installed. cpp is already the newest version (4:16.1.0-3). cpp set to manually installed. dash is already the newest version (0.5.12-12). libcoq-mathcomp-finmap is already the newest version (2.2.4-3+b2). libcoq-mathcomp-finmap set to manually installed. bzip2 is already the newest version (1.0.8-6+b2). bzip2 set to manually installed. binutils-common is already the newest version (2.47-6). binutils-common set to manually installed. coreutils is already the newest version (9.10-1). diffutils is already the newest version (1:3.12-1). libcoq-mathcomp-boot is already the newest version (2.6.0-3+b2). libcoq-mathcomp-boot set to manually installed. groff-base is already the newest version (1.24.1-1). groff-base set to manually installed. gzip is already the newest version (1.14-1). libcoq-mathcomp-real-closed is already the newest version (2.0.6-2+b2). libcoq-mathcomp-real-closed set to manually installed. libexpat1 is already the newest version (2.8.4-1). libexpat1 set to manually installed. libelpi-ocaml-dev is already the newest version (3.7.2-2+b2). libelpi-ocaml-dev set to manually installed. libasan8 is already the newest version (16.2.0-2). libasan8 set to manually installed. dh-autoreconf is already the newest version (23). dh-autoreconf set to manually installed. libarchive-zip-perl is already the newest version (1.68-1). libarchive-zip-perl set to manually installed. gcc is already the newest version (4:16.1.0-3). gcc set to manually installed. gcc-16-base is already the newest version (16.2.0-2). autoconf is already the newest version (2.73-2). autoconf set to manually installed. libcoq-core-ocaml is already the newest version (9.2.0+dfsg-4). libcoq-core-ocaml set to manually installed. libaudit-common is already the newest version (1:4.1.2-1). gcc-16-riscv64-linux-gnu is already the newest version (16.2.0-2). gcc-16-riscv64-linux-gnu set to manually installed. dh-coq is already the newest version (0.17). dh-coq set to manually installed. libconfig-tiny-perl is already the newest version (2.30-1). libconfig-tiny-perl set to manually installed. findutils is already the newest version (4.11.0-2). gcc-riscv64-linux-gnu is already the newest version (4:16.1.0-3). gcc-riscv64-linux-gnu set to manually installed. dh-ocaml is already the newest version (3.8). dh-ocaml set to manually installed. libc6 is already the newest version (2.43-5). g++-riscv64-linux-gnu is already the newest version (4:16.1.0-3). g++-riscv64-linux-gnu set to manually installed. binutils is already the newest version (2.47-6). binutils set to manually installed. libacl1 is already the newest version (2.4.0-1). libcoq-mathcomp-ssreflect is already the newest version (2.6.0-3+b2). libcoq-mathcomp-ssreflect set to manually installed. libcoq-mathcomp-multinomials is already the newest version (2.5.0-3+b2). libcoq-mathcomp-multinomials set to manually installed. libatomic1 is already the newest version (16.2.0-2). libatomic1 set to manually installed. libcoq-hierarchy-builder is already the newest version (1.10.3-3+b2). libcoq-hierarchy-builder set to manually installed. libc6-dev is already the newest version (2.43-5). libc6-dev set to manually installed. binutils-riscv64-linux-gnu is already the newest version (2.47-6). binutils-riscv64-linux-gnu set to manually installed. bsdextrautils is already the newest version (2.42.3-1). bsdextrautils set to manually installed. libppx-deriving-ocaml is already the newest version (6.2.0-1). libppx-deriving-ocaml set to manually installed. libncurses6 is already the newest version (6.6+20260608-2). libncurses6 set to manually installed. libjansson4 is already the newest version (2.15.1-1). libjansson4 set to manually installed. ncurses-bin is already the newest version (6.6+20260608-2). perl-base is already the newest version (5.42.3-1). libssl3t64 is already the newest version (3.6.4-1). patch is already the newest version (2.8-2). patch set to manually installed. libncurses-dev is already the newest version (6.6+20260608-2). libncurses-dev set to manually installed. libsexplib0-ocaml-dev is already the newest version (0.17.0-1+b4). libsexplib0-ocaml-dev set to manually installed. libocaml-compiler-libs-ocaml-dev is already the newest version (0.17.0-2+b1). libocaml-compiler-libs-ocaml-dev set to manually installed. ocaml is already the newest version (5.4.1-1). ocaml set to manually installed. libgmp-dev is already the newest version (2:6.3.0+dfsg-5+b2). libgmp-dev set to manually installed. make is already the newest version (4.4.1-3). make set to manually installed. libpam-modules is already the newest version (1.7.0-8). libselinux1 is already the newest version (3.11-2). libgcc-s1 is already the newest version (16.2.0-2). libmagic-mgc is already the newest version (1:5.47-4). libmagic-mgc set to manually installed. netbase is already the newest version (6.6). netbase set to manually installed. libtinfo6 is already the newest version (6.6+20260608-2). libfile-stripnondeterminism-perl is already the newest version (1.15.1-1). libfile-stripnondeterminism-perl set to manually installed. libstdc++6 is already the newest version (16.2.0-2). libstdc++6 set to manually installed. po-debconf is already the newest version (1.0.22). po-debconf set to manually installed. libppx-derivers-ocaml-dev is already the newest version (1.2.1-4+b7). libppx-derivers-ocaml-dev set to manually installed. libpam0g is already the newest version (1.7.0-8). libzstd1 is already the newest version (1.5.7+dfsg-4). libpython3.14-stdlib is already the newest version (3.14.7-4). libpython3.14-stdlib set to manually installed. libsexplib0-ocaml is already the newest version (0.17.0-1+b4). libsexplib0-ocaml set to manually installed. ocaml-findlib is already the newest version (1.9.8-1+b3). ocaml-findlib set to manually installed. libncursesw6 is already the newest version (6.6+20260608-2). libncursesw6 set to manually installed. libpython3-stdlib is already the newest version (3.14.7-3). libpython3-stdlib set to manually installed. sensible-utils is already the newest version (0.0.26). sensible-utils set to manually installed. libxml2-16 is already the newest version (2.15.4+dfsg-1). libxml2-16 set to manually installed. python3-minimal is already the newest version (3.14.7-3). python3-minimal set to manually installed. libmenhir-ocaml-dev is already the newest version (20260209+ds-3). libmenhir-ocaml-dev set to manually installed. libudev1 is already the newest version (262~rc2-1). libperl5.42 is already the newest version (5.42.3-1). libperl5.42 set to manually installed. libsystemd0 is already the newest version (262~rc2-1). libpython3.14-minimal is already the newest version (3.14.7-4). libpython3.14-minimal set to manually installed. libppxlib-ocaml-dev is already the newest version (0.38.0-1+b1). libppxlib-ocaml-dev set to manually installed. python3.14-minimal is already the newest version (3.14.7-4). python3.14-minimal set to manually installed. libfindlib-ocaml-dev is already the newest version (1.9.8-1+b3). libfindlib-ocaml-dev set to manually installed. tar is already the newest version (1.35+dfsg-5). libmpc3 is already the newest version (1.3.1-3). libmpc3 set to manually installed. libzstd-dev is already the newest version (1.5.7+dfsg-4). libzstd-dev set to manually installed. libfindlib-ocaml is already the newest version (1.9.8-1+b3). libfindlib-ocaml set to manually installed. libisl23 is already the newest version (0.28-1). libisl23 set to manually installed. libsmartcols1 is already the newest version (2.42.3-1). libppx-deriving-ocaml-dev is already the newest version (6.2.0-1). libppx-deriving-ocaml-dev set to manually installed. libzarith-ocaml is already the newest version (1.14-4). libzarith-ocaml set to manually installed. libgomp1 is already the newest version (16.2.0-2). libgomp1 set to manually installed. libpam-runtime is already the newest version (1.7.0-8). libgmp3-dev is already the newest version (2:6.3.0+dfsg-5+b2). libgmp3-dev set to manually installed. libpcre2-8-0 is already the newest version (10.48-3). readline-common is already the newest version (8.3-4). readline-common set to manually installed. libunistring5 is already the newest version (1.4.2-1). libunistring5 set to manually installed. perl is already the newest version (5.42.3-1). perl set to manually installed. m4 is already the newest version (1.4.21-1). m4 set to manually installed. libtsan2 is already the newest version (16.2.0-2). libtsan2 set to manually installed. libgmp10 is already the newest version (2:6.3.0+dfsg-5+b2). sysvinit-utils is already the newest version (3.18-1). openssl-provider-legacy is already the newest version (3.6.4-1). libstdlib-ocaml-dev is already the newest version (5.4.1-1). libstdlib-ocaml-dev set to manually installed. libgcc-16-dev is already the newest version (16.2.0-2). libgcc-16-dev set to manually installed. libgdbm-compat4t64 is already the newest version (1.26-1+b2). libgdbm-compat4t64 set to manually installed. libsframe3 is already the newest version (2.47-6). libsframe3 set to manually installed. libstdc++-16-dev is already the newest version (16.2.0-2). libstdc++-16-dev set to manually installed. libreadline8t64 is already the newest version (8.3-4). libreadline8t64 set to manually installed. libzarith-ocaml-dev is already the newest version (1.14-4). libzarith-ocaml-dev set to manually installed. mawk is already the newest version (1.3.4.20260302-1). libuchardet0 is already the newest version (0.0.8-2+b2). libuchardet0 set to manually installed. libjson-perl is already the newest version (4.10000-1). libjson-perl set to manually installed. quickjs is already the newest version (2025.04.26-1+b2). quickjs set to manually installed. libmd0 is already the newest version (1.2.0-2). python3 is already the newest version (3.14.7-3). python3 set to manually installed. linux-libc-dev is already the newest version (7.1.13-1). linux-libc-dev set to manually installed. ocaml-base is already the newest version (5.4.1-1). ocaml-base set to manually installed. sed is already the newest version (4.9-3). liblsan0 is already the newest version (16.2.0-2). liblsan0 set to manually installed. libre-ocaml-dev is already the newest version (1.14.0-2+b1). libre-ocaml-dev set to manually installed. ocaml-interp is already the newest version (5.4.1-1). ocaml-interp set to manually installed. libgdbm6t64 is already the newest version (1.26-1+b2). libgdbm6t64 set to manually installed. media-types is already the newest version (14.0.0). media-types set to manually installed. libmagic1t64 is already the newest version (1:5.47-4). libmagic1t64 set to manually installed. man-db is already the newest version (2.13.1-1). man-db set to manually installed. perl-modules-5.42 is already the newest version (5.42.3-1). perl-modules-5.42 set to manually installed. libpam-modules-bin is already the newest version (1.7.0-8). libpipeline1 is already the newest version (1.5.8-3). libpipeline1 set to manually installed. libsqlite3-0 is already the newest version (3.53.4-2). libsqlite3-0 set to manually installed. python3.14 is already the newest version (3.14.7-4). python3.14 set to manually installed. libgmpxx4ldbl is already the newest version (2:6.3.0+dfsg-5+b2). libgmpxx4ldbl set to manually installed. libmount1 is already the newest version (2.42.3-1). liblzma5 is already the newest version (5.8.4-1). libitm1 is already the newest version (16.2.0-2). libitm1 set to manually installed. libubsan1 is already the newest version (16.2.0-2). libubsan1 set to manually installed. libstdlib-ocaml is already the newest version (5.4.1-1). libstdlib-ocaml set to manually installed. libtool is already the newest version (2.6.2-3). libtool set to manually installed. libgprofng0 is already the newest version (2.47-6). libgprofng0 set to manually installed. libmpfr6 is already the newest version (4.2.2-3). libmpfr6 set to manually installed. ncurses-base is already the newest version (6.6+20260608-2). libuuid1 is already the newest version (2.42.3-1). zlib1g is already the newest version (1:1.3.dfsg+really1.3.2-3). tzdata is already the newest version (2026c-1). tzdata set to manually installed. xz-utils is already the newest version (5.8.4-1). xz-utils set to manually installed. util-linux is already the newest version (2.42.3-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: running --customize-hook in shell: sh -c 'chroot "$1" dpkg -r debootsnap-dummy' exec /srv/rebuilderd/tmp/mmdebstrap.kdiNTGJLxJ (Reading database ... 26481 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.kdiNTGJLxJ I: running special hook: download /pkglist ./pkglist I: running --customize-hook in shell: sh -c 'rm "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.kdiNTGJLxJ 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.kdiNTGJLxJ... I: success in 342.1619 seconds Downloading packages 1to 100 out of 204 Downloading packages 101to 200 out of 204 Downloading packages 201to 204 out of 204 env --chdir=/srv/rebuilderd/tmp/rebuilderd6w6cX7/out DEB_BUILD_OPTIONS=parallel=4 LANG=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 SOURCE_DATE_EPOCH=1786569396 SBUILD_CONFIG=/srv/rebuilderd/tmp/debrebuildNe3YsC/debrebuild.sbuildrc.0XMvATfmBLUQ sbuild --build=riscv64 --host=riscv64 --arch-any --no-arch-all --binNMU-changelog= coqeal (2.1.2-2+b2) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for riscv64; no source changes. * Rebuild with new OCaml ABIs of dependencies -- riscv64 Build Daemon (rv-osuosl-03) Wed, 12 Aug 2026 21:16:36 +0000 --chroot=/srv/rebuilderd/tmp/debrebuildNe3YsC/debrebuild.tar.gyulJ88eIGmC --chroot-mode=unshare --dist=unstable --no-run-lintian --no-run-piuparts --no-run-autopkgtest --no-apt-update --no-apt-upgrade --no-apt-distupgrade --no-source --verbose --nolog --bd-uninstallable-explainer= --build-path=/build/reproducible-path --dsc-dir=coqeal-2.1.2 /srv/rebuilderd/tmp/rebuilderd6w6cX7/inputs/coqeal_2.1.2-2.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+deb13u4 (28 December 2025) on localhost +==============================================================================+ | coqeal 2.1.2-2+b2 (riscv64) Mon, 28 Sep 2026 07:08:37 +0000 | +==============================================================================+ Package: coqeal Version: 2.1.2-2+b2 Source Version: 2.1.2-2 Distribution: unstable Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: No tarballs found in /srv/rebuilderd/.cache/sbuild I: Unpacking /srv/rebuilderd/tmp/debrebuildNe3YsC/debrebuild.tar.gyulJ88eIGmC to /srv/rebuilderd/tmp/tmp.sbuild.VvWbbwjR82... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Fetch source files Mon, 28 Sep 2026 07:10:00 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /srv/rebuilderd/tmp/rebuilderd6w6cX7/inputs/coqeal_2.1.2-2.dsc exists in /srv/rebuilderd/tmp/rebuilderd6w6cX7/inputs; copying to chroot sbuild: warning: descr(l1): found blank line where expected first heading +------------------------------------------------------------------------------+ | Install package build dependencies Mon, 28 Sep 2026 07:10:05 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential Filtered Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-16sqSY/apt_archive/sbuild-build-depends-main-dummy.deb'. Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies +------------------------------------------------------------------------------+ | Check architectures Mon, 28 Sep 2026 07:10:23 +0000 | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any) +------------------------------------------------------------------------------+ | Build environment Mon, 28 Sep 2026 07:10:23 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.6.87-win2030 #2025.04.20.18.43+bb0c69aea SMP Sun Apr 20 18:58:14 UTC 2025 riscv64 (riscv64) Toolchain package versions: binutils_2.47-6 dpkg-dev_1.23.11 g++-16_16.2.0-2 gcc-16_16.2.0-2 libc6-dev_2.43-5 libstdc++-16-dev_16.2.0-2 libstdc++6_16.2.0-2 linux-libc-dev_7.1.13-1 Package versions: autoconf_2.73-2 automake_1:1.19-2 autopoint_1.0-5 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-4 binutils_2.47-6 binutils-common_2.47-6 binutils-riscv64-linux-gnu_2.47-6 bsdextrautils_2.42.3-1 build-essential_12.12 bzip2_1.0.8-6+b2 coq_9.2.0+dfsg-4 coreutils_9.10-1 cpp_4:16.1.0-3 cpp-16_16.2.0-2 cpp-16-riscv64-linux-gnu_16.2.0-2 cpp-riscv64-linux-gnu_4:16.1.0-3 dash_0.5.12-12 debconf_1.5.92 debhelper_14.5 debianutils_5.24 dh-autoreconf_23 dh-coq_0.17 dh-ocaml_3.8 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.11 dpkg-dev_1.23.11 dwz_0.17-1 file_1:5.47-4 findutils_4.11.0-2 g++_4:16.1.0-3 g++-16_16.2.0-2 g++-16-riscv64-linux-gnu_16.2.0-2 g++-riscv64-linux-gnu_4:16.1.0-3 gcc_4:16.1.0-3 gcc-16_16.2.0-2 gcc-16-base_16.2.0-2 gcc-16-riscv64-linux-gnu_16.2.0-2 gcc-riscv64-linux-gnu_4:16.1.0-3 gettext_1.0-5 gettext-base_1.0-5 grep_3.12-1 groff-base_1.24.1-1 gzip_1.14-1 hostname_3.25 init-system-helpers_1.69+nmu1 intltool-debian_0.35.0+20060710.6 libacl1_2.4.0-1 libarchive-zip-perl_1.68-1 libasan8_16.2.0-2 libatomic1_16.2.0-2 libattr1_1:2.6.0-1 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b2 libbinutils_2.47-6 libblkid1_2.42.3-1 libbz2-1.0_1.0.8-6+b2 libc-bin_2.43-5 libc-dev-bin_2.43-5 libc-gconv-modules-extra_2.43-5 libc6_2.43-5 libc6-dev_2.43-5 libcap-ng0_0.9.6-1 libcc1-0_16.2.0-2 libcompiler-libs-ocaml-dev_5.4.1-1 libconfig-tiny-perl_2.30-1 libcoq-bignums_9.0.0+rocq9.2-3+b1 libcoq-core_9.2.0+dfsg-4 libcoq-core-ocaml_9.2.0+dfsg-4 libcoq-core-ocaml-dev_9.2.0+dfsg-4 libcoq-elpi_3.5.0-3+b2 libcoq-hierarchy-builder_1.10.3-3+b2 libcoq-mathcomp-algebra_2.6.0-3+b2 libcoq-mathcomp-bigenough_1.0.4-3+b2 libcoq-mathcomp-boot_2.6.0-3+b2 libcoq-mathcomp-field_2.6.0-3+b2 libcoq-mathcomp-finite-group_2.6.0-3+b2 libcoq-mathcomp-finmap_2.2.4-3+b2 libcoq-mathcomp-multinomials_2.5.0-3+b2 libcoq-mathcomp-order_2.6.0-3+b2 libcoq-mathcomp-real-closed_2.0.6-2+b2 libcoq-mathcomp-solvable_2.6.0-3+b2 libcoq-mathcomp-ssreflect_2.6.0-3+b2 libcoq-micromega-plugin_1.1.1-2 libcoq-stdlib_9.2.0-1+b1 libcrypt1_1:4.5.2+20251210-1 libctf-nobfd0_2.47-6 libctf0_2.47-6 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_14.5 libdpkg-perl_1.23.11 libelf1t64_0.196-1 libelpi-ocaml_3.7.2-2+b2 libelpi-ocaml-dev_3.7.2-2+b2 libexpat1_2.8.4-1 libffi8_3.8.0-2 libfile-stripnondeterminism-perl_1.15.1-1 libfindlib-ocaml_1.9.8-1+b3 libfindlib-ocaml-dev_1.9.8-1+b3 libgcc-16-dev_16.2.0-2 libgcc-s1_16.2.0-2 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libgmp-dev_2:6.3.0+dfsg-5+b2 libgmp10_2:6.3.0+dfsg-5+b2 libgmp3-dev_2:6.3.0+dfsg-5+b2 libgmpxx4ldbl_2:6.3.0+dfsg-5+b2 libgomp1_16.2.0-2 libgprofng0_2.47-6 libisl23_0.28-1 libitm1_16.2.0-2 libjansson4_2.15.1-1 libjson-perl_4.10000-1 liblsan0_16.2.0-2 liblzma5_5.8.4-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.2.0-2 libmenhir-ocaml-dev_20260209+ds-3 libmount1_2.42.3-1 libmpc3_1.3.1-3 libmpfr6_4.2.2-3 libncurses-dev_6.6+20260608-2 libncurses6_6.6+20260608-2 libncursesw6_6.6+20260608-2 libocaml-compiler-libs-ocaml-dev_0.17.0-2+b1 libpam-modules_1.7.0-8 libpam-modules-bin_1.7.0-8 libpam-runtime_1.7.0-8 libpam0g_1.7.0-8 libpcre2-8-0_10.48-3 libperl5.42_5.42.3-1 libpipeline1_1.5.8-3 libppx-derivers-ocaml-dev_1.2.1-4+b7 libppx-deriving-ocaml_6.2.0-1 libppx-deriving-ocaml-dev_6.2.0-1 libppxlib-ocaml-dev_0.38.0-1+b1 libpython3-stdlib_3.14.7-3 libpython3.14-minimal_3.14.7-4 libpython3.14-stdlib_3.14.7-4 libre-ocaml-dev_1.14.0-2+b1 libreadline8t64_8.3-4 libselinux1_3.11-2 libsexplib0-ocaml_0.17.0-1+b4 libsexplib0-ocaml-dev_0.17.0-1+b4 libsframe3_2.47-6 libsmartcols1_2.42.3-1 libsqlite3-0_3.53.4-2 libssl3t64_3.6.4-1 libstdc++-16-dev_16.2.0-2 libstdc++6_16.2.0-2 libstdlib-ocaml_5.4.1-1 libstdlib-ocaml-dev_5.4.1-1 libsystemd0_262~rc2-1 libtinfo6_6.6+20260608-2 libtool_2.6.2-3 libtsan2_16.2.0-2 libubsan1_16.2.0-2 libuchardet0_0.0.8-2+b2 libudev1_262~rc2-1 libunistring5_1.4.2-1 libuuid1_2.42.3-1 libxml2-16_2.15.4+dfsg-1 libzarith-ocaml_1.14-4 libzarith-ocaml-dev_1.14-4 libzstd-dev_1.5.7+dfsg-4 libzstd1_1.5.7+dfsg-4 linux-libc-dev_7.1.13-1 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-1 media-types_14.0.0 ncurses-base_6.6+20260608-2 ncurses-bin_6.6+20260608-2 netbase_6.6 ocaml_5.4.1-1 ocaml-base_5.4.1-1 ocaml-findlib_1.9.8-1+b3 ocaml-interp_5.4.1-1 openssl-provider-legacy_3.6.4-1 patch_2.8-2 perl_5.42.3-1 perl-base_5.42.3-1 perl-modules-5.42_5.42.3-1 po-debconf_1.0.22 python3_3.14.7-3 python3-minimal_3.14.7-3 python3.14_3.14.7-4 python3.14-minimal_3.14.7-4 quickjs_2025.04.26-1+b2 readline-common_8.3-4 sed_4.9-3 sensible-utils_0.0.26 sysvinit-utils_3.18-1 tar_1.35+dfsg-5 tzdata_2026c-1 util-linux_2.42.3-1 xz-utils_5.8.4-1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Mon, 28 Sep 2026 07:10:23 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coqeal Binary: libcoq-coqeal Architecture: any Version: 2.1.2-2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/coq-community/coqeal Standards-Version: 4.7.4 Vcs-Browser: https://salsa.debian.org/ocaml-team/coqeal Vcs-Git: https://salsa.debian.org/ocaml-team/coqeal.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-stdlib Package-List: libcoq-coqeal deb ocaml optional arch=any Checksums-Sha1: db51fe2516ea1e69e6745f110bbf3ee64456db43 227558 coqeal_2.1.2.orig.tar.gz 8073af178ffbf4c04f5e1e5575aee6d23b81e9d9 2552 coqeal_2.1.2-2.debian.tar.xz Checksums-Sha256: 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 227558 coqeal_2.1.2.orig.tar.gz a27f1b405461172ba00f4415a8ae299888db58e86ef5164b528fc64312926dc6 2552 coqeal_2.1.2-2.debian.tar.xz Files: dc9b861b87233f88030a94721bc1e53c 227558 coqeal_2.1.2.orig.tar.gz 1e8c215abef63e79131f579b9718d9f7 2552 coqeal_2.1.2-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp87KAZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUVED/49wr3UA+JynAbtFneB3U8e TUAMlaLN5nFPSAkajQmZ7+b3HEuj3ZPm+WvA/0OtIyjTOFdmFKL/+1zcDIgrDmbi mC64YVJZBKsXrepqNKbvdVrwLM8Lmx4J95quAm+vZY+3C8NIqXjsS9tSmJ+yXbs8 fQfNOL30gcUoH6/yplKgjjIv4Ch3+1AKN5svELiCWL9ddiIubR71Ev1A83ex5Jvh GbnMfbEgrt9mPP5HpvuIr8tCJLsUiENvR1syodTBtc7ynT0kMZnLPwNg71epBy/9 8VGTi3kY0+C1HblG5PIeztH93mXymPBHSntNe+PGetMQWh1C/L8vjHnWwVLe6Q/G zhP3WH1HI4zlIsZNz+UfbVmKL/PpFlaErscBH2UjyS2YAaSGGLoReu7CUA5JFclk CghMv2XucAjvSiS+qTzI7MIHrwIttbVXnB1qIToI2MXl1BYPyytBJ+22Jv4ES65C Fz5J72BVIp+AA/cvnaS+4uDfz/mCKGddRpqdKRqYaxbnQB92nR5hTec2vb5xMf4X rk+0tn4GhSDTGkJoL4q1seKeriAP6GXJPp4YuKtADFOMV+L2c5E0z5CJEjhc/tC0 SBG4w/UhWQuNuZS9TQAZf454scrLHcxpMojf2rXEnHtgVt44X1hftGz1BQIyUxNU B8AecpljwSO+NWBrN8hEpA== =+6EJ -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./coqeal_2.1.2-2.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./coqeal_2.1.2-2.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 coqeal in /build/reproducible-path/coqeal-2.1.2 dpkg-source: info: unpacking coqeal_2.1.2.orig.tar.gz dpkg-source: info: unpacking coqeal_2.1.2-2.debian.tar.xz Check disk space ---------------- Sufficient free space for build Hack binNMU version ------------------- Created changelog entry for binNMU version 2.1.2-2+b2 User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 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=1786569396 USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -B dpkg-buildpackage: info: source package coqeal dpkg-buildpackage: info: source version 2.1.2-2+b2 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by riscv64 Build Daemon (rv-osuosl-03) dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean dh clean --with coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/coqeal-2.1.2' make clean make[2]: Entering directory '/build/reproducible-path/coqeal-2.1.2' coq_makefile -f _CoqProject -o Makefile.coq make[3]: Entering directory '/build/reproducible-path/coqeal-2.1.2' CLEAN CLEAN *.aux *.timing make[3]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' make[2]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' make[1]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with coq,ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a dh_auto_build -a make -j4 INSTALL="install --strip-program=true" make[1]: Entering directory '/build/reproducible-path/coqeal-2.1.2' coq_makefile -f _CoqProject -o Makefile.coq make[2]: Entering directory '/build/reproducible-path/coqeal-2.1.2' ROCQ DEP VFILES ROCQ compile theory/atomic_operations.v ROCQ compile theory/ssrcomplements.v ROCQ compile theory/minor.v ROCQ compile theory/perm_eq_image.v ROCQ compile theory/gauss.v ROCQ compile theory/karatsuba.v ROCQ compile theory/ssralg_ring_tac.v ROCQ compile theory/toomcook.v ROCQ compile refinements/hrel.v ROCQ compile refinements/param.v ROCQ compile theory/stronglydiscrete.v ROCQ compile theory/binetcauchy.v ROCQ compile theory/closed_poly.v ROCQ compile theory/rank.v ROCQ compile theory/strassen.v ROCQ compile refinements/refinements.v ROCQ compile refinements/poly_op.v ROCQ compile theory/dvdring.v ROCQ compile refinements/pos.v ROCQ compile refinements/trivial_seq.v ROCQ compile refinements/boolF2.v ROCQ compile refinements/poly_div.v ROCQ compile refinements/binnat.v ROCQ compile refinements/binint.v ROCQ compile refinements/binord.v ROCQ compile refinements/seqpoly.v ROCQ compile refinements/hpoly.v ROCQ compile refinements/rational.v ROCQ compile refinements/binrat.v ROCQ compile theory/polydvd.v ROCQ compile theory/coherent.v ROCQ compile theory/mxstructure.v ROCQ compile theory/bareiss_dvdring.v ROCQ compile theory/bareiss.v ROCQ compile refinements/karatsuba.v ROCQ compile refinements/seqmx.v ROCQ compile refinements/examples/irred.v ROCQ compile theory/companion.v ROCQ compile theory/similar.v ROCQ compile theory/edr.v ROCQ compile theory/fpmod.v ROCQ compile theory/smith.v ROCQ compile theory/kaplansky.v ROCQ compile theory/smithpid.v ROCQ compile theory/smith_complements.v ROCQ compile theory/frobenius_form.v ROCQ compile theory/jordan.v Finished transaction in 31.856 secs (31.855u,0.s) (successful) ROCQ compile refinements/seqmx_complements.v ROCQ compile refinements/bareiss_eff.v ROCQ compile refinements/multipoly.v File "./refinements/multipoly.v", line 12, characters 0-54: Warning: Notations "[ in _ ]" defined at level 0 with arguments constr and "[ in _ [ _ ] , _ .-homog for _ ]" defined at level 0 with arguments constr at level 2 have incompatible prefixes. One of them will likely not work. [notation-incompatible-prefix,parsing,default] make[2]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' make[1]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' 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/coqeal-2.1.2' make install DESTDIR=/build/reproducible-path/coqeal-2.1.2/debian/tmp make[2]: Entering directory '/build/reproducible-path/coqeal-2.1.2' make[3]: Entering directory '/build/reproducible-path/coqeal-2.1.2' INSTALL theory/atomic_operations.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss_dvdring.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/binetcauchy.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/closed_poly.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/coherent.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/companion.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/dvdring.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/edr.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/fpmod.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/frobenius_form.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/gauss.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/jordan.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/kaplansky.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/karatsuba.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/minor.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/mxstructure.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/perm_eq_image.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/polydvd.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/rank.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/similar.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smithpid.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smith.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smith_complements.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/ssralg_ring_tac.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/ssrcomplements.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/strassen.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/stronglydiscrete.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/toomcook.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL refinements/hrel.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/param.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/refinements.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/pos.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binnat.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binint.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_op.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqpoly.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/karatsuba.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_div.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binord.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx_complements.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/hpoly.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/bareiss_eff.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/rational.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/boolF2.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/trivial_seq.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/examples/irred.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements/examples INSTALL refinements/binrat.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/multipoly.vo /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL theory/atomic_operations.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss_dvdring.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/binetcauchy.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/closed_poly.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/coherent.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/companion.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/dvdring.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/edr.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/fpmod.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/frobenius_form.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/gauss.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/jordan.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/kaplansky.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/karatsuba.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/minor.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/mxstructure.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/perm_eq_image.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/polydvd.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/rank.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/similar.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smithpid.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smith.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smith_complements.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/ssralg_ring_tac.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/ssrcomplements.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/strassen.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/stronglydiscrete.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/toomcook.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL refinements/hrel.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/param.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/refinements.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/pos.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binnat.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binint.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_op.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqpoly.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/karatsuba.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_div.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binord.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx_complements.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/hpoly.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/bareiss_eff.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/rational.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/boolF2.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/trivial_seq.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/examples/irred.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements/examples INSTALL refinements/binrat.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/multipoly.v /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL theory/atomic_operations.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss_dvdring.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/binetcauchy.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/closed_poly.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/coherent.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/companion.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/dvdring.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/edr.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/fpmod.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/frobenius_form.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/gauss.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/jordan.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/kaplansky.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/karatsuba.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/minor.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/mxstructure.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/perm_eq_image.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/polydvd.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/rank.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/similar.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smithpid.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smith.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/smith_complements.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/ssralg_ring_tac.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/ssrcomplements.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/strassen.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/stronglydiscrete.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL theory/toomcook.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//theory INSTALL refinements/hrel.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/param.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/refinements.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/pos.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binnat.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binint.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_op.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqpoly.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/karatsuba.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_div.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binord.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx_complements.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/hpoly.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/bareiss_eff.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/rational.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/boolF2.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/trivial_seq.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/examples/irred.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements/examples INSTALL refinements/binrat.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements INSTALL refinements/multipoly.glob /build/reproducible-path/coqeal-2.1.2/debian/tmp//usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq//user-contrib/CoqEAL//refinements make[4]: Entering directory '/build/reproducible-path/coqeal-2.1.2' make[4]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' make[3]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' make[2]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' make[1]: Leaving directory '/build/reproducible-path/coqeal-2.1.2' dh_ocamllibinstall -a dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_ocaml -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-coqeal' in '../libcoq-coqeal_2.1.2-2+b2_riscv64.deb'. dpkg-genbuildinfo --build=any -O../coqeal_2.1.2-2+b2_riscv64.buildinfo dpkg-genchanges --build=any -O../coqeal_2.1.2-2+b2_riscv64.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 2026-09-28T07:36:08Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Mon, 28 Sep 2026 07:36:09 +0000 | +------------------------------------------------------------------------------+ coqeal_2.1.2-2+b2_riscv64.changes: ---------------------------------- Format: 1.8 Date: Wed, 12 Aug 2026 21:16:36 +0000 Source: coqeal (2.1.2-2) Binary: libcoq-coqeal Binary-Only: yes Architecture: riscv64 Version: 2.1.2-2+b2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: riscv64 Build Daemon (rv-osuosl-03) Description: libcoq-coqeal - algebra and data structure algorithms for Coq Changes: coqeal (2.1.2-2+b2) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for riscv64; no source changes. * Rebuild with new OCaml ABIs of dependencies Checksums-Sha1: a50a85b740f2b64e0271d5cd299e186544c6e3f8 6979 coqeal_2.1.2-2+b2_riscv64.buildinfo a4fd65eef069ca65a501cd592a9b5700c9279710 6280708 libcoq-coqeal_2.1.2-2+b2_riscv64.deb Checksums-Sha256: 6286e3f102c86950ebf55644bd2a1e1d2904b57ce596365e29ae76a86209566f 6979 coqeal_2.1.2-2+b2_riscv64.buildinfo 1009ea1960c620010deb20a0112e19bc2fa7f8538bcb3921432dd516272944c6 6280708 libcoq-coqeal_2.1.2-2+b2_riscv64.deb Files: 14c1d49758855e545cba504a6be8d086 6979 ocaml optional coqeal_2.1.2-2+b2_riscv64.buildinfo 4922d56cafd3ac774cff89aeaff39473 6280708 ocaml optional libcoq-coqeal_2.1.2-2+b2_riscv64.deb +------------------------------------------------------------------------------+ | Buildinfo Mon, 28 Sep 2026 07:36:11 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coqeal (2.1.2-2) Binary: libcoq-coqeal Architecture: riscv64 Version: 2.1.2-2+b2 Binary-Only-Changes: coqeal (2.1.2-2+b2) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for riscv64; no source changes. * Rebuild with new OCaml ABIs of dependencies . -- riscv64 Build Daemon (rv-osuosl-03) Wed, 12 Aug 2026 21:16:36 +0000 Checksums-Md5: 4922d56cafd3ac774cff89aeaff39473 6280708 libcoq-coqeal_2.1.2-2+b2_riscv64.deb Checksums-Sha1: a4fd65eef069ca65a501cd592a9b5700c9279710 6280708 libcoq-coqeal_2.1.2-2+b2_riscv64.deb Checksums-Sha256: 1009ea1960c620010deb20a0112e19bc2fa7f8538bcb3921432dd516272944c6 6280708 libcoq-coqeal_2.1.2-2+b2_riscv64.deb Build-Origin: Debian Build-Architecture: riscv64 Build-Date: Mon, 28 Sep 2026 07:36:07 +0000 Build-Path: /build/reproducible-path/coqeal-2.1.2 Installed-Build-Depends: autoconf (= 2.73-2), automake (= 1:1.19-2), autopoint (= 1.0-5), autotools-dev (= 20240727.1+nmu1), base-files (= 14.2), base-passwd (= 3.6.8), bash (= 5.3-4), binutils (= 2.47-6), binutils-common (= 2.47-6), binutils-riscv64-linux-gnu (= 2.47-6), bsdextrautils (= 2.42.3-1), build-essential (= 12.12), bzip2 (= 1.0.8-6+b2), coq (= 9.2.0+dfsg-4), coreutils (= 9.10-1), cpp (= 4:16.1.0-3), cpp-16 (= 16.2.0-2), cpp-16-riscv64-linux-gnu (= 16.2.0-2), cpp-riscv64-linux-gnu (= 4:16.1.0-3), dash (= 0.5.12-12), debconf (= 1.5.92), debhelper (= 14.5), debianutils (= 5.24), dh-autoreconf (= 23), dh-coq (= 0.17), dh-ocaml (= 3.8), dh-strip-nondeterminism (= 1.15.1-1), diffutils (= 1:3.12-1), dpkg (= 1.23.11), dpkg-dev (= 1.23.11), dwz (= 0.17-1), file (= 1:5.47-4), findutils (= 4.11.0-2), g++ (= 4:16.1.0-3), g++-16 (= 16.2.0-2), g++-16-riscv64-linux-gnu (= 16.2.0-2), g++-riscv64-linux-gnu (= 4:16.1.0-3), gcc (= 4:16.1.0-3), gcc-16 (= 16.2.0-2), gcc-16-base (= 16.2.0-2), gcc-16-riscv64-linux-gnu (= 16.2.0-2), gcc-riscv64-linux-gnu (= 4:16.1.0-3), gettext (= 1.0-5), gettext-base (= 1.0-5), grep (= 3.12-1), groff-base (= 1.24.1-1), gzip (= 1.14-1), hostname (= 3.25), init-system-helpers (= 1.69+nmu1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.4.0-1), libarchive-zip-perl (= 1.68-1), libasan8 (= 16.2.0-2), libatomic1 (= 16.2.0-2), libattr1 (= 1:2.6.0-1), libaudit-common (= 1:4.1.2-1), libaudit1 (= 1:4.1.2-1+b2), libbinutils (= 2.47-6), libblkid1 (= 2.42.3-1), libbz2-1.0 (= 1.0.8-6+b2), libc-bin (= 2.43-5), libc-dev-bin (= 2.43-5), libc-gconv-modules-extra (= 2.43-5), libc6 (= 2.43-5), libc6-dev (= 2.43-5), libcap-ng0 (= 0.9.6-1), libcc1-0 (= 16.2.0-2), libcompiler-libs-ocaml-dev (= 5.4.1-1), libconfig-tiny-perl (= 2.30-1), libcoq-bignums (= 9.0.0+rocq9.2-3+b1), libcoq-core (= 9.2.0+dfsg-4), libcoq-core-ocaml (= 9.2.0+dfsg-4), libcoq-core-ocaml-dev (= 9.2.0+dfsg-4), libcoq-elpi (= 3.5.0-3+b2), libcoq-hierarchy-builder (= 1.10.3-3+b2), libcoq-mathcomp-algebra (= 2.6.0-3+b2), libcoq-mathcomp-bigenough (= 1.0.4-3+b2), libcoq-mathcomp-boot (= 2.6.0-3+b2), libcoq-mathcomp-field (= 2.6.0-3+b2), libcoq-mathcomp-finite-group (= 2.6.0-3+b2), libcoq-mathcomp-finmap (= 2.2.4-3+b2), libcoq-mathcomp-multinomials (= 2.5.0-3+b2), libcoq-mathcomp-order (= 2.6.0-3+b2), libcoq-mathcomp-real-closed (= 2.0.6-2+b2), libcoq-mathcomp-solvable (= 2.6.0-3+b2), libcoq-mathcomp-ssreflect (= 2.6.0-3+b2), libcoq-micromega-plugin (= 1.1.1-2), libcoq-stdlib (= 9.2.0-1+b1), libcrypt1 (= 1:4.5.2+20251210-1), libctf-nobfd0 (= 2.47-6), libctf0 (= 2.47-6), libdb5.3t64 (= 5.3.28+dfsg2-11+b1), libdebconfclient0 (= 0.283), libdebhelper-perl (= 14.5), libdpkg-perl (= 1.23.11), libelf1t64 (= 0.196-1), libelpi-ocaml (= 3.7.2-2+b2), libelpi-ocaml-dev (= 3.7.2-2+b2), libexpat1 (= 2.8.4-1), libffi8 (= 3.8.0-2), libfile-stripnondeterminism-perl (= 1.15.1-1), libfindlib-ocaml (= 1.9.8-1+b3), libfindlib-ocaml-dev (= 1.9.8-1+b3), libgcc-16-dev (= 16.2.0-2), libgcc-s1 (= 16.2.0-2), libgdbm-compat4t64 (= 1.26-1+b2), libgdbm6t64 (= 1.26-1+b2), libgmp-dev (= 2:6.3.0+dfsg-5+b2), libgmp10 (= 2:6.3.0+dfsg-5+b2), libgmp3-dev (= 2:6.3.0+dfsg-5+b2), libgmpxx4ldbl (= 2:6.3.0+dfsg-5+b2), libgomp1 (= 16.2.0-2), libgprofng0 (= 2.47-6), libisl23 (= 0.28-1), libitm1 (= 16.2.0-2), libjansson4 (= 2.15.1-1), libjson-perl (= 4.10000-1), liblsan0 (= 16.2.0-2), liblzma5 (= 5.8.4-1), libmagic-mgc (= 1:5.47-4), libmagic1t64 (= 1:5.47-4), libmd0 (= 1.2.0-2), libmenhir-ocaml-dev (= 20260209+ds-3), libmount1 (= 2.42.3-1), libmpc3 (= 1.3.1-3), libmpfr6 (= 4.2.2-3), libncurses-dev (= 6.6+20260608-2), libncurses6 (= 6.6+20260608-2), libncursesw6 (= 6.6+20260608-2), libocaml-compiler-libs-ocaml-dev (= 0.17.0-2+b1), libpam-modules (= 1.7.0-8), libpam-modules-bin (= 1.7.0-8), libpam-runtime (= 1.7.0-8), libpam0g (= 1.7.0-8), libpcre2-8-0 (= 10.48-3), libperl5.42 (= 5.42.3-1), libpipeline1 (= 1.5.8-3), libppx-derivers-ocaml-dev (= 1.2.1-4+b7), libppx-deriving-ocaml (= 6.2.0-1), libppx-deriving-ocaml-dev (= 6.2.0-1), libppxlib-ocaml-dev (= 0.38.0-1+b1), libpython3-stdlib (= 3.14.7-3), libpython3.14-minimal (= 3.14.7-4), libpython3.14-stdlib (= 3.14.7-4), libre-ocaml-dev (= 1.14.0-2+b1), libreadline8t64 (= 8.3-4), libselinux1 (= 3.11-2), libsexplib0-ocaml (= 0.17.0-1+b4), libsexplib0-ocaml-dev (= 0.17.0-1+b4), libsframe3 (= 2.47-6), libsmartcols1 (= 2.42.3-1), libsqlite3-0 (= 3.53.4-2), libssl3t64 (= 3.6.4-1), libstdc++-16-dev (= 16.2.0-2), libstdc++6 (= 16.2.0-2), libstdlib-ocaml (= 5.4.1-1), libstdlib-ocaml-dev (= 5.4.1-1), libsystemd0 (= 262~rc2-1), libtinfo6 (= 6.6+20260608-2), libtool (= 2.6.2-3), libtsan2 (= 16.2.0-2), libubsan1 (= 16.2.0-2), libuchardet0 (= 0.0.8-2+b2), libudev1 (= 262~rc2-1), libunistring5 (= 1.4.2-1), libuuid1 (= 2.42.3-1), libxml2-16 (= 2.15.4+dfsg-1), libzarith-ocaml (= 1.14-4), libzarith-ocaml-dev (= 1.14-4), libzstd-dev (= 1.5.7+dfsg-4), libzstd1 (= 1.5.7+dfsg-4), linux-libc-dev (= 7.1.13-1), m4 (= 1.4.21-1), make (= 4.4.1-3), man-db (= 2.13.1-1), mawk (= 1.3.4.20260302-1), media-types (= 14.0.0), ncurses-base (= 6.6+20260608-2), ncurses-bin (= 6.6+20260608-2), netbase (= 6.6), ocaml (= 5.4.1-1), ocaml-base (= 5.4.1-1), ocaml-findlib (= 1.9.8-1+b3), ocaml-interp (= 5.4.1-1), openssl-provider-legacy (= 3.6.4-1), patch (= 2.8-2), perl (= 5.42.3-1), perl-base (= 5.42.3-1), perl-modules-5.42 (= 5.42.3-1), po-debconf (= 1.0.22), python3 (= 3.14.7-3), python3-minimal (= 3.14.7-3), python3.14 (= 3.14.7-4), python3.14-minimal (= 3.14.7-4), quickjs (= 2025.04.26-1+b2), readline-common (= 8.3-4), sed (= 4.9-3), sensible-utils (= 0.0.26), sysvinit-utils (= 3.18-1), tar (= 1.35+dfsg-5), tzdata (= 2026c-1), util-linux (= 2.42.3-1), xz-utils (= 5.8.4-1), zlib1g (= 1:1.3.dfsg+really1.3.2-3) Environment: DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1786569396" +------------------------------------------------------------------------------+ | Package contents Mon, 28 Sep 2026 07:36:11 +0000 | +------------------------------------------------------------------------------+ libcoq-coqeal_2.1.2-2+b2_riscv64.deb ------------------------------------ new Debian package, version 2.0. size 6280708 bytes: control archive=4636 bytes. 816 bytes, 19 lines control 18050 bytes, 154 lines md5sums Package: libcoq-coqeal Source: coqeal (2.1.2-2) Version: 2.1.2-2+b2 Architecture: riscv64 Maintainer: Debian OCaml Maintainers Installed-Size: 20386 Depends: libcoq-bignums-4tch3, libcoq-mathcomp-algebra-p8051, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed-l7s05, libcoq-stdlib-s5tm9 Provides: libcoq-coqeal-aevo5 Section: ocaml Priority: optional Homepage: https://github.com/coq-community/coqeal Description: algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq. drwxr-xr-x root/root 0 2026-08-12 21:16 ./ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/ -rw-r--r-- root/root 106141 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/bareiss_eff.glob -rw-r--r-- root/root 47347 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/bareiss_eff.v -rw-r--r-- root/root 248372 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/bareiss_eff.vo -rw-r--r-- root/root 91007 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binint.glob -rw-r--r-- root/root 17794 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binint.v -rw-r--r-- root/root 252517 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binint.vo -rw-r--r-- root/root 56895 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binnat.glob -rw-r--r-- root/root 16114 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binnat.v -rw-r--r-- root/root 179806 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binnat.vo -rw-r--r-- root/root 22862 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binord.glob -rw-r--r-- root/root 5008 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binord.v -rw-r--r-- root/root 68845 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binord.vo -rw-r--r-- root/root 83004 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binrat.glob -rw-r--r-- root/root 24029 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binrat.v -rw-r--r-- root/root 256194 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binrat.vo -rw-r--r-- root/root 7896 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/boolF2.glob -rw-r--r-- root/root 4005 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/boolF2.v -rw-r--r-- root/root 47965 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/boolF2.vo drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/examples/ -rw-r--r-- root/root 56412 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/examples/irred.glob -rw-r--r-- root/root 10396 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/examples/irred.v -rw-r--r-- root/root 207042 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/examples/irred.vo -rw-r--r-- root/root 189174 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hpoly.glob -rw-r--r-- root/root 34171 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hpoly.v -rw-r--r-- root/root 521968 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hpoly.vo -rw-r--r-- root/root 15280 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hrel.glob -rw-r--r-- root/root 2921 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hrel.v -rw-r--r-- root/root 35470 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hrel.vo -rw-r--r-- root/root 39700 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/karatsuba.glob -rw-r--r-- root/root 5755 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/karatsuba.v -rw-r--r-- root/root 105370 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/karatsuba.vo -rw-r--r-- root/root 316968 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/multipoly.glob -rw-r--r-- root/root 81180 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/multipoly.v -rw-r--r-- root/root 909567 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/multipoly.vo -rw-r--r-- root/root 31632 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/param.glob -rw-r--r-- root/root 11419 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/param.v -rw-r--r-- root/root 257610 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/param.vo -rw-r--r-- root/root 43997 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_div.glob -rw-r--r-- root/root 6938 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_div.v -rw-r--r-- root/root 108668 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_div.vo -rw-r--r-- root/root 6854 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_op.glob -rw-r--r-- root/root 1686 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_op.v -rw-r--r-- root/root 35921 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_op.vo -rw-r--r-- root/root 8023 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/pos.glob -rw-r--r-- root/root 2256 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/pos.v -rw-r--r-- root/root 51690 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/pos.vo -rw-r--r-- root/root 75711 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/rational.glob -rw-r--r-- root/root 14757 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/rational.v -rw-r--r-- root/root 233557 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/rational.vo -rw-r--r-- root/root 85572 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/refinements.glob -rw-r--r-- root/root 18649 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/refinements.v -rw-r--r-- root/root 213509 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/refinements.vo -rw-r--r-- root/root 320028 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx.glob -rw-r--r-- root/root 57938 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx.v -rw-r--r-- root/root 1215105 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx.vo -rw-r--r-- root/root 49013 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx_complements.glob -rw-r--r-- root/root 10136 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx_complements.v -rw-r--r-- root/root 151043 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx_complements.vo -rw-r--r-- root/root 141732 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqpoly.glob -rw-r--r-- root/root 25263 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqpoly.v -rw-r--r-- root/root 376051 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqpoly.vo -rw-r--r-- root/root 10106 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/trivial_seq.glob -rw-r--r-- root/root 2354 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/trivial_seq.v -rw-r--r-- root/root 47129 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/trivial_seq.vo drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ -rw-r--r-- root/root 46105 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/atomic_operations.glob -rw-r--r-- root/root 7231 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/atomic_operations.v -rw-r--r-- root/root 106492 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/atomic_operations.vo -rw-r--r-- root/root 92606 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss.glob -rw-r--r-- root/root 14980 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss.v -rw-r--r-- root/root 162713 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss.vo -rw-r--r-- root/root 82755 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.glob -rw-r--r-- root/root 13728 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.v -rw-r--r-- root/root 167410 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.vo -rw-r--r-- root/root 118704 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/binetcauchy.glob -rw-r--r-- root/root 18821 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/binetcauchy.v -rw-r--r-- root/root 210612 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/binetcauchy.vo -rw-r--r-- root/root 51466 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/closed_poly.glob -rw-r--r-- root/root 11078 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/closed_poly.v -rw-r--r-- root/root 154834 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/closed_poly.vo -rw-r--r-- root/root 148121 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/coherent.glob -rw-r--r-- root/root 19156 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/coherent.v -rw-r--r-- root/root 617659 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/coherent.vo -rw-r--r-- root/root 31032 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/companion.glob -rw-r--r-- root/root 6398 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/companion.v -rw-r--r-- root/root 135691 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/companion.vo -rw-r--r-- root/root 400935 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/dvdring.glob -rw-r--r-- root/root 63094 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/dvdring.v -rw-r--r-- root/root 2277985 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/dvdring.vo -rw-r--r-- root/root 129284 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/edr.glob -rw-r--r-- root/root 19702 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/edr.v -rw-r--r-- root/root 711913 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/edr.vo -rw-r--r-- root/root 157789 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/fpmod.glob -rw-r--r-- root/root 30194 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/fpmod.v -rw-r--r-- root/root 373281 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/fpmod.vo -rw-r--r-- root/root 128950 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/frobenius_form.glob -rw-r--r-- root/root 29480 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/frobenius_form.v -rw-r--r-- root/root 326806 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/frobenius_form.vo -rw-r--r-- root/root 18107 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/gauss.glob -rw-r--r-- root/root 3481 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/gauss.v -rw-r--r-- root/root 84465 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/gauss.vo -rw-r--r-- root/root 49433 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/jordan.glob -rw-r--r-- root/root 11814 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/jordan.v -rw-r--r-- root/root 175874 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/jordan.vo -rw-r--r-- root/root 217648 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/kaplansky.glob -rw-r--r-- root/root 31225 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/kaplansky.v -rw-r--r-- root/root 951428 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/kaplansky.vo -rw-r--r-- root/root 13518 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/karatsuba.glob -rw-r--r-- root/root 2187 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/karatsuba.v -rw-r--r-- root/root 40046 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/karatsuba.vo -rw-r--r-- root/root 66023 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/minor.glob -rw-r--r-- root/root 9566 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/minor.v -rw-r--r-- root/root 140552 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/minor.vo -rw-r--r-- root/root 118408 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/mxstructure.glob -rw-r--r-- root/root 24047 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/mxstructure.v -rw-r--r-- root/root 292157 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/mxstructure.vo -rw-r--r-- root/root 37388 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/perm_eq_image.glob -rw-r--r-- root/root 7069 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/perm_eq_image.v -rw-r--r-- root/root 115173 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/perm_eq_image.vo -rw-r--r-- root/root 151023 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/polydvd.glob -rw-r--r-- root/root 29213 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/polydvd.v -rw-r--r-- root/root 471080 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/polydvd.vo -rw-r--r-- root/root 18016 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/rank.glob -rw-r--r-- root/root 3507 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/rank.v -rw-r--r-- root/root 82116 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/rank.vo -rw-r--r-- root/root 119812 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/similar.glob -rw-r--r-- root/root 21855 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/similar.v -rw-r--r-- root/root 334120 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/similar.vo -rw-r--r-- root/root 85452 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith.glob -rw-r--r-- root/root 13356 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith.v -rw-r--r-- root/root 503231 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith.vo -rw-r--r-- root/root 87266 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith_complements.glob -rw-r--r-- root/root 15155 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith_complements.v -rw-r--r-- root/root 200928 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith_complements.vo -rw-r--r-- root/root 85780 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smithpid.glob -rw-r--r-- root/root 14004 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smithpid.v -rw-r--r-- root/root 522940 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smithpid.vo -rw-r--r-- root/root 5201 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.glob -rw-r--r-- root/root 1695 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.v -rw-r--r-- root/root 40099 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.vo -rw-r--r-- root/root 66274 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssrcomplements.glob -rw-r--r-- root/root 11828 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssrcomplements.v -rw-r--r-- root/root 172967 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssrcomplements.vo -rw-r--r-- root/root 29163 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/strassen.glob -rw-r--r-- root/root 4254 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/strassen.v -rw-r--r-- root/root 65647 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/strassen.vo -rw-r--r-- root/root 141512 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/stronglydiscrete.glob -rw-r--r-- root/root 22778 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/stronglydiscrete.v -rw-r--r-- root/root 387625 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/stronglydiscrete.vo -rw-r--r-- root/root 24545 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/toomcook.glob -rw-r--r-- root/root 4163 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/toomcook.v -rw-r--r-- root/root 75589 2026-08-12 21:16 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/toomcook.vo drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/share/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./usr/share/doc/libcoq-coqeal/ -rw-r--r-- root/root 662 2026-08-12 21:16 ./usr/share/doc/libcoq-coqeal/changelog.Debian.gz -rw-r--r-- root/root 233 2026-08-12 21:16 ./usr/share/doc/libcoq-coqeal/changelog.Debian.riscv64.gz -rw-r--r-- root/root 1472 2026-08-12 21:16 ./usr/share/doc/libcoq-coqeal/copyright drwxr-xr-x root/root 0 2026-08-12 21:16 ./var/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./var/lib/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./var/lib/coq/ drwxr-xr-x root/root 0 2026-08-12 21:16 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2026-08-12 21:16 ./var/lib/coq/md5sums/libcoq-coqeal.checksum +------------------------------------------------------------------------------+ | Post Build Mon, 28 Sep 2026 07:36:13 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Mon, 28 Sep 2026 07:36:13 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Mon, 28 Sep 2026 07:36:19 +0000 | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 68784 Build-Time: 1541 Distribution: unstable Host Architecture: riscv64 Install-Time: 18 Job: /srv/rebuilderd/tmp/rebuilderd6w6cX7/inputs/coqeal_2.1.2-2.dsc Machine Architecture: riscv64 Package: coqeal Package-Time: 1651 Source-Version: 2.1.2-2 Space: 68784 Status: successful Version: 2.1.2-2+b2 -------------------------------------------------------------------------------- Finished at 2026-09-28T07:36:08Z Build needed 00:27:31, 68784k disk space build artifacts stored in /srv/rebuilderd/tmp/rebuilderd6w6cX7/out checking libcoq-coqeal_2.1.2-2+b2_riscv64.deb: size differs for libcoq-coqeal_2.1.2-2+b2_riscv64.deb