sbuild (Debian sbuild) 0.91.10 (27 June 2026) on cil.up7.fr +==============================================================================+ | coq-bignums 9.0.0+rocq9.2-3+ocaml1 (amd64) Tue, 11 Aug 2026 09:29:16 +0000 | +==============================================================================+ Package: coq-bignums Version: 9.0.0+rocq9.2-3+ocaml1 Source Version: 9.0.0+rocq9.2-3+ocaml1 Distribution: trixie-backports-ocaml Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: Unpacking /home/steph/srv/ocaml.debian.net/backports/20260811/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.GotWl3aUVH... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Tue, 11 Aug 2026 09:29:58 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 1269 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Tue, 11 Aug 2026 09:31:59 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/repo rebuilt InRelease Get:2 file:/repo rebuilt Release [1496 B] Get:2 file:/repo rebuilt Release [1496 B] Ign:3 file:/repo rebuilt Release.gpg Get:4 file:/repo rebuilt/main amd64 Packages [1229 kB] Get:5 http://localhost:9999/debian trixie InRelease [140 kB] Get:6 http://localhost:9999/debian trixie/contrib amd64 Packages [53.8 kB] Get:7 http://localhost:9999/debian trixie/main amd64 Packages [9673 kB] Get:8 http://localhost:9999/debian trixie/non-free-firmware amd64 Packages [6884 B] Get:9 http://localhost:9999/debian trixie/non-free amd64 Packages [100 kB] Fetched 9974 kB in 1s (6781 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 Tue, 11 Aug 2026 09:32:04 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.waWxKnWYgu/coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.waWxKnWYgu; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Tue, 11 Aug 2026 09:32:08 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-native-compilers, build-essential Filtered Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-native-compilers, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-e3ANiv/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-e3ANiv/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-e3ANiv/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-e3ANiv/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-e3ANiv/apt_archive ./ Sources [692 B] Get:5 copy:/build/reproducible-path/resolver-e3ANiv/apt_archive ./ Packages [731 B] Fetched 2032 B in 0s (112 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... 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 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 libjson-perl libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2 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 quickjs readline-common sensible-utils tzdata Suggested packages: autoconf-archive gnu-standards autoconf-doc rocqide | proofgeneral ledit | readline-editor why3 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 gcj-jdk 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 libjson-xs-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 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 libjson-perl libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2 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 quickjs readline-common sbuild-build-depends-main-dummy sensible-utils tzdata 0 upgraded, 72 newly installed, 0 to remove and 0 not upgraded. Need to get 19.6 MB/239 MB of archives. After this operation, 1021 MB of additional disk space will be used. Get:1 file:/repo rebuilt/main amd64 libcoq-core amd64 9.2.0+dfsg-3+ocaml1 [1153 kB] Get:2 copy:/build/reproducible-path/resolver-e3ANiv/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [904 B] Get:3 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.4.1-1+ocaml1 [605 kB] Get:4 file:/repo rebuilt/main amd64 ocaml-base amd64 5.4.1-1+ocaml1 [503 kB] Get:5 file:/repo rebuilt/main amd64 libfindlib-ocaml amd64 1.9.8-1+ocaml1 [194 kB] Get:6 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-4+ocaml1 [110 kB] Get:7 file:/repo rebuilt/main amd64 libcoq-core-ocaml amd64 9.2.0+dfsg-3+ocaml1 [25.8 MB] Get:8 http://localhost:9999/debian trixie/main amd64 libexpat1 amd64 2.7.1-2 [108 kB] Get:9 http://localhost:9999/debian trixie/main amd64 libpython3.13-minimal amd64 3.13.5-2+deb13u3 [863 kB] Get:10 http://localhost:9999/debian trixie/main amd64 python3.13-minimal amd64 3.13.5-2+deb13u3 [2224 kB] Get:11 http://localhost:9999/debian trixie/main amd64 python3-minimal amd64 3.13.5-1 [27.2 kB] Get:12 http://localhost:9999/debian trixie/main amd64 media-types all 13.0.0 [29.3 kB] Get:13 http://localhost:9999/debian trixie/main amd64 netbase all 6.5 [12.4 kB] Get:14 http://localhost:9999/debian trixie/main amd64 tzdata all 2026b-0+deb13u1 [264 kB] Get:15 http://localhost:9999/debian trixie/main amd64 libffi8 amd64 3.4.8-2 [24.1 kB] Get:16 http://localhost:9999/debian trixie/main amd64 libncursesw6 amd64 6.5+20250216-2 [135 kB] Get:17 http://localhost:9999/debian trixie/main amd64 readline-common all 8.2-6 [69.4 kB] Get:18 http://localhost:9999/debian trixie/main amd64 libreadline8t64 amd64 8.2-6 [169 kB] Get:19 http://localhost:9999/debian trixie/main amd64 libpython3.13-stdlib amd64 3.13.5-2+deb13u3 [1959 kB] Get:20 http://localhost:9999/debian trixie/main amd64 python3.13 amd64 3.13.5-2+deb13u3 [757 kB] Get:21 http://localhost:9999/debian trixie/main amd64 libpython3-stdlib amd64 3.13.5-1 [10.2 kB] Get:22 http://localhost:9999/debian trixie/main amd64 python3 amd64 3.13.5-1 [28.2 kB] Get:23 http://localhost:9999/debian trixie/main amd64 sensible-utils all 0.0.25 [25.0 kB] Get:24 http://localhost:9999/debian trixie/main amd64 libmagic-mgc amd64 1:5.46-5 [338 kB] Get:25 http://localhost:9999/debian trixie/main amd64 libmagic1t64 amd64 1:5.46-5 [109 kB] Get:26 http://localhost:9999/debian trixie/main amd64 file amd64 1:5.46-5 [43.6 kB] Get:27 http://localhost:9999/debian trixie/main amd64 gettext-base amd64 0.23.1-2 [243 kB] Get:28 http://localhost:9999/debian trixie/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get:29 http://localhost:9999/debian trixie/main amd64 groff-base amd64 1.23.0-9 [1187 kB] Get:30 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.4.1-1+ocaml1 [6476 kB] Get:31 http://localhost:9999/debian trixie/main amd64 bsdextrautils amd64 2.41-5 [94.6 kB] Get:32 http://localhost:9999/debian trixie/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get:33 http://localhost:9999/debian trixie/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:34 http://localhost:9999/debian trixie/main amd64 m4 amd64 1.4.19-8 [294 kB] Get:35 http://localhost:9999/debian trixie/main amd64 autoconf all 2.72-3.1 [494 kB] Get:36 http://localhost:9999/debian trixie/main amd64 autotools-dev all 20240727.1 [60.2 kB] Get:37 http://localhost:9999/debian trixie/main amd64 automake all 1:1.17-4 [862 kB] Get:38 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.4.1-1+ocaml1 [39.3 MB] Get:39 http://localhost:9999/debian trixie/main amd64 autopoint all 0.23.1-2 [770 kB] Get:40 http://localhost:9999/debian trixie/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB] Get:41 http://localhost:9999/debian trixie/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB] Get:42 http://localhost:9999/debian trixie/main amd64 libzstd-dev amd64 1.5.7+dfsg-1 [371 kB] Get:43 http://localhost:9999/debian trixie/main amd64 libtool all 2.5.4-4 [539 kB] Get:44 http://localhost:9999/debian trixie/main amd64 dh-autoreconf all 20 [17.1 kB] Get:45 http://localhost:9999/debian trixie/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:46 http://localhost:9999/debian trixie/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB] Get:47 http://localhost:9999/debian trixie/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B] Get:48 http://localhost:9999/debian trixie/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get:49 http://localhost:9999/debian trixie/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get:50 http://localhost:9999/debian trixie/main amd64 libunistring5 amd64 1.3-2 [477 kB] Get:51 http://localhost:9999/debian trixie/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-2.1+deb13u3 [700 kB] Get:52 http://localhost:9999/debian trixie/main amd64 gettext amd64 0.23.1-2 [1680 kB] Get:53 http://localhost:9999/debian trixie/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:54 http://localhost:9999/debian trixie/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:55 http://localhost:9999/debian trixie/main amd64 quickjs amd64 2025.04.26-1 [440 kB] Get:56 http://localhost:9999/debian trixie/main amd64 libjson-perl all 4.10000-1 [87.5 kB] Get:57 http://localhost:9999/debian trixie/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:58 http://localhost:9999/debian trixie/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB] Get:59 http://localhost:9999/debian trixie/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB] Get:60 http://localhost:9999/debian trixie/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB] Get:61 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.4.1-1+ocaml1 [7459 kB] Get:62 file:/repo rebuilt/main amd64 ocaml amd64 5.4.1-1+ocaml1 [18.8 MB] Get:63 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [595 kB] Get:64 file:/repo rebuilt/main amd64 coq amd64 9.2.0+dfsg-3+ocaml1 [41.3 MB] Get:65 file:/repo rebuilt/main amd64 libdebhelper-perl all 14.3+ocaml1 [77.4 kB] Get:66 file:/repo rebuilt/main amd64 debhelper all 14.3+ocaml1 [934 kB] Get:67 file:/repo rebuilt/main amd64 dh-coq all 0.16+ocaml1 [6920 B] Get:68 file:/repo rebuilt/main amd64 dh-ocaml all 3.8+ocaml1 [201 kB] Get:69 file:/repo rebuilt/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+ocaml1 [176 kB] Get:70 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-4+ocaml1 [109 kB] Get:71 file:/repo rebuilt/main amd64 libcoq-core-ocaml-dev amd64 9.2.0+dfsg-3+ocaml1 [55.7 MB] Get:72 file:/repo rebuilt/main amd64 libcoq-stdlib amd64 9.2.0-1+ocaml1 [20.1 MB] Preconfiguring packages ... Fetched 19.6 MB in 1s (14.4 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 11874 files and directories currently installed.) Preparing to unpack .../libexpat1_2.7.1-2_amd64.deb ... Unpacking libexpat1:amd64 (2.7.1-2) ... Selecting previously unselected package libpython3.13-minimal:amd64. Preparing to unpack .../libpython3.13-minimal_3.13.5-2+deb13u3_amd64.deb ... Unpacking libpython3.13-minimal:amd64 (3.13.5-2+deb13u3) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../python3.13-minimal_3.13.5-2+deb13u3_amd64.deb ... Unpacking python3.13-minimal (3.13.5-2+deb13u3) ... Setting up libpython3.13-minimal:amd64 (3.13.5-2+deb13u3) ... Setting up libexpat1:amd64 (2.7.1-2) ... Setting up python3.13-minimal (3.13.5-2+deb13u3) ... Selecting previously unselected package python3-minimal. (Reading database ... 12208 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.13.5-1_amd64.deb ... Unpacking python3-minimal (3.13.5-1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_13.0.0_all.deb ... Unpacking media-types (13.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-0+deb13u1_all.deb ... Unpacking tzdata (2026b-0+deb13u1) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../04-libffi8_3.4.8-2_amd64.deb ... Unpacking libffi8:amd64 (3.4.8-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../05-libncursesw6_6.5+20250216-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5+20250216-2) ... Selecting previously unselected package readline-common. Preparing to unpack .../06-readline-common_8.2-6_all.deb ... Unpacking readline-common (8.2-6) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../07-libreadline8t64_8.2-6_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.2-6) ... Selecting previously unselected package libpython3.13-stdlib:amd64. Preparing to unpack .../08-libpython3.13-stdlib_3.13.5-2+deb13u3_amd64.deb ... Unpacking libpython3.13-stdlib:amd64 (3.13.5-2+deb13u3) ... Selecting previously unselected package python3.13. Preparing to unpack .../09-python3.13_3.13.5-2+deb13u3_amd64.deb ... Unpacking python3.13 (3.13.5-2+deb13u3) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../10-libpython3-stdlib_3.13.5-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.13.5-1) ... Setting up python3-minimal (3.13.5-1) ... Selecting previously unselected package python3. (Reading database ... 13232 files and directories currently installed.) Preparing to unpack .../00-python3_3.13.5-1_amd64.deb ... Unpacking python3 (3.13.5-1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.25_all.deb ... Unpacking sensible-utils (0.0.25) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.46-5_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../03-libmagic1t64_1%3a5.46-5_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.46-5_amd64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.23.1-2_amd64.deb ... Unpacking gettext-base (0.23.1-2) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.23.0-9_amd64.deb ... Unpacking groff-base (1.23.0-9) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.41-5_amd64.deb ... Unpacking bsdextrautils (2.41-5) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... 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.19-8_amd64.deb ... Unpacking m4 (1.4.19-8) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.17-4_all.deb ... Unpacking automake (1:1.17-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.23.1-2_all.deb ... Unpacking autopoint (0.23.1-2) ... Selecting previously unselected package libcoq-core. Preparing to unpack .../16-libcoq-core_9.2.0+dfsg-3+ocaml1_amd64.deb ... Unpacking libcoq-core (9.2.0+dfsg-3+ocaml1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../17-libstdlib-ocaml_5.4.1-1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.4.1-1+ocaml1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../18-ocaml-base_5.4.1-1+ocaml1_amd64.deb ... Unpacking ocaml-base (5.4.1-1+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-4+ocaml1_amd64.deb ... Unpacking libzarith-ocaml (1.14-4+ocaml1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../21-libcoq-core-ocaml_9.2.0+dfsg-3+ocaml1_amd64.deb ... Unpacking libcoq-core-ocaml (9.2.0+dfsg-3+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../22-libstdlib-ocaml-dev_5.4.1-1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.4.1-1+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.4.1-1+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.4.1-1+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_5.4.1-1+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.4.1-1+ocaml1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../25-libncurses6_6.5+20250216-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../26-libncurses-dev_6.5+20250216-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5+20250216-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../27-libzstd-dev_1.5.7+dfsg-1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_5.4.1-1+ocaml1_amd64.deb ... Unpacking ocaml (5.4.1-1+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_9.2.0+dfsg-3+ocaml1_amd64.deb ... Unpacking coq (9.2.0+dfsg-3+ocaml1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_14.3+ocaml1_all.deb ... Unpacking libdebhelper-perl (14.3+ocaml1) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.5.4-4_all.deb ... Unpacking libtool (2.5.4-4) ... 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 libfile-stripnondeterminism-perl. Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../36-dh-strip-nondeterminism_1.14.1-2_all.deb ... Unpacking dh-strip-nondeterminism (1.14.1-2) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../37-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../38-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../39-libunistring5_1.3-2_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../40-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u3_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.23.1-2_amd64.deb ... Unpacking gettext (0.23.1-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.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../44-debhelper_14.3+ocaml1_all.deb ... Unpacking debhelper (14.3+ocaml1) ... Selecting previously unselected package dh-coq. Preparing to unpack .../45-dh-coq_0.16+ocaml1_all.deb ... Unpacking dh-coq (0.16+ocaml1) ... Selecting previously unselected package quickjs. Preparing to unpack .../46-quickjs_2025.04.26-1_amd64.deb ... Unpacking quickjs (2025.04.26-1) ... Selecting previously unselected package libjson-perl. Preparing to unpack .../47-libjson-perl_4.10000-1_all.deb ... Unpacking libjson-perl (4.10000-1) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../48-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../49-dh-ocaml_3.8+ocaml1_all.deb ... Unpacking dh-ocaml (3.8+ocaml1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../50-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 .../51-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../52-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../53-libgmp3-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../54-libzarith-ocaml-dev_1.14-4+ocaml1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-4+ocaml1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../55-libcoq-core-ocaml-dev_9.2.0+dfsg-3+ocaml1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (9.2.0+dfsg-3+ocaml1) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../56-libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb ... Unpacking libcoq-stdlib (9.2.0-1+ocaml1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../57-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (13.0.0) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-1) ... Setting up bsdextrautils (2.41-5) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up dh-coq (0.16+ocaml1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (14.3+ocaml1) ... Setting up libmagic1t64:amd64 (1:5.46-5) ... Setting up gettext-base (0.23.1-2) ... Setting up m4 (1.4.19-8) ... Setting up libcoq-core (9.2.0+dfsg-3+ocaml1) ... Setting up file (1:5.46-5) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up quickjs (2025.04.26-1) ... Setting up tzdata (2026b-0+deb13u1) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Aug 11 09:33:38 UTC 2026. Universal Time is now: Tue Aug 11 09:33:38 UTC 2026. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20240727.1) ... Setting up libcoq-stdlib (9.2.0-1+ocaml1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Setting up libncurses6:amd64 (6.5+20250216-2) ... Setting up libstdlib-ocaml (5.4.1-1+ocaml1) ... Setting up libunistring5:amd64 (1.3-2) ... Setting up autopoint (0.23.1-2) ... Setting up ocaml-base (5.4.1-1+ocaml1) ... Setting up libncursesw6:amd64 (6.5+20250216-2) ... Setting up autoconf (2.72-3.1) ... Setting up libffi8:amd64 (3.4.8-2) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.25) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up libjson-perl (4.10000-1) ... Setting up netbase (6.5) ... Setting up readline-common (8.2-6) ... Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ... Setting up automake (1:1.17-4) ... update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.1-2) ... Setting up libncurses-dev:amd64 (6.5+20250216-2) ... Setting up gettext (0.23.1-2) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libtool (2.5.4-4) ... Setting up libstdlib-ocaml-dev (5.4.1-1+ocaml1) ... Setting up dh-ocaml (3.8+ocaml1) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml1) ... Setting up libzarith-ocaml (1.14-4+ocaml1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.4.1-1+ocaml1) ... Setting up ocaml-interp (5.4.1-1+ocaml1) ... Setting up ocaml-findlib (1.9.8-1+ocaml1) ... Setting up libreadline8t64:amd64 (8.2-6) ... Setting up dh-strip-nondeterminism (1.14.1-2) ... Setting up libcoq-core-ocaml (9.2.0+dfsg-3+ocaml1) ... Setting up groff-base (1.23.0-9) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libpython3.13-stdlib:amd64 (3.13.5-2+deb13u3) ... Setting up libpython3-stdlib:amd64 (3.13.5-1) ... Setting up python3.13 (3.13.5-2+deb13u3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.13.5-1) ... Setting up ocaml (5.4.1-1+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 (9.2.0+dfsg-3+ocaml1) ... Setting up libzarith-ocaml-dev (1.14-4+ocaml1) ... Setting up debhelper (14.3+ocaml1) ... Setting up libcoq-core-ocaml-dev (9.2.0+dfsg-3+ocaml1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.41-12+deb13u3) ... +------------------------------------------------------------------------------+ | Check architectures Tue, 11 Aug 2026 09:33:44 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Tue, 11 Aug 2026 09:33:45 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 7.1.3+deb14-amd64 #1 SMP PREEMPT_DYNAMIC Debian 7.1.3-1 (2026-07-04) amd64 (x86_64) Toolchain package versions: binutils_2.44-3 dpkg-dev_1.22.22 g++-14_14.2.0-19 gcc-14_14.2.0-19 libc6-dev_2.41-12+deb13u3 libstdc++-14-dev_14.2.0-19 libstdc++6_14.2.0-19 linux-libc-dev_6.12.94-1 Package versions: apt_3.0.3 apt-utils_3.0.3 autoconf_2.72-3.1 automake_1:1.17-4 autopoint_0.23.1-2 autotools-dev_20240727.1 base-files_13.8+deb13u6 base-passwd_3.6.7 bash_5.2.37-2+b9 binutils_2.44-3 binutils-common_2.44-3 binutils-x86-64-linux-gnu_2.44-3 bsdextrautils_2.41-5 bsdutils_1:2.41-5 build-essential_12.12 bzip2_1.0.8-6 coq_9.2.0+dfsg-3+ocaml1 coreutils_9.7-3 cpp_4:14.2.0-1 cpp-14_14.2.0-19 cpp-14-x86-64-linux-gnu_14.2.0-19 cpp-x86-64-linux-gnu_4:14.2.0-1 dash_0.5.12-12 debconf_1.5.91 debhelper_14.3+ocaml1 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_20 dh-coq_0.16+ocaml1 dh-ocaml_3.8+ocaml1 dh-strip-nondeterminism_1.14.1-2 diffutils_1:3.10-4 dpkg_1.22.22 dpkg-dev_1.22.22 dwz_0.15-1+b1 file_1:5.46-5 findutils_4.10.0-3 g++_4:14.2.0-1 g++-14_14.2.0-19 g++-14-x86-64-linux-gnu_14.2.0-19 g++-x86-64-linux-gnu_4:14.2.0-1 gcc_4:14.2.0-1 gcc-14_14.2.0-19 gcc-14-base_14.2.0-19 gcc-14-x86-64-linux-gnu_14.2.0-19 gcc-x86-64-linux-gnu_4:14.2.0-1 gettext_0.23.1-2 gettext-base_0.23.1-2 grep_3.11-4 groff-base_1.23.0-9 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69~deb13u1 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b1 libapt-pkg7.0_3.0.3 libarchive-zip-perl_1.68-1 libasan8_14.2.0-19 libatomic1_14.2.0-19 libattr1_1:2.5.2-3 libaudit-common_1:4.0.2-2 libaudit1_1:4.0.2-2+b2 libbinutils_2.44-3 libblkid1_2.41-5 libbz2-1.0_1.0.8-6 libc-bin_2.41-12+deb13u3 libc-dev-bin_2.41-12+deb13u3 libc6_2.41-12+deb13u3 libc6-dev_2.41-12+deb13u3 libcap-ng0_0.8.5-4+b1 libcap2_1:2.75-10+deb13u1+b1 libcc1-0_14.2.0-19 libcompiler-libs-ocaml-dev_5.4.1-1+ocaml1 libconfig-tiny-perl_2.30-1 libcoq-core_9.2.0+dfsg-3+ocaml1 libcoq-core-ocaml_9.2.0+dfsg-3+ocaml1 libcoq-core-ocaml-dev_9.2.0+dfsg-3+ocaml1 libcoq-stdlib_9.2.0-1+ocaml1 libcrypt-dev_1:4.4.38-1 libcrypt1_1:4.4.38-1 libctf-nobfd0_2.44-3 libctf0_2.44-3 libdb5.3t64_5.3.28+dfsg2-9 libdebconfclient0_0.280 libdebhelper-perl_14.3+ocaml1 libdpkg-perl_1.22.22 libelf1t64_0.192-4 libexpat1_2.7.1-2 libffi8_3.4.8-2 libfile-stripnondeterminism-perl_1.14.1-2 libfindlib-ocaml_1.9.8-1+ocaml1 libfindlib-ocaml-dev_1.9.8-1+ocaml1 libgcc-14-dev_14.2.0-19 libgcc-s1_14.2.0-19 libgdbm-compat4t64_1.24-2 libgdbm6t64_1.24-2 libgmp-dev_2:6.3.0+dfsg-3 libgmp10_2:6.3.0+dfsg-3 libgmp3-dev_2:6.3.0+dfsg-3 libgmpxx4ldbl_2:6.3.0+dfsg-3 libgomp1_14.2.0-19 libgprofng0_2.44-3 libhogweed6t64_3.10.1-1 libhwasan0_14.2.0-19 libisl23_0.27-1 libitm1_14.2.0-19 libjansson4_2.14-2+b3 libjson-perl_4.10000-1 liblastlog2-2_2.41-5 liblsan0_14.2.0-19 liblz4-1_1.10.0-4 liblzma5_5.8.1-1+deb13u1 libmagic-mgc_1:5.46-5 libmagic1t64_1:5.46-5 libmd0_1.1.0-2+b1 libmount1_2.41-5 libmpc3_1.3.1-1+b3 libmpfr6_4.2.2-1 libncurses-dev_6.5+20250216-2 libncurses6_6.5+20250216-2 libncursesw6_6.5+20250216-2 libnettle8t64_3.10.1-1 libpam-modules_1.7.0-5 libpam-modules-bin_1.7.0-5 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5 libpcre2-8-0_10.46-1~deb13u1 libperl5.40_5.40.1-6 libpipeline1_1.5.8-1 libpython3-stdlib_3.13.5-1 libpython3.13-minimal_3.13.5-2+deb13u3 libpython3.13-stdlib_3.13.5-2+deb13u3 libquadmath0_14.2.0-19 libreadline8t64_8.2-6 libseccomp2_2.6.0-2 libselinux1_3.8.1-1 libsframe1_2.44-3 libsmartcols1_2.41-5 libsqlite3-0_3.46.1-7+deb13u1 libssl3t64_3.5.6-1~deb13u2 libstdc++-14-dev_14.2.0-19 libstdc++6_14.2.0-19 libstdlib-ocaml_5.4.1-1+ocaml1 libstdlib-ocaml-dev_5.4.1-1+ocaml1 libsystemd0_257.13-1~deb13u1 libtinfo6_6.5+20250216-2 libtool_2.5.4-4 libtsan2_14.2.0-19 libubsan1_14.2.0-19 libuchardet0_0.0.8-1+b2 libudev1_257.13-1~deb13u1 libunistring5_1.3-2 libuuid1_2.41-5 libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u3 libxxhash0_0.8.3-2 libzarith-ocaml_1.14-4+ocaml1 libzarith-ocaml-dev_1.14-4+ocaml1 libzstd-dev_1.5.7+dfsg-1 libzstd1_1.5.7+dfsg-1 linux-libc-dev_6.12.94-1 m4_1.4.19-8 make_4.4.1-2 man-db_2.13.1-1 mawk_1.3.4.20250131-1 media-types_13.0.0 ncurses-base_6.5+20250216-2 ncurses-bin_6.5+20250216-2 netbase_6.5 ocaml_5.4.1-1+ocaml1 ocaml-base_5.4.1-1+ocaml1 ocaml-findlib_1.9.8-1+ocaml1 ocaml-interp_5.4.1-1+ocaml1 openssl-provider-legacy_3.5.6-1~deb13u2 patch_2.8-2 perl_5.40.1-6 perl-base_5.40.1-6 perl-modules-5.40_5.40.1-6 po-debconf_1.0.21+nmu1 python3_3.13.5-1 python3-minimal_3.13.5-1 python3.13_3.13.5-2+deb13u3 python3.13-minimal_3.13.5-2+deb13u3 quickjs_2025.04.26-1 readline-common_8.2-6 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2+deb13u1 sensible-utils_0.0.25 sqv_1.3.0-3+b2 sysvinit-utils_3.14-4 tar_1.35+dfsg-3.1 tzdata_2026b-0+deb13u1 util-linux_2.41-5 xz-utils_5.8.1-1+deb13u1 zlib1g_1:1.3.dfsg+really1.3.1-1+b1 +------------------------------------------------------------------------------+ | Build Tue, 11 Aug 2026 09:33:45 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: coq-bignums Binary: libcoq-bignums Architecture: any Version: 9.0.0+rocq9.2-3+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/coq-community/bignums Standards-Version: 4.7.4 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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-native-compilers Package-List: libcoq-bignums deb ocaml optional arch=any Checksums-Sha1: 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz 927f520788332da61389857cf3f0bfc145487dca 2392 coq-bignums_9.0.0+rocq9.2-3+ocaml1.debian.tar.xz Checksums-Sha256: 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz ba572954c55b0bfa9473609ba195308c27f737ca18eee3231c52a0ad658405fc 2392 coq-bignums_9.0.0+rocq9.2-3+ocaml1.debian.tar.xz Files: 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz b8365ca3a8866783103c3ffdef8e8022 2392 coq-bignums_9.0.0+rocq9.2-3+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc) dpkg-source: info: extracting coq-bignums in /build/reproducible-path/coq-bignums-9.0.0+rocq9.2 dpkg-source: info: unpacking coq-bignums_9.0.0+rocq9.2.orig.tar.gz dpkg-source: info: unpacking coq-bignums_9.0.0+rocq9.2-3+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+rocq9.2-3+ocaml1 dpkg-buildpackage: info: source distribution trixie-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+rocq9.2' make clean make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' rocq makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq Makefile make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' 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}) ROCQ DEP VFILES make[3]: Nothing to be done for 'Makefile'. make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make -f Makefile.coq clean make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' rm -f BigN/NMake_gen.v CLEAN make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' rm -f Makefile.coq Makefile.coq.conf make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' 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+rocq9.2' 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+rocq9.2.orig.tar.gz dpkg-source: info: building coq-bignums in coq-bignums_9.0.0+rocq9.2-3+ocaml1.debian.tar.xz dpkg-source: info: building coq-bignums in coq-bignums_9.0.0+rocq9.2-3+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+rocq9.2' rocq makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq Makefile make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' 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}) ROCQ DEP VFILES make[2]: Nothing to be done for 'Makefile'. make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make -f Makefile.coq all make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' CAMLOPT -c -for-pack Bignums_syntax_plugin plugin/bignums_syntax.ml File "plugin/bignums_syntax.ml", line 19, characters 45-50: 19 | let make_mind mp id = Names.MutInd.make2 mp (Label.make id) ^^^^^ Alert deprecated: module Names.Label (9.2) Use Id File "plugin/bignums_syntax.ml", line 21, characters 41-46: 21 | let mp = MPdot (MPfile (make_dir dir), Label.make modname) ^^^^^ Alert deprecated: module Names.Label (9.2) Use Id CAMLOPT -pack -o plugin/bignums_syntax_plugin.cmx CAMLOPT -a -o plugin/bignums_syntax_plugin.cmxa CAMLOPT -shared -o plugin/bignums_syntax_plugin.cmxs ROCQ compile BigNumPrelude.v File "./BigNumPrelude.v", line 125, characters 0-99: Warning: Implicitly declaring Rewrite hint databases is deprecated. Please explicitly create "rm10" [implicit-create-rewrite-hint-db,deprecated-since-9.2,deprecated,default] ROCQ compile CyclicDouble/DoubleBase.v File "./CyclicDouble/DoubleBase.v", line 155, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleBase.v", line 156, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] ROCQ compile CyclicDouble/DoubleAdd.v File "./CyclicDouble/DoubleAdd.v", line 149, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleAdd.v", line 150, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] ROCQ compile CyclicDouble/DoubleDivn1.v File "./CyclicDouble/DoubleDivn1.v", line 40, characters 1-9: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] ROCQ compile CyclicDouble/DoubleSub.v File "./CyclicDouble/DoubleSub.v", line 159, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleSub.v", line 160, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] ROCQ compile CyclicDouble/DoubleDiv.v File "./CyclicDouble/DoubleDiv.v", line 63, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 64, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 93, characters 2-46: Warning: Implicitly declaring Rewrite hint databases is deprecated. Please explicitly create "w_rewrite" [implicit-create-rewrite-hint-db,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 243, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 244, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 502, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 503, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 766, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 767, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,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 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 1334, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 1335, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,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] ROCQ compile CyclicDouble/DoubleLift.v File "./CyclicDouble/DoubleLift.v", line 94, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleLift.v", line 95, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleLift.v", line 129, characters 2-48: Warning: Implicitly declaring hint databases is deprecated. Please explicitly create "lift" [implicit-create-hint-db,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleLift.v", line 222, characters 2-202: Warning: Implicitly declaring Rewrite hint databases is deprecated. Please explicitly create "w_rewrite" [implicit-create-rewrite-hint-db,deprecated-since-9.2,deprecated,default] ROCQ compile CyclicDouble/DoubleMul.v File "./CyclicDouble/DoubleMul.v", line 217, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleMul.v", line 218, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleMul.v", line 273, characters 2-53: Warning: Implicitly declaring hint databases is deprecated. Please explicitly create "mult" [implicit-create-hint-db,deprecated-since-9.2,deprecated,default] ROCQ compile CyclicDouble/DoubleSqrt.v File "./CyclicDouble/DoubleSqrt.v", line 187, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleSqrt.v", line 188, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./CyclicDouble/DoubleSqrt.v", line 265, characters 1-112: Warning: Implicitly declaring Rewrite hint databases is deprecated. Please explicitly create "w_rewrite" [implicit-create-rewrite-hint-db,deprecated-since-9.2,deprecated,default] ROCQ compile CyclicDouble/DoubleCyclic.v ROCQ compile BigN/Nbasic.v ROCQ compile BigN/NMake_gen.v File "./BigN/NMake_gen.v", line 27, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake_gen.v", line 37, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake_gen.v", line 109, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake_gen.v", line 110, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake_gen.v", line 670, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake_gen.v", line 844, characters 2-10: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake_gen.v", line 990, characters 8-16: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] ROCQ compile SpecViaZ/NSig.v ROCQ compile BigN/NMake.v File "./BigN/NMake.v", line 96, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 133, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 159, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 200, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 275, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 384, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 488, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 655, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 742, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 759, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 830, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 878, characters 7-19: Warning: Reference Zis_gcd_mult is deprecated since Stdlib 9.1. Use Z.gcd_mul_mono_l instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 878, characters 27-36: Warning: Reference Zis_gcd_1 is deprecated since Stdlib 9.1. Use Z.gcd_1_r instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 878, characters 7-19: Warning: Reference Zis_gcd_mult is deprecated since Stdlib 9.1. Use Z.gcd_mul_mono_l instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 878, characters 27-36: Warning: Reference Zis_gcd_1 is deprecated since Stdlib 9.1. Use Z.gcd_1_r instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 967, characters 17-28: Warning: Reference Zis_gcd_gcd is deprecated since Stdlib 9.1. Use Z.gcd instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 967, characters 17-28: Warning: Reference Zis_gcd_gcd is deprecated since Stdlib 9.1. Use Z.gcd instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 987, characters 40-51: Warning: Reference Zis_gcd_gcd is deprecated since Stdlib 9.1. Use Z.gcd instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 987, characters 40-51: Warning: Reference Zis_gcd_gcd is deprecated since Stdlib 9.1. Use Z.gcd instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 988, characters 9-21: Warning: Reference Zis_gcd_refl is deprecated since Stdlib 9.1. Use Z.gcd_diag instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 988, characters 9-21: Warning: Reference Zis_gcd_refl is deprecated since Stdlib 9.1. Use Z.gcd_diag instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 991, characters 7-18: Warning: Reference Zis_gcd_gcd is deprecated since Stdlib 9.1. Use Z.gcd instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 991, characters 7-18: Warning: Reference Zis_gcd_gcd is deprecated since Stdlib 9.1. Use Z.gcd instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 993, characters 26-37: Warning: Reference Zgcd_is_gcd is deprecated since Stdlib 9.1. Use Z.gcd instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 993, characters 26-37: Warning: Reference Zgcd_is_gcd is deprecated since Stdlib 9.1. Use Z.gcd instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigN/NMake.v", line 1093, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1123, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1150, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1167, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1263, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1332, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1391, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1621, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1637, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1653, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigN/NMake.v", line 1669, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] ROCQ compile SpecViaZ/NSigNAxioms.v File "./SpecViaZ/NSigNAxioms.v", line 16, characters 0-375: Warning: Implicitly declaring Rewrite hint databases is deprecated. Please explicitly create "nsimpl" [implicit-create-rewrite-hint-db,deprecated-since-9.2,deprecated,default] ROCQ compile BigN/BigN.v File "./BigN/BigN.v", line 43, characters 0-8: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] ROCQ compile SpecViaZ/ZSig.v ROCQ compile SpecViaZ/ZSigZAxioms.v File "./SpecViaZ/ZSigZAxioms.v", line 16, characters 0-398: Warning: Implicitly declaring Rewrite hint databases is deprecated. Please explicitly create "zsimpl" [implicit-create-rewrite-hint-db,deprecated-since-9.2,deprecated,default] ROCQ compile SpecViaQ/QSig.v File "./SpecViaQ/QSig.v", line 100, characters 0-165: Warning: Implicitly declaring Rewrite hint databases is deprecated. Please explicitly create "qsimpl" [implicit-create-rewrite-hint-db,deprecated-since-9.2,deprecated,default] ROCQ compile BigQ/QMake.v ROCQ compile BigZ/ZMake.v ROCQ compile BigZ/BigZ.v File "./BigZ/BigZ.v", line 45, characters 0-8: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./BigZ/BigZ.v", line 128, characters 8-21: Warning: Reference Zpower_theory is deprecated since Stdlib 9.1. Use setoid_ring.ZArithRing.Zpower_theory [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigZ/BigZ.v", line 128, characters 8-21: Warning: Reference Zpower_theory is deprecated since Stdlib 9.1. Use setoid_ring.ZArithRing.Zpower_theory [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./BigZ/BigZ.v", line 128, characters 8-21: Warning: Reference Zpower_theory is deprecated since Stdlib 9.1. Use setoid_ring.ZArithRing.Zpower_theory [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] ROCQ compile BigQ/BigQ.v File "./BigQ/BigQ.v", line 52, characters 0-8: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make[1]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' dh_auto_test create-stamp debian/debhelper-build-stamp dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' dh_auto_install override_dh_auto_install make -j1 install DESTDIR=/build/reproducible-path/coq-bignums-9.0.0\+rocq9.2/debian/libcoq-bignums AM_UPDATE_INFO_DIR=no INSTALL="install --strip-program=true" make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make -f Makefile.coq Makefile make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make[3]: Nothing to be done for 'Makefile'. make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make -f Makefile.coq install make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' INSTALL BigN/Nbasic.vo /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/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+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigZ ocamlfind: [WARNING] No such file: /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../rocq-runtime//../coq-bignums/META Installed /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../rocq-runtime//../coq-bignums/bignums_syntax_plugin.cmx Installed /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../rocq-runtime//../coq-bignums/bignums_syntax_plugin.cmxa Installed /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../rocq-runtime//../coq-bignums/bignums_syntax_plugin.cmxs ocamlfind: [WARNING] Overwriting file /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../rocq-runtime//../coq-bignums/bignums_syntax_plugin.cmxs Installed /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../rocq-runtime//../coq-bignums/bignums_syntax_plugin.cmxs Installed /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../rocq-runtime//../coq-bignums/bignums_syntax_plugin.cmi Installed /build/reproducible-path/coq-bignums-9.0.0+rocq9.2/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../rocq-runtime//../coq-bignums/META make[4]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make[4]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' find debian/ -empty -delete make[1]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+rocq9.2' dh_ocamllibinstall 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 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 dh_md5sums dh_builddeb dpkg-deb: building package 'libcoq-bignums' in '../libcoq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../coq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../coq-bignums_9.0.0+rocq9.2-3+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-08-11T09:37:46Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Tue, 11 Aug 2026 09:37:47 +0000 | +------------------------------------------------------------------------------+ coq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.changes: ------------------------------------------------- Format: 1.8 Date: Tue, 11 Aug 2026 11:29:14 +0200 Source: coq-bignums Binary: libcoq-bignums Architecture: source amd64 Version: 9.0.0+rocq9.2-3+ocaml1 Distribution: trixie-backports-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+rocq9.2-3+ocaml1) trixie-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.1 Checksums-Sha1: 9ee884adfe0c10d775c457f44318fd5d0611a9a2 1288 coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz 927f520788332da61389857cf3f0bfc145487dca 2392 coq-bignums_9.0.0+rocq9.2-3+ocaml1.debian.tar.xz 8177e2973ecf563f2a0634916260b6d2b390e1fb 6456 coq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.buildinfo eee0395572756e7ca231e4221e2e3f0117da630a 1900236 libcoq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.deb Checksums-Sha256: 82873c39005d51993bda0f4b8354eacaeb9daeecab89e13f805e56d1863c63f7 1288 coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz ba572954c55b0bfa9473609ba195308c27f737ca18eee3231c52a0ad658405fc 2392 coq-bignums_9.0.0+rocq9.2-3+ocaml1.debian.tar.xz d724935d9e608243045383855e0f82aaa1de27e5ad5c1ad91f0ab7b403b9fabb 6456 coq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.buildinfo 78901367f0f4f2dd8616c477e8f15f259377fbc49debbca0c416e03c9f54ba89 1900236 libcoq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.deb Files: 67b4fb7465f6a0e9f998bfe6c819b06f 1288 ocaml optional coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc 6f2f126e7b81df8a6eef1ea81fc58203 117333 ocaml optional coq-bignums_9.0.0+rocq9.2.orig.tar.gz b8365ca3a8866783103c3ffdef8e8022 2392 ocaml optional coq-bignums_9.0.0+rocq9.2-3+ocaml1.debian.tar.xz c3dd10ab068b806acd0334d1074fe232 6456 ocaml optional coq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.buildinfo a3552c5ab95f096942df446e976305b8 1900236 ocaml optional libcoq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Tue, 11 Aug 2026 09:37:48 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-bignums Binary: libcoq-bignums Architecture: amd64 source Version: 9.0.0+rocq9.2-3+ocaml1 Checksums-Md5: 67b4fb7465f6a0e9f998bfe6c819b06f 1288 coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc a3552c5ab95f096942df446e976305b8 1900236 libcoq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.deb Checksums-Sha1: 9ee884adfe0c10d775c457f44318fd5d0611a9a2 1288 coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc eee0395572756e7ca231e4221e2e3f0117da630a 1900236 libcoq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.deb Checksums-Sha256: 82873c39005d51993bda0f4b8354eacaeb9daeecab89e13f805e56d1863c63f7 1288 coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc 78901367f0f4f2dd8616c477e8f15f259377fbc49debbca0c416e03c9f54ba89 1900236 libcoq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Tue, 11 Aug 2026 09:37:46 +0000 Build-Path: /build/reproducible-path/coq-bignums-9.0.0+rocq9.2 Installed-Build-Depends: autoconf (= 2.72-3.1), automake (= 1:1.17-4), autopoint (= 0.23.1-2), autotools-dev (= 20240727.1), base-files (= 13.8+deb13u6), base-passwd (= 3.6.7), bash (= 5.2.37-2+b9), binutils (= 2.44-3), binutils-common (= 2.44-3), binutils-x86-64-linux-gnu (= 2.44-3), bsdextrautils (= 2.41-5), bsdutils (= 1:2.41-5), build-essential (= 12.12), bzip2 (= 1.0.8-6), coq (= 9.2.0+dfsg-3+ocaml1), coreutils (= 9.7-3), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-19), cpp-14-x86-64-linux-gnu (= 14.2.0-19), cpp-x86-64-linux-gnu (= 4:14.2.0-1), dash (= 0.5.12-12), debconf (= 1.5.91), debhelper (= 14.3+ocaml1), debianutils (= 5.23.2), dh-autoreconf (= 20), dh-coq (= 0.16+ocaml1), dh-ocaml (= 3.8+ocaml1), dh-strip-nondeterminism (= 1.14.1-2), diffutils (= 1:3.10-4), dpkg (= 1.22.22), dpkg-dev (= 1.22.22), dwz (= 0.15-1+b1), file (= 1:5.46-5), findutils (= 4.10.0-3), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-19), g++-14-x86-64-linux-gnu (= 14.2.0-19), g++-x86-64-linux-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-19), gcc-14-base (= 14.2.0-19), gcc-14-x86-64-linux-gnu (= 14.2.0-19), gcc-x86-64-linux-gnu (= 4:14.2.0-1), gettext (= 0.23.1-2), gettext-base (= 0.23.1-2), grep (= 3.11-4), groff-base (= 1.23.0-9), gzip (= 1.13-1), hostname (= 3.25), init-system-helpers (= 1.69~deb13u1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2+b1), libarchive-zip-perl (= 1.68-1), libasan8 (= 14.2.0-19), libatomic1 (= 14.2.0-19), libattr1 (= 1:2.5.2-3), libaudit-common (= 1:4.0.2-2), libaudit1 (= 1:4.0.2-2+b2), libbinutils (= 2.44-3), libblkid1 (= 2.41-5), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.41-12+deb13u3), libc-dev-bin (= 2.41-12+deb13u3), libc6 (= 2.41-12+deb13u3), libc6-dev (= 2.41-12+deb13u3), libcap-ng0 (= 0.8.5-4+b1), libcap2 (= 1:2.75-10+deb13u1+b1), libcc1-0 (= 14.2.0-19), libcompiler-libs-ocaml-dev (= 5.4.1-1+ocaml1), libconfig-tiny-perl (= 2.30-1), libcoq-core (= 9.2.0+dfsg-3+ocaml1), libcoq-core-ocaml (= 9.2.0+dfsg-3+ocaml1), libcoq-core-ocaml-dev (= 9.2.0+dfsg-3+ocaml1), libcoq-stdlib (= 9.2.0-1+ocaml1), libcrypt-dev (= 1:4.4.38-1), libcrypt1 (= 1:4.4.38-1), libctf-nobfd0 (= 2.44-3), libctf0 (= 2.44-3), libdb5.3t64 (= 5.3.28+dfsg2-9), libdebconfclient0 (= 0.280), libdebhelper-perl (= 14.3+ocaml1), libdpkg-perl (= 1.22.22), libelf1t64 (= 0.192-4), libexpat1 (= 2.7.1-2), libffi8 (= 3.4.8-2), libfile-stripnondeterminism-perl (= 1.14.1-2), libfindlib-ocaml (= 1.9.8-1+ocaml1), libfindlib-ocaml-dev (= 1.9.8-1+ocaml1), libgcc-14-dev (= 14.2.0-19), libgcc-s1 (= 14.2.0-19), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libgmp-dev (= 2:6.3.0+dfsg-3), libgmp10 (= 2:6.3.0+dfsg-3), libgmp3-dev (= 2:6.3.0+dfsg-3), libgmpxx4ldbl (= 2:6.3.0+dfsg-3), libgomp1 (= 14.2.0-19), libgprofng0 (= 2.44-3), libhwasan0 (= 14.2.0-19), libisl23 (= 0.27-1), libitm1 (= 14.2.0-19), libjansson4 (= 2.14-2+b3), libjson-perl (= 4.10000-1), liblastlog2-2 (= 2.41-5), liblsan0 (= 14.2.0-19), liblzma5 (= 5.8.1-1+deb13u1), libmagic-mgc (= 1:5.46-5), libmagic1t64 (= 1:5.46-5), libmd0 (= 1.1.0-2+b1), libmount1 (= 2.41-5), libmpc3 (= 1.3.1-1+b3), libmpfr6 (= 4.2.2-1), libncurses-dev (= 6.5+20250216-2), libncurses6 (= 6.5+20250216-2), libncursesw6 (= 6.5+20250216-2), libpam-modules (= 1.7.0-5), libpam-modules-bin (= 1.7.0-5), libpam-runtime (= 1.7.0-5), libpam0g (= 1.7.0-5), libpcre2-8-0 (= 10.46-1~deb13u1), libperl5.40 (= 5.40.1-6), libpipeline1 (= 1.5.8-1), libpython3-stdlib (= 3.13.5-1), libpython3.13-minimal (= 3.13.5-2+deb13u3), libpython3.13-stdlib (= 3.13.5-2+deb13u3), libquadmath0 (= 14.2.0-19), libreadline8t64 (= 8.2-6), libseccomp2 (= 2.6.0-2), libselinux1 (= 3.8.1-1), libsframe1 (= 2.44-3), libsmartcols1 (= 2.41-5), libsqlite3-0 (= 3.46.1-7+deb13u1), libssl3t64 (= 3.5.6-1~deb13u2), libstdc++-14-dev (= 14.2.0-19), libstdc++6 (= 14.2.0-19), libstdlib-ocaml (= 5.4.1-1+ocaml1), libstdlib-ocaml-dev (= 5.4.1-1+ocaml1), libsystemd0 (= 257.13-1~deb13u1), libtinfo6 (= 6.5+20250216-2), libtool (= 2.5.4-4), libtsan2 (= 14.2.0-19), libubsan1 (= 14.2.0-19), libuchardet0 (= 0.0.8-1+b2), libudev1 (= 257.13-1~deb13u1), libunistring5 (= 1.3-2), libuuid1 (= 2.41-5), libxml2 (= 2.12.7+dfsg+really2.9.14-2.1+deb13u3), libzarith-ocaml (= 1.14-4+ocaml1), libzarith-ocaml-dev (= 1.14-4+ocaml1), libzstd-dev (= 1.5.7+dfsg-1), libzstd1 (= 1.5.7+dfsg-1), linux-libc-dev (= 6.12.94-1), m4 (= 1.4.19-8), make (= 4.4.1-2), man-db (= 2.13.1-1), mawk (= 1.3.4.20250131-1), media-types (= 13.0.0), ncurses-base (= 6.5+20250216-2), ncurses-bin (= 6.5+20250216-2), netbase (= 6.5), ocaml (= 5.4.1-1+ocaml1), ocaml-base (= 5.4.1-1+ocaml1), ocaml-findlib (= 1.9.8-1+ocaml1), ocaml-interp (= 5.4.1-1+ocaml1), openssl-provider-legacy (= 3.5.6-1~deb13u2), patch (= 2.8-2), perl (= 5.40.1-6), perl-base (= 5.40.1-6), perl-modules-5.40 (= 5.40.1-6), po-debconf (= 1.0.21+nmu1), python3 (= 3.13.5-1), python3-minimal (= 3.13.5-1), python3.13 (= 3.13.5-2+deb13u3), python3.13-minimal (= 3.13.5-2+deb13u3), quickjs (= 2025.04.26-1), readline-common (= 8.2-6), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2+deb13u1), sensible-utils (= 0.0.25), sysvinit-utils (= 3.14-4), tar (= 1.35+dfsg-3.1), tzdata (= 2026b-0+deb13u1), util-linux (= 2.41-5), xz-utils (= 5.8.1-1+deb13u1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1786440554" +------------------------------------------------------------------------------+ | Package contents Tue, 11 Aug 2026 09:37:48 +0000 | +------------------------------------------------------------------------------+ libcoq-bignums_9.0.0+rocq9.2-3+ocaml1_amd64.deb ----------------------------------------------- new Debian package, version 2.0. size 1900236 bytes: control archive=2704 bytes. 589 bytes, 17 lines control 8976 bytes, 79 lines md5sums Package: libcoq-bignums Source: coq-bignums Version: 9.0.0+rocq9.2-3+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 6602 Depends: libcoq-stdlib-wd7z4 Provides: libcoq-bignums-bje99 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-08-11 09:29 ./ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/ -rw-r--r-- root/root 251 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/META -rw-r--r-- root/root 11503 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmi -rw-r--r-- root/root 10307 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmx -rw-r--r-- root/root 6035 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxa -rw-r--r-- root/root 60536 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/ -rw-r--r-- root/root 11720 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.glob -rw-r--r-- root/root 6113 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.v -rw-r--r-- root/root 787270 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.vo -rw-r--r-- root/root 209617 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.glob -rw-r--r-- root/root 53538 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.v -rw-r--r-- root/root 345416 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.vo -rw-r--r-- root/root 151000 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.glob -rw-r--r-- root/root 34629 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.v -rw-r--r-- root/root 192841 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.vo -rw-r--r-- root/root 66358 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.glob -rw-r--r-- root/root 16705 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.v -rw-r--r-- root/root 54351 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.vo -rw-r--r-- root/root 47119 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.glob -rw-r--r-- root/root 11252 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.v -rw-r--r-- root/root 49794 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.vo drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/ -rw-r--r-- root/root 10652 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.glob -rw-r--r-- root/root 5232 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.v -rw-r--r-- root/root 118152 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.vo -rw-r--r-- root/root 109453 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.glob -rw-r--r-- root/root 36043 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.v -rw-r--r-- root/root 251324 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.vo drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ -rw-r--r-- root/root 13981 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.glob -rw-r--r-- root/root 6728 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.v -rw-r--r-- root/root 515899 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.vo -rw-r--r-- root/root 73009 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.glob -rw-r--r-- root/root 22321 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.v -rw-r--r-- root/root 128723 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.vo drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/ -rw-r--r-- root/root 53541 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.glob -rw-r--r-- root/root 11498 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.v -rw-r--r-- root/root 38306 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.vo -rw-r--r-- root/root 59540 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.glob -rw-r--r-- root/root 13414 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.v -rw-r--r-- root/root 53440 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.vo -rw-r--r-- root/root 157899 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.glob -rw-r--r-- root/root 29553 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.v -rw-r--r-- root/root 149777 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.vo -rw-r--r-- root/root 372277 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.glob -rw-r--r-- root/root 56076 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.v -rw-r--r-- root/root 232834 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.vo -rw-r--r-- root/root 131317 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.glob -rw-r--r-- root/root 20371 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.v -rw-r--r-- root/root 91622 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.vo -rw-r--r-- root/root 92137 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.glob -rw-r--r-- root/root 19333 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.v -rw-r--r-- root/root 81242 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.vo -rw-r--r-- root/root 133635 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.glob -rw-r--r-- root/root 24266 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.v -rw-r--r-- root/root 106678 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.vo -rw-r--r-- root/root 214454 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.glob -rw-r--r-- root/root 44553 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.v -rw-r--r-- root/root 189019 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.vo -rw-r--r-- root/root 62653 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.glob -rw-r--r-- root/root 12886 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.v -rw-r--r-- root/root 48148 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.vo drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/ -rw-r--r-- root/root 39992 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.glob -rw-r--r-- root/root 8105 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.v -rw-r--r-- root/root 103956 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.vo drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ -rw-r--r-- root/root 35090 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.glob -rw-r--r-- root/root 4674 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.v -rw-r--r-- root/root 34567 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.vo -rw-r--r-- root/root 61132 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.glob -rw-r--r-- root/root 12498 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.v -rw-r--r-- root/root 150471 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.vo -rw-r--r-- root/root 39129 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.glob -rw-r--r-- root/root 5066 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.v -rw-r--r-- root/root 38381 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.vo -rw-r--r-- root/root 63306 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.glob -rw-r--r-- root/root 12793 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.v -rw-r--r-- root/root 162617 2026-08-11 09:29 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.vo drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/share/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/share/doc/libcoq-bignums/ -rw-r--r-- root/root 721 2026-08-11 09:29 ./usr/share/doc/libcoq-bignums/changelog.Debian.gz -rw-r--r-- root/root 376 2026-02-10 12:44 ./usr/share/doc/libcoq-bignums/changelog.gz -rw-r--r-- root/root 503 2026-07-28 16:18 ./usr/share/doc/libcoq-bignums/copyright drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/share/lintian/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 282 2026-07-28 16:18 ./usr/share/lintian/overrides/libcoq-bignums drwxr-xr-x root/root 0 2026-08-11 09:29 ./var/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./var/lib/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./var/lib/coq/ drwxr-xr-x root/root 0 2026-08-11 09:29 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2026-08-11 09:29 ./var/lib/coq/md5sums/libcoq-bignums.checksum +------------------------------------------------------------------------------+ | Post Build Tue, 11 Aug 2026 09:37:51 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Tue, 11 Aug 2026 09:37:51 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Tue, 11 Aug 2026 09:37:54 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 16680 Build-Time: 234 Distribution: trixie-backports-ocaml Host Architecture: amd64 Install-Time: 96 Job: /tmp/tmp.ben.transition-scripts.waWxKnWYgu/coq-bignums_9.0.0+rocq9.2-3+ocaml1.dsc Machine Architecture: amd64 Package: coq-bignums Package-Time: 510 Source-Version: 9.0.0+rocq9.2-3+ocaml1 Space: 16680 Status: successful Version: 9.0.0+rocq9.2-3+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-08-11T09:37:46Z Build needed 00:08:30, 16680k disk space