sbuild (Debian sbuild) 0.91.8 (14 April 2026) on cil.up7.fr

+==============================================================================+
| coq-bignums 9.0.0+coq8.20-1+ocaml1 (amd64)   Sat, 25 Apr 2026 02:04:43 +0000 |
+==============================================================================+

Package: coq-bignums
Version: 9.0.0+coq8.20-1+ocaml1
Source Version: 9.0.0+coq8.20-1+ocaml1
Distribution: trixie-backports-ocaml
Machine Architecture: amd64
Host Architecture: amd64
Build Architecture: amd64
Build Type: full

I: Unpacking /home/steph/ocaml-backports/20260425/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.gUk_JcdslW...
I: Setting up the chroot...
I: Creating chroot session...
I: Setting up log color...

+------------------------------------------------------------------------------+
| Chroot Setup Commands                        Sat, 25 Apr 2026 02:04:54 +0000 |
+------------------------------------------------------------------------------+


/repo/conf/mk-release.sh
------------------------

dpkg-scanpackages: info: Wrote 1290 entries to output Packages file.

I: Finished running '/repo/conf/mk-release.sh'.

Finished processing commands.
--------------------------------------------------------------------------------
I: Setting up apt archive...

+------------------------------------------------------------------------------+
| Update chroot                                Sat, 25 Apr 2026 02:05:31 +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 [1246 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/non-free amd64 Packages [100 kB]
Get:8 http://localhost:9999/debian trixie/main amd64 Packages [9671 kB]
Get:9 http://localhost:9999/debian trixie/non-free-firmware amd64 Packages [6884 B]
Fetched 9972 kB in 1s (7052 kB/s)
Reading package lists...
W: Conflicting distribution: file:/repo rebuilt Release (expected rebuilt but got )
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.

+------------------------------------------------------------------------------+
| Fetch source files                           Sat, 25 Apr 2026 02:05:35 +0000 |
+------------------------------------------------------------------------------+


Local sources
-------------

/tmp/tmp.ben.transition-scripts.5jKlR7lMLz/coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.5jKlR7lMLz; copying to chroot

+------------------------------------------------------------------------------+
| Install package build dependencies           Sat, 25 Apr 2026 02:05:38 +0000 |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential
Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-T5Lnr4/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/build/reproducible-path/resolver-T5Lnr4/apt_archive ./ InRelease
Get:2 copy:/build/reproducible-path/resolver-T5Lnr4/apt_archive ./ Release [609 B]
Ign:3 copy:/build/reproducible-path/resolver-T5Lnr4/apt_archive ./ Release.gpg
Get:4 copy:/build/reproducible-path/resolver-T5Lnr4/apt_archive ./ Sources [670 B]
Get:5 copy:/build/reproducible-path/resolver-T5Lnr4/apt_archive ./ Packages [709 B]
Fetched 1988 B in 0s (194 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-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1
  libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libmagic-mgc
  libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1
  libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64
  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 readline-common
  sensible-utils tzdata
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit
  | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev
  libgettextpo-dev gnulib-l10n groff gmp-doc libgmp10-doc libmpfr-dev
  ncurses-doc libtool-doc gfortran | fortran95-compiler 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 libgpm2 ocaml-man libltdl-dev ledit
  | readline-editor libmail-sendmail-perl ca-certificates
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1
  libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libmagic-mgc
  libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1
  libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64
  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 readline-common
  sbuild-build-depends-main-dummy sensible-utils tzdata
0 upgraded, 69 newly installed, 0 to remove and 0 not upgraded.
Need to get 20.0 MB/265 MB of archives.
After this operation, 1162 MB of additional disk space will be used.
Get:1 file:/repo rebuilt/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1+ocaml1 [23.5 MB]
Get:2 copy:/build/reproducible-path/resolver-T5Lnr4/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [892 B]
Get:3 http://localhost:9999/debian trixie/main amd64 libexpat1 amd64 2.7.1-2 [108 kB]
Get:4 http://localhost:9999/debian trixie/main amd64 libpython3.13-minimal amd64 3.13.5-2 [862 kB]
Get:5 http://localhost:9999/debian trixie/main amd64 python3.13-minimal amd64 3.13.5-2 [2224 kB]
Get:6 http://localhost:9999/debian trixie/main amd64 python3-minimal amd64 3.13.5-1 [27.2 kB]
Get:7 http://localhost:9999/debian trixie/main amd64 media-types all 13.0.0 [29.3 kB]
Get:8 http://localhost:9999/debian trixie/main amd64 netbase all 6.5 [12.4 kB]
Get:9 http://localhost:9999/debian trixie/main amd64 tzdata all 2026a-0+deb13u1 [264 kB]
Get:10 http://localhost:9999/debian trixie/main amd64 libffi8 amd64 3.4.8-2 [24.1 kB]
Get:11 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.4.1-1~exp1+ocaml1 [605 kB]
Get:12 file:/repo rebuilt/main amd64 ocaml-base amd64 5.4.1-1~exp1+ocaml1 [505 kB]
Get:13 http://localhost:9999/debian trixie/main amd64 libncursesw6 amd64 6.5+20250216-2 [135 kB]
Get:14 http://localhost:9999/debian trixie/main amd64 readline-common all 8.2-6 [69.4 kB]
Get:15 http://localhost:9999/debian trixie/main amd64 libreadline8t64 amd64 8.2-6 [169 kB]
Get:16 file:/repo rebuilt/main amd64 libfindlib-ocaml amd64 1.9.8-1+ocaml1 [194 kB]
Get:17 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-1+ocaml1 [110 kB]
Get:18 file:/repo rebuilt/main amd64 libcoq-core-ocaml amd64 8.20.1+dfsg-1+ocaml1 [24.2 MB]
Get:19 http://localhost:9999/debian trixie/main amd64 libpython3.13-stdlib amd64 3.13.5-2 [1956 kB]
Get:20 http://localhost:9999/debian trixie/main amd64 python3.13 amd64 3.13.5-2 [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 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.4.1-1~exp1+ocaml1 [6477 kB]
Get:27 http://localhost:9999/debian trixie/main amd64 file amd64 1:5.46-5 [43.6 kB]
Get:28 http://localhost:9999/debian trixie/main amd64 gettext-base amd64 0.23.1-2 [243 kB]
Get:29 http://localhost:9999/debian trixie/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB]
Get:30 http://localhost:9999/debian trixie/main amd64 groff-base amd64 1.23.0-9 [1187 kB]
Get:31 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.4.1-1~exp1+ocaml1 [39.3 MB]
Get:32 http://localhost:9999/debian trixie/main amd64 bsdextrautils amd64 2.41-5 [94.6 kB]
Get:33 http://localhost:9999/debian trixie/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get:34 http://localhost:9999/debian trixie/main amd64 man-db amd64 2.13.1-1 [1469 kB]
Get:35 http://localhost:9999/debian trixie/main amd64 m4 amd64 1.4.19-8 [294 kB]
Get:36 http://localhost:9999/debian trixie/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:37 http://localhost:9999/debian trixie/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:38 http://localhost:9999/debian trixie/main amd64 automake all 1:1.17-4 [862 kB]
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 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.4.1-1~exp1+ocaml1 [7461 kB]
Get:44 http://localhost:9999/debian trixie/main amd64 libdebhelper-perl all 13.24.2 [90.9 kB]
Get:45 http://localhost:9999/debian trixie/main amd64 libtool all 2.5.4-4 [539 kB]
Get:46 http://localhost:9999/debian trixie/main amd64 dh-autoreconf all 20 [17.1 kB]
Get:47 http://localhost:9999/debian trixie/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get:48 http://localhost:9999/debian trixie/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB]
Get:49 http://localhost:9999/debian trixie/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B]
Get:50 http://localhost:9999/debian trixie/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get:51 http://localhost:9999/debian trixie/main amd64 dwz amd64 0.15-1+b1 [110 kB]
Get:52 http://localhost:9999/debian trixie/main amd64 libunistring5 amd64 1.3-2 [477 kB]
Get:53 http://localhost:9999/debian trixie/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-2.1+deb13u2 [698 kB]
Get:54 file:/repo rebuilt/main amd64 ocaml amd64 5.4.1-1~exp1+ocaml1 [18.8 MB]
Get:55 http://localhost:9999/debian trixie/main amd64 gettext amd64 0.23.1-2 [1680 kB]
Get:56 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [596 kB]
Get:57 file:/repo rebuilt/main amd64 coq amd64 8.20.1+dfsg-1+ocaml1 [71.1 MB]
Get:58 http://localhost:9999/debian trixie/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:59 http://localhost:9999/debian trixie/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get:60 http://localhost:9999/debian trixie/main amd64 debhelper all 13.24.2 [919 kB]
Get:61 http://localhost:9999/debian trixie/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get:62 http://localhost:9999/debian trixie/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB]
Get:63 http://localhost:9999/debian trixie/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB]
Get:64 http://localhost:9999/debian trixie/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB]
Get:65 file:/repo rebuilt/main amd64 dh-coq all 0.14+ocaml1 [7076 B]
Get:66 file:/repo rebuilt/main amd64 dh-ocaml all 2.5+ocaml1 [63.0 kB]
Get:67 file:/repo rebuilt/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+ocaml1 [176 kB]
Get:68 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-1+ocaml1 [109 kB]
Get:69 file:/repo rebuilt/main amd64 libcoq-core-ocaml-dev amd64 8.20.1+dfsg-1+ocaml1 [52.0 MB]
Preconfiguring packages ...
Fetched 20.0 MB in 2s (13.1 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_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.5-2) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.5-2_amd64.deb ...
Unpacking python3.13-minimal (3.13.5-2) ...
Setting up libpython3.13-minimal:amd64 (3.13.5-2) ...
Setting up libexpat1:amd64 (2.7.1-2) ...
Setting up python3.13-minimal (3.13.5-2) ...
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_2026a-0+deb13u1_all.deb ...
Unpacking tzdata (2026a-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_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.5-2) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../09-python3.13_3.13.5-2_amd64.deb ...
Unpacking python3.13 (3.13.5-2) ...
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-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-stdlib (8.20.1+dfsg-1+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_5.4.1-1~exp1+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml (5.4.1-1~exp1+ocaml1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_5.4.1-1~exp1+ocaml1_amd64.deb ...
Unpacking ocaml-base (5.4.1-1~exp1+ocaml1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../19-libfindlib-ocaml_1.9.8-1+ocaml1_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.8-1+ocaml1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-1+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml (8.20.1+dfsg-1+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_5.4.1-1~exp1+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.4.1-1~exp1+ocaml1) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.4.1-1~exp1+ocaml1_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.4.1-1~exp1+ocaml1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_5.4.1-1~exp1+ocaml1_amd64.deb ...
Unpacking ocaml-interp (5.4.1-1~exp1+ocaml1) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.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~exp1+ocaml1_amd64.deb ...
Unpacking ocaml (5.4.1-1~exp1+ocaml1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../29-ocaml-findlib_1.9.8-1+ocaml1_amd64.deb ...
Unpacking ocaml-findlib (1.9.8-1+ocaml1) ...
Selecting previously unselected package coq.
Preparing to unpack .../30-coq_8.20.1+dfsg-1+ocaml1_amd64.deb ...
Unpacking coq (8.20.1+dfsg-1+ocaml1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../31-libdebhelper-perl_13.24.2_all.deb ...
Unpacking libdebhelper-perl (13.24.2) ...
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+deb13u2_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
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_13.24.2_all.deb ...
Unpacking debhelper (13.24.2) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../45-dh-coq_0.14+ocaml1_all.deb ...
Unpacking dh-coq (0.14+ocaml1) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../46-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../47-dh-ocaml_2.5+ocaml1_all.deb ...
Unpacking dh-ocaml (2.5+ocaml1) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../48-libfindlib-ocaml-dev_1.9.8-1+ocaml1_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../49-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../50-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 .../51-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 .../52-libzarith-ocaml-dev_1.14-1+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-1+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../53-libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml1) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack .../54-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up media-types (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.14+ocaml1) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.24.2) ...
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 file (1:5.46-5) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up tzdata (2026a-0+deb13u1) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Sat Apr 25 02:06:34 UTC 2026.
Universal Time is now:  Sat Apr 25 02:06:34 UTC 2026.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

Setting up autotools-dev (20240727.1) ...
Setting up libcoq-stdlib (8.20.1+dfsg-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~exp1+ocaml1) ...
Setting up libunistring5:amd64 (1.3-2) ...
Setting up autopoint (0.23.1-2) ...
Setting up ocaml-base (5.4.1-1~exp1+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 netbase (6.5) ...
Setting up readline-common (8.2-6) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
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~exp1+ocaml1) ...
Setting up dh-ocaml (2.5+ocaml1) ...
Setting up libfindlib-ocaml (1.9.8-1+ocaml1) ...
Setting up libzarith-ocaml (1.14-1+ocaml1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (5.4.1-1~exp1+ocaml1) ...
Setting up ocaml-interp (5.4.1-1~exp1+ocaml1) ...
Setting up ocaml-findlib (1.9.8-1+ocaml1) ...
Setting up libreadline8t64:amd64 (8.2-6) ...
Setting up dh-strip-nondeterminism (1.14.1-2) ...
Setting up libcoq-core-ocaml (8.20.1+dfsg-1+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) ...
Setting up libpython3-stdlib:amd64 (3.13.5-1) ...
Setting up python3.13 (3.13.5-2) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up python3 (3.13.5-1) ...
Setting up ocaml (5.4.1-1~exp1+ocaml1) ...
Setting up man-db (2.13.1-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libfindlib-ocaml-dev (1.9.8-1+ocaml1) ...
Setting up coq (8.20.1+dfsg-1+ocaml1) ...
Setting up libzarith-ocaml-dev (1.14-1+ocaml1) ...
Setting up debhelper (13.24.2) ...
Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml1) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.41-12+deb13u2) ...

+------------------------------------------------------------------------------+
| Check architectures                          Sat, 25 Apr 2026 02:06:38 +0000 |
+------------------------------------------------------------------------------+

Arch check ok (amd64 included in any)

+------------------------------------------------------------------------------+
| Build environment                            Sat, 25 Apr 2026 02:06:39 +0000 |
+------------------------------------------------------------------------------+

Kernel: Linux 6.19.11+deb14-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.19.11-1 (2026-04-05) amd64 (x86_64)
Toolchain package versions: binutils_2.44-3 dpkg-dev_1.22.22 g++-14_14.2.0-19 gcc-14_14.2.0-19 libc6-dev_2.41-12+deb13u2 libstdc++-14-dev_14.2.0-19 libstdc++6_14.2.0-19 linux-libc-dev_6.12.73-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+deb13u4 base-passwd_3.6.7 bash_5.2.37-2+b8 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_8.20.1+dfsg-1+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_13.24.2 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_20 dh-coq_0.14+ocaml1 dh-ocaml_2.5+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+deb13u2 libc-dev-bin_2.41-12+deb13u2 libc6_2.41-12+deb13u2 libc6-dev_2.41-12+deb13u2 libcap-ng0_0.8.5-4+b1 libcap2_1:2.75-10+b8 libcc1-0_14.2.0-19 libcompiler-libs-ocaml-dev_5.4.1-1~exp1+ocaml1 libconfig-tiny-perl_2.30-1 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1 libcoq-stdlib_8.20.1+dfsg-1+ocaml1 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_13.24.2 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 liblastlog2-2_2.41-5 liblsan0_14.2.0-19 liblz4-1_1.10.0-4 liblzma5_5.8.1-1 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 libpython3.13-stdlib_3.13.5-2 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.5-1~deb13u1 libstdc++-14-dev_14.2.0-19 libstdc++6_14.2.0-19 libstdlib-ocaml_5.4.1-1~exp1+ocaml1 libstdlib-ocaml-dev_5.4.1-1~exp1+ocaml1 libsystemd0_257.9-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.9-1~deb13u1 libunistring5_1.3-2 libuuid1_2.41-5 libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u2 libxxhash0_0.8.3-2 libzarith-ocaml_1.14-1+ocaml1 libzarith-ocaml-dev_1.14-1+ocaml1 libzstd-dev_1.5.7+dfsg-1 libzstd1_1.5.7+dfsg-1 linux-libc-dev_6.12.73-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~exp1+ocaml1 ocaml-base_5.4.1-1~exp1+ocaml1 ocaml-findlib_1.9.8-1+ocaml1 ocaml-interp_5.4.1-1~exp1+ocaml1 openssl-provider-legacy_3.5.5-1~deb13u1 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 python3.13-minimal_3.13.5-2 readline-common_8.2-6 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.25 sqv_1.3.0-3+b2 sysvinit-utils_3.14-4 tar_1.35+dfsg-3.1 tzdata_2026a-0+deb13u1 util-linux_2.41-5 xz-utils_5.8.1-1 zlib1g_1:1.3.dfsg+really1.3.1-1+b1

+------------------------------------------------------------------------------+
| Build                                        Sat, 25 Apr 2026 02:06:39 +0000 |
+------------------------------------------------------------------------------+


Unpack source
-------------

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.20-1+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/bignums
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 afa521bf65751faaea9061820811b286eef21381 2168 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz
Checksums-Sha256:
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 c2acd89e2d763797e60d7f76f3f4e087aac3e7dc8a8cd145ec82b0c0607b0ade 2168 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz
Files:
 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 f7324b1a76c1aa9768c007bfeafe72a8 2168 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz

dpkg-source: warning: extracting unsigned source package (coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc)
dpkg-source: info: extracting coq-bignums in /build/reproducible-path/coq-bignums-9.0.0+coq8.20
dpkg-source: info: unpacking coq-bignums_9.0.0+coq8.20.orig.tar.gz
dpkg-source: info: unpacking coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz

clean up apt cache
------------------


Check disk space
----------------

Sufficient free space for build

User Environment
----------------

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=1
HOME=/sbuild-nonexistent
LANG=fr_FR.UTF-8
LC_ALL=C.UTF-8
LOGNAME=sbuild
MAKEFLAGS=
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SHELL=/bin/sh
USER=sbuild

dpkg-buildpackage
-----------------

Command: dpkg-buildpackage --sanitize-env -us -uc -sa
dpkg-buildpackage: info: source package coq-bignums
dpkg-buildpackage: info: source version 9.0.0+coq8.20-1+ocaml1
dpkg-buildpackage: info: source distribution trixie-backports-ocaml
dpkg-buildpackage: info: source changed by Anonymous Builder <builder@example.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with coq,ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make clean
make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
coq_makefile -f _CoqProject -o Makefile.coq
make -f Makefile.coq Makefile
make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
CAMLDEP plugin/bignums_syntax.ml
OCAMLLIBDEP plugin/bignums_syntax_plugin.mlpack
ocaml BigN/gen/NMake_gen.ml > BigN/NMake_gen.v || (RV=$?; rm -f BigN/NMake_gen.v; exit ${RV})
COQDEP VFILES
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make -f Makefile.coq clean
make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
rm -f BigN/NMake_gen.v
CLEAN
make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
rm -f Makefile.coq Makefile.coq.conf
make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
rm -f plugin/META.coq-bignums .lia.cache .nia.cache
find . -name "*.aux" -delete
make[1]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
   dh_ocamlclean
   dh_clean
 dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-bignums using existing ./coq-bignums_9.0.0+coq8.20.orig.tar.gz
dpkg-source: info: building coq-bignums in coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz
dpkg-source: info: building coq-bignums in coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc
 debian/rules binary
dh binary --with coq,ocaml
   dh_update_autotools_config
   dh_autoreconf
   dh_ocamlinit
   dh_auto_configure
   dh_auto_build
	make -j1 "INSTALL=install --strip-program=true"
make[1]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
coq_makefile -f _CoqProject -o Makefile.coq
make -f Makefile.coq Makefile
make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
CAMLDEP plugin/bignums_syntax.ml
OCAMLLIBDEP plugin/bignums_syntax_plugin.mlpack
ocaml BigN/gen/NMake_gen.ml > BigN/NMake_gen.v || (RV=$?; rm -f BigN/NMake_gen.v; exit ${RV})
COQDEP VFILES
make[2]: Nothing to be done for 'Makefile'.
make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make -f Makefile.coq all
make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
CAMLOPT -c -for-pack Bignums_syntax_plugin plugin/bignums_syntax.ml
CAMLOPT -pack -o plugin/bignums_syntax_plugin.cmx
CAMLOPT -a -o plugin/bignums_syntax_plugin.cmxa
CAMLOPT -shared -o plugin/bignums_syntax_plugin.cmxs
COQC BigNumPrelude.v
COQC CyclicDouble/DoubleBase.v
COQC CyclicDouble/DoubleAdd.v
COQC CyclicDouble/DoubleSub.v
COQC CyclicDouble/DoubleMul.v
COQC CyclicDouble/DoubleSqrt.v
COQC CyclicDouble/DoubleLift.v
COQC CyclicDouble/DoubleDivn1.v
COQC CyclicDouble/DoubleDiv.v
File "./CyclicDouble/DoubleDiv.v", line 1143, characters 28-46:
Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./CyclicDouble/DoubleDiv.v", line 1143, characters 28-46:
Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./CyclicDouble/DoubleDiv.v", line 1493, characters 9-27:
Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./CyclicDouble/DoubleDiv.v", line 1493, characters 9-27:
Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
COQC CyclicDouble/DoubleCyclic.v
COQC BigN/Nbasic.v
COQC SpecViaZ/NSig.v
COQC BigN/NMake_gen.v
COQC BigN/NMake.v
COQC SpecViaZ/NSigNAxioms.v
COQC BigN/BigN.v
File "./BigN/BigN.v", line 47, characters 0-26:
Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use
'%_' instead (available since 8.19). The '%' syntax will be reused in a
future version with the same semantics as in terms, that is adding scope to
the stack for all subterms. Code can be adapted with a script like: for f in
$(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done
[argument-scope-delimiter,deprecated-since-8.19,deprecated,default]
COQC SpecViaZ/ZSig.v
COQC SpecViaZ/ZSigZAxioms.v
COQC SpecViaQ/QSig.v
COQC BigQ/QMake.v
COQC BigZ/ZMake.v
COQC BigZ/BigZ.v
File "./BigZ/BigZ.v", line 48, characters 0-26:
Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use
'%_' instead (available since 8.19). The '%' syntax will be reused in a
future version with the same semantics as in terms, that is adding scope to
the stack for all subterms. Code can be adapted with a script like: for f in
$(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done
[argument-scope-delimiter,deprecated-since-8.19,deprecated,default]
File "./BigZ/BigZ.v", line 49, characters 0-26:
Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use
'%_' instead (available since 8.19). The '%' syntax will be reused in a
future version with the same semantics as in terms, that is adding scope to
the stack for all subterms. Code can be adapted with a script like: for f in
$(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done
[argument-scope-delimiter,deprecated-since-8.19,deprecated,default]
COQC BigQ/BigQ.v
make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make[1]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
   dh_auto_test
   create-stamp debian/debhelper-build-stamp
   dh_prep
   dh_auto_install --destdir=debian/libcoq-bignums/
	make -j1 install DESTDIR=/build/reproducible-path/coq-bignums-9.0.0\+coq8.20/debian/libcoq-bignums AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
make[1]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make -f Makefile.coq Makefile
make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make[2]: Nothing to be done for 'Makefile'.
make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make -f Makefile.coq install
make[2]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
INSTALL BigN/Nbasic.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/NMake.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/NMake_gen.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/BigN.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL SpecViaZ/NSig.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/ZSig.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/NSigNAxioms.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/ZSigZAxioms.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaQ/QSig.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaQ
INSTALL BigQ/QMake.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigQ
INSTALL BigQ/BigQ.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigQ
INSTALL CyclicDouble/DoubleBase.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleAdd.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleDiv.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleMul.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleSub.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleDivn1.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleSqrt.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleCyclic.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleLift.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL BigNumPrelude.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums/
INSTALL BigZ/ZMake.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigZ
INSTALL BigZ/BigZ.vo /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigZ
INSTALL BigN/Nbasic.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/NMake.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/NMake_gen.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/BigN.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL SpecViaZ/NSig.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/ZSig.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/NSigNAxioms.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/ZSigZAxioms.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaQ/QSig.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaQ
INSTALL BigQ/QMake.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigQ
INSTALL BigQ/BigQ.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigQ
INSTALL CyclicDouble/DoubleBase.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleAdd.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleDiv.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleMul.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleSub.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleDivn1.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleSqrt.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleCyclic.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleLift.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL BigNumPrelude.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums/
INSTALL BigZ/ZMake.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigZ
INSTALL BigZ/BigZ.v /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigZ
INSTALL BigN/Nbasic.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/NMake.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/NMake_gen.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL BigN/BigN.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigN
INSTALL SpecViaZ/NSig.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/ZSig.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/NSigNAxioms.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaZ/ZSigZAxioms.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaZ
INSTALL SpecViaQ/QSig.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//SpecViaQ
INSTALL BigQ/QMake.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigQ
INSTALL BigQ/BigQ.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigQ
INSTALL CyclicDouble/DoubleBase.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleAdd.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleDiv.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleMul.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleSub.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleDivn1.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleSqrt.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleCyclic.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL CyclicDouble/DoubleLift.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//CyclicDouble
INSTALL BigNumPrelude.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums/
INSTALL BigZ/ZMake.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigZ
INSTALL BigZ/BigZ.glob /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//BigZ
INSTALL plugin/bignums_syntax_plugin.cmxs /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//plugin
INSTALL plugin/bignums_syntax_plugin.cmxs /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Bignums//plugin
ocamlfind: [WARNING] No such file: /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core//../coq-bignums/META
Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmx
Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxa
Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs
ocamlfind: [WARNING] Overwriting file /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs
Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs
Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmi
Installed /build/reproducible-path/coq-bignums-9.0.0+coq8.20/debian/libcoq-bignums//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core//../coq-bignums/META
make[3]: Entering directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make[3]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make[2]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
make[1]: Leaving directory '/build/reproducible-path/coq-bignums-9.0.0+coq8.20'
   dh_ocamldoc
   dh_installdocs
   dh_installchangelogs
   dh_lintian
   dh_perl
   dh_link
   dh_strip_nondeterminism
   dh_compress
   dh_fixperms
   dh_missing
   dh_dwz -a
dwz: debian/libcoq-bignums/usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs: .debug_info section not present
dwz: debian/libcoq-bignums/usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxs: .debug_info section not present
dwz: Too few files for multifile optimization
dh_dwz: warning: No dwz multifile created, but not explicitly requested either so ignoring it.
dh_dwz: warning: Common issues include no debug information at all (missing -g) and
dh_dwz: warning: compressed debug information (#931891).
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb
   dh_coq
   dh_ocaml
   dh_gencontrol
dpkg-gencontrol: warning: package libcoq-bignums: substitution variable ${ocaml:Depends} unused, but is defined
dpkg-gencontrol: warning: package libcoq-bignums: substitution variable ${ocaml:Depends} unused, but is defined
   dh_md5sums
   dh_builddeb
dpkg-deb: building package 'libcoq-bignums' in '../libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb'.
dpkg-deb: building package 'libcoq-bignums-dbgsym' in '../libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb'.
 dpkg-genbuildinfo -O../coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.buildinfo
 dpkg-genchanges -sa -O../coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.changes
dpkg-genchanges: info: including full source code in upload
 dpkg-source --after-build .
dpkg-buildpackage: info: full upload (original source is included)
--------------------------------------------------------------------------------
Build finished at 2026-04-25T02:08:35Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Changes                                      Sat, 25 Apr 2026 02:08:36 +0000 |
+------------------------------------------------------------------------------+


coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.changes:
-------------------------------------------------

Format: 1.8
Date: Sat, 25 Apr 2026 04:04:42 +0200
Source: coq-bignums
Binary: libcoq-bignums libcoq-bignums-dbgsym
Architecture: source amd64
Version: 9.0.0+coq8.20-1+ocaml1
Distribution: trixie-backports-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-bignums - Coq library for big numbers
Changes:
 coq-bignums (9.0.0+coq8.20-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 12f441d1e12562368881cf9906b9e710b910a007 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc
 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 afa521bf65751faaea9061820811b286eef21381 2168 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz
 96813d1c436a413f77529107bb4307fa7b216e0c 6671 coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.buildinfo
 c936bead88036ba56cec0aca8d308cd1d07498a0 3888 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb
 15c440bbb83dfeecbf7458dd4bdc5ae4acc57092 1913504 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 5ebaf8bb645105af6214ff959def907a29924d43842be84e91d2407d6e4d1439 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 c2acd89e2d763797e60d7f76f3f4e087aac3e7dc8a8cd145ec82b0c0607b0ade 2168 coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz
 55f78ca33873f5d0b700174ea02fbb2562eeccdf54ecee777d111570b4eb899d 6671 coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.buildinfo
 5acc15a6e828fb5dd6970a6715852d9c32d5394d53b1f9d5a604d8e3e2926c30 3888 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb
 d9a1c93bccad66901d35d840a8bb9fd5704cac153b46f4932af1c96909f406bd 1913504 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb
Files:
 a5ab056ac2bc645c6c4bcd6c31c9045c 1266 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc
 8af0a3df71fd3cd83e4391741519fc19 117267 ocaml optional coq-bignums_9.0.0+coq8.20.orig.tar.gz
 f7324b1a76c1aa9768c007bfeafe72a8 2168 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml1.debian.tar.xz
 caaba12b8efc5e107a7cbf31308ea169 6671 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.buildinfo
 93a7e49d327341400d477b32819f2c30 3888 debug optional libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb
 5a663c577dcd155cb6509c3e1c360e08 1913504 ocaml optional libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb

+------------------------------------------------------------------------------+
| Buildinfo                                    Sat, 25 Apr 2026 02:08:36 +0000 |
+------------------------------------------------------------------------------+

Format: 1.0
Source: coq-bignums
Binary: libcoq-bignums libcoq-bignums-dbgsym
Architecture: amd64 source
Version: 9.0.0+coq8.20-1+ocaml1
Checksums-Md5:
 a5ab056ac2bc645c6c4bcd6c31c9045c 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc
 93a7e49d327341400d477b32819f2c30 3888 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb
 5a663c577dcd155cb6509c3e1c360e08 1913504 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb
Checksums-Sha1:
 12f441d1e12562368881cf9906b9e710b910a007 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc
 c936bead88036ba56cec0aca8d308cd1d07498a0 3888 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb
 15c440bbb83dfeecbf7458dd4bdc5ae4acc57092 1913504 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 5ebaf8bb645105af6214ff959def907a29924d43842be84e91d2407d6e4d1439 1266 coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc
 5acc15a6e828fb5dd6970a6715852d9c32d5394d53b1f9d5a604d8e3e2926c30 3888 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb
 d9a1c93bccad66901d35d840a8bb9fd5704cac153b46f4932af1c96909f406bd 1913504 libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb
Build-Origin: Debian
Build-Architecture: amd64
Build-Date: Sat, 25 Apr 2026 02:08:34 +0000
Build-Path: /build/reproducible-path/coq-bignums-9.0.0+coq8.20
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+deb13u4),
 base-passwd (= 3.6.7),
 bash (= 5.2.37-2+b8),
 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 (= 8.20.1+dfsg-1+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 (= 13.24.2),
 debianutils (= 5.23.2),
 dh-autoreconf (= 20),
 dh-coq (= 0.14+ocaml1),
 dh-ocaml (= 2.5+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+deb13u2),
 libc-dev-bin (= 2.41-12+deb13u2),
 libc6 (= 2.41-12+deb13u2),
 libc6-dev (= 2.41-12+deb13u2),
 libcap-ng0 (= 0.8.5-4+b1),
 libcap2 (= 1:2.75-10+b8),
 libcc1-0 (= 14.2.0-19),
 libcompiler-libs-ocaml-dev (= 5.4.1-1~exp1+ocaml1),
 libconfig-tiny-perl (= 2.30-1),
 libcoq-core-ocaml (= 8.20.1+dfsg-1+ocaml1),
 libcoq-core-ocaml-dev (= 8.20.1+dfsg-1+ocaml1),
 libcoq-stdlib (= 8.20.1+dfsg-1+ocaml1),
 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 (= 13.24.2),
 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),
 liblastlog2-2 (= 2.41-5),
 liblsan0 (= 14.2.0-19),
 liblzma5 (= 5.8.1-1),
 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),
 libpython3.13-stdlib (= 3.13.5-2),
 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.5-1~deb13u1),
 libstdc++-14-dev (= 14.2.0-19),
 libstdc++6 (= 14.2.0-19),
 libstdlib-ocaml (= 5.4.1-1~exp1+ocaml1),
 libstdlib-ocaml-dev (= 5.4.1-1~exp1+ocaml1),
 libsystemd0 (= 257.9-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.9-1~deb13u1),
 libunistring5 (= 1.3-2),
 libuuid1 (= 2.41-5),
 libxml2 (= 2.12.7+dfsg+really2.9.14-2.1+deb13u2),
 libzarith-ocaml (= 1.14-1+ocaml1),
 libzarith-ocaml-dev (= 1.14-1+ocaml1),
 libzstd-dev (= 1.5.7+dfsg-1),
 libzstd1 (= 1.5.7+dfsg-1),
 linux-libc-dev (= 6.12.73-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~exp1+ocaml1),
 ocaml-base (= 5.4.1-1~exp1+ocaml1),
 ocaml-findlib (= 1.9.8-1+ocaml1),
 ocaml-interp (= 5.4.1-1~exp1+ocaml1),
 openssl-provider-legacy (= 3.5.5-1~deb13u1),
 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),
 python3.13-minimal (= 3.13.5-2),
 readline-common (= 8.2-6),
 rpcsvc-proto (= 1.4.3-1),
 sed (= 4.9-2),
 sensible-utils (= 0.0.25),
 sysvinit-utils (= 3.14-4),
 tar (= 1.35+dfsg-3.1),
 tzdata (= 2026a-0+deb13u1),
 util-linux (= 2.41-5),
 xz-utils (= 5.8.1-1),
 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="1777082682"


+------------------------------------------------------------------------------+
| Package contents                             Sat, 25 Apr 2026 02:08:37 +0000 |
+------------------------------------------------------------------------------+


libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml1_amd64.deb
------------------------------------------------------

 new Debian package, version 2.0.
 size 3888 bytes: control archive=540 bytes.
     414 bytes,    12 lines      control
     106 bytes,     1 lines      md5sums
 Package: libcoq-bignums-dbgsym
 Source: coq-bignums
 Version: 9.0.0+coq8.20-1+ocaml1
 Auto-Built-Package: debug-symbols
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 25
 Depends: libcoq-bignums (= 9.0.0+coq8.20-1+ocaml1)
 Section: debug
 Priority: optional
 Description: debug symbols for libcoq-bignums
 Build-Ids: d355c652373216212448c450eb719f1722a61881

drwxr-xr-x root/root         0 2026-04-25 02:04 ./
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/debug/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/debug/.build-id/d3/
-rw-r--r-- root/root     14368 2026-04-25 02:04 ./usr/lib/debug/.build-id/d3/55c652373216212448c450eb719f1722a61881.debug
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/share/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/share/doc/
lrwxrwxrwx root/root         0 2026-04-25 02:04 ./usr/share/doc/libcoq-bignums-dbgsym -> libcoq-bignums


libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb
-----------------------------------------------

 new Debian package, version 2.0.
 size 1913504 bytes: control archive=2708 bytes.
     589 bytes,    17 lines      control
    9106 bytes,    80 lines      md5sums
 Package: libcoq-bignums
 Source: coq-bignums
 Version: 9.0.0+coq8.20-1+ocaml1
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 7604
 Depends: libcoq-stdlib-ytjo5
 Provides: libcoq-bignums-1oew0
 Section: ocaml
 Priority: optional
 Homepage: https://github.com/coq-community/bignums
 Description: Coq library for big numbers
  This package provides big numbers (natural numbers,
  integers and rationals) in Coq, as BigN, BigZ and BigQ,
  which used to be part of the standard library.
  .
  Coq is a proof assistant for higher-order logic.

drwxr-xr-x root/root         0 2026-04-25 02:04 ./
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/
-rw-r--r-- root/root       247 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/META
-rw-r--r-- root/root     10633 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmi
-rw-r--r-- root/root      9069 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmx
-rw-r--r-- root/root      5248 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxa
-rw-r--r-- root/root     59616 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/
-rw-r--r-- root/root     13719 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.glob
-rw-r--r-- root/root      6062 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.v
-rw-r--r-- root/root    788836 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/BigN.vo
-rw-r--r-- root/root    285076 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.glob
-rw-r--r-- root/root     53484 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.v
-rw-r--r-- root/root    343028 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake.vo
-rw-r--r-- root/root    217381 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.glob
-rw-r--r-- root/root     34587 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.v
-rw-r--r-- root/root    189897 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/NMake_gen.vo
-rw-r--r-- root/root     76896 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.glob
-rw-r--r-- root/root     16669 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.v
-rw-r--r-- root/root     54086 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigN/Nbasic.vo
-rw-r--r-- root/root     65752 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.glob
-rw-r--r-- root/root     11310 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.v
-rw-r--r-- root/root     49889 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigNumPrelude.vo
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/
-rw-r--r-- root/root     12475 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.glob
-rw-r--r-- root/root      5192 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.v
-rw-r--r-- root/root    121085 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/BigQ.vo
-rw-r--r-- root/root    155437 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.glob
-rw-r--r-- root/root     35558 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.v
-rw-r--r-- root/root    241263 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigQ/QMake.vo
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/
-rw-r--r-- root/root     16027 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.glob
-rw-r--r-- root/root      6667 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.v
-rw-r--r-- root/root    506664 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/BigZ.vo
-rw-r--r-- root/root    125245 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.glob
-rw-r--r-- root/root     22309 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.v
-rw-r--r-- root/root    127492 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/BigZ/ZMake.vo
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/
-rw-r--r-- root/root     75415 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.glob
-rw-r--r-- root/root     11474 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.v
-rw-r--r-- root/root     39098 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.vo
-rw-r--r-- root/root     78552 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.glob
-rw-r--r-- root/root     13391 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.v
-rw-r--r-- root/root     52915 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.vo
-rw-r--r-- root/root    208737 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.glob
-rw-r--r-- root/root     29517 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.v
-rw-r--r-- root/root    198448 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.vo
-rw-r--r-- root/root    578505 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.glob
-rw-r--r-- root/root     56064 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.v
-rw-r--r-- root/root    236492 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.vo
-rw-r--r-- root/root    209055 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.glob
-rw-r--r-- root/root     20329 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.v
-rw-r--r-- root/root     92214 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.vo
-rw-r--r-- root/root    157754 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.glob
-rw-r--r-- root/root     19307 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.v
-rw-r--r-- root/root     83186 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.vo
-rw-r--r-- root/root    192180 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.glob
-rw-r--r-- root/root     24242 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.v
-rw-r--r-- root/root    107613 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.vo
-rw-r--r-- root/root    354007 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.glob
-rw-r--r-- root/root     44784 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.v
-rw-r--r-- root/root    187032 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.vo
-rw-r--r-- root/root     92300 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.glob
-rw-r--r-- root/root     12862 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.v
-rw-r--r-- root/root     48861 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.vo
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/
-rw-r--r-- root/root     40737 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.glob
-rw-r--r-- root/root      7614 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.v
-rw-r--r-- root/root    101482 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaQ/QSig.vo
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/
-rw-r--r-- root/root     34284 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.glob
-rw-r--r-- root/root      4646 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.v
-rw-r--r-- root/root     33384 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSig.vo
-rw-r--r-- root/root     67749 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.glob
-rw-r--r-- root/root     11929 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.v
-rw-r--r-- root/root    145273 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.vo
-rw-r--r-- root/root     38227 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.glob
-rw-r--r-- root/root      5038 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.v
-rw-r--r-- root/root     36930 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSig.vo
-rw-r--r-- root/root     67402 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.glob
-rw-r--r-- root/root     12164 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.v
-rw-r--r-- root/root    156834 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.vo
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/plugin/
-rw-r--r-- root/root     59616 2026-04-25 02:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxs
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/share/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/share/doc/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/share/doc/libcoq-bignums/
-rw-r--r-- root/root       774 2026-04-25 02:04 ./usr/share/doc/libcoq-bignums/changelog.Debian.gz
-rw-r--r-- root/root       376 2024-06-20 06:58 ./usr/share/doc/libcoq-bignums/changelog.gz
-rw-r--r-- root/root       503 2024-06-25 06:40 ./usr/share/doc/libcoq-bignums/copyright
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/share/lintian/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./usr/share/lintian/overrides/
-rw-r--r-- root/root       400 2024-06-25 06:40 ./usr/share/lintian/overrides/libcoq-bignums
drwxr-xr-x root/root         0 2026-04-25 02:04 ./var/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./var/lib/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./var/lib/coq/
drwxr-xr-x root/root         0 2026-04-25 02:04 ./var/lib/coq/md5sums/
-rw-r--r-- root/root         5 2026-04-25 02:04 ./var/lib/coq/md5sums/libcoq-bignums.checksum


+------------------------------------------------------------------------------+
| Post Build                                   Sat, 25 Apr 2026 02:08:39 +0000 |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                      Sat, 25 Apr 2026 02:08:39 +0000 |
+------------------------------------------------------------------------------+

Purging /build/reproducible-path
Not cleaning session: cloned chroot in use

+------------------------------------------------------------------------------+
| Summary                                      Sat, 25 Apr 2026 02:08:41 +0000 |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build Type: full
Build-Space: 18684
Build-Time: 113
Distribution: trixie-backports-ocaml
Host Architecture: amd64
Install-Time: 60
Job: /tmp/tmp.ben.transition-scripts.5jKlR7lMLz/coq-bignums_9.0.0+coq8.20-1+ocaml1.dsc
Machine Architecture: amd64
Package: coq-bignums
Package-Time: 232
Source-Version: 9.0.0+coq8.20-1+ocaml1
Space: 18684
Status: successful
Version: 9.0.0+coq8.20-1+ocaml1
--------------------------------------------------------------------------------
Finished at 2026-04-25T02:08:35Z
Build needed 00:03:52, 18684k disk space