sbuild (Debian sbuild) 0.88.5 (01 March 2025) on derowd.up7.fr +===================================================================================+ | coq-bignums 9.0.0+coq8.20-1+ocaml20250313 (amd64) Thu, 13 Mar 2025 10:07:16 +0000 | +===================================================================================+ Package: coq-bignums Version: 9.0.0+coq8.20-1+ocaml20250313 Source Version: 9.0.0+coq8.20-1+ocaml20250313 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: No tarballs found in /home/steph/.cache/sbuild I: Unpacking /home/steph/ocaml-backports/20250313/ben/rootfs.tar.zst to /var/tmp/tmp.sbuild.bTsBo8l9iN... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Thu, 13 Mar 2025 10:07:27 +0000 | +------------------------------------------------------------------------------+ Get:1 file:/rebuilt ./ InRelease Ign:1 file:/rebuilt ./ InRelease Get:2 file:/rebuilt ./ Release [1360 B] Get:2 file:/rebuilt ./ Release [1360 B] Get:3 file:/rebuilt ./ Release.gpg Ign:3 file:/rebuilt ./ Release.gpg Get:4 file:/rebuilt ./ Packages [1073 kB] Get:5 http://localhost:9999/debian bookworm InRelease [151 kB] Get:6 http://localhost:9999/debian bookworm/main amd64 Packages [8792 kB] Get:7 http://localhost:9999/debian bookworm/non-free amd64 Packages [97.3 kB] Get:8 http://localhost:9999/debian bookworm/non-free-firmware amd64 Packages [6240 B] Get:9 http://localhost:9999/debian bookworm/contrib amd64 Packages [54.1 kB] Fetched 9101 kB in 1s (8255 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Thu, 13 Mar 2025 10:07:30 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.6czhzc9FhI/coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc exists in /tmp/tmp.ben.transition-scripts.6czhzc9FhI; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Thu, 13 Mar 2025 10:07:31 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-aDh0pt/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ Sources [670 B] Get:5 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ Packages [709 B] Fetched 1988 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.11 python3.11-minimal readline-common sensible-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.11-venv python3.11-doc binfmt-support readline-doc Recommended packages: curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl ca-certificates The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.11 python3.11-minimal readline-common sbuild-build-depends-main-dummy sensible-utils 0 upgraded, 68 newly installed, 0 to remove and 0 not upgraded. Need to get 27.5 MB/299 MB of archives. After this operation, 956 MB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [892 B] Get:2 file:/rebuilt ./ libcoq-stdlib 8.20.1+dfsg-1+ocaml20250313 [23.5 MB] Get:3 file:/rebuilt ./ libstdlib-ocaml 5.3.0-2+ocaml20250313 [602 kB] Get:4 http://localhost:9999/debian bookworm/main amd64 libpython3.11-minimal amd64 3.11.2-6+deb12u5 [816 kB] Get:5 file:/rebuilt ./ ocaml-base 5.3.0-2+ocaml20250313 [493 kB] Get:6 file:/rebuilt ./ libfindlib-ocaml 1.9.8-1+ocaml20250313 [214 kB] Get:7 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml20250313 [116 kB] Get:8 http://localhost:9999/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1+deb12u1 [98.9 kB] Get:9 http://localhost:9999/debian bookworm/main amd64 python3.11-minimal amd64 3.11.2-6+deb12u5 [2067 kB] Get:10 http://localhost:9999/debian bookworm/main amd64 python3-minimal amd64 3.11.2-1+b1 [26.3 kB] Get:11 http://localhost:9999/debian bookworm/main amd64 media-types all 10.0.0 [26.1 kB] Get:12 http://localhost:9999/debian bookworm/main amd64 libncursesw6 amd64 6.4-4 [134 kB] Get:13 http://localhost:9999/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB] Get:14 http://localhost:9999/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB] Get:15 http://localhost:9999/debian bookworm/main amd64 libsqlite3-0 amd64 3.40.1-2+deb12u1 [839 kB] Get:16 http://localhost:9999/debian bookworm/main amd64 libpython3.11-stdlib amd64 3.11.2-6+deb12u5 [1797 kB] Get:17 http://localhost:9999/debian bookworm/main amd64 python3.11 amd64 3.11.2-6+deb12u5 [573 kB] Get:18 http://localhost:9999/debian bookworm/main amd64 libpython3-stdlib amd64 3.11.2-1+b1 [9312 B] Get:19 http://localhost:9999/debian bookworm/main amd64 python3 amd64 3.11.2-1+b1 [26.3 kB] Get:20 http://localhost:9999/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get:21 http://localhost:9999/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get:22 http://localhost:9999/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get:23 http://localhost:9999/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get:24 http://localhost:9999/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get:25 http://localhost:9999/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get:26 http://localhost:9999/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get:27 http://localhost:9999/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+deb12u3 [87.0 kB] Get:28 http://localhost:9999/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get:29 http://localhost:9999/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get:30 http://localhost:9999/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:31 http://localhost:9999/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get:32 http://localhost:9999/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get:33 http://localhost:9999/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get:34 http://localhost:9999/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get:35 file:/rebuilt ./ libcoq-core-ocaml 8.20.1+dfsg-1+ocaml20250313 [26.0 MB] Get:36 http://localhost:9999/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get:37 http://localhost:9999/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get:38 http://localhost:9999/debian bookworm/main amd64 libzstd-dev amd64 1.5.4+dfsg2-5 [354 kB] Get:39 http://localhost:9999/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get:40 http://localhost:9999/debian bookworm/main amd64 libtool all 2.4.7-7~deb12u1 [517 kB] Get:41 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-2+ocaml20250313 [7886 kB] Get:42 http://localhost:9999/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get:43 http://localhost:9999/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:44 http://localhost:9999/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get:45 http://localhost:9999/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get:46 http://localhost:9999/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get:47 http://localhost:9999/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get:48 http://localhost:9999/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get:49 http://localhost:9999/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get:50 http://localhost:9999/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.3~deb12u1 [687 kB] Get:51 http://localhost:9999/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get:52 http://localhost:9999/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:53 http://localhost:9999/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:54 http://localhost:9999/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get:55 http://localhost:9999/debian bookworm/main amd64 libconfig-tiny-perl all 2.28-2 [16.4 kB] Get:56 http://localhost:9999/debian bookworm/main amd64 libgmpxx4ldbl amd64 2:6.2.1+dfsg1-1.1 [338 kB] Get:57 http://localhost:9999/debian bookworm/main amd64 libgmp-dev amd64 2:6.2.1+dfsg1-1.1 [641 kB] Get:58 http://localhost:9999/debian bookworm/main amd64 libgmp3-dev amd64 2:6.2.1+dfsg1-1.1 [331 kB] Get:59 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-2+ocaml20250313 [48.2 MB] Get:60 file:/rebuilt ./ ocaml-interp 5.3.0-2+ocaml20250313 [7106 kB] Get:61 file:/rebuilt ./ ocaml 5.3.0-2+ocaml20250313 [18.0 MB] Get:62 file:/rebuilt ./ ocaml-findlib 1.9.8-1+ocaml20250313 [583 kB] Get:63 file:/rebuilt ./ coq 8.20.1+dfsg-1+ocaml20250313 [70.2 MB] Get:64 file:/rebuilt ./ dh-coq 0.14+ocaml20250313 [8064 B] Get:65 file:/rebuilt ./ dh-ocaml 2.4+ocaml20250313 [68.7 kB] Get:66 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.8-1+ocaml20250313 [179 kB] Get:67 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml20250313 [142 kB] Get:68 file:/rebuilt ./ libcoq-core-ocaml-dev 8.20.1+dfsg-1+ocaml20250313 [68.7 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 27.5 MB in 1s (37.3 MB/s) Selecting previously unselected package libpython3.11-minimal:amd64. (Reading database ... 10779 files and directories currently installed.) Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u5_amd64.deb ... Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.5.0-1+deb12u1_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-1+deb12u1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u5_amd64.deb ... Unpacking python3.11-minimal (3.11.2-6+deb12u5) ... Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ... Setting up libexpat1:amd64 (2.5.0-1+deb12u1) ... Setting up python3.11-minimal (3.11.2-6+deb12u5) ... Selecting previously unselected package python3-minimal. (Reading database ... 11095 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_amd64.deb ... Unpacking python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.0.0_all.deb ... Unpacking media-types (10.0.0) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../2-libncursesw6_6.4-4_amd64.deb ... Unpacking libncursesw6:amd64 (6.4-4) ... Selecting previously unselected package readline-common. Preparing to unpack .../3-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../4-libreadline8_8.2-1.3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1.3) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../5-libsqlite3-0_3.40.1-2+deb12u1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Selecting previously unselected package libpython3.11-stdlib:amd64. Preparing to unpack .../6-libpython3.11-stdlib_3.11.2-6+deb12u5_amd64.deb ... Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ... Selecting previously unselected package python3.11. Preparing to unpack .../7-python3.11_3.11.2-6+deb12u5_amd64.deb ... Unpacking python3.11 (3.11.2-6+deb12u5) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../8-libpython3-stdlib_3.11.2-1+b1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package python3. (Reading database ... 11546 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ... Unpacking python3 (3.11.2-1+b1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.44-3_amd64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../03-libmagic1_1%3a5.44-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.44-3_amd64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.21-12_amd64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.22.4-10_amd64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.38.1-5+deb12u3_amd64.deb ... Unpacking bsdextrautils (2.38.1-5+deb12u3) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.11.2-2_amd64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../16-libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../17-libstdlib-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../18-ocaml-base_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-base (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../19-libfindlib-ocaml_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml20250313_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+ocaml20250313) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../21-libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../22-libstdlib-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-interp (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../25-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../26-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../27-libzstd-dev_1.5.4+dfsg2-5_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.4+dfsg2-5) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+ocaml20250313) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking coq (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.7-7~deb12u1_all.deb ... Unpacking libtool (2.4.7-7~deb12u1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../35-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../36-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../37-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../38-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../39-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../40-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../41-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Selecting previously unselected package gettext. Preparing to unpack .../42-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../43-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../44-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../45-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package dh-coq. Preparing to unpack .../46-dh-coq_0.14+ocaml20250313_all.deb ... Unpacking dh-coq (0.14+ocaml20250313) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../47-libconfig-tiny-perl_2.28-2_all.deb ... Unpacking libconfig-tiny-perl (2.28-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../48-dh-ocaml_2.4+ocaml20250313_all.deb ... Unpacking dh-ocaml (2.4+ocaml20250313) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../49-libfindlib-ocaml-dev_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../50-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../51-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../52-libgmp3-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../53-libzarith-ocaml-dev_1.14-1+ocaml20250313_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+ocaml20250313) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../54-libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../55-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (10.0.0) ... Setting up libpipeline1:amd64 (1.5.7-1) ... Setting up libicu72:amd64 (72.1-3) ... Setting up libzstd-dev:amd64 (1.5.4+dfsg2-5) ... Setting up bsdextrautils (2.38.1-5+deb12u3) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up dh-coq (0.14+ocaml20250313) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Setting up libmagic1:amd64 (1:5.44-3) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up file (1:5.44-3) ... Setting up libconfig-tiny-perl (2.28-2) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.20.1+dfsg-1+ocaml20250313) ... Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up libncurses6:amd64 (6.4-4) ... Setting up libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Setting up autopoint (0.21-12) ... Setting up ocaml-base (5.3.0-2+ocaml20250313) ... Setting up libncursesw6:amd64 (6.4-4) ... Setting up autoconf (2.71-3) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libsub-override-perl (0.09-4) ... Setting up libelf1:amd64 (0.188-2.1) ... Setting up readline-common (8.2-1.3) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libncurses-dev:amd64 (6.4-4) ... Setting up gettext (0.21-12) ... Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up libtool (2.4.7-7~deb12u1) ... Setting up libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ... Setting up libreadline8:amd64 (8.2-1.3) ... Setting up dh-ocaml (2.4+ocaml20250313) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Setting up libzarith-ocaml (1.14-1+ocaml20250313) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ... Setting up ocaml-interp (5.3.0-2+ocaml20250313) ... Setting up ocaml-findlib (1.9.8-1+ocaml20250313) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up libcoq-core-ocaml (8.20.1+dfsg-1+ocaml20250313) ... Setting up groff-base (1.22.4-10) ... Setting up libgmp3-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ... Setting up ocaml (5.3.0-2+ocaml20250313) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ... Setting up libzarith-ocaml-dev (1.14-1+ocaml20250313) ... Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3.11 (3.11.2-6+deb12u5) ... Setting up debhelper (13.11.4) ... Setting up python3 (3.11.2-1+b1) ... Setting up coq (8.20.1+dfsg-1+ocaml20250313) ... Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml20250313) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... +------------------------------------------------------------------------------+ | Check architectures Thu, 13 Mar 2025 10:08:20 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Thu, 13 Mar 2025 10:08:20 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.17-1 (2025-03-01) amd64 (x86_64) Toolchain package versions: binutils_2.40-2 dpkg-dev_1.21.22 g++-12_12.2.0-14 gcc-12_12.2.0-14 libc6-dev_2.36-9+deb12u9 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 linux-libc-dev_6.1.123-1 Package versions: adduser_3.134 apt_2.6.1 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-12 autotools-dev_20220109.1 base-files_12.4+deb12u9 base-passwd_3.6.1 bash_5.2.15-2+b7 binutils_2.40-2 binutils-common_2.40-2 binutils-x86-64-linux-gnu_2.40-2 bsdextrautils_2.38.1-5+deb12u3 bsdutils_1:2.38.1-5+deb12u3 build-essential_12.9 bzip2_1.0.8-5+b1 coq_8.20.1+dfsg-1+ocaml20250313 coreutils_9.1-1 cpp_4:12.2.0-3 cpp-12_12.2.0-14 dash_0.5.12-2 debconf_1.5.82 debhelper_13.11.4 debian-archive-keyring_2023.3+deb12u1 debianutils_5.7-0.5~deb12u1 dh-autoreconf_20 dh-coq_0.14+ocaml20250313 dh-ocaml_2.4+ocaml20250313 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.8-4 dpkg_1.21.22 dpkg-dev_1.21.22 dwz_0.15-1 file_1:5.44-3 findutils_4.9.0-4 g++_4:12.2.0-3 g++-12_12.2.0-14 gcc_4:12.2.0-3 gcc-12_12.2.0-14 gcc-12-base_12.2.0-14 gettext_0.21-12 gettext-base_0.21-12 gpgv_2.2.40-1.1 grep_3.8-5 groff-base_1.22.4-10 gzip_1.12-1 hostname_3.23+nmu1 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 libacl1_2.3.1-3 libapt-pkg6.0_2.6.1 libarchive-zip-perl_1.68-1 libasan8_12.2.0-14 libatomic1_12.2.0-14 libattr1_1:2.5.1-4 libaudit-common_1:3.0.9-1 libaudit1_1:3.0.9-1 libbinutils_2.40-2 libblkid1_2.38.1-5+deb12u3 libbz2-1.0_1.0.8-5+b1 libc-bin_2.36-9+deb12u9 libc-dev-bin_2.36-9+deb12u9 libc6_2.36-9+deb12u9 libc6-dev_2.36-9+deb12u9 libcap-ng0_0.8.3-1+b3 libcap2_1:2.66-4 libcc1-0_12.2.0-14 libcom-err2_1.47.0-2 libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313 libconfig-tiny-perl_2.28-2 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml20250313 libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313 libcrypt-dev_1:4.4.33-2 libcrypt1_1:4.4.33-2 libctf-nobfd0_2.40-2 libctf0_2.40-2 libdb5.3_5.3.28+dfsg2-1 libdebconfclient0_0.270 libdebhelper-perl_13.11.4 libdpkg-perl_1.21.22 libelf1_0.188-2.1 libexpat1_2.5.0-1+deb12u1 libffi8_3.4.4-1 libfile-find-rule-perl_0.34-3 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.8-1+ocaml20250313 libfindlib-ocaml-dev_1.9.8-1+ocaml20250313 libgcc-12-dev_12.2.0-14 libgcc-s1_12.2.0-14 libgcrypt20_1.10.1-3 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libgmp-dev_2:6.2.1+dfsg1-1.1 libgmp10_2:6.2.1+dfsg1-1.1 libgmp3-dev_2:6.2.1+dfsg1-1.1 libgmpxx4ldbl_2:6.2.1+dfsg1-1.1 libgnutls30_3.7.9-2+deb12u3 libgomp1_12.2.0-14 libgpg-error0_1.46-1 libgprofng0_2.40-2 libgssapi-krb5-2_1.20.1-2+deb12u2 libhogweed6_3.8.1-2 libicu72_72.1-3 libidn2-0_2.3.3-1+b1 libisl23_0.25-1.1 libitm1_12.2.0-14 libjansson4_2.14-2 libk5crypto3_1.20.1-2+deb12u2 libkeyutils1_1.6.3-2 libkrb5-3_1.20.1-2+deb12u2 libkrb5support0_1.20.1-2+deb12u2 liblsan0_12.2.0-14 liblz4-1_1.9.4-1 liblzma5_5.4.1-0.2 libmagic-mgc_1:5.44-3 libmagic1_1:5.44-3 libmd0_1.0.4-2 libmount1_2.38.1-5+deb12u3 libmpc3_1.3.1-1 libmpfr6_4.2.0-1 libncurses-dev_6.4-4 libncurses6_6.4-4 libncursesw6_6.4-4 libnettle8_3.8.1-2 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnumber-compare-perl_0.03-3 libp11-kit0_0.24.1-2 libpam-modules_1.5.2-6+deb12u1 libpam-modules-bin_1.5.2-6+deb12u1 libpam-runtime_1.5.2-6+deb12u1 libpam0g_1.5.2-6+deb12u1 libpcre2-8-0_10.42-1 libperl5.36_5.36.0-7+deb12u1 libpipeline1_1.5.7-1 libpython3-stdlib_3.11.2-1+b1 libpython3.11-minimal_3.11.2-6+deb12u5 libpython3.11-stdlib_3.11.2-6+deb12u5 libquadmath0_12.2.0-14 libreadline8_8.2-1.3 libseccomp2_2.5.4-1+deb12u1 libselinux1_3.4-1+b6 libsemanage-common_3.4-1 libsemanage2_3.4-1+b5 libsepol2_3.4-2.1 libsmartcols1_2.38.1-5+deb12u3 libsqlite3-0_3.40.1-2+deb12u1 libssl3_3.0.15-1~deb12u1 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 libstdlib-ocaml_5.3.0-2+ocaml20250313 libstdlib-ocaml-dev_5.3.0-2+ocaml20250313 libsub-override-perl_0.09-4 libsystemd0_252.33-1~deb12u1 libtasn1-6_4.19.0-2 libtext-glob-perl_0.11-3 libtinfo6_6.4-4 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-7~deb12u1 libtsan2_12.2.0-14 libubsan1_12.2.0-14 libuchardet0_0.0.7-1 libudev1_252.33-1~deb12u1 libunistring2_1.0-2 libuuid1_2.38.1-5+deb12u3 libxml2_2.9.14+dfsg-1.3~deb12u1 libxxhash0_0.8.1-1 libzarith-ocaml_1.14-1+ocaml20250313 libzarith-ocaml-dev_1.14-1+ocaml20250313 libzstd-dev_1.5.4+dfsg2-5 libzstd1_1.5.4+dfsg2-5 linux-libc-dev_6.1.123-1 login_1:4.13+dfsg1-1+b1 m4_1.4.19-3 make_4.3-4.1 man-db_2.11.2-2 mawk_1.3.4.20200120-3.1 media-types_10.0.0 ncurses-base_6.4-4 ncurses-bin_6.4-4 ocaml_5.3.0-2+ocaml20250313 ocaml-base_5.3.0-2+ocaml20250313 ocaml-findlib_1.9.8-1+ocaml20250313 ocaml-interp_5.3.0-2+ocaml20250313 passwd_1:4.13+dfsg1-1+b1 patch_2.7.6-7 perl_5.36.0-7+deb12u1 perl-base_5.36.0-7+deb12u1 perl-modules-5.36_5.36.0-7+deb12u1 po-debconf_1.0.21+nmu1 python3_3.11.2-1+b1 python3-minimal_3.11.2-1+b1 python3.11_3.11.2-6+deb12u5 python3.11-minimal_3.11.2-6+deb12u5 readline-common_8.2-1.3 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.17+nmu1 sysvinit-utils_3.06-4 tar_1.34+dfsg-1.2+deb12u1 usrmerge_37~deb12u1 util-linux_2.38.1-5+deb12u3 util-linux-extra_2.38.1-5+deb12u3 xz-utils_5.4.1-0.2 zlib1g_1:1.2.13.dfsg-1 +------------------------------------------------------------------------------+ | Build Thu, 13 Mar 2025 10:08:20 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: coq-bignums Binary: libcoq-bignums Architecture: any Version: 9.0.0+coq8.20-1+ocaml20250313 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/coq-community/bignums Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib Package-List: libcoq-bignums deb ocaml optional arch=any Checksums-Sha1: 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz 38e07314c04c58f8e631cd282e7ad7c2ec2635e1 2176 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz Checksums-Sha256: 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz 7cfb7a7fe7e07f016f62c7c3c0d6a9c9f47a8d78a199a59c2a43de570599731d 2176 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz Files: 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz 7a61ce37cfb856193889e9e7c9747c2a 2176 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz dpkg-source: warning: extracting unsigned source package (coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc) dpkg-source: info: extracting coq-bignums in /build/reproducible-path/coq-bignums-9.0.0+coq8.20 dpkg-source: info: unpacking coq-bignums_9.0.0+coq8.20.orig.tar.gz dpkg-source: info: unpacking coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz Can't exec "dpkg-buildtree": No such file or directory at /usr/libexec/sbuild-usernsexec line 604. Failed to exec: dpkg-buildtree: No such file or directory at /usr/libexec/sbuild-usernsexec line 605. Install fakeroot ---------------- Setup apt archive ----------------- Merged Build-Depends: fakeroot Filtered Build-Depends: fakeroot dpkg-deb: building package 'sbuild-build-depends-fakeroot-dummy' in '/build/reproducible-path/resolver-aDh0pt/apt_archive/sbuild-build-depends-fakeroot-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ Release [615 B] Ign:3 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ Sources [1258 B] Get:5 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ Packages [1324 B] Fetched 3197 B in 0s (0 B/s) Reading package lists... Reading package lists... Install fakeroot build dependencies (apt-based resolver) -------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: fakeroot libfakeroot The following NEW packages will be installed: fakeroot libfakeroot sbuild-build-depends-fakeroot-dummy 0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 96.1 kB of archives. After this operation, 360 kB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-aDh0pt/apt_archive ./ sbuild-build-depends-fakeroot-dummy 0.invalid.0 [832 B] Get:2 http://localhost:9999/debian bookworm/main amd64 libfakeroot amd64 1.31-1.2 [28.3 kB] Get:3 http://localhost:9999/debian bookworm/main amd64 fakeroot amd64 1.31-1.2 [66.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 96.1 kB in 0s (428 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... 23004 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.31-1.2_amd64.deb ... Unpacking libfakeroot:amd64 (1.31-1.2) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.31-1.2_amd64.deb ... Unpacking fakeroot (1.31-1.2) ... Selecting previously unselected package sbuild-build-depends-fakeroot-dummy. Preparing to unpack .../sbuild-build-depends-fakeroot-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-fakeroot-dummy (0.invalid.0) ... Setting up libfakeroot:amd64 (1.31-1.2) ... Setting up fakeroot (1.31-1.2) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up sbuild-build-depends-fakeroot-dummy (0.invalid.0) ... Processing triggers for man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Processing triggers for libc-bin (2.36-9+deb12u9) ... Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=1 HOME=/sbuild-nonexistent LANG=fr_FR.UTF-8 LC_ALL=C.UTF-8 LOGNAME=sbuild MAKEFLAGS= PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -sa dpkg-buildpackage: info: source package coq-bignums dpkg-buildpackage: info: source version 9.0.0+coq8.20-1+ocaml20250313 dpkg-buildpackage: info: source distribution bookworm-backports-ocaml dpkg-buildpackage: info: source changed by Anonymous Builder dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make clean make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq Makefile make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' ocaml BigN/gen/NMake_gen.ml > BigN/NMake_gen.v || (RV=$?; rm -f BigN/NMake_gen.v; exit ${RV}) COQDEP VFILES OCAMLLIBDEP plugin/bignums_syntax_plugin.mlpack CAMLDEP plugin/bignums_syntax.ml make[3]: Nothing to be done for 'Makefile'. make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make -f Makefile.coq clean make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' rm -f BigN/NMake_gen.v CLEAN make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' rm -f Makefile.coq Makefile.coq.conf make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' rm -f plugin/META.coq-bignums .lia.cache .nia.cache find . -name "*.aux" -delete make[1]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' dh_ocamlclean dh_clean dpkg-source -b . dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building coq-bignums using existing ./coq-bignums_9.0.0+coq8.20.orig.tar.gz dpkg-source: info: building coq-bignums in coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz dpkg-source: info: building coq-bignums in coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc debian/rules binary dh binary --with coq,ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure dh_auto_build make -j1 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq Makefile make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' ocaml BigN/gen/NMake_gen.ml > BigN/NMake_gen.v || (RV=$?; rm -f BigN/NMake_gen.v; exit ${RV}) COQDEP VFILES OCAMLLIBDEP plugin/bignums_syntax_plugin.mlpack CAMLDEP plugin/bignums_syntax.ml make[2]: Nothing to be done for 'Makefile'. make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make -f Makefile.coq all make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' CAMLOPT -c -for-pack Bignums_syntax_plugin plugin/bignums_syntax.ml CAMLOPT -pack -o plugin/bignums_syntax_plugin.cmx CAMLOPT -a -o plugin/bignums_syntax_plugin.cmxa CAMLOPT -shared -o plugin/bignums_syntax_plugin.cmxs COQC BigNumPrelude.v COQC CyclicDouble/DoubleBase.v COQC CyclicDouble/DoubleAdd.v COQC CyclicDouble/DoubleSub.v COQC CyclicDouble/DoubleMul.v COQC CyclicDouble/DoubleSqrt.v COQC CyclicDouble/DoubleLift.v COQC CyclicDouble/DoubleDivn1.v COQC CyclicDouble/DoubleDiv.v File "./CyclicDouble/DoubleDiv.v", line 1143, characters 28-46: Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 1143, characters 28-46: Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 1493, characters 9-27: Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 1493, characters 9-27: Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default] COQC CyclicDouble/DoubleCyclic.v COQC BigN/Nbasic.v COQC SpecViaZ/NSig.v COQC BigN/NMake_gen.v COQC BigN/NMake.v COQC SpecViaZ/NSigNAxioms.v COQC BigN/BigN.v File "./BigN/BigN.v", line 47, characters 0-26: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] COQC SpecViaZ/ZSig.v COQC SpecViaZ/ZSigZAxioms.v COQC SpecViaQ/QSig.v COQC BigQ/QMake.v COQC BigZ/ZMake.v COQC BigZ/BigZ.v File "./BigZ/BigZ.v", line 48, characters 0-26: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] File "./BigZ/BigZ.v", line 49, characters 0-26: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default] COQC BigQ/BigQ.v make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make[1]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' dh_auto_test create-stamp debian/debhelper-build-stamp dh_prep dh_auto_install --destdir=debian/libcoq-bignums/ make -j1 install DESTDIR=/build/reproducible-path/coq-bignums-9.0.0\+coq8.20/debian/libcoq-bignums AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make -f Makefile.coq Makefile make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make[2]: Nothing to be done for 'Makefile'. make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make -f Makefile.coq install make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' INSTALL BigN/Nbasic.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake_gen.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/BigN.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL SpecViaZ/NSig.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSig.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/NSigNAxioms.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSigZAxioms.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaQ/QSig.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaQ INSTALL BigQ/QMake.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigQ INSTALL BigQ/BigQ.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigQ INSTALL CyclicDouble/DoubleBase.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleAdd.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDiv.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleMul.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSub.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDivn1.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSqrt.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleCyclic.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleLift.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL BigNumPrelude.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums/ INSTALL BigZ/ZMake.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigZ INSTALL BigZ/BigZ.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigZ INSTALL BigN/Nbasic.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake_gen.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/BigN.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL SpecViaZ/NSig.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSig.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/NSigNAxioms.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSigZAxioms.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaQ/QSig.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaQ INSTALL BigQ/QMake.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigQ INSTALL BigQ/BigQ.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigQ INSTALL CyclicDouble/DoubleBase.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleAdd.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDiv.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleMul.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSub.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDivn1.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSqrt.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleCyclic.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleLift.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL BigNumPrelude.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums/ INSTALL BigZ/ZMake.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigZ INSTALL BigZ/BigZ.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigZ INSTALL BigN/Nbasic.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake_gen.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL BigN/BigN.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigN INSTALL SpecViaZ/NSig.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSig.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/NSigNAxioms.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSigZAxioms.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaQ/QSig.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//SpecViaQ INSTALL BigQ/QMake.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigQ INSTALL BigQ/BigQ.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigQ INSTALL CyclicDouble/DoubleBase.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleAdd.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDiv.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleMul.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSub.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDivn1.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSqrt.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleCyclic.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleLift.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//CyclicDouble INSTALL BigNumPrelude.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums/ INSTALL BigZ/ZMake.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigZ INSTALL BigZ/BigZ.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//BigZ INSTALL plugin/bignums_syntax_plugin.cmxs /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//plugin INSTALL plugin/bignums_syntax_plugin.cmxs /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/Bignums//plugin ocamlfind: [WARNING] No such file: /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-bignums/META Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmx Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxa Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs ocamlfind: [WARNING] Overwriting file /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmi Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-bignums/META make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' make[1]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20' dh_ocamldoc dh_installdocs dh_installchangelogs dh_lintian dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_dwz -a dwz: debian/libcoq-bignums/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxs: .debug_info section not present dwz: debian/libcoq-bignums/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxs: .debug_info section not present dwz: Too few files for multifile optimization dh_dwz: warning: No dwz multifile created, but not explicitly requested either so ignoring it. dh_dwz: warning: Common issues include no debug information at all (missing -g) and dh_dwz: warning: compressed debug information (#931891). dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_coq dh_ocaml dh_gencontrol dpkg-gencontrol: warning: package libcoq-bignums: substitution variable ${ocaml:Depends} unused, but is defined dpkg-gencontrol: warning: package libcoq-bignums: substitution variable ${ocaml:Depends} unused, but is defined dh_md5sums dh_builddeb dpkg-deb: building package 'libcoq-bignums' in '../libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb'. dpkg-deb: building package 'libcoq-bignums-dbgsym' in '../libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb'. dpkg-genbuildinfo -O../coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.buildinfo dpkg-genchanges -sa -O../coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.changes dpkg-genchanges: info: including full source code in upload dpkg-source --after-build . dpkg-buildpackage: info: full upload (original source is included) -------------------------------------------------------------------------------- Build finished at 2025-03-13T10:09:24Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Thu, 13 Mar 2025 10:09:25 +0000 | +------------------------------------------------------------------------------+ coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.changes: -------------------------------------------------------- Format: 1.8 Date: Thu, 13 Mar 2025 11:07:15 +0100 Source: coq-bignums Binary: libcoq-bignums libcoq-bignums-dbgsym Architecture: source amd64 Version: 9.0.0+coq8.20-1+ocaml20250313 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: libcoq-bignums - Coq library for big numbers Changes: coq-bignums (9.0.0+coq8.20-1+ocaml20250313) bookworm-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.3.0 Checksums-Sha1: 4b2a74f6b111d0f3366ac2429830322ee28750db 1294 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz 84696471f7a6c71dc77882c8f3dbd79233d202f1 2176 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz d2bf78525701bf29718d757a5542e90b67044be4 7263 coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.buildinfo 0e5d033df892d1f4647da5f3b1b3f97bf6d95677 3900 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb 2946707a9fcd2dce2e881ab99b374f4f032307a9 1914444 libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb Checksums-Sha256: c2c6b6baaa77a093d7ed64553e0fcbb2dd2b770258a00d237f06e3cb2964ea65 1294 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz ad31563e5470575df7c24b5e1fbe23cb178476bf6e019bad0ec973ce554620a4 2176 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz 7a17c91f279c2008a7de3436b8fbfa36c32bce9f7f6f17de3ff657a63b5cc258 7263 coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.buildinfo 46c7087c33495648bb691f1d6aa54a48d5a2c0d7192ea6356157e8daa7a93d79 3900 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb 3d96d0a81bf567f48d0ac3fa86006dd93b1988a6b83a845af1214813642b33bc 1914444 libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb Files: 195dd695f478aa610efcc467b741af5c 1294 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc 8af0a3df71fd3cd83e4391741519fc19 117267 ocaml optional coq-bignums_9.0.0+coq8.20.orig.tar.gz b2878f45b90f1460752b7ee4990f38f9 2176 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz 34d122f1d0490c1eb8cfb1622900db4b 7263 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.buildinfo ffec21fe53ead99bb31c831d326fdad1 3900 debug optional libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb 93d97db6053f5ed8f5e2cf7d1e15c80d 1914444 ocaml optional libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Thu, 13 Mar 2025 10:09:26 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-bignums Binary: libcoq-bignums libcoq-bignums-dbgsym Architecture: amd64 source Version: 9.0.0+coq8.20-1+ocaml20250313 Checksums-Md5: 195dd695f478aa610efcc467b741af5c 1294 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc ffec21fe53ead99bb31c831d326fdad1 3900 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb 93d97db6053f5ed8f5e2cf7d1e15c80d 1914444 libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb Checksums-Sha1: 4b2a74f6b111d0f3366ac2429830322ee28750db 1294 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc 0e5d033df892d1f4647da5f3b1b3f97bf6d95677 3900 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb 2946707a9fcd2dce2e881ab99b374f4f032307a9 1914444 libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb Checksums-Sha256: c2c6b6baaa77a093d7ed64553e0fcbb2dd2b770258a00d237f06e3cb2964ea65 1294 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc 46c7087c33495648bb691f1d6aa54a48d5a2c0d7192ea6356157e8daa7a93d79 3900 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb 3d96d0a81bf567f48d0ac3fa86006dd93b1988a6b83a845af1214813642b33bc 1914444 libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Thu, 13 Mar 2025 10:09:24 +0000 Build-Path: /build/reproducible-path/coq-bignums-9.0.0+coq8.20 Build-Tainted-By: merged-usr-via-aliased-dirs Installed-Build-Depends: autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-12), autotools-dev (= 20220109.1), base-files (= 12.4+deb12u9), base-passwd (= 3.6.1), bash (= 5.2.15-2+b7), binutils (= 2.40-2), binutils-common (= 2.40-2), binutils-x86-64-linux-gnu (= 2.40-2), bsdextrautils (= 2.38.1-5+deb12u3), bsdutils (= 1:2.38.1-5+deb12u3), build-essential (= 12.9), bzip2 (= 1.0.8-5+b1), coq (= 8.20.1+dfsg-1+ocaml20250313), coreutils (= 9.1-1), cpp (= 4:12.2.0-3), cpp-12 (= 12.2.0-14), dash (= 0.5.12-2), debconf (= 1.5.82), debhelper (= 13.11.4), debianutils (= 5.7-0.5~deb12u1), dh-autoreconf (= 20), dh-coq (= 0.14+ocaml20250313), dh-ocaml (= 2.4+ocaml20250313), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.8-4), dpkg (= 1.21.22), dpkg-dev (= 1.21.22), dwz (= 0.15-1), file (= 1:5.44-3), findutils (= 4.9.0-4), g++ (= 4:12.2.0-3), g++-12 (= 12.2.0-14), gcc (= 4:12.2.0-3), gcc-12 (= 12.2.0-14), gcc-12-base (= 12.2.0-14), gettext (= 0.21-12), gettext-base (= 0.21-12), grep (= 3.8-5), groff-base (= 1.22.4-10), gzip (= 1.12-1), hostname (= 3.23+nmu1), init-system-helpers (= 1.65.2), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.1-3), libarchive-zip-perl (= 1.68-1), libasan8 (= 12.2.0-14), libatomic1 (= 12.2.0-14), libattr1 (= 1:2.5.1-4), libaudit-common (= 1:3.0.9-1), libaudit1 (= 1:3.0.9-1), libbinutils (= 2.40-2), libblkid1 (= 2.38.1-5+deb12u3), libbz2-1.0 (= 1.0.8-5+b1), libc-bin (= 2.36-9+deb12u9), libc-dev-bin (= 2.36-9+deb12u9), libc6 (= 2.36-9+deb12u9), libc6-dev (= 2.36-9+deb12u9), libcap-ng0 (= 0.8.3-1+b3), libcap2 (= 1:2.66-4), libcc1-0 (= 12.2.0-14), libcom-err2 (= 1.47.0-2), libcompiler-libs-ocaml-dev (= 5.3.0-2+ocaml20250313), libconfig-tiny-perl (= 2.28-2), libcoq-core-ocaml (= 8.20.1+dfsg-1+ocaml20250313), libcoq-core-ocaml-dev (= 8.20.1+dfsg-1+ocaml20250313), libcoq-stdlib (= 8.20.1+dfsg-1+ocaml20250313), libcrypt-dev (= 1:4.4.33-2), libcrypt1 (= 1:4.4.33-2), libctf-nobfd0 (= 2.40-2), libctf0 (= 2.40-2), libdb5.3 (= 5.3.28+dfsg2-1), libdebconfclient0 (= 0.270), libdebhelper-perl (= 13.11.4), libdpkg-perl (= 1.21.22), libelf1 (= 0.188-2.1), libexpat1 (= 2.5.0-1+deb12u1), libffi8 (= 3.4.4-1), libfile-find-rule-perl (= 0.34-3), libfile-stripnondeterminism-perl (= 1.13.1-1), libfindlib-ocaml (= 1.9.8-1+ocaml20250313), libfindlib-ocaml-dev (= 1.9.8-1+ocaml20250313), libgcc-12-dev (= 12.2.0-14), libgcc-s1 (= 12.2.0-14), libgcrypt20 (= 1.10.1-3), libgdbm-compat4 (= 1.23-3), libgdbm6 (= 1.23-3), libgmp-dev (= 2:6.2.1+dfsg1-1.1), libgmp10 (= 2:6.2.1+dfsg1-1.1), libgmp3-dev (= 2:6.2.1+dfsg1-1.1), libgmpxx4ldbl (= 2:6.2.1+dfsg1-1.1), libgomp1 (= 12.2.0-14), libgpg-error0 (= 1.46-1), libgprofng0 (= 2.40-2), libgssapi-krb5-2 (= 1.20.1-2+deb12u2), libicu72 (= 72.1-3), libisl23 (= 0.25-1.1), libitm1 (= 12.2.0-14), libjansson4 (= 2.14-2), libk5crypto3 (= 1.20.1-2+deb12u2), libkeyutils1 (= 1.6.3-2), libkrb5-3 (= 1.20.1-2+deb12u2), libkrb5support0 (= 1.20.1-2+deb12u2), liblsan0 (= 12.2.0-14), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.1-0.2), libmagic-mgc (= 1:5.44-3), libmagic1 (= 1:5.44-3), libmd0 (= 1.0.4-2), libmount1 (= 2.38.1-5+deb12u3), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.0-1), libncurses-dev (= 6.4-4), libncurses6 (= 6.4-4), libncursesw6 (= 6.4-4), libnsl-dev (= 1.3.0-2), libnsl2 (= 1.3.0-2), libnumber-compare-perl (= 0.03-3), libpam-modules (= 1.5.2-6+deb12u1), libpam-modules-bin (= 1.5.2-6+deb12u1), libpam-runtime (= 1.5.2-6+deb12u1), libpam0g (= 1.5.2-6+deb12u1), libpcre2-8-0 (= 10.42-1), libperl5.36 (= 5.36.0-7+deb12u1), libpipeline1 (= 1.5.7-1), libpython3-stdlib (= 3.11.2-1+b1), libpython3.11-minimal (= 3.11.2-6+deb12u5), libpython3.11-stdlib (= 3.11.2-6+deb12u5), libquadmath0 (= 12.2.0-14), libreadline8 (= 8.2-1.3), libseccomp2 (= 2.5.4-1+deb12u1), libselinux1 (= 3.4-1+b6), libsmartcols1 (= 2.38.1-5+deb12u3), libsqlite3-0 (= 3.40.1-2+deb12u1), libssl3 (= 3.0.15-1~deb12u1), libstdc++-12-dev (= 12.2.0-14), libstdc++6 (= 12.2.0-14), libstdlib-ocaml (= 5.3.0-2+ocaml20250313), libstdlib-ocaml-dev (= 5.3.0-2+ocaml20250313), libsub-override-perl (= 0.09-4), libsystemd0 (= 252.33-1~deb12u1), libtext-glob-perl (= 0.11-3), libtinfo6 (= 6.4-4), libtirpc-common (= 1.3.3+ds-1), libtirpc-dev (= 1.3.3+ds-1), libtirpc3 (= 1.3.3+ds-1), libtool (= 2.4.7-7~deb12u1), libtsan2 (= 12.2.0-14), libubsan1 (= 12.2.0-14), libuchardet0 (= 0.0.7-1), libudev1 (= 252.33-1~deb12u1), libunistring2 (= 1.0-2), libuuid1 (= 2.38.1-5+deb12u3), libxml2 (= 2.9.14+dfsg-1.3~deb12u1), libzarith-ocaml (= 1.14-1+ocaml20250313), libzarith-ocaml-dev (= 1.14-1+ocaml20250313), libzstd-dev (= 1.5.4+dfsg2-5), libzstd1 (= 1.5.4+dfsg2-5), linux-libc-dev (= 6.1.123-1), login (= 1:4.13+dfsg1-1+b1), m4 (= 1.4.19-3), make (= 4.3-4.1), man-db (= 2.11.2-2), mawk (= 1.3.4.20200120-3.1), media-types (= 10.0.0), ncurses-base (= 6.4-4), ncurses-bin (= 6.4-4), ocaml (= 5.3.0-2+ocaml20250313), ocaml-base (= 5.3.0-2+ocaml20250313), ocaml-findlib (= 1.9.8-1+ocaml20250313), ocaml-interp (= 5.3.0-2+ocaml20250313), patch (= 2.7.6-7), perl (= 5.36.0-7+deb12u1), perl-base (= 5.36.0-7+deb12u1), perl-modules-5.36 (= 5.36.0-7+deb12u1), po-debconf (= 1.0.21+nmu1), python3 (= 3.11.2-1+b1), python3-minimal (= 3.11.2-1+b1), python3.11 (= 3.11.2-6+deb12u5), python3.11-minimal (= 3.11.2-6+deb12u5), readline-common (= 8.2-1.3), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-1), sensible-utils (= 0.0.17+nmu1), sysvinit-utils (= 3.06-4), tar (= 1.34+dfsg-1.2+deb12u1), usrmerge (= 37~deb12u1), util-linux (= 2.38.1-5+deb12u3), util-linux-extra (= 2.38.1-5+deb12u3), xz-utils (= 5.4.1-0.2), zlib1g (= 1:1.2.13.dfsg-1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="fr_FR.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1741860435" +------------------------------------------------------------------------------+ | Package contents Thu, 13 Mar 2025 10:09:26 +0000 | +------------------------------------------------------------------------------+ libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb ------------------------------------------------------------- new Debian package, version 2.0. size 3900 bytes: control archive=548 bytes. 428 bytes, 12 lines control 106 bytes, 1 lines md5sums Package: libcoq-bignums-dbgsym Source: coq-bignums Version: 9.0.0+coq8.20-1+ocaml20250313 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 25 Depends: libcoq-bignums (= 9.0.0+coq8.20-1+ocaml20250313) Section: debug Priority: optional Description: debug symbols for libcoq-bignums Build-Ids: e6c978964b6bd7fdf2da55445991015fc5453be9 drwxr-xr-x root/root 0 2025-03-13 10:07 ./ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/debug/.build-id/e6/ -rw-r--r-- root/root 14368 2025-03-13 10:07 ./usr/lib/debug/.build-id/e6/c978964b6bd7fdf2da55445991015fc5453be9.debug drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-03-13 10:07 ./usr/share/doc/libcoq-bignums-dbgsym -> libcoq-bignums libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb ------------------------------------------------------ new Debian package, version 2.0. size 1914444 bytes: control archive=2708 bytes. 596 bytes, 17 lines control 9106 bytes, 80 lines md5sums Package: libcoq-bignums Source: coq-bignums Version: 9.0.0+coq8.20-1+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 7600 Depends: libcoq-stdlib-vqju6 Provides: libcoq-bignums-83j55 Section: ocaml Priority: optional Homepage: https://github.com/coq-community/bignums Description: Coq library for big numbers This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library. . Coq is a proof assistant for higher-order logic. drwxr-xr-x root/root 0 2025-03-13 10:07 ./ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/ -rw-r--r-- root/root 247 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/META -rw-r--r-- root/root 6906 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmi -rw-r--r-- root/root 9037 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmx -rw-r--r-- root/root 5216 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxa -rw-r--r-- root/root 59616 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxs drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/ -rw-r--r-- root/root 13719 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/BigN.glob -rw-r--r-- root/root 6062 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/BigN.v -rw-r--r-- root/root 788836 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/BigN.vo -rw-r--r-- root/root 285076 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake.glob -rw-r--r-- root/root 53484 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake.v -rw-r--r-- root/root 343020 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake.vo -rw-r--r-- root/root 217381 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake_gen.glob -rw-r--r-- root/root 34587 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake_gen.v -rw-r--r-- root/root 189896 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake_gen.vo -rw-r--r-- root/root 76896 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/Nbasic.glob -rw-r--r-- root/root 16669 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/Nbasic.v -rw-r--r-- root/root 54086 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/Nbasic.vo -rw-r--r-- root/root 65752 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigNumPrelude.glob -rw-r--r-- root/root 11310 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigNumPrelude.v -rw-r--r-- root/root 49889 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigNumPrelude.vo drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/ -rw-r--r-- root/root 12475 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/BigQ.glob -rw-r--r-- root/root 5192 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/BigQ.v -rw-r--r-- root/root 121085 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/BigQ.vo -rw-r--r-- root/root 155437 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/QMake.glob -rw-r--r-- root/root 35558 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/QMake.v -rw-r--r-- root/root 241263 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/QMake.vo drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/ -rw-r--r-- root/root 16027 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/BigZ.glob -rw-r--r-- root/root 6667 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/BigZ.v -rw-r--r-- root/root 506664 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/BigZ.vo -rw-r--r-- root/root 125245 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/ZMake.glob -rw-r--r-- root/root 22309 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/ZMake.v -rw-r--r-- root/root 127492 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/ZMake.vo drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/ -rw-r--r-- root/root 75415 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.glob -rw-r--r-- root/root 11474 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.v -rw-r--r-- root/root 39098 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.vo -rw-r--r-- root/root 78552 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.glob -rw-r--r-- root/root 13391 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.v -rw-r--r-- root/root 52915 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.vo -rw-r--r-- root/root 208737 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.glob -rw-r--r-- root/root 29517 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.v -rw-r--r-- root/root 198448 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.vo -rw-r--r-- root/root 578505 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.glob -rw-r--r-- root/root 56064 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.v -rw-r--r-- root/root 236491 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.vo -rw-r--r-- root/root 209055 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.glob -rw-r--r-- root/root 20329 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.v -rw-r--r-- root/root 92214 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.vo -rw-r--r-- root/root 157754 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.glob -rw-r--r-- root/root 19307 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.v -rw-r--r-- root/root 83186 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.vo -rw-r--r-- root/root 192180 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.glob -rw-r--r-- root/root 24242 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.v -rw-r--r-- root/root 107613 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.vo -rw-r--r-- root/root 354007 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.glob -rw-r--r-- root/root 44784 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.v -rw-r--r-- root/root 187032 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.vo -rw-r--r-- root/root 92300 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.glob -rw-r--r-- root/root 12862 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.v -rw-r--r-- root/root 48861 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.vo drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaQ/ -rw-r--r-- root/root 40737 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaQ/QSig.glob -rw-r--r-- root/root 7614 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaQ/QSig.v -rw-r--r-- root/root 101482 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaQ/QSig.vo drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ -rw-r--r-- root/root 34284 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSig.glob -rw-r--r-- root/root 4646 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSig.v -rw-r--r-- root/root 33385 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSig.vo -rw-r--r-- root/root 67749 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.glob -rw-r--r-- root/root 11929 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.v -rw-r--r-- root/root 145273 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.vo -rw-r--r-- root/root 38227 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSig.glob -rw-r--r-- root/root 5038 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSig.v -rw-r--r-- root/root 36930 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSig.vo -rw-r--r-- root/root 67402 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.glob -rw-r--r-- root/root 12164 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.v -rw-r--r-- root/root 156834 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.vo drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/plugin/ -rw-r--r-- root/root 59616 2025-03-13 10:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxs drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/share/doc/libcoq-bignums/ -rw-r--r-- root/root 779 2025-03-13 10:07 ./usr/share/doc/libcoq-bignums/changelog.Debian.gz -rw-r--r-- root/root 376 2024-06-20 06:58 ./usr/share/doc/libcoq-bignums/changelog.gz -rw-r--r-- root/root 503 2024-06-25 06:40 ./usr/share/doc/libcoq-bignums/copyright drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/share/lintian/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 400 2024-06-25 06:40 ./usr/share/lintian/overrides/libcoq-bignums drwxr-xr-x root/root 0 2025-03-13 10:07 ./var/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./var/lib/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./var/lib/coq/ drwxr-xr-x root/root 0 2025-03-13 10:07 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2025-03-13 10:07 ./var/lib/coq/md5sums/libcoq-bignums.checksum +------------------------------------------------------------------------------+ | Post Build Thu, 13 Mar 2025 10:09:29 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Thu, 13 Mar 2025 10:09:29 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Thu, 13 Mar 2025 10:09:31 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 18840 Build-Time: 58 Distribution: unstable Host Architecture: amd64 Install-Time: 49 Job: /tmp/tmp.ben.transition-scripts.6czhzc9FhI/coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc Machine Architecture: amd64 Package: coq-bignums Package-Time: 128 Source-Version: 9.0.0+coq8.20-1+ocaml20250313 Space: 18840 Status: successful Version: 9.0.0+coq8.20-1+ocaml20250313 -------------------------------------------------------------------------------- Finished at 2025-03-13T10:09:24Z Build needed 00:02:08, 18840k disk space