sbuild (Debian sbuild) 0.91.8 (14 April 2026) on cil.up7.fr +==============================================================================+ | coq-bignums 9.0.0+coq8.20-1+ocaml1 (amd64) Sat, 25 Apr 2026 06:48:50 +0000 | +==============================================================================+ Package: coq-bignums Version: 9.0.0+coq8.20-1+ocaml1 Source Version: 9.0.0+coq8.20-1+ocaml1 Distribution: unstable-ocaml Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: Unpacking /home/steph/ocaml-transitions/20260425/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.k4mXW8tzRr... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Sat, 25 Apr 2026 06:49:00 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 1285 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Sat, 25 Apr 2026 06:49:38 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/repo rebuilt InRelease Get:2 file:/repo rebuilt Release [1488 B] Get:2 file:/repo rebuilt Release [1488 B] Ign:3 file:/repo rebuilt Release.gpg Get:4 file:/repo rebuilt/main amd64 Packages [1242 kB] Get:5 http://localhost:9999/debian unstable InRelease [187 kB] Get:6 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [10.3 kB] Get:7 http://localhost:9999/debian unstable/non-free amd64 Packages [131 kB] Get:8 http://localhost:9999/debian unstable/contrib amd64 Packages [68.4 kB] Get:9 http://localhost:9999/debian unstable/main amd64 Packages [10.4 MB] Fetched 10.8 MB in 2s (5373 kB/s) Reading package lists... W: Conflicting distribution: file:/repo rebuilt Release (expected rebuilt but got ) 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 Sat, 25 Apr 2026 06:49:43 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.tuCC2aXo0C/coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.tuCC2aXo0C; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Sat, 25 Apr 2026 06:49:46 +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-S5fBBS/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-S5fBBS/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-S5fBBS/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-S5fBBS/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-S5fBBS/apt_archive ./ Sources [670 B] Get:5 copy:/build/reproducible-path/resolver-S5fBBS/apt_archive ./ Packages [709 B] Fetched 1988 B in 0s (55.1 kB/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... Solving dependencies... 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 libelf1t64 libexpat1 libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2-16 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.13 python3.13-minimal readline-common sensible-utils tzdata 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 gnulib-l10n groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.13-venv python3.13-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 libelf1t64 libexpat1 libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2-16 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.13 python3.13-minimal readline-common sbuild-build-depends-main-dummy sensible-utils tzdata 0 upgraded, 70 newly installed, 0 to remove and 0 not upgraded. Need to get 21.1 MB/266 MB of archives. After this operation, 1163 MB of additional disk space will be used. Get:1 file:/repo rebuilt/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1+ocaml1 [23.5 MB] Get:2 copy:/build/reproducible-path/resolver-S5fBBS/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [892 B] Get:3 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.7.5-1 [115 kB] Get:4 http://localhost:9999/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.12-1 [866 kB] Get:5 http://localhost:9999/debian unstable/main amd64 python3.13-minimal amd64 3.13.12-1 [2267 kB] Get:6 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.4.1-1~exp1+ocaml1 [605 kB] Get:7 file:/repo rebuilt/main amd64 ocaml-base amd64 5.4.1-1~exp1+ocaml1 [505 kB] Get:8 file:/repo rebuilt/main amd64 libfindlib-ocaml amd64 1.9.8-1+ocaml1 [194 kB] Get:9 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-1+ocaml1 [110 kB] Get:10 file:/repo rebuilt/main amd64 libcoq-core-ocaml amd64 8.20.1+dfsg-1+ocaml1 [24.2 MB] Get:11 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.13.9-3 [27.6 kB] Get:12 http://localhost:9999/debian unstable/main amd64 media-types all 14.0.0 [30.8 kB] Get:13 http://localhost:9999/debian unstable/main amd64 netbase all 6.5 [12.4 kB] Get:14 http://localhost:9999/debian unstable/main amd64 tzdata all 2026b-1 [260 kB] Get:15 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.5.2-4 [25.2 kB] Get:16 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.6+20251231-1 [137 kB] Get:17 http://localhost:9999/debian unstable/main amd64 readline-common all 8.3-4 [74.8 kB] Get:18 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.3-4 [181 kB] Get:19 http://localhost:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.46.1-9+b1 [918 kB] Get:20 http://localhost:9999/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.12-1 [1974 kB] Get:21 http://localhost:9999/debian unstable/main amd64 python3.13 amd64 3.13.12-1 [776 kB] Get:22 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.13.9-3 [10.5 kB] Get:23 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.13.9-3 [27.6 kB] Get:24 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:25 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.46-5+b2 [337 kB] Get:26 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.46-5+b2 [109 kB] Get:27 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.46-5+b2 [42.6 kB] Get:28 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 0.23.2-2 [242 kB] Get:29 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b1 [68.8 kB] Get:30 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.1-1 [1336 kB] Get:31 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42-4 [99.6 kB] Get:32 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Get:33 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:34 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Get:35 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.4.1-1~exp1+ocaml1 [6480 kB] Get:36 http://localhost:9999/debian unstable/main amd64 autoconf all 2.72-6 [494 kB] Get:37 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:38 http://localhost:9999/debian unstable/main amd64 automake all 1:1.18.1-4 [877 kB] Get:39 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.4.1-1~exp1+ocaml1 [39.3 MB] Get:40 http://localhost:9999/debian unstable/main amd64 autopoint all 0.23.2-2 [770 kB] Get:41 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.6+20251231-1 [106 kB] Get:42 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.6+20251231-1 [356 kB] Get:43 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-3+b1 [375 kB] Get:44 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 13.31 [75.7 kB] Get:45 http://localhost:9999/debian unstable/main amd64 libtool all 2.5.4-11 [539 kB] Get:46 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 22 [12.2 kB] Get:47 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:48 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Get:49 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Get:50 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.195-1 [58.1 kB] Get:51 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.16-4 [108 kB] Get:52 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB] Get:53 http://localhost:9999/debian unstable/main amd64 libxml2-16 amd64 2.15.2+dfsg-0.1 [641 kB] Get:54 http://localhost:9999/debian unstable/main amd64 gettext amd64 0.23.2-2 [1684 kB] Get:55 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:56 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB] Get:57 http://localhost:9999/debian unstable/main amd64 debhelper all 13.31 [932 kB] Get:58 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:59 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b1 [330 kB] Get:60 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b1 [642 kB] Get:61 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b1 [322 kB] Get:62 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.4.1-1~exp1+ocaml1 [7460 kB] Get:63 file:/repo rebuilt/main amd64 ocaml amd64 5.4.1-1~exp1+ocaml1 [18.8 MB] Get:64 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [598 kB] Get:65 file:/repo rebuilt/main amd64 coq amd64 8.20.1+dfsg-1+ocaml1 [71.1 MB] Get:66 file:/repo rebuilt/main amd64 dh-coq all 0.14+ocaml1 [6808 B] Get:67 file:/repo rebuilt/main amd64 dh-ocaml all 2.5+ocaml1 [62.7 kB] Get:68 file:/repo rebuilt/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+ocaml1 [175 kB] Get:69 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-1+ocaml1 [109 kB] Get:70 file:/repo rebuilt/main amd64 libcoq-core-ocaml-dev amd64 8.20.1+dfsg-1+ocaml1 [52.0 MB] Preconfiguring packages ... Fetched 21.1 MB in 1s (15.9 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 11969 files and directories currently installed.) Preparing to unpack .../libexpat1_2.7.5-1_amd64.deb ... Unpacking libexpat1:amd64 (2.7.5-1) ... Selecting previously unselected package libpython3.13-minimal:amd64. Preparing to unpack .../libpython3.13-minimal_3.13.12-1_amd64.deb ... Unpacking libpython3.13-minimal:amd64 (3.13.12-1) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../python3.13-minimal_3.13.12-1_amd64.deb ... Unpacking python3.13-minimal (3.13.12-1) ... Setting up libpython3.13-minimal:amd64 (3.13.12-1) ... Setting up libexpat1:amd64 (2.7.5-1) ... Setting up python3.13-minimal (3.13.12-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 12303 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.13.9-3_amd64.deb ... Unpacking python3-minimal (3.13.9-3) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_14.0.0_all.deb ... Unpacking media-types (14.0.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package tzdata. Preparing to unpack .../03-tzdata_2026b-1_all.deb ... Unpacking tzdata (2026b-1) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../04-libffi8_3.5.2-4_amd64.deb ... Unpacking libffi8:amd64 (3.5.2-4) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../05-libncursesw6_6.6+20251231-1_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20251231-1) ... Selecting previously unselected package readline-common. Preparing to unpack .../06-readline-common_8.3-4_all.deb ... Unpacking readline-common (8.3-4) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../07-libreadline8t64_8.3-4_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.3-4) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../08-libsqlite3-0_3.46.1-9+b1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-9+b1) ... Selecting previously unselected package libpython3.13-stdlib:amd64. Preparing to unpack .../09-libpython3.13-stdlib_3.13.12-1_amd64.deb ... Unpacking libpython3.13-stdlib:amd64 (3.13.12-1) ... Selecting previously unselected package python3.13. Preparing to unpack .../10-python3.13_3.13.12-1_amd64.deb ... Unpacking python3.13 (3.13.12-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../11-libpython3-stdlib_3.13.9-3_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.13.9-3) ... Setting up python3-minimal (3.13.9-3) ... Selecting previously unselected package python3. (Reading database ... 13337 files and directories currently installed.) Preparing to unpack .../00-python3_3.13.9-3_amd64.deb ... Unpacking python3 (3.13.9-3) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.46-5+b2_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5+b2) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../03-libmagic1t64_1%3a5.46-5+b2_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5+b2) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.46-5+b2_amd64.deb ... Unpacking file (1:5.46-5+b2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.23.2-2_amd64.deb ... Unpacking gettext-base (0.23.2-2) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.8-2+b1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-2+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.24.1-1_amd64.deb ... Unpacking groff-base (1.24.1-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.42-4_amd64.deb ... Unpacking bsdextrautils (2.42-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.8-3_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-3) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.13.1-1_amd64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.21-1_amd64.deb ... Unpacking m4 (1.4.21-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.72-6_all.deb ... Unpacking autoconf (2.72-6) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20240727.1+nmu1_all.deb ... Unpacking autotools-dev (20240727.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.18.1-4_all.deb ... Unpacking automake (1:1.18.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.23.2-2_all.deb ... Unpacking autopoint (0.23.2-2) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../16-libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../17-libstdlib-ocaml_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../18-ocaml-base_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-base (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../19-libfindlib-ocaml_1.9.8-1+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+ocaml1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+ocaml1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../21-libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.1+dfsg-1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../22-libstdlib-ocaml-dev_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../25-libncurses6_6.6+20251231-1_amd64.deb ... Unpacking libncurses6:amd64 (6.6+20251231-1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../26-libncurses-dev_6.6+20251231-1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.6+20251231-1) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../27-libzstd-dev_1.5.7+dfsg-3+b1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-3+b1) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.8-1+ocaml1_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+ocaml1) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.20.1+dfsg-1+ocaml1_amd64.deb ... Unpacking coq (8.20.1+dfsg-1+ocaml1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.31_all.deb ... Unpacking libdebhelper-perl (13.31) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.5.4-11_all.deb ... Unpacking libtool (2.5.4-11) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_22_all.deb ... Unpacking dh-autoreconf (22) ... 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 libfile-stripnondeterminism-perl. Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.15.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../36-dh-strip-nondeterminism_1.15.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../37-libelf1t64_0.195-1_amd64.deb ... Unpacking libelf1t64:amd64 (0.195-1) ... Selecting previously unselected package dwz. Preparing to unpack .../38-dwz_0.16-4_amd64.deb ... Unpacking dwz (0.16-4) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../39-libunistring5_1.4.2-1_amd64.deb ... Unpacking libunistring5:amd64 (1.4.2-1) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../40-libxml2-16_2.15.2+dfsg-0.1_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.2+dfsg-0.1) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.23.2-2_amd64.deb ... Unpacking gettext (0.23.2-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../42-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 .../43-po-debconf_1.0.22_all.deb ... Unpacking po-debconf (1.0.22) ... Selecting previously unselected package debhelper. Preparing to unpack .../44-debhelper_13.31_all.deb ... Unpacking debhelper (13.31) ... Selecting previously unselected package dh-coq. Preparing to unpack .../45-dh-coq_0.14+ocaml1_all.deb ... Unpacking dh-coq (0.14+ocaml1) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../46-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../47-dh-ocaml_2.5+ocaml1_all.deb ... Unpacking dh-ocaml (2.5+ocaml1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../48-libfindlib-ocaml-dev_1.9.8-1+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../49-libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../50-libgmp-dev_2%3a6.3.0+dfsg-5+b1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5+b1) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../51-libgmp3-dev_2%3a6.3.0+dfsg-5+b1_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../52-libzarith-ocaml-dev_1.14-1+ocaml1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+ocaml1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../53-libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../54-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (14.0.0) ... Setting up libpipeline1:amd64 (1.5.8-3) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-3+b1) ... Setting up bsdextrautils (2.42-4) ... Setting up libmagic-mgc (1:5.46-5+b2) ... Setting up dh-coq (0.14+ocaml1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:amd64 (2.15.2+dfsg-0.1) ... Setting up libdebhelper-perl (13.31) ... Setting up libsqlite3-0:amd64 (3.46.1-9+b1) ... Setting up libmagic1t64:amd64 (1:5.46-5+b2) ... Setting up gettext-base (0.23.2-2) ... Setting up m4 (1.4.21-1) ... Setting up file (1:5.46-5+b2) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libelf1t64:amd64 (0.195-1) ... Setting up tzdata (2026b-1) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Apr 25 06:50:37 UTC 2026. Universal Time is now: Sat Apr 25 06:50:37 UTC 2026. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20240727.1+nmu1) ... Setting up libcoq-stdlib (8.20.1+dfsg-1+ocaml1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b1) ... Setting up libncurses6:amd64 (6.6+20251231-1) ... Setting up libstdlib-ocaml (5.4.1-1~exp1+ocaml1) ... Setting up libunistring5:amd64 (1.4.2-1) ... Setting up autopoint (0.23.2-2) ... Setting up ocaml-base (5.4.1-1~exp1+ocaml1) ... Setting up libncursesw6:amd64 (6.6+20251231-1) ... Setting up autoconf (2.72-6) ... Setting up libffi8:amd64 (3.5.2-4) ... Setting up dwz (0.16-4) ... Setting up sensible-utils (0.0.26) ... Setting up libuchardet0:amd64 (0.0.8-2+b1) ... Setting up netbase (6.5) ... Setting up readline-common (8.3-4) ... Setting up automake (1:1.18.1-4) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.15.0-1) ... Setting up libncurses-dev:amd64 (6.6+20251231-1) ... Setting up gettext (0.23.2-2) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5+b1) ... Setting up libtool (2.5.4-11) ... Setting up libstdlib-ocaml-dev (5.4.1-1~exp1+ocaml1) ... Setting up dh-ocaml (2.5+ocaml1) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml1) ... Setting up libzarith-ocaml (1.14-1+ocaml1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (22) ... Setting up libcompiler-libs-ocaml-dev (5.4.1-1~exp1+ocaml1) ... Setting up ocaml-interp (5.4.1-1~exp1+ocaml1) ... Setting up ocaml-findlib (1.9.8-1+ocaml1) ... Setting up libreadline8t64:amd64 (8.3-4) ... Setting up dh-strip-nondeterminism (1.15.0-1) ... Setting up libcoq-core-ocaml (8.20.1+dfsg-1+ocaml1) ... Setting up groff-base (1.24.1-1) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b1) ... Setting up libpython3.13-stdlib:amd64 (3.13.12-1) ... Setting up libpython3-stdlib:amd64 (3.13.9-3) ... Setting up python3.13 (3.13.12-1) ... Setting up po-debconf (1.0.22) ... Setting up python3 (3.13.9-3) ... Setting up ocaml (5.4.1-1~exp1+ocaml1) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libfindlib-ocaml-dev (1.9.8-1+ocaml1) ... Setting up coq (8.20.1+dfsg-1+ocaml1) ... Setting up libzarith-ocaml-dev (1.14-1+ocaml1) ... Setting up debhelper (13.31) ... Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.42-15) ... +------------------------------------------------------------------------------+ | Check architectures Sat, 25 Apr 2026 06:50:41 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Sat, 25 Apr 2026 06:50:42 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.19.11+deb14-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.19.11-1 (2026-04-05) amd64 (x86_64) Toolchain package versions: binutils_2.46-3 dpkg-dev_1.23.7 g++-15_15.2.0-17 gcc-15_15.2.0-17 libc6-dev_2.42-15 libstdc++-15-dev_15.2.0-17 libstdc++6_16-20260423-1 linux-libc-dev_6.19.13-1 Package versions: apt_3.2.0 apt-utils_3.2.0 autoconf_2.72-6 automake_1:1.18.1-4 autopoint_0.23.2-2 autotools-dev_20240727.1+nmu1 base-files_14 base-passwd_3.6.8 bash_5.3-2 binutils_2.46-3 binutils-common_2.46-3 binutils-x86-64-linux-gnu_2.46-3 bsdextrautils_2.42-4 build-essential_12.12 bzip2_1.0.8-6+b2 coq_8.20.1+dfsg-1+ocaml1 coreutils_9.10-1 cpp_4:15.2.0-5 cpp-15_15.2.0-17 cpp-15-x86-64-linux-gnu_15.2.0-17 cpp-x86-64-linux-gnu_4:15.2.0-5 dash_0.5.12-12 debconf_1.5.92 debhelper_13.31 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_22 dh-coq_0.14+ocaml1 dh-ocaml_2.5+ocaml1 dh-strip-nondeterminism_1.15.0-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.16-4 file_1:5.46-5+b2 findutils_4.10.0-3 g++_4:15.2.0-5 g++-15_15.2.0-17 g++-15-x86-64-linux-gnu_15.2.0-17 g++-x86-64-linux-gnu_4:15.2.0-5 gcc_4:15.2.0-5 gcc-15_15.2.0-17 gcc-15-base_15.2.0-17 gcc-15-x86-64-linux-gnu_15.2.0-17 gcc-16-base_16-20260423-1 gcc-x86-64-linux-gnu_4:15.2.0-5 gettext_0.23.2-2 gettext-base_0.23.2-2 grep_3.12-1 groff-base_1.24.1-1 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-3 libapt-pkg7.0_3.2.0 libarchive-zip-perl_1.68-1 libasan8_16-20260423-1 libatomic1_16-20260423-1 libattr1_1:2.5.2-4 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.46-3 libblkid1_2.42-4 libbz2-1.0_1.0.8-6+b2 libc-bin_2.42-15 libc-dev-bin_2.42-15 libc-gconv-modules-extra_2.42-15 libc6_2.42-15 libc6-dev_2.42-15 libcap-ng0_0.9.3-1 libcc1-0_16-20260423-1 libcompiler-libs-ocaml-dev_5.4.1-1~exp1+ocaml1 libconfig-tiny-perl_2.30-1 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1 libcoq-stdlib_8.20.1+dfsg-1+ocaml1 libcrypt1_1:4.5.1-1+b1 libctf-nobfd0_2.46-3 libctf0_2.46-3 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.282+b3 libdebhelper-perl_13.31 libdpkg-perl_1.23.7 libelf1t64_0.195-1 libexpat1_2.7.5-1 libffi8_3.5.2-4 libfile-stripnondeterminism-perl_1.15.0-1 libfindlib-ocaml_1.9.8-1+ocaml1 libfindlib-ocaml-dev_1.9.8-1+ocaml1 libgcc-15-dev_15.2.0-17 libgcc-s1_16-20260423-1 libgdbm-compat4t64_1.26-1+b1 libgdbm6t64_1.26-1+b1 libgmp-dev_2:6.3.0+dfsg-5+b1 libgmp10_2:6.3.0+dfsg-5+b1 libgmp3-dev_2:6.3.0+dfsg-5+b1 libgmpxx4ldbl_2:6.3.0+dfsg-5+b1 libgomp1_16-20260423-1 libgprofng0_2.46-3 libhogweed6t64_3.10.2-1+b1 libhwasan0_16-20260423-1 libisl23_0.27-2 libitm1_16-20260423-1 libjansson4_2.14-2+b4 liblsan0_16-20260423-1 liblz4-1_1.10.0-10 liblzma5_5.8.3-1 libmagic-mgc_1:5.46-5+b2 libmagic1t64_1:5.46-5+b2 libmd0_1.1.0-2+b2 libmount1_2.42-4 libmpc3_1.3.1-3 libmpfr6_4.2.2-3 libncurses-dev_6.6+20251231-1 libncurses6_6.6+20251231-1 libncursesw6_6.6+20251231-1 libnettle8t64_3.10.2-1+b1 libpam-modules_1.7.0-5+b1 libpam-modules-bin_1.7.0-5+b1 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5+b1 libpcre2-8-0_10.46-1+b1 libperl5.40_5.40.1-7+b1 libpipeline1_1.5.8-3 libpython3-stdlib_3.13.9-3 libpython3.13-minimal_3.13.12-1 libpython3.13-stdlib_3.13.12-1 libquadmath0_16-20260423-1 libreadline8t64_8.3-4 libseccomp2_2.6.0-2+b1 libselinux1_3.10-1 libsframe3_2.46-3 libsmartcols1_2.42-4 libsqlite3-0_3.46.1-9+b1 libssl3t64_3.6.2-1 libstdc++-15-dev_15.2.0-17 libstdc++6_16-20260423-1 libstdlib-ocaml_5.4.1-1~exp1+ocaml1 libstdlib-ocaml-dev_5.4.1-1~exp1+ocaml1 libsystemd0_260.1-1 libtinfo6_6.6+20251231-1 libtool_2.5.4-11 libtsan2_16-20260423-1 libubsan1_16-20260423-1 libuchardet0_0.0.8-2+b1 libudev1_260.1-1 libunistring5_1.4.2-1 libuuid1_2.42-4 libxml2-16_2.15.2+dfsg-0.1 libxxhash0_0.8.3-2+b1 libzarith-ocaml_1.14-1+ocaml1 libzarith-ocaml-dev_1.14-1+ocaml1 libzstd-dev_1.5.7+dfsg-3+b1 libzstd1_1.5.7+dfsg-3+b1 linux-libc-dev_6.19.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+20251231-1 ncurses-bin_6.6+20251231-1 netbase_6.5 ocaml_5.4.1-1~exp1+ocaml1 ocaml-base_5.4.1-1~exp1+ocaml1 ocaml-findlib_1.9.8-1+ocaml1 ocaml-interp_5.4.1-1~exp1+ocaml1 openssl-provider-legacy_3.6.2-1 patch_2.8-2 perl_5.40.1-7+b1 perl-base_5.40.1-7+b1 perl-modules-5.40_5.40.1-7 po-debconf_1.0.22 python3_3.13.9-3 python3-minimal_3.13.9-3 python3.13_3.13.12-1 python3.13-minimal_3.13.12-1 readline-common_8.3-4 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.3.0-5+b1 sysvinit-utils_3.18-1 tar_1.35+dfsg-4 tzdata_2026b-1 util-linux_2.42-4 xz-utils_5.8.3-1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Sat, 25 Apr 2026 06:50:42 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: coq-bignums Binary: libcoq-bignums Architecture: any Version: 9.0.0+coq8.20-1+ocaml1 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 436840c40d84b0155f948bda5cd723aff9a5f4fe 2156 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz Checksums-Sha256: 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz 4cf776f706a665582a5e73e2f282b08d4bb2529bdbe5ebb055c641a662c121da 2156 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz Files: 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz d4b0df894ab1cb39c19a2d7d4b53a74a 2156 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (coq-bignums_9.0.0+coq8.20-1+ocaml1.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+ocaml1.debian.tar.xz clean up apt cache ------------------ 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+ocaml1 dpkg-buildpackage: info: source distribution unstable-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' CAMLDEP plugin/bignums_syntax.ml OCAMLLIBDEP plugin/bignums_syntax_plugin.mlpack ocaml BigN/gen/NMake_gen.ml > BigN/NMake_gen.v || (RV=$?; rm -f BigN/NMake_gen.v; exit ${RV}) COQDEP VFILES 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+ocaml1.debian.tar.xz dpkg-source: info: building coq-bignums in ../coq-bignums_9.0.0+coq8.20-1+ocaml1.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' CAMLDEP plugin/bignums_syntax.ml OCAMLLIBDEP plugin/bignums_syntax_plugin.mlpack ocaml BigN/gen/NMake_gen.ml > BigN/NMake_gen.v || (RV=$?; rm -f BigN/NMake_gen.v; exit ${RV}) COQDEP VFILES 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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/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.4.1/coq-bignums/bignums_syntax_plugin.cmxs: .debug_info section not present dwz: debian/libcoq-bignums/usr/lib/x86_64-linux-gnu/ocaml/5.4.1/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+ocaml1_amd64.deb'. dpkg-deb: building package 'libcoq-bignums-dbgsym' in '../libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../coq-bignums_9.0.0+coq8.20-1+ocaml1_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 2026-04-25T06:52:36Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Sat, 25 Apr 2026 06:52:37 +0000 | +------------------------------------------------------------------------------+ coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.changes: ------------------------------------------------- Format: 1.8 Date: Sat, 25 Apr 2026 08:48:48 +0200 Source: coq-bignums Binary: libcoq-bignums libcoq-bignums-dbgsym Architecture: source amd64 Version: 9.0.0+coq8.20-1+ocaml1 Distribution: unstable-ocaml 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+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.1 Checksums-Sha1: e1bd1686f5d024a71d184ae1fe599871b0273eb6 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz 436840c40d84b0155f948bda5cd723aff9a5f4fe 2156 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz 39b323b7d61252424b2ee6d40edc2f4d0a1491bb 6610 coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.buildinfo 9f4451d2db155068e25cc9d64603e564553f0031 3892 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb cde27f997efaf3f3a7cd1dc1d5e7630937e6884f 1912684 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb Checksums-Sha256: 4ba90f0ce512727bad9fb5aeb028aa7919feced0b518ae6401da8b961036dd53 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz 4cf776f706a665582a5e73e2f282b08d4bb2529bdbe5ebb055c641a662c121da 2156 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz f9acd8c31f0f4802666d2d220be8b9e7d7155890bbf8a72fdd72ec1686ada22f 6610 coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.buildinfo 984ff5d4178ea6afb797ee58ce9f825738bae1ae7303093fdf6c77d8f44b95a2 3892 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb 0583725322a104cd91995c93240fc58007efb7ca4d937af9fff4c96a8c07af97 1912684 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb Files: f99bc571e8f7e3da66f7e2e64d090bdb 1266 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc 8af0a3df71fd3cd83e4391741519fc19 117267 ocaml optional coq-bignums_9.0.0+coq8.20.orig.tar.gz d4b0df894ab1cb39c19a2d7d4b53a74a 2156 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz da097b5feb77c240238e096fc1659e91 6610 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.buildinfo 1bf53549fc7ebc516d25bfb1e68f8f8c 3892 debug optional libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb 4669842608d6281c0e08632909f2d4f0 1912684 ocaml optional libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Sat, 25 Apr 2026 06:52:38 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-bignums Binary: libcoq-bignums libcoq-bignums-dbgsym Architecture: amd64 source Version: 9.0.0+coq8.20-1+ocaml1 Checksums-Md5: f99bc571e8f7e3da66f7e2e64d090bdb 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc 1bf53549fc7ebc516d25bfb1e68f8f8c 3892 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb 4669842608d6281c0e08632909f2d4f0 1912684 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb Checksums-Sha1: e1bd1686f5d024a71d184ae1fe599871b0273eb6 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc 9f4451d2db155068e25cc9d64603e564553f0031 3892 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb cde27f997efaf3f3a7cd1dc1d5e7630937e6884f 1912684 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb Checksums-Sha256: 4ba90f0ce512727bad9fb5aeb028aa7919feced0b518ae6401da8b961036dd53 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc 984ff5d4178ea6afb797ee58ce9f825738bae1ae7303093fdf6c77d8f44b95a2 3892 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb 0583725322a104cd91995c93240fc58007efb7ca4d937af9fff4c96a8c07af97 1912684 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Sat, 25 Apr 2026 06:52:35 +0000 Build-Path: /build/reproducible-path/coq-bignums-9.0.0+coq8.20 Installed-Build-Depends: autoconf (= 2.72-6), automake (= 1:1.18.1-4), autopoint (= 0.23.2-2), autotools-dev (= 20240727.1+nmu1), base-files (= 14), base-passwd (= 3.6.8), bash (= 5.3-2), binutils (= 2.46-3), binutils-common (= 2.46-3), binutils-x86-64-linux-gnu (= 2.46-3), bsdextrautils (= 2.42-4), build-essential (= 12.12), bzip2 (= 1.0.8-6+b2), coq (= 8.20.1+dfsg-1+ocaml1), coreutils (= 9.10-1), cpp (= 4:15.2.0-5), cpp-15 (= 15.2.0-17), cpp-15-x86-64-linux-gnu (= 15.2.0-17), cpp-x86-64-linux-gnu (= 4:15.2.0-5), dash (= 0.5.12-12), debconf (= 1.5.92), debhelper (= 13.31), debianutils (= 5.23.2), dh-autoreconf (= 22), dh-coq (= 0.14+ocaml1), dh-ocaml (= 2.5+ocaml1), dh-strip-nondeterminism (= 1.15.0-1), diffutils (= 1:3.12-1), dpkg (= 1.23.7), dpkg-dev (= 1.23.7), dwz (= 0.16-4), file (= 1:5.46-5+b2), findutils (= 4.10.0-3), g++ (= 4:15.2.0-5), g++-15 (= 15.2.0-17), g++-15-x86-64-linux-gnu (= 15.2.0-17), g++-x86-64-linux-gnu (= 4:15.2.0-5), gcc (= 4:15.2.0-5), gcc-15 (= 15.2.0-17), gcc-15-base (= 15.2.0-17), gcc-15-x86-64-linux-gnu (= 15.2.0-17), gcc-16-base (= 16-20260423-1), gcc-x86-64-linux-gnu (= 4:15.2.0-5), gettext (= 0.23.2-2), gettext-base (= 0.23.2-2), grep (= 3.12-1), groff-base (= 1.24.1-1), gzip (= 1.13-1), hostname (= 3.25), init-system-helpers (= 1.69), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-3), libarchive-zip-perl (= 1.68-1), libasan8 (= 16-20260423-1), libatomic1 (= 16-20260423-1), libattr1 (= 1:2.5.2-4), libaudit-common (= 1:4.1.2-1), libaudit1 (= 1:4.1.2-1+b1), libbinutils (= 2.46-3), libblkid1 (= 2.42-4), libbz2-1.0 (= 1.0.8-6+b2), libc-bin (= 2.42-15), libc-dev-bin (= 2.42-15), libc-gconv-modules-extra (= 2.42-15), libc6 (= 2.42-15), libc6-dev (= 2.42-15), libcap-ng0 (= 0.9.3-1), libcc1-0 (= 16-20260423-1), libcompiler-libs-ocaml-dev (= 5.4.1-1~exp1+ocaml1), libconfig-tiny-perl (= 2.30-1), libcoq-core-ocaml (= 8.20.1+dfsg-1+ocaml1), libcoq-core-ocaml-dev (= 8.20.1+dfsg-1+ocaml1), libcoq-stdlib (= 8.20.1+dfsg-1+ocaml1), libcrypt1 (= 1:4.5.1-1+b1), libctf-nobfd0 (= 2.46-3), libctf0 (= 2.46-3), libdb5.3t64 (= 5.3.28+dfsg2-11+b1), libdebconfclient0 (= 0.282+b3), libdebhelper-perl (= 13.31), libdpkg-perl (= 1.23.7), libelf1t64 (= 0.195-1), libexpat1 (= 2.7.5-1), libffi8 (= 3.5.2-4), libfile-stripnondeterminism-perl (= 1.15.0-1), libfindlib-ocaml (= 1.9.8-1+ocaml1), libfindlib-ocaml-dev (= 1.9.8-1+ocaml1), libgcc-15-dev (= 15.2.0-17), libgcc-s1 (= 16-20260423-1), libgdbm-compat4t64 (= 1.26-1+b1), libgdbm6t64 (= 1.26-1+b1), libgmp-dev (= 2:6.3.0+dfsg-5+b1), libgmp10 (= 2:6.3.0+dfsg-5+b1), libgmp3-dev (= 2:6.3.0+dfsg-5+b1), libgmpxx4ldbl (= 2:6.3.0+dfsg-5+b1), libgomp1 (= 16-20260423-1), libgprofng0 (= 2.46-3), libhwasan0 (= 16-20260423-1), libisl23 (= 0.27-2), libitm1 (= 16-20260423-1), libjansson4 (= 2.14-2+b4), liblsan0 (= 16-20260423-1), liblzma5 (= 5.8.3-1), libmagic-mgc (= 1:5.46-5+b2), libmagic1t64 (= 1:5.46-5+b2), libmd0 (= 1.1.0-2+b2), libmount1 (= 2.42-4), libmpc3 (= 1.3.1-3), libmpfr6 (= 4.2.2-3), libncurses-dev (= 6.6+20251231-1), libncurses6 (= 6.6+20251231-1), libncursesw6 (= 6.6+20251231-1), libpam-modules (= 1.7.0-5+b1), libpam-modules-bin (= 1.7.0-5+b1), libpam-runtime (= 1.7.0-5), libpam0g (= 1.7.0-5+b1), libpcre2-8-0 (= 10.46-1+b1), libperl5.40 (= 5.40.1-7+b1), libpipeline1 (= 1.5.8-3), libpython3-stdlib (= 3.13.9-3), libpython3.13-minimal (= 3.13.12-1), libpython3.13-stdlib (= 3.13.12-1), libquadmath0 (= 16-20260423-1), libreadline8t64 (= 8.3-4), libseccomp2 (= 2.6.0-2+b1), libselinux1 (= 3.10-1), libsframe3 (= 2.46-3), libsmartcols1 (= 2.42-4), libsqlite3-0 (= 3.46.1-9+b1), libssl3t64 (= 3.6.2-1), libstdc++-15-dev (= 15.2.0-17), libstdc++6 (= 16-20260423-1), libstdlib-ocaml (= 5.4.1-1~exp1+ocaml1), libstdlib-ocaml-dev (= 5.4.1-1~exp1+ocaml1), libsystemd0 (= 260.1-1), libtinfo6 (= 6.6+20251231-1), libtool (= 2.5.4-11), libtsan2 (= 16-20260423-1), libubsan1 (= 16-20260423-1), libuchardet0 (= 0.0.8-2+b1), libudev1 (= 260.1-1), libunistring5 (= 1.4.2-1), libuuid1 (= 2.42-4), libxml2-16 (= 2.15.2+dfsg-0.1), libzarith-ocaml (= 1.14-1+ocaml1), libzarith-ocaml-dev (= 1.14-1+ocaml1), libzstd-dev (= 1.5.7+dfsg-3+b1), libzstd1 (= 1.5.7+dfsg-3+b1), linux-libc-dev (= 6.19.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+20251231-1), ncurses-bin (= 6.6+20251231-1), netbase (= 6.5), ocaml (= 5.4.1-1~exp1+ocaml1), ocaml-base (= 5.4.1-1~exp1+ocaml1), ocaml-findlib (= 1.9.8-1+ocaml1), ocaml-interp (= 5.4.1-1~exp1+ocaml1), openssl-provider-legacy (= 3.6.2-1), patch (= 2.8-2), perl (= 5.40.1-7+b1), perl-base (= 5.40.1-7+b1), perl-modules-5.40 (= 5.40.1-7), po-debconf (= 1.0.22), python3 (= 3.13.9-3), python3-minimal (= 3.13.9-3), python3.13 (= 3.13.12-1), python3.13-minimal (= 3.13.12-1), readline-common (= 8.3-4), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-3), sensible-utils (= 0.0.26), sysvinit-utils (= 3.18-1), tar (= 1.35+dfsg-4), tzdata (= 2026b-1), util-linux (= 2.42-4), xz-utils (= 5.8.3-1), zlib1g (= 1:1.3.dfsg+really1.3.2-3) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1777099728" +------------------------------------------------------------------------------+ | Package contents Sat, 25 Apr 2026 06:52:38 +0000 | +------------------------------------------------------------------------------+ libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb ------------------------------------------------------ new Debian package, version 2.0. size 3892 bytes: control archive=544 bytes. 414 bytes, 12 lines control 106 bytes, 1 lines md5sums Package: libcoq-bignums-dbgsym Source: coq-bignums Version: 9.0.0+coq8.20-1+ocaml1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 25 Depends: libcoq-bignums (= 9.0.0+coq8.20-1+ocaml1) Section: debug Priority: optional Description: debug symbols for libcoq-bignums Build-Ids: 204dc0f71387512fa2815c5696407a9a342249e8 drwxr-xr-x root/root 0 2026-04-25 06:48 ./ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/debug/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/debug/.build-id/20/ -rw-r--r-- root/root 14368 2026-04-25 06:48 ./usr/lib/debug/.build-id/20/4dc0f71387512fa2815c5696407a9a342249e8.debug drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/share/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/share/doc/ lrwxrwxrwx root/root 0 2026-04-25 06:48 ./usr/share/doc/libcoq-bignums-dbgsym -> libcoq-bignums libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb ----------------------------------------------- new Debian package, version 2.0. size 1912684 bytes: control archive=2704 bytes. 589 bytes, 17 lines control 9106 bytes, 80 lines md5sums Package: libcoq-bignums Source: coq-bignums Version: 9.0.0+coq8.20-1+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 7604 Depends: libcoq-stdlib-ss2n8 Provides: libcoq-bignums-9mow0 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 2026-04-25 06:48 ./ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/ -rw-r--r-- root/root 247 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/META -rw-r--r-- root/root 10633 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmi -rw-r--r-- root/root 9069 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmx -rw-r--r-- root/root 5248 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxa -rw-r--r-- root/root 59616 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/ -rw-r--r-- root/root 13719 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.glob -rw-r--r-- root/root 6062 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.v -rw-r--r-- root/root 788836 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.vo -rw-r--r-- root/root 285076 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.glob -rw-r--r-- root/root 53484 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.v -rw-r--r-- root/root 343028 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.vo -rw-r--r-- root/root 217381 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.glob -rw-r--r-- root/root 34587 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.v -rw-r--r-- root/root 189897 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.vo -rw-r--r-- root/root 76896 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.glob -rw-r--r-- root/root 16669 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.v -rw-r--r-- root/root 54086 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.vo -rw-r--r-- root/root 65752 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.glob -rw-r--r-- root/root 11310 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.v -rw-r--r-- root/root 49889 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.vo drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/ -rw-r--r-- root/root 12475 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.glob -rw-r--r-- root/root 5192 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.v -rw-r--r-- root/root 121085 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.vo -rw-r--r-- root/root 155437 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.glob -rw-r--r-- root/root 35558 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.v -rw-r--r-- root/root 241263 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.vo drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ -rw-r--r-- root/root 16027 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.glob -rw-r--r-- root/root 6667 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.v -rw-r--r-- root/root 506664 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.vo -rw-r--r-- root/root 125245 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.glob -rw-r--r-- root/root 22309 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.v -rw-r--r-- root/root 127492 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.vo drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/ -rw-r--r-- root/root 75415 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.glob -rw-r--r-- root/root 11474 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.v -rw-r--r-- root/root 39098 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.vo -rw-r--r-- root/root 78552 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.glob -rw-r--r-- root/root 13391 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.v -rw-r--r-- root/root 52915 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.vo -rw-r--r-- root/root 208737 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.glob -rw-r--r-- root/root 29517 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.v -rw-r--r-- root/root 198448 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.vo -rw-r--r-- root/root 578505 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.glob -rw-r--r-- root/root 56064 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.v -rw-r--r-- root/root 236492 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.vo -rw-r--r-- root/root 209055 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.glob -rw-r--r-- root/root 20329 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.v -rw-r--r-- root/root 92214 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.vo -rw-r--r-- root/root 157754 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.glob -rw-r--r-- root/root 19307 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.v -rw-r--r-- root/root 83186 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.vo -rw-r--r-- root/root 192180 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.glob -rw-r--r-- root/root 24242 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.v -rw-r--r-- root/root 107613 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.vo -rw-r--r-- root/root 354007 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.glob -rw-r--r-- root/root 44784 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.v -rw-r--r-- root/root 187032 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.vo -rw-r--r-- root/root 92300 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.glob -rw-r--r-- root/root 12862 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.v -rw-r--r-- root/root 48861 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.vo drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/ -rw-r--r-- root/root 40737 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.glob -rw-r--r-- root/root 7614 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.v -rw-r--r-- root/root 101482 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.vo drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ -rw-r--r-- root/root 34284 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.glob -rw-r--r-- root/root 4646 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.v -rw-r--r-- root/root 33384 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.vo -rw-r--r-- root/root 67749 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.glob -rw-r--r-- root/root 11929 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.v -rw-r--r-- root/root 145273 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.vo -rw-r--r-- root/root 38227 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.glob -rw-r--r-- root/root 5038 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.v -rw-r--r-- root/root 36930 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.vo -rw-r--r-- root/root 67402 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.glob -rw-r--r-- root/root 12164 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.v -rw-r--r-- root/root 156834 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.vo drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/plugin/ -rw-r--r-- root/root 59616 2026-04-25 06:48 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxs drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/share/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./usr/share/doc/libcoq-bignums/ -rw-r--r-- root/root 494 2026-04-25 06:48 ./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 2026-04-25 06:48 ./usr/share/lintian/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./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 2026-04-25 06:48 ./var/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./var/lib/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./var/lib/coq/ drwxr-xr-x root/root 0 2026-04-25 06:48 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2026-04-25 06:48 ./var/lib/coq/md5sums/libcoq-bignums.checksum +------------------------------------------------------------------------------+ | Post Build Sat, 25 Apr 2026 06:52:41 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Sat, 25 Apr 2026 06:52:41 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Sat, 25 Apr 2026 06:52:43 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 18680 Build-Time: 111 Distribution: unstable-ocaml Host Architecture: amd64 Install-Time: 55 Job: /tmp/tmp.ben.transition-scripts.tuCC2aXo0C/coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc Machine Architecture: amd64 Package: coq-bignums Package-Time: 226 Source-Version: 9.0.0+coq8.20-1+ocaml1 Space: 18680 Status: successful Version: 9.0.0+coq8.20-1+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-04-25T06:52:36Z Build needed 00:03:46, 18680k disk space