sbuild (Debian sbuild) 0.88.5 (01 March 2025) on derowd.up7.fr

+===============================================================================+
| coq-dpdgraph 1.0+8.20-1+ocaml20250313 (amd64) Thu, 13 Mar 2025 10:06:40 +0000 |
+===============================================================================+

Package: coq-dpdgraph
Version: 1.0+8.20-1+ocaml20250313
Source Version: 1.0+8.20-1+ocaml20250313
Distribution: unstable
Machine Architecture: amd64
Host Architecture: amd64
Build Architecture: amd64
Build Type: full

I: No tarballs found in /home/steph/.cache/sbuild
I: Unpacking /home/steph/ocaml-backports/20250313/ben/rootfs.tar.zst to /var/tmp/tmp.sbuild.P7s2SxDAfZ...
I: Setting up the chroot...
I: Creating chroot session...
I: Setting up log color...
I: Setting up apt archive...

+------------------------------------------------------------------------------+
| Update chroot                                Thu, 13 Mar 2025 10:06:49 +0000 |
+------------------------------------------------------------------------------+

Get:1 file:/rebuilt ./ InRelease
Ign:1 file:/rebuilt ./ InRelease
Get:2 file:/rebuilt ./ Release [1360 B]
Get:2 file:/rebuilt ./ Release [1360 B]
Get:3 file:/rebuilt ./ Release.gpg
Ign:3 file:/rebuilt ./ Release.gpg
Get:4 file:/rebuilt ./ Packages [1073 kB]
Get:5 http://localhost:9999/debian bookworm InRelease [151 kB]
Get:6 http://localhost:9999/debian bookworm/non-free-firmware amd64 Packages [6240 B]
Get:7 http://localhost:9999/debian bookworm/main amd64 Packages [8792 kB]
Get:8 http://localhost:9999/debian bookworm/contrib amd64 Packages [54.1 kB]
Get:9 http://localhost:9999/debian bookworm/non-free amd64 Packages [97.3 kB]
Fetched 9101 kB in 1s (9751 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.

+------------------------------------------------------------------------------+
| Fetch source files                           Thu, 13 Mar 2025 10:06:51 +0000 |
+------------------------------------------------------------------------------+


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

/tmp/tmp.ben.transition-scripts.Sx5DIuMqFh/coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc exists in /tmp/tmp.ben.transition-scripts.Sx5DIuMqFh; copying to chroot

+------------------------------------------------------------------------------+
| Install package build dependencies           Thu, 13 Mar 2025 10:06:53 +0000 |
+------------------------------------------------------------------------------+


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

Merged Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, build-essential
Filtered Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, build-essential
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-w1xW2V/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ InRelease
Get:2 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ Release [609 B]
Ign:3 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ Release.gpg
Get:4 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ Sources [696 B]
Get:5 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ Packages [735 B]
Fetched 2040 B in 0s (0 B/s)
Reading package lists...
Reading package lists...

Install main build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1 libexpat1
  libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev
  libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1
  libncurses-dev libncurses6 libncursesw6 libocamlgraph-ocaml-dev libpipeline1
  libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8
  libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl
  libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev
  m4 man-db media-types ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf
  python3 python3-minimal python3.11 python3.11-minimal readline-common
  sensible-utils
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit
  | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev
  libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc
  libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
  www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc
  python3-tk python3-venv python3.11-venv python3.11-doc binfmt-support
  readline-doc
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev ledit
  | readline-editor libmail-sendmail-perl ca-certificates
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1 libexpat1
  libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev
  libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1
  libncurses-dev libncurses6 libncursesw6 libocamlgraph-ocaml-dev libpipeline1
  libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8
  libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl
  libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev
  m4 man-db media-types ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf
  python3 python3-minimal python3.11 python3.11-minimal readline-common
  sbuild-build-depends-main-dummy sensible-utils
0 upgraded, 69 newly installed, 0 to remove and 0 not upgraded.
Need to get 27.5 MB/306 MB of archives.
After this operation, 969 MB of additional disk space will be used.
Get:1 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [900 B]
Get:2 file:/rebuilt ./ libcoq-stdlib 8.20.1+dfsg-1+ocaml20250313 [23.5 MB]
Get:3 file:/rebuilt ./ libstdlib-ocaml 5.3.0-2+ocaml20250313 [602 kB]
Get:4 file:/rebuilt ./ ocaml-base 5.3.0-2+ocaml20250313 [493 kB]
Get:5 http://localhost:9999/debian bookworm/main amd64 libpython3.11-minimal amd64 3.11.2-6+deb12u5 [816 kB]
Get:6 file:/rebuilt ./ libfindlib-ocaml 1.9.8-1+ocaml20250313 [214 kB]
Get:7 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml20250313 [116 kB]
Get:8 http://localhost:9999/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1+deb12u1 [98.9 kB]
Get:9 http://localhost:9999/debian bookworm/main amd64 python3.11-minimal amd64 3.11.2-6+deb12u5 [2067 kB]
Get:10 http://localhost:9999/debian bookworm/main amd64 python3-minimal amd64 3.11.2-1+b1 [26.3 kB]
Get:11 http://localhost:9999/debian bookworm/main amd64 media-types all 10.0.0 [26.1 kB]
Get:12 http://localhost:9999/debian bookworm/main amd64 libncursesw6 amd64 6.4-4 [134 kB]
Get:13 http://localhost:9999/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB]
Get:14 http://localhost:9999/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB]
Get:15 http://localhost:9999/debian bookworm/main amd64 libsqlite3-0 amd64 3.40.1-2+deb12u1 [839 kB]
Get:16 http://localhost:9999/debian bookworm/main amd64 libpython3.11-stdlib amd64 3.11.2-6+deb12u5 [1797 kB]
Get:17 http://localhost:9999/debian bookworm/main amd64 python3.11 amd64 3.11.2-6+deb12u5 [573 kB]
Get:18 http://localhost:9999/debian bookworm/main amd64 libpython3-stdlib amd64 3.11.2-1+b1 [9312 B]
Get:19 http://localhost:9999/debian bookworm/main amd64 python3 amd64 3.11.2-1+b1 [26.3 kB]
Get:20 http://localhost:9999/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB]
Get:21 http://localhost:9999/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB]
Get:22 http://localhost:9999/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB]
Get:23 http://localhost:9999/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB]
Get:24 http://localhost:9999/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB]
Get:25 http://localhost:9999/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB]
Get:26 http://localhost:9999/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB]
Get:27 http://localhost:9999/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+deb12u3 [87.0 kB]
Get:28 http://localhost:9999/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB]
Get:29 http://localhost:9999/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB]
Get:30 http://localhost:9999/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB]
Get:31 http://localhost:9999/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB]
Get:32 http://localhost:9999/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get:33 http://localhost:9999/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB]
Get:34 http://localhost:9999/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB]
Get:35 http://localhost:9999/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB]
Get:36 http://localhost:9999/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB]
Get:37 http://localhost:9999/debian bookworm/main amd64 libzstd-dev amd64 1.5.4+dfsg2-5 [354 kB]
Get:38 http://localhost:9999/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB]
Get:39 http://localhost:9999/debian bookworm/main amd64 libtool all 2.4.7-7~deb12u1 [517 kB]
Get:40 http://localhost:9999/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB]
Get:41 http://localhost:9999/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get:42 http://localhost:9999/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B]
Get:43 http://localhost:9999/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get:44 http://localhost:9999/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get:45 http://localhost:9999/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB]
Get:46 file:/rebuilt ./ libcoq-core-ocaml 8.20.1+dfsg-1+ocaml20250313 [26.0 MB]
Get:47 http://localhost:9999/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB]
Get:48 http://localhost:9999/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB]
Get:49 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-2+ocaml20250313 [7886 kB]
Get:50 http://localhost:9999/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.3~deb12u1 [687 kB]
Get:51 http://localhost:9999/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB]
Get:52 http://localhost:9999/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:53 http://localhost:9999/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get:54 http://localhost:9999/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB]
Get:55 http://localhost:9999/debian bookworm/main amd64 libconfig-tiny-perl all 2.28-2 [16.4 kB]
Get:56 http://localhost:9999/debian bookworm/main amd64 libgmpxx4ldbl amd64 2:6.2.1+dfsg1-1.1 [338 kB]
Get:57 http://localhost:9999/debian bookworm/main amd64 libgmp-dev amd64 2:6.2.1+dfsg1-1.1 [641 kB]
Get:58 http://localhost:9999/debian bookworm/main amd64 libgmp3-dev amd64 2:6.2.1+dfsg1-1.1 [331 kB]
Get:59 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-2+ocaml20250313 [48.2 MB]
Get:60 file:/rebuilt ./ ocaml-interp 5.3.0-2+ocaml20250313 [7106 kB]
Get:61 file:/rebuilt ./ ocaml 5.3.0-2+ocaml20250313 [18.0 MB]
Get:62 file:/rebuilt ./ ocaml-findlib 1.9.8-1+ocaml20250313 [583 kB]
Get:63 file:/rebuilt ./ coq 8.20.1+dfsg-1+ocaml20250313 [70.2 MB]
Get:64 file:/rebuilt ./ dh-coq 0.14+ocaml20250313 [8064 B]
Get:65 file:/rebuilt ./ dh-ocaml 2.4+ocaml20250313 [68.7 kB]
Get:66 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.8-1+ocaml20250313 [179 kB]
Get:67 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml20250313 [142 kB]
Get:68 file:/rebuilt ./ libcoq-core-ocaml-dev 8.20.1+dfsg-1+ocaml20250313 [68.7 MB]
Get:69 file:/rebuilt ./ libocamlgraph-ocaml-dev 2.1.0-3+ocaml20250313 [6724 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 27.5 MB in 1s (35.6 MB/s)
Selecting previously unselected package libpython3.11-minimal:amd64.
(Reading database ... 10779 files and directories currently installed.)
Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.5.0-1+deb12u1_amd64.deb ...
Unpacking libexpat1:amd64 (2.5.0-1+deb12u1) ...
Selecting previously unselected package python3.11-minimal.
Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
Unpacking python3.11-minimal (3.11.2-6+deb12u5) ...
Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
Setting up libexpat1:amd64 (2.5.0-1+deb12u1) ...
Setting up python3.11-minimal (3.11.2-6+deb12u5) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 11095 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_amd64.deb ...
Unpacking python3-minimal (3.11.2-1+b1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_10.0.0_all.deb ...
Unpacking media-types (10.0.0) ...
Selecting previously unselected package libncursesw6:amd64.
Preparing to unpack .../2-libncursesw6_6.4-4_amd64.deb ...
Unpacking libncursesw6:amd64 (6.4-4) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../3-readline-common_8.2-1.3_all.deb ...
Unpacking readline-common (8.2-1.3) ...
Selecting previously unselected package libreadline8:amd64.
Preparing to unpack .../4-libreadline8_8.2-1.3_amd64.deb ...
Unpacking libreadline8:amd64 (8.2-1.3) ...
Selecting previously unselected package libsqlite3-0:amd64.
Preparing to unpack .../5-libsqlite3-0_3.40.1-2+deb12u1_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.40.1-2+deb12u1) ...
Selecting previously unselected package libpython3.11-stdlib:amd64.
Preparing to unpack .../6-libpython3.11-stdlib_3.11.2-6+deb12u5_amd64.deb ...
Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
Selecting previously unselected package python3.11.
Preparing to unpack .../7-python3.11_3.11.2-6+deb12u5_amd64.deb ...
Unpacking python3.11 (3.11.2-6+deb12u5) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../8-libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
Setting up python3-minimal (3.11.2-1+b1) ...
Selecting previously unselected package python3.
(Reading database ... 11546 files and directories currently installed.)
Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ...
Unpacking python3 (3.11.2-1+b1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.17+nmu1_all.deb ...
Unpacking sensible-utils (0.0.17+nmu1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.44-3_amd64.deb ...
Unpacking libmagic-mgc (1:5.44-3) ...
Selecting previously unselected package libmagic1:amd64.
Preparing to unpack .../03-libmagic1_1%3a5.44-3_amd64.deb ...
Unpacking libmagic1:amd64 (1:5.44-3) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.44-3_amd64.deb ...
Unpacking file (1:5.44-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.21-12_amd64.deb ...
Unpacking gettext-base (0.21-12) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.7-1_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.22.4-10_amd64.deb ...
Unpacking groff-base (1.22.4-10) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.38.1-5+deb12u3_amd64.deb ...
Unpacking bsdextrautils (2.38.1-5+deb12u3) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.7-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.11.2-2_amd64.deb ...
Unpacking man-db (2.11.2-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-3_amd64.deb ...
Unpacking m4 (1.4.19-3) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.71-3_all.deb ...
Unpacking autoconf (2.71-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.21-12_all.deb ...
Unpacking autopoint (0.21-12) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313_amd64.deb ...
Unpacking libcoq-stdlib (8.20.1+dfsg-1+ocaml20250313) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_5.3.0-2+ocaml20250313_amd64.deb ...
Unpacking libstdlib-ocaml (5.3.0-2+ocaml20250313) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_5.3.0-2+ocaml20250313_amd64.deb ...
Unpacking ocaml-base (5.3.0-2+ocaml20250313) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../19-libfindlib-ocaml_1.9.8-1+ocaml20250313_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.8-1+ocaml20250313) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml20250313_amd64.deb ...
Unpacking libzarith-ocaml (1.14-1+ocaml20250313) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313_amd64.deb ...
Unpacking libcoq-core-ocaml (8.20.1+dfsg-1+ocaml20250313) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_5.3.0-2+ocaml20250313_amd64.deb ...
Unpacking ocaml-interp (5.3.0-2+ocaml20250313) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.4-4_amd64.deb ...
Unpacking libncurses6:amd64 (6.4-4) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../26-libncurses-dev_6.4-4_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.4-4) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../27-libzstd-dev_1.5.4+dfsg2-5_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.4+dfsg2-5) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../28-ocaml_5.3.0-2+ocaml20250313_amd64.deb ...
Unpacking ocaml (5.3.0-2+ocaml20250313) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../29-ocaml-findlib_1.9.8-1+ocaml20250313_amd64.deb ...
Unpacking ocaml-findlib (1.9.8-1+ocaml20250313) ...
Selecting previously unselected package coq.
Preparing to unpack .../30-coq_8.20.1+dfsg-1+ocaml20250313_amd64.deb ...
Unpacking coq (8.20.1+dfsg-1+ocaml20250313) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../31-libdebhelper-perl_13.11.4_all.deb ...
Unpacking libdebhelper-perl (13.11.4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../32-libtool_2.4.7-7~deb12u1_all.deb ...
Unpacking libtool (2.4.7-7~deb12u1) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../33-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../35-libsub-override-perl_0.09-4_all.deb ...
Unpacking libsub-override-perl (0.09-4) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../36-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../37-dh-strip-nondeterminism_1.13.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.1-1) ...
Selecting previously unselected package libelf1:amd64.
Preparing to unpack .../38-libelf1_0.188-2.1_amd64.deb ...
Unpacking libelf1:amd64 (0.188-2.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../39-dwz_0.15-1_amd64.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../40-libicu72_72.1-3_amd64.deb ...
Unpacking libicu72:amd64 (72.1-3) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../41-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../42-gettext_0.21-12_amd64.deb ...
Unpacking gettext (0.21-12) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../43-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../44-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../45-debhelper_13.11.4_all.deb ...
Unpacking debhelper (13.11.4) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../46-dh-coq_0.14+ocaml20250313_all.deb ...
Unpacking dh-coq (0.14+ocaml20250313) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../47-libconfig-tiny-perl_2.28-2_all.deb ...
Unpacking libconfig-tiny-perl (2.28-2) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../48-dh-ocaml_2.4+ocaml20250313_all.deb ...
Unpacking dh-ocaml (2.4+ocaml20250313) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../49-libfindlib-ocaml-dev_1.9.8-1+ocaml20250313_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../50-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../51-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../52-libgmp3-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../53-libzarith-ocaml-dev_1.14-1+ocaml20250313_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-1+ocaml20250313) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../54-libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml20250313_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml20250313) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../55-libocamlgraph-ocaml-dev_2.1.0-3+ocaml20250313_amd64.deb ...
Unpacking libocamlgraph-ocaml-dev (2.1.0-3+ocaml20250313) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack .../56-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up media-types (10.0.0) ...
Setting up libpipeline1:amd64 (1.5.7-1) ...
Setting up libicu72:amd64 (72.1-3) ...
Setting up libzstd-dev:amd64 (1.5.4+dfsg2-5) ...
Setting up bsdextrautils (2.38.1-5+deb12u3) ...
Setting up libmagic-mgc (1:5.44-3) ...
Setting up dh-coq (0.14+ocaml20250313) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.11.4) ...
Setting up libsqlite3-0:amd64 (3.40.1-2+deb12u1) ...
Setting up libmagic1:amd64 (1:5.44-3) ...
Setting up gettext-base (0.21-12) ...
Setting up m4 (1.4.19-3) ...
Setting up file (1:5.44-3) ...
Setting up libconfig-tiny-perl (2.28-2) ...
Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.20.1+dfsg-1+ocaml20250313) ...
Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
Setting up libncurses6:amd64 (6.4-4) ...
Setting up libstdlib-ocaml (5.3.0-2+ocaml20250313) ...
Setting up autopoint (0.21-12) ...
Setting up ocaml-base (5.3.0-2+ocaml20250313) ...
Setting up libncursesw6:amd64 (6.4-4) ...
Setting up autoconf (2.71-3) ...
Setting up sensible-utils (0.0.17+nmu1) ...
Setting up libuchardet0:amd64 (0.0.7-1) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libelf1:amd64 (0.188-2.1) ...
Setting up readline-common (8.2-1.3) ...
Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.13.1-1) ...
Setting up libncurses-dev:amd64 (6.4-4) ...
Setting up gettext (0.21-12) ...
Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
Setting up libtool (2.4.7-7~deb12u1) ...
Setting up libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ...
Setting up libreadline8:amd64 (8.2-1.3) ...
Setting up dh-ocaml (2.4+ocaml20250313) ...
Setting up libfindlib-ocaml (1.9.8-1+ocaml20250313) ...
Setting up libzarith-ocaml (1.14-1+ocaml20250313) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ...
Setting up ocaml-interp (5.3.0-2+ocaml20250313) ...
Setting up ocaml-findlib (1.9.8-1+ocaml20250313) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up dwz (0.15-1) ...
Setting up libcoq-core-ocaml (8.20.1+dfsg-1+ocaml20250313) ...
Setting up groff-base (1.22.4-10) ...
Setting up libgmp3-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
Setting up ocaml (5.3.0-2+ocaml20250313) ...
Setting up man-db (2.11.2-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ...
Setting up libzarith-ocaml-dev (1.14-1+ocaml20250313) ...
Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
Setting up libocamlgraph-ocaml-dev (2.1.0-3+ocaml20250313) ...
Setting up python3.11 (3.11.2-6+deb12u5) ...
Setting up debhelper (13.11.4) ...
Setting up python3 (3.11.2-1+b1) ...
Setting up coq (8.20.1+dfsg-1+ocaml20250313) ...
Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml20250313) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.36-9+deb12u9) ...

+------------------------------------------------------------------------------+
| Check architectures                          Thu, 13 Mar 2025 10:07:41 +0000 |
+------------------------------------------------------------------------------+

Arch check ok (amd64 included in any)

+------------------------------------------------------------------------------+
| Build environment                            Thu, 13 Mar 2025 10:07:41 +0000 |
+------------------------------------------------------------------------------+

Kernel: Linux 6.12.17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.17-1 (2025-03-01) amd64 (x86_64)
Toolchain package versions: binutils_2.40-2 dpkg-dev_1.21.22 g++-12_12.2.0-14 gcc-12_12.2.0-14 libc6-dev_2.36-9+deb12u9 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 linux-libc-dev_6.1.123-1
Package versions: adduser_3.134 apt_2.6.1 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-12 autotools-dev_20220109.1 base-files_12.4+deb12u9 base-passwd_3.6.1 bash_5.2.15-2+b7 binutils_2.40-2 binutils-common_2.40-2 binutils-x86-64-linux-gnu_2.40-2 bsdextrautils_2.38.1-5+deb12u3 bsdutils_1:2.38.1-5+deb12u3 build-essential_12.9 bzip2_1.0.8-5+b1 coq_8.20.1+dfsg-1+ocaml20250313 coreutils_9.1-1 cpp_4:12.2.0-3 cpp-12_12.2.0-14 dash_0.5.12-2 debconf_1.5.82 debhelper_13.11.4 debian-archive-keyring_2023.3+deb12u1 debianutils_5.7-0.5~deb12u1 dh-autoreconf_20 dh-coq_0.14+ocaml20250313 dh-ocaml_2.4+ocaml20250313 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.8-4 dpkg_1.21.22 dpkg-dev_1.21.22 dwz_0.15-1 file_1:5.44-3 findutils_4.9.0-4 g++_4:12.2.0-3 g++-12_12.2.0-14 gcc_4:12.2.0-3 gcc-12_12.2.0-14 gcc-12-base_12.2.0-14 gettext_0.21-12 gettext-base_0.21-12 gpgv_2.2.40-1.1 grep_3.8-5 groff-base_1.22.4-10 gzip_1.12-1 hostname_3.23+nmu1 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 libacl1_2.3.1-3 libapt-pkg6.0_2.6.1 libarchive-zip-perl_1.68-1 libasan8_12.2.0-14 libatomic1_12.2.0-14 libattr1_1:2.5.1-4 libaudit-common_1:3.0.9-1 libaudit1_1:3.0.9-1 libbinutils_2.40-2 libblkid1_2.38.1-5+deb12u3 libbz2-1.0_1.0.8-5+b1 libc-bin_2.36-9+deb12u9 libc-dev-bin_2.36-9+deb12u9 libc6_2.36-9+deb12u9 libc6-dev_2.36-9+deb12u9 libcap-ng0_0.8.3-1+b3 libcap2_1:2.66-4 libcc1-0_12.2.0-14 libcom-err2_1.47.0-2 libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313 libconfig-tiny-perl_2.28-2 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml20250313 libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313 libcrypt-dev_1:4.4.33-2 libcrypt1_1:4.4.33-2 libctf-nobfd0_2.40-2 libctf0_2.40-2 libdb5.3_5.3.28+dfsg2-1 libdebconfclient0_0.270 libdebhelper-perl_13.11.4 libdpkg-perl_1.21.22 libelf1_0.188-2.1 libexpat1_2.5.0-1+deb12u1 libffi8_3.4.4-1 libfile-find-rule-perl_0.34-3 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.8-1+ocaml20250313 libfindlib-ocaml-dev_1.9.8-1+ocaml20250313 libgcc-12-dev_12.2.0-14 libgcc-s1_12.2.0-14 libgcrypt20_1.10.1-3 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libgmp-dev_2:6.2.1+dfsg1-1.1 libgmp10_2:6.2.1+dfsg1-1.1 libgmp3-dev_2:6.2.1+dfsg1-1.1 libgmpxx4ldbl_2:6.2.1+dfsg1-1.1 libgnutls30_3.7.9-2+deb12u3 libgomp1_12.2.0-14 libgpg-error0_1.46-1 libgprofng0_2.40-2 libgssapi-krb5-2_1.20.1-2+deb12u2 libhogweed6_3.8.1-2 libicu72_72.1-3 libidn2-0_2.3.3-1+b1 libisl23_0.25-1.1 libitm1_12.2.0-14 libjansson4_2.14-2 libk5crypto3_1.20.1-2+deb12u2 libkeyutils1_1.6.3-2 libkrb5-3_1.20.1-2+deb12u2 libkrb5support0_1.20.1-2+deb12u2 liblsan0_12.2.0-14 liblz4-1_1.9.4-1 liblzma5_5.4.1-0.2 libmagic-mgc_1:5.44-3 libmagic1_1:5.44-3 libmd0_1.0.4-2 libmount1_2.38.1-5+deb12u3 libmpc3_1.3.1-1 libmpfr6_4.2.0-1 libncurses-dev_6.4-4 libncurses6_6.4-4 libncursesw6_6.4-4 libnettle8_3.8.1-2 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnumber-compare-perl_0.03-3 libocamlgraph-ocaml-dev_2.1.0-3+ocaml20250313 libp11-kit0_0.24.1-2 libpam-modules_1.5.2-6+deb12u1 libpam-modules-bin_1.5.2-6+deb12u1 libpam-runtime_1.5.2-6+deb12u1 libpam0g_1.5.2-6+deb12u1 libpcre2-8-0_10.42-1 libperl5.36_5.36.0-7+deb12u1 libpipeline1_1.5.7-1 libpython3-stdlib_3.11.2-1+b1 libpython3.11-minimal_3.11.2-6+deb12u5 libpython3.11-stdlib_3.11.2-6+deb12u5 libquadmath0_12.2.0-14 libreadline8_8.2-1.3 libseccomp2_2.5.4-1+deb12u1 libselinux1_3.4-1+b6 libsemanage-common_3.4-1 libsemanage2_3.4-1+b5 libsepol2_3.4-2.1 libsmartcols1_2.38.1-5+deb12u3 libsqlite3-0_3.40.1-2+deb12u1 libssl3_3.0.15-1~deb12u1 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 libstdlib-ocaml_5.3.0-2+ocaml20250313 libstdlib-ocaml-dev_5.3.0-2+ocaml20250313 libsub-override-perl_0.09-4 libsystemd0_252.33-1~deb12u1 libtasn1-6_4.19.0-2 libtext-glob-perl_0.11-3 libtinfo6_6.4-4 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-7~deb12u1 libtsan2_12.2.0-14 libubsan1_12.2.0-14 libuchardet0_0.0.7-1 libudev1_252.33-1~deb12u1 libunistring2_1.0-2 libuuid1_2.38.1-5+deb12u3 libxml2_2.9.14+dfsg-1.3~deb12u1 libxxhash0_0.8.1-1 libzarith-ocaml_1.14-1+ocaml20250313 libzarith-ocaml-dev_1.14-1+ocaml20250313 libzstd-dev_1.5.4+dfsg2-5 libzstd1_1.5.4+dfsg2-5 linux-libc-dev_6.1.123-1 login_1:4.13+dfsg1-1+b1 m4_1.4.19-3 make_4.3-4.1 man-db_2.11.2-2 mawk_1.3.4.20200120-3.1 media-types_10.0.0 ncurses-base_6.4-4 ncurses-bin_6.4-4 ocaml_5.3.0-2+ocaml20250313 ocaml-base_5.3.0-2+ocaml20250313 ocaml-findlib_1.9.8-1+ocaml20250313 ocaml-interp_5.3.0-2+ocaml20250313 passwd_1:4.13+dfsg1-1+b1 patch_2.7.6-7 perl_5.36.0-7+deb12u1 perl-base_5.36.0-7+deb12u1 perl-modules-5.36_5.36.0-7+deb12u1 po-debconf_1.0.21+nmu1 python3_3.11.2-1+b1 python3-minimal_3.11.2-1+b1 python3.11_3.11.2-6+deb12u5 python3.11-minimal_3.11.2-6+deb12u5 readline-common_8.2-1.3 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.17+nmu1 sysvinit-utils_3.06-4 tar_1.34+dfsg-1.2+deb12u1 usrmerge_37~deb12u1 util-linux_2.38.1-5+deb12u3 util-linux-extra_2.38.1-5+deb12u3 xz-utils_5.4.1-0.2 zlib1g_1:1.2.13.dfsg-1

+------------------------------------------------------------------------------+
| Build                                        Thu, 13 Mar 2025 10:07:41 +0000 |
+------------------------------------------------------------------------------+


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

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.20-1+ocaml20250313
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-dpdgraph
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-dpdgraph
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-dpdgraph.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 coq-dpdgraph-tools deb ocaml optional arch=any
 libcoq-dpdgraph deb ocaml optional arch=any
Checksums-Sha1:
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 ccd41f01fb4672fa6396d684d764fbe6fe4fa56a 3236 coq-dpdgraph_1.0+8.20-1+ocaml20250313.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 14013882f3472052e46cf2c3f851481db4c48b12d503ae704b032d19672e553c 3236 coq-dpdgraph_1.0+8.20-1+ocaml20250313.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 ecc0d2839857e7645291e2890029448e 3236 coq-dpdgraph_1.0+8.20-1+ocaml20250313.debian.tar.xz

dpkg-source: warning: extracting unsigned source package (coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc)
dpkg-source: info: extracting coq-dpdgraph in /build/reproducible-path/coq-dpdgraph-1.0+8.20
dpkg-source: info: unpacking coq-dpdgraph_1.0+8.20.orig.tar.gz
dpkg-source: info: unpacking coq-dpdgraph_1.0+8.20-1+ocaml20250313.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying ignore_warning_70.patch
dpkg-source: info: applying use_install.patch
Can't exec "dpkg-buildtree": No such file or directory at /usr/libexec/sbuild-usernsexec line 604.
Failed to exec: dpkg-buildtree: No such file or directory at /usr/libexec/sbuild-usernsexec line 605.

Install fakeroot
----------------


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

Merged Build-Depends: fakeroot
Filtered Build-Depends: fakeroot
dpkg-deb: building package 'sbuild-build-depends-fakeroot-dummy' in '/build/reproducible-path/resolver-w1xW2V/apt_archive/sbuild-build-depends-fakeroot-dummy.deb'.
Ign:1 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ InRelease
Get:2 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ Release [615 B]
Ign:3 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ Release.gpg
Get:4 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ Sources [1284 B]
Get:5 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ Packages [1350 B]
Fetched 3249 B in 0s (0 B/s)
Reading package lists...
Reading package lists...

Install fakeroot build dependencies (apt-based resolver)
--------------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  fakeroot libfakeroot
The following NEW packages will be installed:
  fakeroot libfakeroot sbuild-build-depends-fakeroot-dummy
0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded.
Need to get 96.1 kB of archives.
After this operation, 360 kB of additional disk space will be used.
Get:1 copy:/build/reproducible-path/resolver-w1xW2V/apt_archive ./ sbuild-build-depends-fakeroot-dummy 0.invalid.0 [832 B]
Get:2 http://localhost:9999/debian bookworm/main amd64 libfakeroot amd64 1.31-1.2 [28.3 kB]
Get:3 http://localhost:9999/debian bookworm/main amd64 fakeroot amd64 1.31-1.2 [66.9 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 96.1 kB in 0s (981 kB/s)
Selecting previously unselected package libfakeroot:amd64.
(Reading database ... 23358 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.31-1.2_amd64.deb ...
Unpacking libfakeroot:amd64 (1.31-1.2) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.31-1.2_amd64.deb ...
Unpacking fakeroot (1.31-1.2) ...
Selecting previously unselected package sbuild-build-depends-fakeroot-dummy.
Preparing to unpack .../sbuild-build-depends-fakeroot-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-fakeroot-dummy (0.invalid.0) ...
Setting up libfakeroot:amd64 (1.31-1.2) ...
Setting up fakeroot (1.31-1.2) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Setting up sbuild-build-depends-fakeroot-dummy (0.invalid.0) ...
Processing triggers for man-db (2.11.2-2) ...
Not building database; man-db/auto-update is not 'true'.
Processing triggers for libc-bin (2.36-9+deb12u9) ...

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

Sufficient free space for build

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

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

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

Command: dpkg-buildpackage --sanitize-env -us -uc -sa
dpkg-buildpackage: info: source package coq-dpdgraph
dpkg-buildpackage: info: source version 1.0+8.20-1+ocaml20250313
dpkg-buildpackage: info: source distribution bookworm-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-dpdgraph-1.0+8.20'
find . -name "*.vo*" -delete
find . -name "*.aux" -delete
find . -name "*.glob" -delete
if test -f Makefile; then \
  make clean; \
fi
rm -f META.coq-dpdgraph Make_coq.conf Makefile config.log config.status
make[1]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
   dh_ocamlclean
   dh_clean
 dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-dpdgraph using existing ./coq-dpdgraph_1.0+8.20.orig.tar.gz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: building coq-dpdgraph in coq-dpdgraph_1.0+8.20-1+ocaml20250313.debian.tar.xz
dpkg-source: info: building coq-dpdgraph in coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc
 debian/rules binary
dh binary --with coq,ocaml
   dh_update_autotools_config
   dh_autoreconf
configure.ac:225: warning: AC_OUTPUT should be used without arguments.
configure.ac:225: You should run autoupdate.
   dh_ocamlinit
   dh_auto_configure
	./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking
configure: coq-dpdgraph version 1.0-8.20
configure: ~~~~~~~~~~~~~~~~~~~~
configure: ~~ OCaml compilers  
configure: ~~~~~~~~~~~~~~~~~~~~
checking for ocamlc... ocamlc
checking ocamlc version... 5.3.0
checking ocamlc -safe-string option... yes
checking ocaml library path... /usr/lib/x86_64-linux-gnu/ocaml/5.3.0
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
configure: ~~~~~~~~~~~~~~~
configure: ~~ ocamlgraph  
configure: ~~~~~~~~~~~~~~~
checking for ocamlfind... ocamlfind
checking ocamlfind compatibility... yes
checking ocamlgraph package... /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph
configure: ~~~~~~~~
configure: ~~ Coq  
configure: ~~~~~~~~
checking for coqc... coqc
checking coq version... 8.20.1
checking for coq_makefile... coq_makefile
configure: ~~~~~~~~~~~~~~~~~~~~~~
configure: ~~ creating Makefile  
configure: ~~~~~~~~~~~~~~~~~~~~~~
configure: creating ./config.status
config.status: creating Makefile
   dh_auto_build
	make -j1
make[1]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
   * build version.ml
   * build dpd_parse.ml
ocamlyacc dpd_parse.mly
   * build dpd_lex.ml
ocamllex.opt dpd_lex.mll
29 states, 495 transitions, table size 2154 bytes
   * build .depend
ocamldep version.ml dpd_compute.ml dpd_dot.ml dpd_parse.ml  dpd_lex.ml dpd2dot.ml dpdusage.ml *.mli > .depend
   * build Make_coq
coq_makefile -f Make -o Make_coq
   * build dpdgraph.vo
make -f Make_coq dpdgraph.vo
make[2]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
COQDEP VFILES
COQPP searchdepend.mlg
COQPP graphdepend.mlg
OCAMLLIBDEP dpdgraph.mllib
CAMLDEP graphdepend.ml
CAMLDEP searchdepend.ml
CAMLOPT -c  searchdepend.ml
File "searchdepend.mlg", line 71, characters 50-75:
Alert deprecated: Library.indirect_accessor
Most commands should not be accessing opaque data.
CAMLOPT -c  graphdepend.ml
CAMLOPT -a -o dpdgraph.cmxa
CAMLOPT -shared -o dpdgraph.cmxs
COQC dpdgraph.v
make[2]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
   * build version.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c version.mli
   * build version.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c version.ml
   * build dpd_compute.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd_compute.mli
   * build dpd_compute.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd_compute.ml
   * build dpd_dot.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd_dot.mli
   * build dpd_dot.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd_dot.ml
   * build dpd_parse.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd_parse.mli
   * build dpd_parse.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd_parse.ml
   * build dpd_lex.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd_lex.mli
   * build dpd_lex.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd_lex.ml
   * build dpd2dot.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd2dot.mli
   * build dpd2dot.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpd2dot.ml
   * build dpd2dot
ocamlc.opt -g -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -o dpd2dot graph.cma version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpd2dot.cmo
   * build dpdusage.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpdusage.mli
   * build dpdusage.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -c dpdusage.ml
   * build dpdusage
ocamlc.opt -g -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlgraph -o dpdusage graph.cma version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpdusage.cmo
make[1]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
   dh_auto_test
	make -j1 test "TESTSUITEFLAGS=-j1 --verbose" VERBOSE=1
make[1]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
coqc -q -R . dpdgraph tests/Test.v
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Test.cmd > /dev/null 2>&1
cp tests/graph.dpd tests/graph.dpd.log
   * build tests/graph.dpd.ok
Bravo... Test Ok
cp tests/graph2.dpd tests/graph2.dpd.log
   * build tests/graph2.dpd.ok
Bravo... Test Ok
coqc -q -R . dpdgraph tests/Morph.v
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Morph.cmd > /dev/null 2>&1
cp tests/Morph.dpd tests/Morph.dpd.log
   * build tests/Morph.dpd.ok
Bravo... Test Ok
cp tests/Morph_rw.dpd tests/Morph_rw.dpd.log
   * build tests/Morph_rw.dpd.ok
Bravo... Test Ok
coqc -q -R . dpdgraph tests/Polymorph.v
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Polymorph.cmd > /dev/null 2>&1
cp tests/Polymorph.dpd tests/Polymorph.dpd.log
   * build tests/Polymorph.dpd.ok
Bravo... Test Ok
coqc -q -R . dpdgraph tests/PrimitiveProjections.v
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < PrimitiveProjections.cmd > /dev/null 2>&1
cp tests/PrimitiveProjections.dpd tests/PrimitiveProjections.dpd.log
   * build tests/PrimitiveProjections.dpd.ok
Bravo... Test Ok
cp tests/PrimitiveProjections2.dpd tests/PrimitiveProjections2.dpd.log
   * build tests/PrimitiveProjections2.dpd.ok
Bravo... Test Ok
./dpd2dot tests/graph.dpd > /dev/null
cp tests/graph.dot tests/graph.dot.log
   * build tests/graph.dot.ok
Bravo... Test Ok
./dpd2dot tests/graph2.dpd > /dev/null
cp tests/graph2.dot tests/graph2.dot.log
   * build tests/graph2.dot.ok
Bravo... Test Ok
./dpd2dot tests/Morph.dpd > /dev/null
cp tests/Morph.dot tests/Morph.dot.log
   * build tests/Morph.dot.ok
Bravo... Test Ok
./dpd2dot tests/Morph_rw.dpd > /dev/null
cp tests/Morph_rw.dot tests/Morph_rw.dot.log
   * build tests/Morph_rw.dot.ok
Bravo... Test Ok
./dpd2dot tests/Polymorph.dpd > /dev/null
cp tests/Polymorph.dot tests/Polymorph.dot.log
   * build tests/Polymorph.dot.ok
Bravo... Test Ok
./dpd2dot tests/PrimitiveProjections.dpd > /dev/null
cp tests/PrimitiveProjections.dot tests/PrimitiveProjections.dot.log
   * build tests/PrimitiveProjections.dot.ok
Bravo... Test Ok
./dpd2dot tests/PrimitiveProjections2.dpd > /dev/null
cp tests/PrimitiveProjections2.dot tests/PrimitiveProjections2.dot.log
   * build tests/PrimitiveProjections2.dot.ok
Bravo... Test Ok
./dpd2dot -without-defs -o tests/graph.without.dot tests/graph.dpd > /dev/null
cp tests/graph.without.dot tests/graph.without.dot.log
   * build tests/graph.without.dot.ok
Bravo... Test Ok
cat tests/search.cmd | coqtop -R . dpdgraph -I . 2> /dev/null \
  | sed -e 's/Welcome to Coq.*/Welcome to Coq/' > tests/search.log
   * build tests/search.ok
Bravo... Test Ok
./dpdusage tests/graph2.dpd > tests/graph2.dpdusage.log
   * build tests/graph2.dpdusage.ok
Bravo... Test Ok
./dpd2dot tests/attributes.err.dpd > tests/attributes.err.log 2>&1
   * build tests/attributes.err.ok
Bravo... Test Ok
./dpd2dot tests/double_node.err.dpd > tests/double_node.err.log 2>&1
   * build tests/double_node.err.ok
Bravo... Test Ok
./dpd2dot tests/lexing.err.dpd > tests/lexing.err.log 2>&1
   * build tests/lexing.err.ok
Bravo... Test Ok
./dpd2dot tests/missing_node.err.dpd > tests/missing_node.err.log 2>&1
   * build tests/missing_node.err.ok
Bravo... Test Ok
./dpd2dot tests/parsing.err.dpd > tests/parsing.err.log 2>&1
   * build tests/parsing.err.ok
Bravo... Test Ok
./dpd2dot tests/unterminated_comment.err.dpd > tests/unterminated_comment.err.log 2>&1
   * build tests/unterminated_comment.err.ok
Bravo... Test Ok
./dpd2dot file_not_found.err.dpd  > tests/file_not_found.err.log 2>&1
   * build tests/file_not_found.err.ok
Bravo... Test Ok
rm tests/Morph.vo tests/Polymorph.vo
make[1]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
   create-stamp debian/debhelper-build-stamp
   dh_prep
   dh_auto_install
	make -j1 install DESTDIR=/build/reproducible-path/coq-dpdgraph-1.0\+8.20/debian/tmp AM_UPDATE_INFO_DIR=no
make[1]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
make -f Make_coq install
make[2]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
INSTALL dpdgraph.vo /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/dpdgraph/
INSTALL dpdgraph.v /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/dpdgraph/
INSTALL dpdgraph.glob /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/dpdgraph/
INSTALL dpdgraph.cmxs /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/dpdgraph/
ocamlfind: [WARNING] No such file: /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-dpdgraph/META
Installed /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-dpdgraph/graphdepend.cmx
Installed /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-dpdgraph/searchdepend.cmx
Installed /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-dpdgraph/dpdgraph.cmxa
Installed /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-dpdgraph/dpdgraph.cmxs
Installed /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-dpdgraph/graphdepend.cmi
Installed /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-dpdgraph/searchdepend.cmi
Installed /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../coq-dpdgraph/META
make[3]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
make[3]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
make[2]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
install -D -t /build/reproducible-path/coq-dpdgraph-1.0+8.20/debian/tmp/usr/bin dpd2dot dpdusage
make[1]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+8.20'
   dh_install
   dh_ocamldoc
   dh_installdocs
   dh_installchangelogs
   dh_installman
   dh_lintian
   dh_perl
   dh_link
   dh_strip_nondeterminism
   dh_compress
   dh_fixperms
   dh_missing
   dh_dwz -a
dwz: debian/libcoq-dpdgraph/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxs: .debug_info section not present
dwz: debian/libcoq-dpdgraph/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.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
W: coq-dpdgraph-tools doesn't resolve dependency on unit Version
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_lex
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_dot
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_compute
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpdusage
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd2dot
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_parse
   dh_gencontrol
dpkg-gencontrol: warning: package libcoq-dpdgraph: substitution variable ${ocaml:Depends} unused, but is defined
dpkg-gencontrol: warning: package libcoq-dpdgraph: substitution variable ${ocaml:Depends} unused, but is defined
   dh_md5sums
   dh_builddeb
dpkg-deb: building package 'libcoq-dpdgraph' in '../libcoq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.deb'.
dpkg-deb: building package 'libcoq-dpdgraph-dbgsym' in '../libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml20250313_amd64.deb'.
dpkg-deb: building package 'coq-dpdgraph-tools' in '../coq-dpdgraph-tools_1.0+8.20-1+ocaml20250313_amd64.deb'.
 dpkg-genbuildinfo -O../coq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.buildinfo
 dpkg-genchanges -sa -O../coq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.changes
dpkg-genchanges: info: including full source code in upload
 dpkg-source --after-build .
dpkg-buildpackage: info: full upload (original source is included)
--------------------------------------------------------------------------------
Build finished at 2025-03-13T10:08:08Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Changes                                      Thu, 13 Mar 2025 10:08:08 +0000 |
+------------------------------------------------------------------------------+


coq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.changes:
----------------------------------------------------

Format: 1.8
Date: Thu, 13 Mar 2025 11:06:39 +0100
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph libcoq-dpdgraph-dbgsym
Architecture: source amd64
Version: 1.0+8.20-1+ocaml20250313
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 coq-dpdgraph-tools - Coq plugin to extract dependencies between Coq objects (tools)
 libcoq-dpdgraph - Coq plugin to extract dependencies between Coq objects
Changes:
 coq-dpdgraph (1.0+8.20-1+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 9b3f048f5bd4587d1f571d26698d1337e0972246 1366 coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 c1f651559f1965c480f167d2cef03a23484a8d46 3236 coq-dpdgraph_1.0+8.20-1+ocaml20250313.debian.tar.xz
 9488a6be48700c717d9e547bec60fa815c09a0ac 1117048 coq-dpdgraph-tools_1.0+8.20-1+ocaml20250313_amd64.deb
 fafcdb795854398dd6b6ff3ceab28b5b5afe9160 7614 coq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.buildinfo
 a6fcfde33c488bf5d0701d41110cd31341645bf6 5192 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml20250313_amd64.deb
 84f969a68cdaa44ecf4044becb43f2e6dd558c4c 36640 libcoq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.deb
Checksums-Sha256:
 53a07cca12ff72866fabae25abacbfff445b30d817d8714a04907f00a4fccb79 1366 coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 ef2044e39575160f02ec222cace58a2e5ccee27d9d24265d4fa88c65d3f06a1b 3236 coq-dpdgraph_1.0+8.20-1+ocaml20250313.debian.tar.xz
 181231ddf7af9842fc1793a33e7fb565abd40196fa3e5565c5b543814cf29ec4 1117048 coq-dpdgraph-tools_1.0+8.20-1+ocaml20250313_amd64.deb
 8d0f8cbcb406b6c381bc1e232f95b31cda5e0f13b5efcf0a665abb6f11a23d49 7614 coq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.buildinfo
 527aaf67bbd4d9f6914058de129d63ee54482559c7b099b58197f18434cd0044 5192 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml20250313_amd64.deb
 d4e384138224c7cd3bab5d233a5b7d6da843596e97883c78d960cd9173f0d85d 36640 libcoq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.deb
Files:
 255346bab914c7c037cbb36c9a239e8f 1366 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 ocaml optional coq-dpdgraph_1.0+8.20.orig.tar.gz
 55807d5579e9be320fe6c7bb6ac2aacd 3236 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml20250313.debian.tar.xz
 f0ac42baf63a12c264e366be26a73137 1117048 ocaml optional coq-dpdgraph-tools_1.0+8.20-1+ocaml20250313_amd64.deb
 3016facdaf6599a6e7cc95772cdaf73a 7614 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.buildinfo
 13bb1bde368a0eed08dc9883cb9c274a 5192 debug optional libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml20250313_amd64.deb
 cebc1db8f35f0fb70083ff900392371d 36640 ocaml optional libcoq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.deb

+------------------------------------------------------------------------------+
| Buildinfo                                    Thu, 13 Mar 2025 10:08:09 +0000 |
+------------------------------------------------------------------------------+

Format: 1.0
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph libcoq-dpdgraph-dbgsym
Architecture: amd64 source
Version: 1.0+8.20-1+ocaml20250313
Checksums-Md5:
 255346bab914c7c037cbb36c9a239e8f 1366 coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc
 f0ac42baf63a12c264e366be26a73137 1117048 coq-dpdgraph-tools_1.0+8.20-1+ocaml20250313_amd64.deb
 13bb1bde368a0eed08dc9883cb9c274a 5192 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml20250313_amd64.deb
 cebc1db8f35f0fb70083ff900392371d 36640 libcoq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.deb
Checksums-Sha1:
 9b3f048f5bd4587d1f571d26698d1337e0972246 1366 coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc
 9488a6be48700c717d9e547bec60fa815c09a0ac 1117048 coq-dpdgraph-tools_1.0+8.20-1+ocaml20250313_amd64.deb
 a6fcfde33c488bf5d0701d41110cd31341645bf6 5192 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml20250313_amd64.deb
 84f969a68cdaa44ecf4044becb43f2e6dd558c4c 36640 libcoq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.deb
Checksums-Sha256:
 53a07cca12ff72866fabae25abacbfff445b30d817d8714a04907f00a4fccb79 1366 coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc
 181231ddf7af9842fc1793a33e7fb565abd40196fa3e5565c5b543814cf29ec4 1117048 coq-dpdgraph-tools_1.0+8.20-1+ocaml20250313_amd64.deb
 527aaf67bbd4d9f6914058de129d63ee54482559c7b099b58197f18434cd0044 5192 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml20250313_amd64.deb
 d4e384138224c7cd3bab5d233a5b7d6da843596e97883c78d960cd9173f0d85d 36640 libcoq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.deb
Build-Origin: Debian
Build-Architecture: amd64
Build-Date: Thu, 13 Mar 2025 10:08:07 +0000
Build-Path: /build/reproducible-path/coq-dpdgraph-1.0+8.20
Build-Tainted-By:
 merged-usr-via-aliased-dirs
Installed-Build-Depends:
 autoconf (= 2.71-3),
 automake (= 1:1.16.5-1.3),
 autopoint (= 0.21-12),
 autotools-dev (= 20220109.1),
 base-files (= 12.4+deb12u9),
 base-passwd (= 3.6.1),
 bash (= 5.2.15-2+b7),
 binutils (= 2.40-2),
 binutils-common (= 2.40-2),
 binutils-x86-64-linux-gnu (= 2.40-2),
 bsdextrautils (= 2.38.1-5+deb12u3),
 bsdutils (= 1:2.38.1-5+deb12u3),
 build-essential (= 12.9),
 bzip2 (= 1.0.8-5+b1),
 coq (= 8.20.1+dfsg-1+ocaml20250313),
 coreutils (= 9.1-1),
 cpp (= 4:12.2.0-3),
 cpp-12 (= 12.2.0-14),
 dash (= 0.5.12-2),
 debconf (= 1.5.82),
 debhelper (= 13.11.4),
 debianutils (= 5.7-0.5~deb12u1),
 dh-autoreconf (= 20),
 dh-coq (= 0.14+ocaml20250313),
 dh-ocaml (= 2.4+ocaml20250313),
 dh-strip-nondeterminism (= 1.13.1-1),
 diffutils (= 1:3.8-4),
 dpkg (= 1.21.22),
 dpkg-dev (= 1.21.22),
 dwz (= 0.15-1),
 file (= 1:5.44-3),
 findutils (= 4.9.0-4),
 g++ (= 4:12.2.0-3),
 g++-12 (= 12.2.0-14),
 gcc (= 4:12.2.0-3),
 gcc-12 (= 12.2.0-14),
 gcc-12-base (= 12.2.0-14),
 gettext (= 0.21-12),
 gettext-base (= 0.21-12),
 grep (= 3.8-5),
 groff-base (= 1.22.4-10),
 gzip (= 1.12-1),
 hostname (= 3.23+nmu1),
 init-system-helpers (= 1.65.2),
 intltool-debian (= 0.35.0+20060710.6),
 libacl1 (= 2.3.1-3),
 libarchive-zip-perl (= 1.68-1),
 libasan8 (= 12.2.0-14),
 libatomic1 (= 12.2.0-14),
 libattr1 (= 1:2.5.1-4),
 libaudit-common (= 1:3.0.9-1),
 libaudit1 (= 1:3.0.9-1),
 libbinutils (= 2.40-2),
 libblkid1 (= 2.38.1-5+deb12u3),
 libbz2-1.0 (= 1.0.8-5+b1),
 libc-bin (= 2.36-9+deb12u9),
 libc-dev-bin (= 2.36-9+deb12u9),
 libc6 (= 2.36-9+deb12u9),
 libc6-dev (= 2.36-9+deb12u9),
 libcap-ng0 (= 0.8.3-1+b3),
 libcap2 (= 1:2.66-4),
 libcc1-0 (= 12.2.0-14),
 libcom-err2 (= 1.47.0-2),
 libcompiler-libs-ocaml-dev (= 5.3.0-2+ocaml20250313),
 libconfig-tiny-perl (= 2.28-2),
 libcoq-core-ocaml (= 8.20.1+dfsg-1+ocaml20250313),
 libcoq-core-ocaml-dev (= 8.20.1+dfsg-1+ocaml20250313),
 libcoq-stdlib (= 8.20.1+dfsg-1+ocaml20250313),
 libcrypt-dev (= 1:4.4.33-2),
 libcrypt1 (= 1:4.4.33-2),
 libctf-nobfd0 (= 2.40-2),
 libctf0 (= 2.40-2),
 libdb5.3 (= 5.3.28+dfsg2-1),
 libdebconfclient0 (= 0.270),
 libdebhelper-perl (= 13.11.4),
 libdpkg-perl (= 1.21.22),
 libelf1 (= 0.188-2.1),
 libexpat1 (= 2.5.0-1+deb12u1),
 libffi8 (= 3.4.4-1),
 libfile-find-rule-perl (= 0.34-3),
 libfile-stripnondeterminism-perl (= 1.13.1-1),
 libfindlib-ocaml (= 1.9.8-1+ocaml20250313),
 libfindlib-ocaml-dev (= 1.9.8-1+ocaml20250313),
 libgcc-12-dev (= 12.2.0-14),
 libgcc-s1 (= 12.2.0-14),
 libgcrypt20 (= 1.10.1-3),
 libgdbm-compat4 (= 1.23-3),
 libgdbm6 (= 1.23-3),
 libgmp-dev (= 2:6.2.1+dfsg1-1.1),
 libgmp10 (= 2:6.2.1+dfsg1-1.1),
 libgmp3-dev (= 2:6.2.1+dfsg1-1.1),
 libgmpxx4ldbl (= 2:6.2.1+dfsg1-1.1),
 libgomp1 (= 12.2.0-14),
 libgpg-error0 (= 1.46-1),
 libgprofng0 (= 2.40-2),
 libgssapi-krb5-2 (= 1.20.1-2+deb12u2),
 libicu72 (= 72.1-3),
 libisl23 (= 0.25-1.1),
 libitm1 (= 12.2.0-14),
 libjansson4 (= 2.14-2),
 libk5crypto3 (= 1.20.1-2+deb12u2),
 libkeyutils1 (= 1.6.3-2),
 libkrb5-3 (= 1.20.1-2+deb12u2),
 libkrb5support0 (= 1.20.1-2+deb12u2),
 liblsan0 (= 12.2.0-14),
 liblz4-1 (= 1.9.4-1),
 liblzma5 (= 5.4.1-0.2),
 libmagic-mgc (= 1:5.44-3),
 libmagic1 (= 1:5.44-3),
 libmd0 (= 1.0.4-2),
 libmount1 (= 2.38.1-5+deb12u3),
 libmpc3 (= 1.3.1-1),
 libmpfr6 (= 4.2.0-1),
 libncurses-dev (= 6.4-4),
 libncurses6 (= 6.4-4),
 libncursesw6 (= 6.4-4),
 libnsl-dev (= 1.3.0-2),
 libnsl2 (= 1.3.0-2),
 libnumber-compare-perl (= 0.03-3),
 libocamlgraph-ocaml-dev (= 2.1.0-3+ocaml20250313),
 libpam-modules (= 1.5.2-6+deb12u1),
 libpam-modules-bin (= 1.5.2-6+deb12u1),
 libpam-runtime (= 1.5.2-6+deb12u1),
 libpam0g (= 1.5.2-6+deb12u1),
 libpcre2-8-0 (= 10.42-1),
 libperl5.36 (= 5.36.0-7+deb12u1),
 libpipeline1 (= 1.5.7-1),
 libpython3-stdlib (= 3.11.2-1+b1),
 libpython3.11-minimal (= 3.11.2-6+deb12u5),
 libpython3.11-stdlib (= 3.11.2-6+deb12u5),
 libquadmath0 (= 12.2.0-14),
 libreadline8 (= 8.2-1.3),
 libseccomp2 (= 2.5.4-1+deb12u1),
 libselinux1 (= 3.4-1+b6),
 libsmartcols1 (= 2.38.1-5+deb12u3),
 libsqlite3-0 (= 3.40.1-2+deb12u1),
 libssl3 (= 3.0.15-1~deb12u1),
 libstdc++-12-dev (= 12.2.0-14),
 libstdc++6 (= 12.2.0-14),
 libstdlib-ocaml (= 5.3.0-2+ocaml20250313),
 libstdlib-ocaml-dev (= 5.3.0-2+ocaml20250313),
 libsub-override-perl (= 0.09-4),
 libsystemd0 (= 252.33-1~deb12u1),
 libtext-glob-perl (= 0.11-3),
 libtinfo6 (= 6.4-4),
 libtirpc-common (= 1.3.3+ds-1),
 libtirpc-dev (= 1.3.3+ds-1),
 libtirpc3 (= 1.3.3+ds-1),
 libtool (= 2.4.7-7~deb12u1),
 libtsan2 (= 12.2.0-14),
 libubsan1 (= 12.2.0-14),
 libuchardet0 (= 0.0.7-1),
 libudev1 (= 252.33-1~deb12u1),
 libunistring2 (= 1.0-2),
 libuuid1 (= 2.38.1-5+deb12u3),
 libxml2 (= 2.9.14+dfsg-1.3~deb12u1),
 libzarith-ocaml (= 1.14-1+ocaml20250313),
 libzarith-ocaml-dev (= 1.14-1+ocaml20250313),
 libzstd-dev (= 1.5.4+dfsg2-5),
 libzstd1 (= 1.5.4+dfsg2-5),
 linux-libc-dev (= 6.1.123-1),
 login (= 1:4.13+dfsg1-1+b1),
 m4 (= 1.4.19-3),
 make (= 4.3-4.1),
 man-db (= 2.11.2-2),
 mawk (= 1.3.4.20200120-3.1),
 media-types (= 10.0.0),
 ncurses-base (= 6.4-4),
 ncurses-bin (= 6.4-4),
 ocaml (= 5.3.0-2+ocaml20250313),
 ocaml-base (= 5.3.0-2+ocaml20250313),
 ocaml-findlib (= 1.9.8-1+ocaml20250313),
 ocaml-interp (= 5.3.0-2+ocaml20250313),
 patch (= 2.7.6-7),
 perl (= 5.36.0-7+deb12u1),
 perl-base (= 5.36.0-7+deb12u1),
 perl-modules-5.36 (= 5.36.0-7+deb12u1),
 po-debconf (= 1.0.21+nmu1),
 python3 (= 3.11.2-1+b1),
 python3-minimal (= 3.11.2-1+b1),
 python3.11 (= 3.11.2-6+deb12u5),
 python3.11-minimal (= 3.11.2-6+deb12u5),
 readline-common (= 8.2-1.3),
 rpcsvc-proto (= 1.4.3-1),
 sed (= 4.9-1),
 sensible-utils (= 0.0.17+nmu1),
 sysvinit-utils (= 3.06-4),
 tar (= 1.34+dfsg-1.2+deb12u1),
 usrmerge (= 37~deb12u1),
 util-linux (= 2.38.1-5+deb12u3),
 util-linux-extra (= 2.38.1-5+deb12u3),
 xz-utils (= 5.4.1-0.2),
 zlib1g (= 1:1.2.13.dfsg-1)
Environment:
 DEB_BUILD_OPTIONS="parallel=1"
 LANG="fr_FR.UTF-8"
 LC_ALL="C.UTF-8"
 LC_COLLATE="C.UTF-8"
 MAKEFLAGS=""
 SOURCE_DATE_EPOCH="1741860399"


+------------------------------------------------------------------------------+
| Package contents                             Thu, 13 Mar 2025 10:08:09 +0000 |
+------------------------------------------------------------------------------+


coq-dpdgraph-tools_1.0+8.20-1+ocaml20250313_amd64.deb
-----------------------------------------------------

 new Debian package, version 2.0.
 size 1117048 bytes: control archive=876 bytes.
     681 bytes,    18 lines      control              
     478 bytes,     7 lines      md5sums              
 Package: coq-dpdgraph-tools
 Source: coq-dpdgraph
 Version: 1.0+8.20-1+ocaml20250313
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 7908
 Depends: libstdlib-ocaml-fxjy5, ocaml-base-5.3.0
 Suggests: graphviz
 Section: ocaml
 Priority: optional
 Homepage: https://github.com/coq-community/coq-dpdgraph
 Description: Coq plugin to extract dependencies between Coq objects (tools)
  This package provides a plugin for Coq to extract dependencies
  between Coq objects and produce files with dependency information.
  .
  Coq is a proof assistant for higher-order logic.
  .
  This package provides the tools associated to this plugin.

drwxr-xr-x root/root         0 2025-03-13 10:06 ./
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/bin/
-rwxr-xr-x root/root   4040113 2025-03-13 10:06 ./usr/bin/dpd2dot
-rwxr-xr-x root/root   4040260 2025-03-13 10:06 ./usr/bin/dpdusage
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/doc/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/doc/coq-dpdgraph-tools/
-rw-r--r-- root/root       636 2025-03-13 10:06 ./usr/share/doc/coq-dpdgraph-tools/changelog.Debian.gz
-rw-r--r-- root/root      1203 2024-11-13 15:17 ./usr/share/doc/coq-dpdgraph-tools/changelog.gz
-rw-r--r-- root/root      1027 2024-11-20 09:42 ./usr/share/doc/coq-dpdgraph-tools/copyright
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/man/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/man/man1/
-rw-r--r-- root/root       358 2025-03-13 10:06 ./usr/share/man/man1/dpd2dot.1.gz
-rw-r--r-- root/root       360 2025-03-13 10:06 ./usr/share/man/man1/dpdusage.1.gz


libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml20250313_amd64.deb
---------------------------------------------------------

 new Debian package, version 2.0.
 size 5192 bytes: control archive=544 bytes.
     422 bytes,    12 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: libcoq-dpdgraph-dbgsym
 Source: coq-dpdgraph
 Version: 1.0+8.20-1+ocaml20250313
 Auto-Built-Package: debug-symbols
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 30
 Depends: libcoq-dpdgraph (= 1.0+8.20-1+ocaml20250313)
 Section: debug
 Priority: optional
 Description: debug symbols for libcoq-dpdgraph
 Build-Ids: 3198652fdef6920c28fd43958db787ea8e23b886

drwxr-xr-x root/root         0 2025-03-13 10:06 ./
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/debug/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/debug/.build-id/31/
-rw-r--r-- root/root     19928 2025-03-13 10:06 ./usr/lib/debug/.build-id/31/98652fdef6920c28fd43958db787ea8e23b886.debug
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/doc/
lrwxrwxrwx root/root         0 2025-03-13 10:06 ./usr/share/doc/libcoq-dpdgraph-dbgsym -> libcoq-dpdgraph


libcoq-dpdgraph_1.0+8.20-1+ocaml20250313_amd64.deb
--------------------------------------------------

 new Debian package, version 2.0.
 size 36640 bytes: control archive=1100 bytes.
     648 bytes,    18 lines      control              
    1518 bytes,    16 lines      md5sums              
 Package: libcoq-dpdgraph
 Source: coq-dpdgraph
 Version: 1.0+8.20-1+ocaml20250313
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 252
 Depends: libcoq-stdlib-vqju6
 Provides: libcoq-dpdgraph-iuco0
 Section: ocaml
 Priority: optional
 Homepage: https://github.com/coq-community/coq-dpdgraph
 Description: Coq plugin to extract dependencies between Coq objects
  This package provides a plugin for Coq to extract dependencies
  between Coq objects and produce files with dependency information.
  .
  Coq is a proof assistant for higher-order logic.
  .
  This package provides the Coq plugin itself.

drwxr-xr-x root/root         0 2025-03-13 10:06 ./
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/
-rw-r--r-- root/root       195 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/META
-rw-r--r-- root/root     12787 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxa
-rw-r--r-- root/root     84424 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxs
-rw-r--r-- root/root     12089 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/graphdepend.cmi
-rw-r--r-- root/root     14664 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/graphdepend.cmx
-rw-r--r-- root/root      6536 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/searchdepend.cmi
-rw-r--r-- root/root      7410 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/searchdepend.cmx
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/
-rw-r--r-- root/root     84424 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.cmxs
-rw-r--r-- root/root        59 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.glob
-rw-r--r-- root/root        41 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.v
-rw-r--r-- root/root       554 2025-03-13 10:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.vo
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/doc/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/doc/libcoq-dpdgraph/
-rw-r--r-- root/root       636 2025-03-13 10:06 ./usr/share/doc/libcoq-dpdgraph/changelog.Debian.gz
-rw-r--r-- root/root      1203 2024-11-13 15:17 ./usr/share/doc/libcoq-dpdgraph/changelog.gz
-rw-r--r-- root/root      1027 2024-11-20 09:42 ./usr/share/doc/libcoq-dpdgraph/copyright
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/lintian/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./usr/share/lintian/overrides/
-rw-r--r-- root/root       433 2024-11-20 09:42 ./usr/share/lintian/overrides/libcoq-dpdgraph
drwxr-xr-x root/root         0 2025-03-13 10:06 ./var/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./var/lib/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./var/lib/coq/
drwxr-xr-x root/root         0 2025-03-13 10:06 ./var/lib/coq/md5sums/
-rw-r--r-- root/root         5 2025-03-13 10:06 ./var/lib/coq/md5sums/libcoq-dpdgraph.checksum


+------------------------------------------------------------------------------+
| Post Build                                   Thu, 13 Mar 2025 10:08:10 +0000 |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                      Thu, 13 Mar 2025 10:08:10 +0000 |
+------------------------------------------------------------------------------+

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

+------------------------------------------------------------------------------+
| Summary                                      Thu, 13 Mar 2025 10:08:11 +0000 |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build Type: full
Build-Space: 28760
Build-Time: 21
Distribution: unstable
Host Architecture: amd64
Install-Time: 48
Job: /tmp/tmp.ben.transition-scripts.Sx5DIuMqFh/coq-dpdgraph_1.0+8.20-1+ocaml20250313.dsc
Machine Architecture: amd64
Package: coq-dpdgraph
Package-Time: 88
Source-Version: 1.0+8.20-1+ocaml20250313
Space: 28760
Status: successful
Version: 1.0+8.20-1+ocaml20250313
--------------------------------------------------------------------------------
Finished at 2025-03-13T10:08:08Z
Build needed 00:01:28, 28760k disk space