sbuild (Debian sbuild) 0.91.10 (27 June 2026) on cil.up7.fr

+==============================================================================+
| coq-dpdgraph 1.0+9.1-2+ocaml1 (amd64)        Mon, 07 Sep 2026 18:27:09 +0000 |
+==============================================================================+

Package: coq-dpdgraph
Version: 1.0+9.1-2+ocaml1
Source Version: 1.0+9.1-2+ocaml1
Distribution: unstable-ocaml
Machine Architecture: amd64
Host Architecture: amd64
Build Architecture: amd64
Build Type: full

I: Unpacking /home/steph/srv/ocaml.debian.net/transitions/20260907/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.IUfI_ZnO4Q...
I: Setting up the chroot...
I: Creating chroot session...
I: Setting up log color...

+------------------------------------------------------------------------------+
| Chroot Setup Commands                        Mon, 07 Sep 2026 18:27:27 +0000 |
+------------------------------------------------------------------------------+


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

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

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

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

+------------------------------------------------------------------------------+
| Update chroot                                Mon, 07 Sep 2026 18:28:12 +0000 |
+------------------------------------------------------------------------------+

Ign:1 file:/repo rebuilt InRelease
Get:2 file:/repo rebuilt Release [1506 B]
Get:2 file:/repo rebuilt Release [1506 B]
Ign:3 file:/repo rebuilt Release.gpg
Get:4 file:/repo rebuilt/main amd64 Packages [1231 kB]
Get:5 http://localhost:9999/debian unstable InRelease [193 kB]
Get:6 http://localhost:9999/debian unstable/main amd64 Packages [10.8 MB]
Get:7 http://localhost:9999/debian unstable/contrib amd64 Packages [64.4 kB]
Get:8 http://localhost:9999/debian unstable/non-free amd64 Packages [132 kB]
Get:9 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [10.8 kB]
Fetched 11.2 MB in 2s (7035 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                           Mon, 07 Sep 2026 18:28:18 +0000 |
+------------------------------------------------------------------------------+


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

/tmp/tmp.ben.transition-scripts.trAfFOJAYx/coq-dpdgraph_1.0+9.1-2+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.trAfFOJAYx; copying to chroot

+------------------------------------------------------------------------------+
| Install package build dependencies           Mon, 07 Sep 2026 18:28:23 +0000 |
+------------------------------------------------------------------------------+


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

Merged Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, build-essential
Filtered Build-Depends: coq (>= 9), 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-lMXxdw/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/build/reproducible-path/resolver-lMXxdw/apt_archive ./ InRelease
Get:2 copy:/build/reproducible-path/resolver-lMXxdw/apt_archive ./ Release [609 B]
Ign:3 copy:/build/reproducible-path/resolver-lMXxdw/apt_archive ./ Release.gpg
Get:4 copy:/build/reproducible-path/resolver-lMXxdw/apt_archive ./ Sources [693 B]
Get:5 copy:/build/reproducible-path/resolver-lMXxdw/apt_archive ./ Packages [732 B]
Fetched 2034 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...
Solving dependencies...
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1
  libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libjson-perl
  libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6
  libocamlgraph-ocaml-dev libpipeline1 libpython3-stdlib libpython3.14-minimal
  libpython3.14-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml
  libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2-16
  libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types
  netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3
  python3-minimal python3.14 python3.14-minimal quickjs readline-common
  sensible-utils tzdata
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc rocqide | proofgeneral ledit
  | readline-editor why3 coq-doc dh-make git gettext-doc libasprintf-dev
  libgettextpo-dev gnulib-l10n groff gmp-doc libgmp10-doc libmpfr-dev
  ncurses-doc libtool-doc gfortran | fortran95-compiler m4-doc apparmor less
  www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc
  python3-tk python3-venv python3.14-venv python3.14-doc binfmt-support
  readline-doc
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libjson-xs-perl libgpm2 ocaml-man
  libltdl-dev ledit | readline-editor libmail-sendmail-perl ca-certificates
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1
  libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libjson-perl
  libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6
  libocamlgraph-ocaml-dev libpipeline1 libpython3-stdlib libpython3.14-minimal
  libpython3.14-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml
  libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2-16
  libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types
  netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3
  python3-minimal python3.14 python3.14-minimal quickjs readline-common
  sbuild-build-depends-main-dummy sensible-utils tzdata
0 upgraded, 74 newly installed, 0 to remove and 0 not upgraded.
Need to get 23.8 MB/258 MB of archives.
After this operation, 1110 MB of additional disk space will be used.
Get:1 file:/repo rebuilt/main amd64 libcoq-core amd64 9.2.0+dfsg-4+ocaml1 [1152 kB]
Get:2 copy:/build/reproducible-path/resolver-lMXxdw/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [892 B]
Get:3 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.5.1-1~exp1+ocaml1 [432 kB]
Get:4 file:/repo rebuilt/main amd64 ocaml-base amd64 5.5.1-1~exp1+ocaml1 [553 kB]
Get:5 file:/repo rebuilt/main amd64 libfindlib-ocaml amd64 1.9.8-1+ocaml1 [203 kB]
Get:6 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-4+ocaml1 [115 kB]
Get:7 file:/repo rebuilt/main amd64 libcoq-core-ocaml amd64 9.2.0+dfsg-4+ocaml1 [26.9 MB]
Get:8 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.8.4-1 [130 kB]
Get:9 http://localhost:9999/debian unstable/main amd64 libpython3.14-minimal amd64 3.14.7-3 [902 kB]
Get:10 http://localhost:9999/debian unstable/main amd64 python3.14-minimal amd64 3.14.7-3 [2712 kB]
Get:11 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.14.7-3 [25.3 kB]
Get:12 http://localhost:9999/debian unstable/main amd64 media-types all 14.0.0 [30.8 kB]
Get:13 http://localhost:9999/debian unstable/main amd64 netbase all 6.6 [10.3 kB]
Get:14 http://localhost:9999/debian unstable/main amd64 tzdata all 2026c-1 [260 kB]
Get:15 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.8.0-2 [32.5 kB]
Get:16 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.6+20260608-2 [137 kB]
Get:17 http://localhost:9999/debian unstable/main amd64 readline-common all 8.3-4 [74.8 kB]
Get:18 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.3-4 [181 kB]
Get:19 http://localhost:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.53.4-2 [974 kB]
Get:20 http://localhost:9999/debian unstable/main amd64 libpython3.14-stdlib amd64 3.14.7-3 [2360 kB]
Get:21 http://localhost:9999/debian unstable/main amd64 python3.14 amd64 3.14.7-3 [861 kB]
Get:22 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.14.7-3 [8252 B]
Get:23 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.14.7-3 [26.0 kB]
Get:24 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB]
Get:25 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-4 [345 kB]
Get:26 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB]
Get:27 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB]
Get:28 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 1.0-3 [332 kB]
Get:29 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB]
Get:30 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.1-1 [1336 kB]
Get:31 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.5.1-1~exp1+ocaml1 [7115 kB]
Get:32 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42.3-1 [102 kB]
Get:33 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB]
Get:34 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB]
Get:35 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB]
Get:36 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB]
Get:37 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB]
Get:38 http://localhost:9999/debian unstable/main amd64 automake all 1:1.18.1-4 [877 kB]
Get:39 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.5.1-1~exp1+ocaml1 [41.7 MB]
Get:40 http://localhost:9999/debian unstable/main amd64 autopoint all 1.0-3 [820 kB]
Get:41 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.6+20260608-2 [107 kB]
Get:42 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.6+20260608-2 [356 kB]
Get:43 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-4 [371 kB]
Get:44 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 14.3 [77.3 kB]
Get:45 http://localhost:9999/debian unstable/main amd64 libtool all 2.6.2-2 [553 kB]
Get:46 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 22 [12.2 kB]
Get:47 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get:48 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB]
Get:49 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.1-1 [6020 B]
Get:50 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.196-1 [61.2 kB]
Get:51 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.17-1 [109 kB]
Get:52 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB]
Get:53 http://localhost:9999/debian unstable/main amd64 libxml2-16 amd64 2.15.4+dfsg-1 [683 kB]
Get:54 http://localhost:9999/debian unstable/main amd64 gettext amd64 1.0-3 [2658 kB]
Get:55 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:56 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB]
Get:57 http://localhost:9999/debian unstable/main amd64 debhelper all 14.3 [934 kB]
Get:58 http://localhost:9999/debian unstable/main amd64 quickjs amd64 2025.04.26-1+b2 [443 kB]
Get:59 http://localhost:9999/debian unstable/main amd64 libjson-perl all 4.10000-1 [87.5 kB]
Get:60 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get:61 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b2 [328 kB]
Get:62 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b2 [641 kB]
Get:63 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b2 [321 kB]
Get:64 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.5.1-1~exp1+ocaml1 [8223 kB]
Get:65 file:/repo rebuilt/main amd64 ocaml amd64 5.5.1-1~exp1+ocaml1 [19.7 MB]
Get:66 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [625 kB]
Get:67 file:/repo rebuilt/main amd64 coq amd64 9.2.0+dfsg-4+ocaml1 [43.3 MB]
Get:68 file:/repo rebuilt/main amd64 dh-coq all 0.17+ocaml1 [7036 B]
Get:69 file:/repo rebuilt/main amd64 dh-ocaml all 3.8+ocaml1 [202 kB]
Get:70 file:/repo rebuilt/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+ocaml1 [177 kB]
Get:71 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-4+ocaml1 [112 kB]
Get:72 file:/repo rebuilt/main amd64 libcoq-core-ocaml-dev amd64 9.2.0+dfsg-4+ocaml1 [57.2 MB]
Get:73 file:/repo rebuilt/main amd64 libcoq-stdlib amd64 9.2.0-1+ocaml1 [20.1 MB]
Get:74 file:/repo rebuilt/main amd64 libocamlgraph-ocaml-dev amd64 2.2.0-2+ocaml1 [5900 kB]
Preconfiguring packages ...
Fetched 23.8 MB in 1s (18.1 MB/s)
Selecting previously unselected package libexpat1:amd64.
(Reading database ... 12060 files and directories currently installed.)
Preparing to unpack .../libexpat1_2.8.4-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.8.4-1) ...
Selecting previously unselected package libpython3.14-minimal:amd64.
Preparing to unpack .../libpython3.14-minimal_3.14.7-3_amd64.deb ...
Unpacking libpython3.14-minimal:amd64 (3.14.7-3) ...
Selecting previously unselected package python3.14-minimal.
Preparing to unpack .../python3.14-minimal_3.14.7-3_amd64.deb ...
Unpacking python3.14-minimal (3.14.7-3) ...
Setting up libpython3.14-minimal:amd64 (3.14.7-3) ...
Setting up libexpat1:amd64 (2.8.4-1) ...
Setting up python3.14-minimal (3.14.7-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12416 files and directories currently installed.)
Preparing to unpack .../00-python3-minimal_3.14.7-3_amd64.deb ...
Unpacking python3-minimal (3.14.7-3) ...
Selecting previously unselected package media-types.
Preparing to unpack .../01-media-types_14.0.0_all.deb ...
Unpacking media-types (14.0.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../02-netbase_6.6_all.deb ...
Unpacking netbase (6.6) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../03-tzdata_2026c-1_all.deb ...
Unpacking tzdata (2026c-1) ...
Selecting previously unselected package libffi8:amd64.
Preparing to unpack .../04-libffi8_3.8.0-2_amd64.deb ...
Unpacking libffi8:amd64 (3.8.0-2) ...
Selecting previously unselected package libncursesw6:amd64.
Preparing to unpack .../05-libncursesw6_6.6+20260608-2_amd64.deb ...
Unpacking libncursesw6:amd64 (6.6+20260608-2) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../06-readline-common_8.3-4_all.deb ...
Unpacking readline-common (8.3-4) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../07-libreadline8t64_8.3-4_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.3-4) ...
Selecting previously unselected package libsqlite3-0:amd64.
Preparing to unpack .../08-libsqlite3-0_3.53.4-2_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.53.4-2) ...
Selecting previously unselected package libpython3.14-stdlib:amd64.
Preparing to unpack .../09-libpython3.14-stdlib_3.14.7-3_amd64.deb ...
Unpacking libpython3.14-stdlib:amd64 (3.14.7-3) ...
Selecting previously unselected package python3.14.
Preparing to unpack .../10-python3.14_3.14.7-3_amd64.deb ...
Unpacking python3.14 (3.14.7-3) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../11-libpython3-stdlib_3.14.7-3_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.14.7-3) ...
Setting up python3-minimal (3.14.7-3) ...
Selecting previously unselected package python3.
(Reading database ... 13462 files and directories currently installed.)
Preparing to unpack .../00-python3_3.14.7-3_amd64.deb ...
Unpacking python3 (3.14.7-3) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.26_all.deb ...
Unpacking sensible-utils (0.0.26) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.47-4_amd64.deb ...
Unpacking libmagic-mgc (1:5.47-4) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.47-4_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.47-4) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.47-4_amd64.deb ...
Unpacking file (1:5.47-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_1.0-3_amd64.deb ...
Unpacking gettext-base (1.0-3) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-2+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-2+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.24.1-1_amd64.deb ...
Unpacking groff-base (1.24.1-1) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.42.3-1_amd64.deb ...
Unpacking bsdextrautils (2.42.3-1) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-3_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-3) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.1-1_amd64.deb ...
Unpacking man-db (2.13.1-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.21-1_amd64.deb ...
Unpacking m4 (1.4.21-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.73-2_all.deb ...
Unpacking autoconf (2.73-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20240727.1+nmu1_all.deb ...
Unpacking autotools-dev (20240727.1+nmu1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.18.1-4_all.deb ...
Unpacking automake (1:1.18.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_1.0-3_all.deb ...
Unpacking autopoint (1.0-3) ...
Selecting previously unselected package libcoq-core.
Preparing to unpack .../16-libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb ...
Unpacking libcoq-core (9.2.0+dfsg-4+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_5.5.1-1~exp1+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml (5.5.1-1~exp1+ocaml1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_5.5.1-1~exp1+ocaml1_amd64.deb ...
Unpacking ocaml-base (5.5.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-4+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-4+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml (9.2.0+dfsg-4+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_5.5.1-1~exp1+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.5.1-1~exp1+ocaml1) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.5.1-1~exp1+ocaml1_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.5.1-1~exp1+ocaml1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_5.5.1-1~exp1+ocaml1_amd64.deb ...
Unpacking ocaml-interp (5.5.1-1~exp1+ocaml1) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.6+20260608-2_amd64.deb ...
Unpacking libncurses6:amd64 (6.6+20260608-2) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../26-libncurses-dev_6.6+20260608-2_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.6+20260608-2) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../27-libzstd-dev_1.5.7+dfsg-4_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.7+dfsg-4) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../28-ocaml_5.5.1-1~exp1+ocaml1_amd64.deb ...
Unpacking ocaml (5.5.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_9.2.0+dfsg-4+ocaml1_amd64.deb ...
Unpacking coq (9.2.0+dfsg-4+ocaml1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../31-libdebhelper-perl_14.3_all.deb ...
Unpacking libdebhelper-perl (14.3) ...
Selecting previously unselected package libtool.
Preparing to unpack .../32-libtool_2.6.2-2_all.deb ...
Unpacking libtool (2.6.2-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../33-dh-autoreconf_22_all.deb ...
Unpacking dh-autoreconf (22) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.15.1-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.15.1-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../36-dh-strip-nondeterminism_1.15.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.15.1-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../37-libelf1t64_0.196-1_amd64.deb ...
Unpacking libelf1t64:amd64 (0.196-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../38-dwz_0.17-1_amd64.deb ...
Unpacking dwz (0.17-1) ...
Selecting previously unselected package libunistring5:amd64.
Preparing to unpack .../39-libunistring5_1.4.2-1_amd64.deb ...
Unpacking libunistring5:amd64 (1.4.2-1) ...
Selecting previously unselected package libxml2-16:amd64.
Preparing to unpack .../40-libxml2-16_2.15.4+dfsg-1_amd64.deb ...
Unpacking libxml2-16:amd64 (2.15.4+dfsg-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../41-gettext_1.0-3_amd64.deb ...
Unpacking gettext (1.0-3) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../42-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../43-po-debconf_1.0.22_all.deb ...
Unpacking po-debconf (1.0.22) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../44-debhelper_14.3_all.deb ...
Unpacking debhelper (14.3) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../45-dh-coq_0.17+ocaml1_all.deb ...
Unpacking dh-coq (0.17+ocaml1) ...
Selecting previously unselected package quickjs.
Preparing to unpack .../46-quickjs_2025.04.26-1+b2_amd64.deb ...
Unpacking quickjs (2025.04.26-1+b2) ...
Selecting previously unselected package libjson-perl.
Preparing to unpack .../47-libjson-perl_4.10000-1_all.deb ...
Unpacking libjson-perl (4.10000-1) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../48-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../49-dh-ocaml_3.8+ocaml1_all.deb ...
Unpacking dh-ocaml (3.8+ocaml1) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../50-libfindlib-ocaml-dev_1.9.8-1+ocaml1_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../51-libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../52-libgmp-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../53-libgmp3-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../54-libzarith-ocaml-dev_1.14-4+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-4+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../55-libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (9.2.0+dfsg-4+ocaml1) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../56-libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb ...
Unpacking libcoq-stdlib (9.2.0-1+ocaml1) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../57-libocamlgraph-ocaml-dev_2.2.0-2+ocaml1_amd64.deb ...
Unpacking libocamlgraph-ocaml-dev (2.2.0-2+ocaml1) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack .../58-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up media-types (14.0.0) ...
Setting up libpipeline1:amd64 (1.5.8-3) ...
Setting up libzstd-dev:amd64 (1.5.7+dfsg-4) ...
Setting up bsdextrautils (2.42.3-1) ...
Setting up libmagic-mgc (1:5.47-4) ...
Setting up dh-coq (0.17+ocaml1) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libxml2-16:amd64 (2.15.4+dfsg-1) ...
Setting up libdebhelper-perl (14.3) ...
Setting up libsqlite3-0:amd64 (3.53.4-2) ...
Setting up libmagic1t64:amd64 (1:5.47-4) ...
Setting up gettext-base (1.0-3) ...
Setting up m4 (1.4.21-1) ...
Setting up libcoq-core (9.2.0+dfsg-4+ocaml1) ...
Setting up file (1:5.47-4) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libelf1t64:amd64 (0.196-1) ...
Setting up quickjs (2025.04.26-1+b2) ...
Setting up tzdata (2026c-1) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Mon Sep  7 18:29:39 UTC 2026.
Universal Time is now:  Mon Sep  7 18:29:39 UTC 2026.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

Setting up autotools-dev (20240727.1+nmu1) ...
Setting up libcoq-stdlib (9.2.0-1+ocaml1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b2) ...
Setting up libncurses6:amd64 (6.6+20260608-2) ...
Setting up libstdlib-ocaml (5.5.1-1~exp1+ocaml1) ...
Setting up libunistring5:amd64 (1.4.2-1) ...
Setting up autopoint (1.0-3) ...
Setting up ocaml-base (5.5.1-1~exp1+ocaml1) ...
Setting up libncursesw6:amd64 (6.6+20260608-2) ...
Setting up autoconf (2.73-2) ...
Setting up libffi8:amd64 (3.8.0-2) ...
Setting up dwz (0.17-1) ...
Setting up sensible-utils (0.0.26) ...
Setting up libuchardet0:amd64 (0.0.8-2+b2) ...
Setting up libjson-perl (4.10000-1) ...
Setting up netbase (6.6) ...
Setting up readline-common (8.3-4) ...
Setting up automake (1:1.18.1-4) ...
update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.15.1-1) ...
Setting up libncurses-dev:amd64 (6.6+20260608-2) ...
Setting up gettext (1.0-3) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Setting up libtool (2.6.2-2) ...
Setting up libstdlib-ocaml-dev (5.5.1-1~exp1+ocaml1) ...
Setting up dh-ocaml (3.8+ocaml1) ...
Setting up libfindlib-ocaml (1.9.8-1+ocaml1) ...
Setting up libzarith-ocaml (1.14-4+ocaml1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (22) ...
Setting up libcompiler-libs-ocaml-dev (5.5.1-1~exp1+ocaml1) ...
Setting up ocaml-interp (5.5.1-1~exp1+ocaml1) ...
Setting up ocaml-findlib (1.9.8-1+ocaml1) ...
Setting up libreadline8t64:amd64 (8.3-4) ...
Setting up dh-strip-nondeterminism (1.15.1-1) ...
Setting up libcoq-core-ocaml (9.2.0+dfsg-4+ocaml1) ...
Setting up groff-base (1.24.1-1) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Setting up libpython3.14-stdlib:amd64 (3.14.7-3) ...
Setting up po-debconf (1.0.22) ...
Setting up ocaml (5.5.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 libzarith-ocaml-dev (1.14-4+ocaml1) ...
Setting up python3.14 (3.14.7-3) ...
Setting up libpython3-stdlib:amd64 (3.14.7-3) ...
Setting up libocamlgraph-ocaml-dev (2.2.0-2+ocaml1) ...
Setting up debhelper (14.3) ...
Setting up python3 (3.14.7-3) ...
Setting up coq (9.2.0+dfsg-4+ocaml1) ...
Setting up libcoq-core-ocaml-dev (9.2.0+dfsg-4+ocaml1) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.43-5) ...

+------------------------------------------------------------------------------+
| Check architectures                          Mon, 07 Sep 2026 18:29:47 +0000 |
+------------------------------------------------------------------------------+

Arch check ok (amd64 included in any)

+------------------------------------------------------------------------------+
| Build environment                            Mon, 07 Sep 2026 18:29:48 +0000 |
+------------------------------------------------------------------------------+

Kernel: Linux 7.1.8+deb14.1-amd64 #1 SMP PREEMPT_DYNAMIC Debian 7.1.8-2 (2026-08-15) amd64 (x86_64)
Toolchain package versions: binutils_2.47-4 dpkg-dev_1.23.7 g++-16_16.2.0-2 gcc-16_16.2.0-2 libc6-dev_2.43-5 libstdc++-16-dev_16.2.0-2 libstdc++6_16.2.0-2 linux-libc-dev_7.1.13-1
Package versions: apt_3.3.3 apt-utils_3.3.3 autoconf_2.73-2 automake_1:1.18.1-4 autopoint_1.0-3 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-4 binutils_2.47-4 binutils-common_2.47-4 binutils-x86-64-linux-gnu_2.47-4 bsdextrautils_2.42.3-1 build-essential_12.12 bzip2_1.0.8-6+b2 coq_9.2.0+dfsg-4+ocaml1 coreutils_9.10-1 cpp_4:16.1.0-3 cpp-16_16.2.0-2 cpp-16-x86-64-linux-gnu_16.2.0-2 cpp-x86-64-linux-gnu_4:16.1.0-3 dash_0.5.12-12 debconf_1.5.92 debhelper_14.3 debian-archive-keyring_2025.1 debianutils_5.24 dh-autoreconf_22 dh-coq_0.17+ocaml1 dh-ocaml_3.8+ocaml1 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.17-1 file_1:5.47-4 findutils_4.11.0-2 g++_4:16.1.0-3 g++-16_16.2.0-2 g++-16-x86-64-linux-gnu_16.2.0-2 g++-x86-64-linux-gnu_4:16.1.0-3 gcc_4:16.1.0-3 gcc-16_16.2.0-2 gcc-16-base_16.2.0-2 gcc-16-x86-64-linux-gnu_16.2.0-2 gcc-x86-64-linux-gnu_4:16.1.0-3 gettext_1.0-3 gettext-base_1.0-3 grep_3.12-1 groff-base_1.24.1-1 gzip_1.14-1 hostname_3.25 init-system-helpers_1.69+nmu1 intltool-debian_0.35.0+20060710.6 libacl1_2.4.0-1 libapt-pkg7.0_3.3.3 libarchive-zip-perl_1.68-1 libasan8_16.2.0-2 libatomic1_16.2.0-2 libattr1_1:2.6.0-1 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b2 libbinutils_2.47-4 libblkid1_2.42.3-1 libbz2-1.0_1.0.8-6+b2 libc-bin_2.43-5 libc-dev-bin_2.43-5 libc-gconv-modules-extra_2.43-5 libc6_2.43-5 libc6-dev_2.43-5 libcap-ng0_0.9.5-2 libcc1-0_16.2.0-2 libcompiler-libs-ocaml-dev_5.5.1-1~exp1+ocaml1 libconfig-tiny-perl_2.30-1 libcoq-core_9.2.0+dfsg-4+ocaml1 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1 libcoq-stdlib_9.2.0-1+ocaml1 libcrypt1_1:4.5.2+20251210-1 libctf-nobfd0_2.47-4 libctf0_2.47-4 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_14.3 libdpkg-perl_1.23.7 libelf1t64_0.196-1 libexpat1_2.8.4-1 libffi8_3.8.0-2 libfile-stripnondeterminism-perl_1.15.1-1 libfindlib-ocaml_1.9.8-1+ocaml1 libfindlib-ocaml-dev_1.9.8-1+ocaml1 libgcc-16-dev_16.2.0-2 libgcc-s1_16.2.0-2 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libgmp-dev_2:6.3.0+dfsg-5+b2 libgmp10_2:6.3.0+dfsg-5+b2 libgmp3-dev_2:6.3.0+dfsg-5+b2 libgmpxx4ldbl_2:6.3.0+dfsg-5+b2 libgomp1_16.2.0-2 libgprofng0_2.47-4 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.2.0-2 libisl23_0.28-1 libitm1_16.2.0-2 libjansson4_2.15.1-1 libjson-perl_4.10000-1 liblsan0_16.2.0-2 liblz4-1_1.10.0-10 liblzma5_5.8.3-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.2.0-2 libmount1_2.42.3-1 libmpc3_1.3.1-3 libmpfr6_4.2.2-3 libncurses-dev_6.6+20260608-2 libncurses6_6.6+20260608-2 libncursesw6_6.6+20260608-2 libnettle8t64_3.10.2-1+b1 libocamlgraph-ocaml-dev_2.2.0-2+ocaml1 libpam-modules_1.7.0-8 libpam-modules-bin_1.7.0-8 libpam-runtime_1.7.0-8 libpam0g_1.7.0-8 libpcre2-8-0_10.48-2 libperl5.42_5.42.3-1 libpipeline1_1.5.8-3 libpython3-stdlib_3.14.7-3 libpython3.14-minimal_3.14.7-3 libpython3.14-stdlib_3.14.7-3 libquadmath0_16.2.0-2 libreadline8t64_8.3-4 libseccomp2_2.6.1-1+b1 libselinux1_3.11-2 libsframe3_2.47-4 libsmartcols1_2.42.3-1 libsqlite3-0_3.53.4-2 libssl3t64_3.6.4-1 libstdc++-16-dev_16.2.0-2 libstdc++6_16.2.0-2 libstdlib-ocaml_5.5.1-1~exp1+ocaml1 libstdlib-ocaml-dev_5.5.1-1~exp1+ocaml1 libsystemd0_262~rc1-2 libtinfo6_6.6+20260608-2 libtool_2.6.2-2 libtsan2_16.2.0-2 libubsan1_16.2.0-2 libuchardet0_0.0.8-2+b2 libudev1_262~rc1-2 libunistring5_1.4.2-1 libuuid1_2.42.3-1 libxml2-16_2.15.4+dfsg-1 libxxhash0_0.8.3-2+b2 libzarith-ocaml_1.14-4+ocaml1 libzarith-ocaml-dev_1.14-4+ocaml1 libzstd-dev_1.5.7+dfsg-4 libzstd1_1.5.7+dfsg-4 linux-libc-dev_7.1.13-1 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-1 media-types_14.0.0 ncurses-base_6.6+20260608-2 ncurses-bin_6.6+20260608-2 netbase_6.6 ocaml_5.5.1-1~exp1+ocaml1 ocaml-base_5.5.1-1~exp1+ocaml1 ocaml-findlib_1.9.8-1+ocaml1 ocaml-interp_5.5.1-1~exp1+ocaml1 openssl-provider-legacy_3.6.4-1 patch_2.8-2 perl_5.42.3-1 perl-base_5.42.3-1 perl-modules-5.42_5.42.3-1 po-debconf_1.0.22 python3_3.14.7-3 python3-minimal_3.14.7-3 python3.14_3.14.7-3 python3.14-minimal_3.14.7-3 quickjs_2025.04.26-1+b2 readline-common_8.3-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.5.0-1 sysvinit-utils_3.18-1 tar_1.35+dfsg-5 tzdata_2026c-1 util-linux_2.42.3-1 xz-utils_5.8.3-1 zlib1g_1:1.3.dfsg+really1.3.2-3

+------------------------------------------------------------------------------+
| Build                                        Mon, 07 Sep 2026 18:29:48 +0000 |
+------------------------------------------------------------------------------+


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

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+9.1-2+ocaml1
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.7.4
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 (>= 9), 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:
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 48fb10b24ce7daa79415ec7062ae1a1b43219e9b 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 43878cef2912e594c9585ac9d1d60488f18f0280476ee1604b0aa30efa456970 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
Files:
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 e3685a6988cc33c7e48a7aef2d245463 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz

dpkg-source: warning: extracting unsigned source package (coq-dpdgraph_1.0+9.1-2+ocaml1.dsc)
dpkg-source: info: extracting coq-dpdgraph in /build/reproducible-path/coq-dpdgraph-1.0+9.1
dpkg-source: info: unpacking coq-dpdgraph_1.0+9.1.orig.tar.gz
dpkg-source: info: unpacking coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying use_install.patch

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=2
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+9.1-2+ocaml1
dpkg-buildpackage: info: source distribution unstable-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+9.1'
find . -name "*.vo*" -delete
find . -name "*.aux" -delete
find . -name "*.glob" -delete
rm -f META.coq-dpdgraph Make_coq Make_coq.conf config.log config.status
make[1]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
   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+9.1.orig.tar.gz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: building coq-dpdgraph in ../coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
dpkg-source: info: building coq-dpdgraph in ../coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 debian/rules binary
dh binary --with coq,ocaml
   dh_update_autotools_config
   dh_autoreconf
   dh_ocamlinit
   dh_auto_configure
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
make
make[2]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
rocq makefile -f Make -o Make_coq
make -f Make_coq all
make[3]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
COQPP searchdepend.mlg
COQPP graphdepend.mlg
CAMLDEP searchdepend.ml
CAMLDEP graphdepend.ml
OCAMLLIBDEP dpdgraph.mllib
ROCQ DEP VFILES
CAMLOPT -c  searchdepend.ml
CAMLOPT -c  graphdepend.ml
CAMLOPT -a -o dpdgraph.cmxa
CAMLOPT -shared -o dpdgraph.cmxs
ROCQ compile dpdgraph.v
ocamlyacc dpd_parse.mly
echo "(* This file is generated by Makefile. Do not modify. *)" > version.ml
echo "let version = \"""\"" >> version.ml
ocamllex dpd_lex.mll
29 states, 495 transitions, table size 2154 bytes
if ocamlfind query ocamlgraph > /dev/null 2>&1 ; then touch has_ocamlgraph ; else echo "ocamlgraph not installed; use opam install ocamlgraph" ; exit 1; fi
ocamlfind opt -verbose -package ocamlgraph -linkpkg -o dpd2dot version.mli dpd_compute.mli dpd_dot.mli dpd_parse.mli dpd_lex.mli version.ml dpd_compute.ml dpd_dot.ml dpd_parse.ml  dpd_lex.ml \
         dpd2dot.mli dpd2dot.ml
Effective set of compiler predicates: pkg_ocamlgraph,autolink,native
+ ocamlopt -verbose -o dpd2dot -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ocamlgraph /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ocamlgraph/graph.cmxa version.mli dpd_compute.mli dpd_dot.mli dpd_parse.mli dpd_lex.mli version.ml dpd_compute.ml dpd_dot.ml dpd_parse.ml dpd_lex.ml dpd2dot.mli dpd2dot.ml
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'version.o' '/tmp/camlasm97a45e.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_compute.o' '/tmp/camlasmf16752.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_dot.o' '/tmp/camlasm3e1caf.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_parse.o' '/tmp/camlasm809e32.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_lex.o' '/tmp/camlasm324a46.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd2dot.o' '/tmp/camlasm0e1518.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o '/tmp/camlstartup0f3776.o' '/tmp/camlstartupb135f0.s'
+ x86_64-linux-gnu-gcc  -Wl,-E -Wl,-z,relro -Wl,-z,now -o 'dpd2dot'  '-L/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ocamlgraph' '-L/usr/lib/x86_64-linux-gnu/ocaml/5.5.1'  '/tmp/camlstartup0f3776.o' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/std_exit.o' 'dpd2dot.o' 'dpd_lex.o' 'dpd_parse.o' 'dpd_dot.o' 'dpd_compute.o' 'version.o' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ocamlgraph/graph.a' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/stdlib.a' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/libasmrun.a'   -lm  -lpthread
ocamlfind opt -verbose -package ocamlgraph -linkpkg -o dpdusage version.mli dpd_compute.mli dpd_dot.mli dpd_parse.mli dpd_lex.mli version.ml dpd_compute.ml dpd_dot.ml dpd_parse.ml  dpd_lex.ml \
         dpdusage.mli dpdusage.ml
Effective set of compiler predicates: pkg_ocamlgraph,autolink,native
+ ocamlopt -verbose -o dpdusage -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ocamlgraph /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ocamlgraph/graph.cmxa version.mli dpd_compute.mli dpd_dot.mli dpd_parse.mli dpd_lex.mli version.ml dpd_compute.ml dpd_dot.ml dpd_parse.ml dpd_lex.ml dpdusage.mli dpdusage.ml
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'version.o' '/tmp/camlasm4341b5.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_compute.o' '/tmp/camlasmc53897.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_dot.o' '/tmp/camlasm35d5c7.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_parse.o' '/tmp/camlasmd8842c.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_lex.o' '/tmp/camlasm27f5c3.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpdusage.o' '/tmp/camlasm8dfe21.s'
+ x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o '/tmp/camlstartup0ca015.o' '/tmp/camlstartup0f9c47.s'
+ x86_64-linux-gnu-gcc  -Wl,-E -Wl,-z,relro -Wl,-z,now -o 'dpdusage'  '-L/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ocamlgraph' '-L/usr/lib/x86_64-linux-gnu/ocaml/5.5.1'  '/tmp/camlstartup0ca015.o' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/std_exit.o' 'dpdusage.o' 'dpd_lex.o' 'dpd_parse.o' 'dpd_dot.o' 'dpd_compute.o' 'version.o' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ocamlgraph/graph.a' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/stdlib.a' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/libasmrun.a'   -lm  -lpthread
make[3]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
make[2]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
make[1]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
   dh_auto_test
	make -j2 test
make[1]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
make -f Make_coq test
make[2]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
coqc -q -R . dpdgraph tests/Test.v
coqc -q -R . dpdgraph tests/Morph.v
coqc -q -R . dpdgraph tests/Polymorph.v
coqc -q -R . dpdgraph tests/PrimitiveProjections.v
./dpd2dot tests/attributes.err.dpd > tests/attributes.err.log 2>&1
./dpd2dot tests/double_node.err.dpd > tests/double_node.err.log 2>&1
./dpd2dot tests/lexing.err.dpd > tests/lexing.err.log 2>&1
./dpd2dot tests/missing_node.err.dpd > tests/missing_node.err.log 2>&1
./dpd2dot tests/parsing.err.dpd > tests/parsing.err.log 2>&1
./dpd2dot tests/unterminated_comment.err.dpd > tests/unterminated_comment.err.log 2>&1
./dpd2dot file_not_found.err.dpd  > tests/file_not_found.err.log 2>&1
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Morph.cmd > /dev/null 2>&1
File "./tests/Test.v", line 343, characters 0-66:
Warning: Implicitly declaring hint databases is deprecated. Please explicitly
create "v62"
[implicit-create-hint-db,deprecated-since-9.2,deprecated,default]
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Morph.cmd > /dev/null 2>&1
File "./tests/Test.v", line 719, characters 2-10:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./tests/Test.v", line 727, characters 2-10:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Polymorph.cmd > /dev/null 2>&1
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < PrimitiveProjections.cmd > /dev/null 2>&1
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < PrimitiveProjections.cmd > /dev/null 2>&1
./dpd2dot tests/Morph.dpd > /dev/null
./dpd2dot tests/Morph_rw.dpd > /dev/null
./dpd2dot tests/Polymorph.dpd > /dev/null
./dpd2dot tests/PrimitiveProjections.dpd > /dev/null
./dpd2dot tests/PrimitiveProjections2.dpd > /dev/null
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
cp tests/Morph.dpd tests/Morph.dpd.log
cp tests/Morph_rw.dpd tests/Morph_rw.dpd.log
cp tests/Polymorph.dpd tests/Polymorph.dpd.log
cp tests/PrimitiveProjections.dpd tests/PrimitiveProjections.dpd.log
cp tests/PrimitiveProjections2.dpd tests/PrimitiveProjections2.dpd.log
cp tests/Morph.dot tests/Morph.dot.log
cp tests/Morph_rw.dot tests/Morph_rw.dot.log
cp tests/Polymorph.dot tests/Polymorph.dot.log
cp tests/PrimitiveProjections.dot tests/PrimitiveProjections.dot.log
cp tests/PrimitiveProjections2.dot tests/PrimitiveProjections2.dot.log
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
# cd to tests to generate .dpd file there.
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Test.cmd > /dev/null 2>&1
cd tests; coqtop -R .. dpdgraph -I .. < Test.cmd > /dev/null 2>&1
cd tests ; coqtop -R .. dpdgraph -I .. < search.cmd 2> /dev/null \
  | sed -e 's/Welcome to Rocq.*/Welcome to Rocq/' > ../tests/search.log
./dpdusage tests/graph2.dpd > tests/graph2.dpdusage.log
cp tests/graph.dpd tests/graph.dpd.log
cp tests/graph2.dpd tests/graph2.dpd.log
./dpd2dot tests/graph.dpd > /dev/null
./dpd2dot tests/graph2.dpd > /dev/null
./dpd2dot -without-defs -o tests/graph.without.dot tests/graph.dpd > /dev/null
Bravo... Test Ok
DIFFERENCES : diff tests/graph.dpd.oracle tests/graph.dpd.log
To force a new execution of the test:
  rm tests/graph.dpd.log ; make tests/graph.dpd.ok
To accept the results: 
  cp tests/graph.dpd.log tests/graph.dpd.oracle
Bravo... Test Ok
cp tests/graph.dot tests/graph.dot.log
cp tests/graph2.dot tests/graph2.dot.log
cp tests/graph.without.dot tests/graph.without.dot.log
DIFFERENCES : diff tests/graph.dot.oracle tests/graph.dot.log
To force a new execution of the test:
  rm tests/graph.dot.log ; make tests/graph.dot.ok
To accept the results: 
  cp tests/graph.dot.log tests/graph.dot.oracle
Bravo... Test Ok
Bravo... Test Ok
Bravo... Test Ok
rm tests/Morph.vo tests/Polymorph.vo
make[2]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
make[1]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
   create-stamp debian/debhelper-build-stamp
   dh_prep
   dh_auto_install
	make -j2 install DESTDIR=/build/reproducible-path/coq-dpdgraph-1.0\+9.1/debian/tmp AM_UPDATE_INFO_DIR=no INSTALL="install --strip-program=true"
make[1]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
make -f Make_coq install
make[2]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
INSTALL dpdgraph.vo /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq//user-contrib/dpdgraph/
INSTALL dpdgraph.v /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq//user-contrib/dpdgraph/
INSTALL dpdgraph.glob /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq//user-contrib/dpdgraph/
ocamlfind: [WARNING] No such file: /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/../rocq-runtime//../coq-dpdgraph/META
Installed /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/../rocq-runtime//../coq-dpdgraph/graphdepend.cmx
Installed /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/../rocq-runtime//../coq-dpdgraph/searchdepend.cmx
Installed /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/../rocq-runtime//../coq-dpdgraph/dpdgraph.cmxa
Installed /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/../rocq-runtime//../coq-dpdgraph/dpdgraph.cmxs
Installed /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/../rocq-runtime//../coq-dpdgraph/graphdepend.cmi
Installed /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/../rocq-runtime//../coq-dpdgraph/searchdepend.cmi
Installed /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/../rocq-runtime//../coq-dpdgraph/META
make[3]: Entering directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
mkdir -p /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp/usr/bin
install ./dpd2dot ./dpdusage /build/reproducible-path/coq-dpdgraph-1.0+9.1/debian/tmp/usr/bin ; \

make[3]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
make[2]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
make[1]: Leaving directory '/build/reproducible-path/coq-dpdgraph-1.0+9.1'
   dh_ocamllibinstall
   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.5.1/coq-dpdgraph/dpdgraph.cmxs: .debug_info section not present
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb
   dh_coq
   dh_ocaml
   dh_gencontrol
dpkg-gencontrol: warning: package libcoq-dpdgraph: substitution variable ${ocaml:Depends} unused, but is defined
dpkg-gencontrol: warning: Depends field of package coq-dpdgraph-tools: substitution variable ${ocaml:Depends} used, but is not defined
   dh_md5sums
   dh_builddeb
dpkg-deb: building package 'libcoq-dpdgraph' in '../libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb'.
dpkg-deb: building package 'coq-dpdgraph-tools' in '../coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb'.
 dpkg-genbuildinfo -O../coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 dpkg-genchanges -sa -O../coq-dpdgraph_1.0+9.1-2+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-09-07T18:30:19Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Changes                                      Mon, 07 Sep 2026 18:30:22 +0000 |
+------------------------------------------------------------------------------+


coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.changes:
--------------------------------------------

Format: 1.8
Date: Mon, 07 Sep 2026 20:27:08 +0200
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph
Architecture: source amd64
Version: 1.0+9.1-2+ocaml1
Distribution: unstable-ocaml
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+9.1-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.1
Checksums-Sha1:
 0fed9f904d79ab8e2ebb7ce3e430b07cbdc97a1c 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 48fb10b24ce7daa79415ec7062ae1a1b43219e9b 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 052db0444456bd361f683e93759e59c4314c9751 684880 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 75d089ba8c372fe778cbf92ce2609cb478baf081 6503 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 8aa2982a5ea3a90333d899f1d4a70757ef781aa0 36432 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 8cc9987a6f311863439aaddd67d920a850b0894b440da0d9e438a28705ee37b6 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 43878cef2912e594c9585ac9d1d60488f18f0280476ee1604b0aa30efa456970 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 29c534e4f81df0aed8e66fe483907bc725d3166e0830a0162021fc321a0b35d5 684880 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 e450cee4bf7aa9569bce0fb443c08f593e9fc5223e11f2a00aa56a492e4d1c64 6503 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 372c122a2396ba23f4fa750065abb0e83b4f30965788f3e4000f47ee8703efa3 36432 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Files:
 cc35ab411cb023a94c335210b09e5c27 1328 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 ocaml optional coq-dpdgraph_1.0+9.1.orig.tar.gz
 e3685a6988cc33c7e48a7aef2d245463 3248 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 716701cec0c95c5614cdfd5e0e89b00b 684880 ocaml optional coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 cf6eb01f949d31a2606c141cc368a75d 6503 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 8612a9cf90ee7c638654f8b246692dc4 36432 ocaml optional libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb

+------------------------------------------------------------------------------+
| Buildinfo                                    Mon, 07 Sep 2026 18:30:23 +0000 |
+------------------------------------------------------------------------------+

Format: 1.0
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph
Architecture: amd64 source
Version: 1.0+9.1-2+ocaml1
Checksums-Md5:
 cc35ab411cb023a94c335210b09e5c27 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 716701cec0c95c5614cdfd5e0e89b00b 684880 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 8612a9cf90ee7c638654f8b246692dc4 36432 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Checksums-Sha1:
 0fed9f904d79ab8e2ebb7ce3e430b07cbdc97a1c 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 052db0444456bd361f683e93759e59c4314c9751 684880 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 8aa2982a5ea3a90333d899f1d4a70757ef781aa0 36432 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 8cc9987a6f311863439aaddd67d920a850b0894b440da0d9e438a28705ee37b6 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 29c534e4f81df0aed8e66fe483907bc725d3166e0830a0162021fc321a0b35d5 684880 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 372c122a2396ba23f4fa750065abb0e83b4f30965788f3e4000f47ee8703efa3 36432 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Build-Origin: Debian
Build-Architecture: amd64
Build-Date: Mon, 07 Sep 2026 18:30:19 +0000
Build-Path: /build/reproducible-path/coq-dpdgraph-1.0+9.1
Installed-Build-Depends:
 autoconf (= 2.73-2),
 automake (= 1:1.18.1-4),
 autopoint (= 1.0-3),
 autotools-dev (= 20240727.1+nmu1),
 base-files (= 14.2),
 base-passwd (= 3.6.8),
 bash (= 5.3-4),
 binutils (= 2.47-4),
 binutils-common (= 2.47-4),
 binutils-x86-64-linux-gnu (= 2.47-4),
 bsdextrautils (= 2.42.3-1),
 build-essential (= 12.12),
 bzip2 (= 1.0.8-6+b2),
 coq (= 9.2.0+dfsg-4+ocaml1),
 coreutils (= 9.10-1),
 cpp (= 4:16.1.0-3),
 cpp-16 (= 16.2.0-2),
 cpp-16-x86-64-linux-gnu (= 16.2.0-2),
 cpp-x86-64-linux-gnu (= 4:16.1.0-3),
 dash (= 0.5.12-12),
 debconf (= 1.5.92),
 debhelper (= 14.3),
 debianutils (= 5.24),
 dh-autoreconf (= 22),
 dh-coq (= 0.17+ocaml1),
 dh-ocaml (= 3.8+ocaml1),
 dh-strip-nondeterminism (= 1.15.1-1),
 diffutils (= 1:3.12-1),
 dpkg (= 1.23.7),
 dpkg-dev (= 1.23.7),
 dwz (= 0.17-1),
 file (= 1:5.47-4),
 findutils (= 4.11.0-2),
 g++ (= 4:16.1.0-3),
 g++-16 (= 16.2.0-2),
 g++-16-x86-64-linux-gnu (= 16.2.0-2),
 g++-x86-64-linux-gnu (= 4:16.1.0-3),
 gcc (= 4:16.1.0-3),
 gcc-16 (= 16.2.0-2),
 gcc-16-base (= 16.2.0-2),
 gcc-16-x86-64-linux-gnu (= 16.2.0-2),
 gcc-x86-64-linux-gnu (= 4:16.1.0-3),
 gettext (= 1.0-3),
 gettext-base (= 1.0-3),
 grep (= 3.12-1),
 groff-base (= 1.24.1-1),
 gzip (= 1.14-1),
 hostname (= 3.25),
 init-system-helpers (= 1.69+nmu1),
 intltool-debian (= 0.35.0+20060710.6),
 libacl1 (= 2.4.0-1),
 libarchive-zip-perl (= 1.68-1),
 libasan8 (= 16.2.0-2),
 libatomic1 (= 16.2.0-2),
 libattr1 (= 1:2.6.0-1),
 libaudit-common (= 1:4.1.2-1),
 libaudit1 (= 1:4.1.2-1+b2),
 libbinutils (= 2.47-4),
 libblkid1 (= 2.42.3-1),
 libbz2-1.0 (= 1.0.8-6+b2),
 libc-bin (= 2.43-5),
 libc-dev-bin (= 2.43-5),
 libc-gconv-modules-extra (= 2.43-5),
 libc6 (= 2.43-5),
 libc6-dev (= 2.43-5),
 libcap-ng0 (= 0.9.5-2),
 libcc1-0 (= 16.2.0-2),
 libcompiler-libs-ocaml-dev (= 5.5.1-1~exp1+ocaml1),
 libconfig-tiny-perl (= 2.30-1),
 libcoq-core (= 9.2.0+dfsg-4+ocaml1),
 libcoq-core-ocaml (= 9.2.0+dfsg-4+ocaml1),
 libcoq-core-ocaml-dev (= 9.2.0+dfsg-4+ocaml1),
 libcoq-stdlib (= 9.2.0-1+ocaml1),
 libcrypt1 (= 1:4.5.2+20251210-1),
 libctf-nobfd0 (= 2.47-4),
 libctf0 (= 2.47-4),
 libdb5.3t64 (= 5.3.28+dfsg2-11+b1),
 libdebconfclient0 (= 0.283),
 libdebhelper-perl (= 14.3),
 libdpkg-perl (= 1.23.7),
 libelf1t64 (= 0.196-1),
 libexpat1 (= 2.8.4-1),
 libffi8 (= 3.8.0-2),
 libfile-stripnondeterminism-perl (= 1.15.1-1),
 libfindlib-ocaml (= 1.9.8-1+ocaml1),
 libfindlib-ocaml-dev (= 1.9.8-1+ocaml1),
 libgcc-16-dev (= 16.2.0-2),
 libgcc-s1 (= 16.2.0-2),
 libgdbm-compat4t64 (= 1.26-1+b2),
 libgdbm6t64 (= 1.26-1+b2),
 libgmp-dev (= 2:6.3.0+dfsg-5+b2),
 libgmp10 (= 2:6.3.0+dfsg-5+b2),
 libgmp3-dev (= 2:6.3.0+dfsg-5+b2),
 libgmpxx4ldbl (= 2:6.3.0+dfsg-5+b2),
 libgomp1 (= 16.2.0-2),
 libgprofng0 (= 2.47-4),
 libhwasan0 (= 16.2.0-2),
 libisl23 (= 0.28-1),
 libitm1 (= 16.2.0-2),
 libjansson4 (= 2.15.1-1),
 libjson-perl (= 4.10000-1),
 liblsan0 (= 16.2.0-2),
 liblzma5 (= 5.8.3-1),
 libmagic-mgc (= 1:5.47-4),
 libmagic1t64 (= 1:5.47-4),
 libmd0 (= 1.2.0-2),
 libmount1 (= 2.42.3-1),
 libmpc3 (= 1.3.1-3),
 libmpfr6 (= 4.2.2-3),
 libncurses-dev (= 6.6+20260608-2),
 libncurses6 (= 6.6+20260608-2),
 libncursesw6 (= 6.6+20260608-2),
 libocamlgraph-ocaml-dev (= 2.2.0-2+ocaml1),
 libpam-modules (= 1.7.0-8),
 libpam-modules-bin (= 1.7.0-8),
 libpam-runtime (= 1.7.0-8),
 libpam0g (= 1.7.0-8),
 libpcre2-8-0 (= 10.48-2),
 libperl5.42 (= 5.42.3-1),
 libpipeline1 (= 1.5.8-3),
 libpython3-stdlib (= 3.14.7-3),
 libpython3.14-minimal (= 3.14.7-3),
 libpython3.14-stdlib (= 3.14.7-3),
 libquadmath0 (= 16.2.0-2),
 libreadline8t64 (= 8.3-4),
 libseccomp2 (= 2.6.1-1+b1),
 libselinux1 (= 3.11-2),
 libsframe3 (= 2.47-4),
 libsmartcols1 (= 2.42.3-1),
 libsqlite3-0 (= 3.53.4-2),
 libssl3t64 (= 3.6.4-1),
 libstdc++-16-dev (= 16.2.0-2),
 libstdc++6 (= 16.2.0-2),
 libstdlib-ocaml (= 5.5.1-1~exp1+ocaml1),
 libstdlib-ocaml-dev (= 5.5.1-1~exp1+ocaml1),
 libsystemd0 (= 262~rc1-2),
 libtinfo6 (= 6.6+20260608-2),
 libtool (= 2.6.2-2),
 libtsan2 (= 16.2.0-2),
 libubsan1 (= 16.2.0-2),
 libuchardet0 (= 0.0.8-2+b2),
 libudev1 (= 262~rc1-2),
 libunistring5 (= 1.4.2-1),
 libuuid1 (= 2.42.3-1),
 libxml2-16 (= 2.15.4+dfsg-1),
 libzarith-ocaml (= 1.14-4+ocaml1),
 libzarith-ocaml-dev (= 1.14-4+ocaml1),
 libzstd-dev (= 1.5.7+dfsg-4),
 libzstd1 (= 1.5.7+dfsg-4),
 linux-libc-dev (= 7.1.13-1),
 m4 (= 1.4.21-1),
 make (= 4.4.1-3),
 man-db (= 2.13.1-1),
 mawk (= 1.3.4.20260302-1),
 media-types (= 14.0.0),
 ncurses-base (= 6.6+20260608-2),
 ncurses-bin (= 6.6+20260608-2),
 netbase (= 6.6),
 ocaml (= 5.5.1-1~exp1+ocaml1),
 ocaml-base (= 5.5.1-1~exp1+ocaml1),
 ocaml-findlib (= 1.9.8-1+ocaml1),
 ocaml-interp (= 5.5.1-1~exp1+ocaml1),
 openssl-provider-legacy (= 3.6.4-1),
 patch (= 2.8-2),
 perl (= 5.42.3-1),
 perl-base (= 5.42.3-1),
 perl-modules-5.42 (= 5.42.3-1),
 po-debconf (= 1.0.22),
 python3 (= 3.14.7-3),
 python3-minimal (= 3.14.7-3),
 python3.14 (= 3.14.7-3),
 python3.14-minimal (= 3.14.7-3),
 quickjs (= 2025.04.26-1+b2),
 readline-common (= 8.3-4),
 sed (= 4.9-3),
 sensible-utils (= 0.0.26),
 sysvinit-utils (= 3.18-1),
 tar (= 1.35+dfsg-5),
 tzdata (= 2026c-1),
 util-linux (= 2.42.3-1),
 xz-utils (= 5.8.3-1),
 zlib1g (= 1:1.3.dfsg+really1.3.2-3)
Environment:
 DEB_BUILD_OPTIONS="parallel=2"
 LANG="C.UTF-8"
 LC_COLLATE="C.UTF-8"
 LC_CTYPE="C.UTF-8"
 MAKEFLAGS=""
 SOURCE_DATE_EPOCH="1788805628"


+------------------------------------------------------------------------------+
| Package contents                             Mon, 07 Sep 2026 18:30:24 +0000 |
+------------------------------------------------------------------------------+


coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
---------------------------------------------

 new Debian package, version 2.0.
 size 684880 bytes: control archive=860 bytes.
     649 bytes,    18 lines      control
     478 bytes,     7 lines      md5sums
 Package: coq-dpdgraph-tools
 Source: coq-dpdgraph
 Version: 1.0+9.1-2+ocaml1
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 4050
 Depends: libc6 (>= 2.38)
 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 2026-09-07 18:27 ./
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/bin/
-rwxr-xr-x root/root   2062544 2026-09-07 18:27 ./usr/bin/dpd2dot
-rwxr-xr-x root/root   2067056 2026-09-07 18:27 ./usr/bin/dpdusage
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/doc/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/doc/coq-dpdgraph-tools/
-rw-r--r-- root/root       733 2026-09-07 18:27 ./usr/share/doc/coq-dpdgraph-tools/changelog.Debian.gz
-rw-r--r-- root/root      1203 2025-12-09 09:55 ./usr/share/doc/coq-dpdgraph-tools/changelog.gz
-rw-r--r-- root/root      1027 2026-07-23 15:19 ./usr/share/doc/coq-dpdgraph-tools/copyright
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/man/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/man/man1/
-rw-r--r-- root/root       358 2026-09-07 18:27 ./usr/share/man/man1/dpd2dot.1.gz
-rw-r--r-- root/root       360 2026-09-07 18:27 ./usr/share/man/man1/dpdusage.1.gz


libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
------------------------------------------

 new Debian package, version 2.0.
 size 36432 bytes: control archive=1092 bytes.
     640 bytes,    18 lines      control
    1407 bytes,    15 lines      md5sums
 Package: libcoq-dpdgraph
 Source: coq-dpdgraph
 Version: 1.0+9.1-2+ocaml1
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 186
 Depends: libcoq-stdlib-4tuy1
 Provides: libcoq-dpdgraph-syg87
 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 2026-09-07 18:27 ./
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/lib/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq-dpdgraph/
-rw-r--r-- root/root       199 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq-dpdgraph/META
-rw-r--r-- root/root     13681 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq-dpdgraph/dpdgraph.cmxa
-rw-r--r-- root/root     80968 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq-dpdgraph/dpdgraph.cmxs
-rw-r--r-- root/root     29270 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq-dpdgraph/graphdepend.cmi
-rw-r--r-- root/root     14691 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq-dpdgraph/graphdepend.cmx
-rw-r--r-- root/root      8406 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq-dpdgraph/searchdepend.cmi
-rw-r--r-- root/root      7829 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq-dpdgraph/searchdepend.cmx
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/user-contrib/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/user-contrib/dpdgraph/
-rw-r--r-- root/root        59 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/user-contrib/dpdgraph/dpdgraph.glob
-rw-r--r-- root/root        41 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/user-contrib/dpdgraph/dpdgraph.v
-rw-r--r-- root/root       573 2026-09-07 18:27 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/coq/user-contrib/dpdgraph/dpdgraph.vo
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/doc/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/doc/libcoq-dpdgraph/
-rw-r--r-- root/root       731 2026-09-07 18:27 ./usr/share/doc/libcoq-dpdgraph/changelog.Debian.gz
-rw-r--r-- root/root      1203 2025-12-09 09:55 ./usr/share/doc/libcoq-dpdgraph/changelog.gz
-rw-r--r-- root/root      1027 2026-07-23 15:19 ./usr/share/doc/libcoq-dpdgraph/copyright
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/lintian/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./usr/share/lintian/overrides/
-rw-r--r-- root/root       180 2026-07-23 15:19 ./usr/share/lintian/overrides/libcoq-dpdgraph
drwxr-xr-x root/root         0 2026-09-07 18:27 ./var/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./var/lib/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./var/lib/coq/
drwxr-xr-x root/root         0 2026-09-07 18:27 ./var/lib/coq/md5sums/
-rw-r--r-- root/root         5 2026-09-07 18:27 ./var/lib/coq/md5sums/libcoq-dpdgraph.checksum


+------------------------------------------------------------------------------+
| Post Build                                   Mon, 07 Sep 2026 18:30:29 +0000 |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                      Mon, 07 Sep 2026 18:30:29 +0000 |
+------------------------------------------------------------------------------+

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

+------------------------------------------------------------------------------+
| Summary                                      Mon, 07 Sep 2026 18:30:38 +0000 |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build Type: full
Build-Space: 18780
Build-Time: 25
Distribution: unstable-ocaml
Host Architecture: amd64
Install-Time: 84
Job: /tmp/tmp.ben.transition-scripts.trAfFOJAYx/coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
Machine Architecture: amd64
Package: coq-dpdgraph
Package-Time: 190
Source-Version: 1.0+9.1-2+ocaml1
Space: 18780
Status: successful
Version: 1.0+9.1-2+ocaml1
--------------------------------------------------------------------------------
Finished at 2026-09-07T18:30:19Z
Build needed 00:03:10, 18780k disk space