sbuild (Debian sbuild) 0.88.1 (16 December 2024) on derowd.up7.fr

+==============================================================================+
| coq-dpdgraph 1.0+8.20-1+ocaml1 (amd64)       Wed, 15 Jan 2025 14:53:40 +0000 |
+==============================================================================+

Package: coq-dpdgraph
Version: 1.0+8.20-1+ocaml1
Source Version: 1.0+8.20-1+ocaml1
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-transitions/20250115/ocaml-5.3.0/ben/rootfs.tar.zst to /var/tmp/tmp.sbuild.Ay_ddk1LDX...
I: Setting up the chroot...
I: Creating chroot session...
I: Setting up log color...
I: Setting up apt archive...

+------------------------------------------------------------------------------+
| Update chroot                                Wed, 15 Jan 2025 14:53:45 +0000 |
+------------------------------------------------------------------------------+

Ign:1 file:/rebuilt ./ InRelease
Get:2 file:/rebuilt ./ Release [1351 B]
Get:2 file:/rebuilt ./ Release [1351 B]
Ign:3 file:/rebuilt ./ Release.gpg
Get:4 file:/rebuilt ./ Packages [1243 kB]
Get:5 http://localhost:9999/debian unstable InRelease [205 kB]
Get:6 http://localhost:9999/debian unstable/contrib amd64 Packages [65.7 kB]
Get:7 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [6912 B]
Get:8 http://localhost:9999/debian unstable/main amd64 Packages [9979 kB]
Get:9 http://localhost:9999/debian unstable/non-free amd64 Packages [122 kB]
Fetched 10.4 MB in 1s (11.5 MB/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                           Wed, 15 Jan 2025 14:53:47 +0000 |
+------------------------------------------------------------------------------+


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

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

+------------------------------------------------------------------------------+
| Install package build dependencies           Wed, 15 Jan 2025 14:53:48 +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, fakeroot
Filtered Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, build-essential, fakeroot
dpkg-deb: warning: root directory /build/reproducible-path/resolver-Kbqv6y/sbuild-build-depends-main-dummy has unusual owner or group 998:999
dpkg-deb: Hint: you might need to pass --root-owner-group, see <https://wiki.debian.org/Teams/Dpkg/RootlessBuilds> for further details
dpkg-deb: warning: ignoring 1 warning about the control file(s)
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-Kbqv6y/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/build/reproducible-path/resolver-Kbqv6y/apt_archive ./ InRelease
Get:2 copy:/build/reproducible-path/resolver-Kbqv6y/apt_archive ./ Release [609 B]
Ign:3 copy:/build/reproducible-path/resolver-Kbqv6y/apt_archive ./ Release.gpg
Get:4 copy:/build/reproducible-path/resolver-Kbqv6y/apt_archive ./ Sources [713 B]
Get:5 copy:/build/reproducible-path/resolver-Kbqv6y/apt_archive ./ Packages [745 B]
Fetched 2067 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 fakeroot file
  gettext gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1
  libfakeroot libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72
  libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6
  libocamlgraph-ocaml-dev libpipeline1 libpython3-stdlib libpython3.13-minimal
  libpython3.13-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml
  libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2
  libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types
  netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3
  python3-minimal python3.13 python3.13-minimal readline-common sensible-utils
  tzdata
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit
  | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev
  libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc
  libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
  www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc
  python3-tk python3-venv python3.13-venv python3.13-doc binfmt-support
  readline-doc
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev ledit
  | readline-editor libmail-sendmail-perl ca-certificates
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz fakeroot file
  gettext gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1
  libfakeroot libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72
  libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6
  libocamlgraph-ocaml-dev libpipeline1 libpython3-stdlib libpython3.13-minimal
  libpython3.13-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml
  libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2
  libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types
  netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3
  python3-minimal python3.13 python3.13-minimal readline-common
  sbuild-build-depends-main-dummy sensible-utils tzdata
0 upgraded, 74 newly installed, 0 to remove and 0 not upgraded.
Need to get 30.1 MB/309 MB of archives.
After this operation, 977 MB of additional disk space will be used.
Get:1 file:/rebuilt ./ libcoq-stdlib 8.20.0+dfsg-1+ocaml1 [23.5 MB]
Get:2 copy:/build/reproducible-path/resolver-Kbqv6y/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [920 B]
Get:3 http://localhost:9999/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.1-3 [858 kB]
Get:4 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.6.4-1 [106 kB]
Get:5 http://localhost:9999/debian unstable/main amd64 python3.13-minimal amd64 3.13.1-3 [2202 kB]
Get:6 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.13.1-2 [27.0 kB]
Get:7 http://localhost:9999/debian unstable/main amd64 media-types all 10.1.0 [26.9 kB]
Get:8 http://localhost:9999/debian unstable/main amd64 netbase all 6.4 [12.8 kB]
Get:9 http://localhost:9999/debian unstable/main amd64 tzdata all 2024b-6 [257 kB]
Get:10 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.4.6-1 [23.6 kB]
Get:11 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.5-2+b1 [136 kB]
Get:12 http://localhost:9999/debian unstable/main amd64 readline-common all 8.2-6 [69.4 kB]
Get:13 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.2-6 [169 kB]
Get:14 http://localhost:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.46.1-1 [913 kB]
Get:15 http://localhost:9999/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.1-3 [1973 kB]
Get:16 http://localhost:9999/debian unstable/main amd64 python3.13 amd64 3.13.1-3 [740 kB]
Get:17 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.13.1-2 [9952 B]
Get:18 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.13.1-2 [28.0 kB]
Get:19 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB]
Get:20 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB]
Get:21 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB]
Get:22 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB]
Get:23 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 0.22.5-4 [200 kB]
Get:24 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB]
Get:25 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB]
Get:26 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.40.4-1 [92.2 kB]
Get:27 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get:28 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB]
Get:29 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.19-5 [294 kB]
Get:30 http://localhost:9999/debian unstable/main amd64 autoconf all 2.72-3 [493 kB]
Get:31 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get:32 http://localhost:9999/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB]
Get:33 file:/rebuilt ./ libstdlib-ocaml 5.3.0-1~exp2+ocaml1 [604 kB]
Get:34 http://localhost:9999/debian unstable/main amd64 autopoint all 0.22.5-4 [723 kB]
Get:35 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB]
Get:36 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB]
Get:37 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [365 kB]
Get:38 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 13.23 [90.6 kB]
Get:39 http://localhost:9999/debian unstable/main amd64 libtool all 2.5.4-2 [539 kB]
Get:40 file:/rebuilt ./ ocaml-base 5.3.0-1~exp2+ocaml1 [494 kB]
Get:41 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB]
Get:42 file:/rebuilt ./ libfindlib-ocaml 1.9.6-3+ocaml1 [180 kB]
Get:43 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml1 [117 kB]
Get:44 file:/rebuilt ./ libcoq-core-ocaml 8.20.0+dfsg-1+ocaml1 [26.0 MB]
Get:45 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get:46 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB]
Get:47 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B]
Get:48 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get:49 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB]
Get:50 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB]
Get:51 http://localhost:9999/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB]
Get:52 http://localhost:9999/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB]
Get:53 http://localhost:9999/debian unstable/main amd64 gettext amd64 0.22.5-4 [1600 kB]
Get:54 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:55 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get:56 http://localhost:9999/debian unstable/main amd64 debhelper all 13.23 [919 kB]
Get:57 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get:58 http://localhost:9999/debian unstable/main amd64 libfakeroot amd64 1.36.2-1 [29.6 kB]
Get:59 http://localhost:9999/debian unstable/main amd64 fakeroot amd64 1.36.2-1 [75.4 kB]
Get:60 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB]
Get:61 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB]
Get:62 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB]
Get:63 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-1~exp2+ocaml1 [7889 kB]
Get:64 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-1~exp2+ocaml1 [48.2 MB]
Get:65 file:/rebuilt ./ ocaml-interp 5.3.0-1~exp2+ocaml1 [7105 kB]
Get:66 file:/rebuilt ./ ocaml 5.3.0-1~exp2+ocaml1 [18.0 MB]
Get:67 file:/rebuilt ./ ocaml-findlib 1.9.6-3+ocaml1 [581 kB]
Get:68 file:/rebuilt ./ coq 8.20.0+dfsg-1+ocaml1 [70.1 MB]
Get:69 file:/rebuilt ./ dh-coq 0.13+ocaml1 [7008 B]
Get:70 file:/rebuilt ./ dh-ocaml 2.4+ocaml1 [63.0 kB]
Get:71 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.6-3+ocaml1 [153 kB]
Get:72 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml1 [143 kB]
Get:73 file:/rebuilt ./ libcoq-core-ocaml-dev 8.20.0+dfsg-1+ocaml1 [68.7 MB]
Get:74 file:/rebuilt ./ libocamlgraph-ocaml-dev 2.1.0-3+ocaml1 [6726 kB]
Preconfiguring packages ...
Fetched 30.1 MB in 1s (38.9 MB/s)
Selecting previously unselected package libpython3.13-minimal:amd64.
(Reading database ... 11791 files and directories currently installed.)
Preparing to unpack .../libpython3.13-minimal_3.13.1-3_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.1-3) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.6.4-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.6.4-1) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.1-3_amd64.deb ...
Unpacking python3.13-minimal (3.13.1-3) ...
Setting up libpython3.13-minimal:amd64 (3.13.1-3) ...
Setting up libexpat1:amd64 (2.6.4-1) ...
Setting up python3.13-minimal (3.13.1-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12125 files and directories currently installed.)
Preparing to unpack .../00-python3-minimal_3.13.1-2_amd64.deb ...
Unpacking python3-minimal (3.13.1-2) ...
Selecting previously unselected package media-types.
Preparing to unpack .../01-media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../02-netbase_6.4_all.deb ...
Unpacking netbase (6.4) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../03-tzdata_2024b-6_all.deb ...
Unpacking tzdata (2024b-6) ...
Selecting previously unselected package libffi8:amd64.
Preparing to unpack .../04-libffi8_3.4.6-1_amd64.deb ...
Unpacking libffi8:amd64 (3.4.6-1) ...
Selecting previously unselected package libncursesw6:amd64.
Preparing to unpack .../05-libncursesw6_6.5-2+b1_amd64.deb ...
Unpacking libncursesw6:amd64 (6.5-2+b1) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../06-readline-common_8.2-6_all.deb ...
Unpacking readline-common (8.2-6) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../07-libreadline8t64_8.2-6_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.2-6) ...
Selecting previously unselected package libsqlite3-0:amd64.
Preparing to unpack .../08-libsqlite3-0_3.46.1-1_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.46.1-1) ...
Selecting previously unselected package libpython3.13-stdlib:amd64.
Preparing to unpack .../09-libpython3.13-stdlib_3.13.1-3_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.1-3) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../10-python3.13_3.13.1-3_amd64.deb ...
Unpacking python3.13 (3.13.1-3) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../11-libpython3-stdlib_3.13.1-2_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.13.1-2) ...
Setting up python3-minimal (3.13.1-2) ...
Selecting previously unselected package python3.
(Reading database ... 13152 files and directories currently installed.)
Preparing to unpack .../00-python3_3.13.1-2_amd64.deb ...
Unpacking python3 (3.13.1-2) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.22.5-4_amd64.deb ...
Unpacking gettext-base (0.22.5-4) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.23.0-7_amd64.deb ...
Unpacking groff-base (1.23.0-7) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.40.4-1_amd64.deb ...
Unpacking bsdextrautils (2.40.4-1) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-5_amd64.deb ...
Unpacking m4 (1.4.19-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-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.22.5-4_all.deb ...
Unpacking autopoint (0.22.5-4) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.20.0+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-stdlib (8.20.0+dfsg-1+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml-base (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../19-libfindlib-ocaml_1.9.6-3+ocaml1_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.6-3+ocaml1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-1+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_8.20.0+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml (8.20.0+dfsg-1+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml-interp (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.5-2+b1_amd64.deb ...
Unpacking libncurses6:amd64 (6.5-2+b1) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../26-libncurses-dev_6.5-2+b1_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5-2+b1) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../27-libzstd-dev_1.5.6+dfsg-2_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../28-ocaml_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../29-ocaml-findlib_1.9.6-3+ocaml1_amd64.deb ...
Unpacking ocaml-findlib (1.9.6-3+ocaml1) ...
Selecting previously unselected package coq.
Preparing to unpack .../30-coq_8.20.0+dfsg-1+ocaml1_amd64.deb ...
Unpacking coq (8.20.0+dfsg-1+ocaml1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../31-libdebhelper-perl_13.23_all.deb ...
Unpacking libdebhelper-perl (13.23) ...
Selecting previously unselected package libtool.
Preparing to unpack .../32-libtool_2.5.4-2_all.deb ...
Unpacking libtool (2.5.4-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../33-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../36-dh-strip-nondeterminism_1.14.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.0-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../37-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../38-dwz_0.15-1+b1_amd64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libunistring5:amd64.
Preparing to unpack .../39-libunistring5_1.3-1_amd64.deb ...
Unpacking libunistring5:amd64 (1.3-1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../40-libicu72_72.1-6_amd64.deb ...
Unpacking libicu72:amd64 (72.1-6) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../41-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../42-gettext_0.22.5-4_amd64.deb ...
Unpacking gettext (0.22.5-4) ...
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.23_all.deb ...
Unpacking debhelper (13.23) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../46-dh-coq_0.13+ocaml1_all.deb ...
Unpacking dh-coq (0.13+ocaml1) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../47-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../48-dh-ocaml_2.4+ocaml1_all.deb ...
Unpacking dh-ocaml (2.4+ocaml1) ...
Selecting previously unselected package libfakeroot:amd64.
Preparing to unpack .../49-libfakeroot_1.36.2-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.36.2-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../50-fakeroot_1.36.2-1_amd64.deb ...
Unpacking fakeroot (1.36.2-1) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../51-libfindlib-ocaml-dev_1.9.6-3+ocaml1_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.6-3+ocaml1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../52-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../53-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../54-libgmp3-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../55-libzarith-ocaml-dev_1.14-1+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-1+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../56-libcoq-core-ocaml-dev_8.20.0+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1+ocaml1) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../57-libocamlgraph-ocaml-dev_2.1.0-3+ocaml1_amd64.deb ...
Unpacking libocamlgraph-ocaml-dev (2.1.0-3+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 (10.1.0) ...
Setting up libpipeline1:amd64 (1.5.8-1) ...
Setting up libicu72:amd64 (72.1-6) ...
Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ...
Setting up bsdextrautils (2.40.4-1) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up dh-coq (0.13+ocaml1) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.23) ...
Setting up libsqlite3-0:amd64 (3.46.1-1) ...
Setting up libmagic1t64:amd64 (1:5.45-3+b1) ...
Setting up gettext-base (0.22.5-4) ...
Setting up m4 (1.4.19-5) ...
Setting up file (1:5.45-3+b1) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libfakeroot:amd64 (1.36.2-1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up tzdata (2024b-6) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Wed Jan 15 14:55:25 UTC 2025.
Universal Time is now:  Wed Jan 15 14:55:25 UTC 2025.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

Setting up fakeroot (1.36.2-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.20.0+dfsg-1+ocaml1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Setting up libncurses6:amd64 (6.5-2+b1) ...
Setting up libstdlib-ocaml (5.3.0-1~exp2+ocaml1) ...
Setting up libunistring5:amd64 (1.3-1) ...
Setting up autopoint (0.22.5-4) ...
Setting up ocaml-base (5.3.0-1~exp2+ocaml1) ...
Setting up libncursesw6:amd64 (6.5-2+b1) ...
Setting up autoconf (2.72-3) ...
Setting up libffi8:amd64 (3.4.6-1) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libuchardet0:amd64 (0.0.8-1+b2) ...
Setting up netbase (6.4) ...
Setting up readline-common (8.2-6) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
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.14.0-1) ...
Setting up libncurses-dev:amd64 (6.5-2+b1) ...
Setting up gettext (0.22.5-4) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Setting up libtool (2.5.4-2) ...
Setting up libstdlib-ocaml-dev (5.3.0-1~exp2+ocaml1) ...
Setting up dh-ocaml (2.4+ocaml1) ...
Setting up libfindlib-ocaml (1.9.6-3+ocaml1) ...
Setting up libzarith-ocaml (1.14-1+ocaml1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (5.3.0-1~exp2+ocaml1) ...
Setting up ocaml-interp (5.3.0-1~exp2+ocaml1) ...
Setting up ocaml-findlib (1.9.6-3+ocaml1) ...
Setting up libreadline8t64:amd64 (8.2-6) ...
Setting up dh-strip-nondeterminism (1.14.0-1) ...
Setting up libcoq-core-ocaml (8.20.0+dfsg-1+ocaml1) ...
Setting up groff-base (1.23.0-7) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ...
Setting up libpython3.13-stdlib:amd64 (3.13.1-3) ...
Setting up libpython3-stdlib:amd64 (3.13.1-2) ...
Setting up python3.13 (3.13.1-3) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up python3 (3.13.1-2) ...
Setting up ocaml (5.3.0-1~exp2+ocaml1) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libfindlib-ocaml-dev (1.9.6-3+ocaml1) ...
Setting up coq (8.20.0+dfsg-1+ocaml1) ...
Setting up libzarith-ocaml-dev (1.14-1+ocaml1) ...
Setting up libocamlgraph-ocaml-dev (2.1.0-3+ocaml1) ...
Setting up debhelper (13.23) ...
Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1+ocaml1) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.40-5) ...

+------------------------------------------------------------------------------+
| Check architectures                          Wed, 15 Jan 2025 14:55:32 +0000 |
+------------------------------------------------------------------------------+

Arch check ok (amd64 included in any)

+------------------------------------------------------------------------------+
| Build environment                            Wed, 15 Jan 2025 14:55:32 +0000 |
+------------------------------------------------------------------------------+

Kernel: Linux 6.12.6-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.6-1 (2024-12-21) amd64 (x86_64)
Toolchain package versions: binutils_2.43.50.20250108-1 dpkg-dev_1.22.13 g++-14_14.2.0-13 gcc-14_14.2.0-13 libc6-dev_2.40-5 libstdc++-14-dev_14.2.0-13 libstdc++6_14.2.0-13 linux-libc-dev_6.12.9-1
Package versions: apt_2.9.22 autoconf_2.72-3 automake_1:1.16.5-1.3 autopoint_0.22.5-4 autotools-dev_20220109.1 base-files_13.6 base-passwd_3.6.6 bash_5.2.37-1 binutils_2.43.50.20250108-1 binutils-common_2.43.50.20250108-1 binutils-x86-64-linux-gnu_2.43.50.20250108-1 bsdextrautils_2.40.4-1 bsdutils_1:2.40.4-1 build-essential_12.12 bzip2_1.0.8-6 coq_8.20.0+dfsg-1+ocaml1 coreutils_9.5-1+b1 cpp_4:14.2.0-1 cpp-14_14.2.0-13 cpp-14-x86-64-linux-gnu_14.2.0-13 cpp-x86-64-linux-gnu_4:14.2.0-1 dash_0.5.12-11 debconf_1.5.89 debhelper_13.23 debian-archive-keyring_2023.4 debianutils_5.21 dh-autoreconf_20 dh-coq_0.13+ocaml1 dh-ocaml_2.4+ocaml1 dh-strip-nondeterminism_1.14.0-1 diffutils_1:3.10-2 dpkg_1.22.13 dpkg-dev_1.22.13 dwz_0.15-1+b1 fakeroot_1.36.2-1 file_1:5.45-3+b1 findutils_4.10.0-3 g++_4:14.2.0-1 g++-14_14.2.0-13 g++-14-x86-64-linux-gnu_14.2.0-13 g++-x86-64-linux-gnu_4:14.2.0-1 gcc_4:14.2.0-1 gcc-14_14.2.0-13 gcc-14-base_14.2.0-13 gcc-14-x86-64-linux-gnu_14.2.0-13 gcc-x86-64-linux-gnu_4:14.2.0-1 gettext_0.22.5-4 gettext-base_0.22.5-4 grep_3.11-4 groff-base_1.23.0-7 gzip_1.12-1.2 hostname_3.25 init-system-helpers_1.68 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b1 libapt-pkg6.0t64_2.9.22 libarchive-zip-perl_1.68-1 libasan8_14.2.0-13 libatomic1_14.2.0-13 libattr1_1:2.5.2-2 libaudit-common_1:4.0.2-2 libaudit1_1:4.0.2-2 libbinutils_2.43.50.20250108-1 libblkid1_2.40.4-1 libbz2-1.0_1.0.8-6 libc-bin_2.40-5 libc-dev-bin_2.40-5 libc6_2.40-5 libc6-dev_2.40-5 libcap-ng0_0.8.5-4 libcap2_1:2.66-5+b1 libcc1-0_14.2.0-13 libcompiler-libs-ocaml-dev_5.3.0-1~exp2+ocaml1 libconfig-tiny-perl_2.30-1 libcoq-core-ocaml_8.20.0+dfsg-1+ocaml1 libcoq-core-ocaml-dev_8.20.0+dfsg-1+ocaml1 libcoq-stdlib_8.20.0+dfsg-1+ocaml1 libcrypt-dev_1:4.4.36-5 libcrypt1_1:4.4.36-5 libctf-nobfd0_2.43.50.20250108-1 libctf0_2.43.50.20250108-1 libdb5.3t64_5.3.28+dfsg2-9 libdebconfclient0_0.277 libdebhelper-perl_13.23 libdpkg-perl_1.22.13 libelf1t64_0.192-4 libexpat1_2.6.4-1 libfakeroot_1.36.2-1 libffi8_3.4.6-1 libfile-stripnondeterminism-perl_1.14.0-1 libfindlib-ocaml_1.9.6-3+ocaml1 libfindlib-ocaml-dev_1.9.6-3+ocaml1 libgcc-14-dev_14.2.0-13 libgcc-s1_14.2.0-13 libgdbm-compat4t64_1.24-2 libgdbm6t64_1.24-2 libgmp-dev_2:6.3.0+dfsg-3 libgmp10_2:6.3.0+dfsg-3 libgmp3-dev_2:6.3.0+dfsg-3 libgmpxx4ldbl_2:6.3.0+dfsg-3 libgomp1_14.2.0-13 libgprofng0_2.43.50.20250108-1 libhogweed6t64_3.10-1+b1 libhwasan0_14.2.0-13 libicu72_72.1-6 libisl23_0.27-1 libitm1_14.2.0-13 libjansson4_2.14-2+b3 liblsan0_14.2.0-13 liblz4-1_1.9.4-4 liblzma5_5.6.3-1+b1 libmagic-mgc_1:5.45-3+b1 libmagic1t64_1:5.45-3+b1 libmd0_1.1.0-2+b1 libmount1_2.40.4-1 libmpc3_1.3.1-1+b3 libmpfr6_4.2.1-1+b2 libncurses-dev_6.5-2+b1 libncurses6_6.5-2+b1 libncursesw6_6.5-2+b1 libnettle8t64_3.10-1+b1 libocamlgraph-ocaml-dev_2.1.0-3+ocaml1 libpam-modules_1.5.3-7+b1 libpam-modules-bin_1.5.3-7+b1 libpam-runtime_1.5.3-7 libpam0g_1.5.3-7+b1 libpcre2-8-0_10.44-5 libperl5.40_5.40.0-8 libpipeline1_1.5.8-1 libpython3-stdlib_3.13.1-2 libpython3.13-minimal_3.13.1-3 libpython3.13-stdlib_3.13.1-3 libquadmath0_14.2.0-13 libreadline8t64_8.2-6 libseccomp2_2.5.5-2 libselinux1_3.7-3+b1 libsframe1_2.43.50.20250108-1 libsmartcols1_2.40.4-1 libsqlite3-0_3.46.1-1 libssl3t64_3.4.0-2 libstdc++-14-dev_14.2.0-13 libstdc++6_14.2.0-13 libstdlib-ocaml_5.3.0-1~exp2+ocaml1 libstdlib-ocaml-dev_5.3.0-1~exp2+ocaml1 libsystemd0_257.2-1 libtinfo6_6.5-2+b1 libtool_2.5.4-2 libtsan2_14.2.0-13 libubsan1_14.2.0-13 libuchardet0_0.0.8-1+b2 libudev1_257.2-1 libunistring5_1.3-1 libuuid1_2.40.4-1 libxml2_2.12.7+dfsg+really2.9.14-0.2+b1 libxxhash0_0.8.3-2 libzarith-ocaml_1.14-1+ocaml1 libzarith-ocaml-dev_1.14-1+ocaml1 libzstd-dev_1.5.6+dfsg-2 libzstd1_1.5.6+dfsg-2 linux-libc-dev_6.12.9-1 m4_1.4.19-5 make_4.4.1-1 man-db_2.13.0-1 mawk_1.3.4.20240905-1 media-types_10.1.0 ncurses-base_6.5-2 ncurses-bin_6.5-2+b1 netbase_6.4 ocaml_5.3.0-1~exp2+ocaml1 ocaml-base_5.3.0-1~exp2+ocaml1 ocaml-findlib_1.9.6-3+ocaml1 ocaml-interp_5.3.0-1~exp2+ocaml1 openssl-provider-legacy_3.4.0-2 patch_2.7.6-7 perl_5.40.0-8 perl-base_5.40.0-8 perl-modules-5.40_5.40.0-8 po-debconf_1.0.21+nmu1 python3_3.13.1-2 python3-minimal_3.13.1-2 python3.13_3.13.1-3 python3.13-minimal_3.13.1-3 readline-common_8.2-6 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.24 sqv_1.2.1-5 sysvinit-utils_3.13-1 tar_1.35+dfsg-3.1 tzdata_2024b-6 util-linux_2.40.4-1 xz-utils_5.6.3-1+b1 zlib1g_1:1.3.dfsg+really1.3.1-1+b1

+------------------------------------------------------------------------------+
| Build                                        Wed, 15 Jan 2025 14:55:32 +0000 |
+------------------------------------------------------------------------------+


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

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.20-1+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/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
 922532048c53e8b23b3dbcb1b82da295a293b952 3220 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 668366791fd164cf21199f1062a8401b53698fb6b3a5178165e68e9730d52587 3220 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 dfb59460c294631fe976d936ce9eef4f 3220 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz

dpkg-source: warning: extracting unsigned source package (coq-dpdgraph_1.0+8.20-1+ocaml1.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+ocaml1.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

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=steph
MAKEFLAGS=
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SHELL=/bin/sh
USER=steph

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+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+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+ocaml1.debian.tar.xz
dpkg-source: info: building coq-dpdgraph in coq-dpdgraph_1.0+8.20-1+ocaml1.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.0
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'
COQPP searchdepend.mlg
COQPP graphdepend.mlg
CAMLDEP searchdepend.ml
CAMLDEP graphdepend.ml
OCAMLLIBDEP dpdgraph.mllib
COQDEP VFILES
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 Dpd_parse
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 Dpdusage
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_compute
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd2dot
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_dot
   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+ocaml1_amd64.deb'.
dpkg-deb: building package 'libcoq-dpdgraph-dbgsym' in '../libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb'.
dpkg-deb: building package 'coq-dpdgraph-tools' in '../coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb'.
 dpkg-genbuildinfo -O../coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 dpkg-genchanges -sa -O../coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.changes
dpkg-genchanges: info: including full source code in upload
 dpkg-source --after-build .
dpkg-buildpackage: info: full upload (original source is included)
--------------------------------------------------------------------------------
Build finished at 2025-01-15T14:55:44Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Changes                                      Wed, 15 Jan 2025 14:55:45 +0000 |
+------------------------------------------------------------------------------+


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

Format: 1.8
Date: Wed, 15 Jan 2025 15:53:40 +0100
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph libcoq-dpdgraph-dbgsym
Architecture: source amd64
Version: 1.0+8.20-1+ocaml1
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+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 deaf07cd4072ff37bca40ff97d63350071d75407 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 75c58e97ae4e4a3fa48b3920d2e24a6bd209748a 3220 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 559d0e5a3b44da3ca9b8ae70c36497774326c8da 1116812 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 d0fee79e8b15289bd8708b1ff916542c47849346 6967 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 bd80610c87b51428a7781a06e3ed3ee7e19eb104 5168 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 39028cd260564c796d9038788646e3aadd60b006 36676 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 ac8f862c855ae69b2e35397e497901eeb7e4ce4c4e1e39009941689c35d01c66 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 d4a2ddf94e2faed1c4db02642c53514eb0f82016cad179f96b31d8da268f9e7e 3220 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 a91f34037cbe1c005b62963658063bfa02f3eed24ffa535c3c3eb92076aa3dc7 1116812 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 688ac1f8fb96b6b8a7547c7bc9670b27781e9f6ed71269e008358e4c5ec1d8d7 6967 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 f58d031350d952cb2c05e729062f0e3ccef2b2d3c66cf372a70673c50832aeb2 5168 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 c42aa28d695d21000144bfa47635894cd36b0ccfc76aa867d6f7d41aa2f45ac8 36676 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Files:
 5477728a586b97c4fe6fbc83afcdc3ec 1338 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 ocaml optional coq-dpdgraph_1.0+8.20.orig.tar.gz
 522384f53f7235892f8710028486ede0 3220 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 c9af84fb5f8b40c575ed1114c3f69daa 1116812 ocaml optional coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 54dea62be267869d54d77d2a367d1b27 6967 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 90b04414a8d432112acdd776910b501b 5168 debug optional libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 d31f69b2b94858396f699a4e3f1bfadc 36676 ocaml optional libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb

+------------------------------------------------------------------------------+
| Buildinfo                                    Wed, 15 Jan 2025 14:55:45 +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+ocaml1
Checksums-Md5:
 5477728a586b97c4fe6fbc83afcdc3ec 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 c9af84fb5f8b40c575ed1114c3f69daa 1116812 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 90b04414a8d432112acdd776910b501b 5168 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 d31f69b2b94858396f699a4e3f1bfadc 36676 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Checksums-Sha1:
 deaf07cd4072ff37bca40ff97d63350071d75407 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 559d0e5a3b44da3ca9b8ae70c36497774326c8da 1116812 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 bd80610c87b51428a7781a06e3ed3ee7e19eb104 5168 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 39028cd260564c796d9038788646e3aadd60b006 36676 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 ac8f862c855ae69b2e35397e497901eeb7e4ce4c4e1e39009941689c35d01c66 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 a91f34037cbe1c005b62963658063bfa02f3eed24ffa535c3c3eb92076aa3dc7 1116812 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 f58d031350d952cb2c05e729062f0e3ccef2b2d3c66cf372a70673c50832aeb2 5168 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 c42aa28d695d21000144bfa47635894cd36b0ccfc76aa867d6f7d41aa2f45ac8 36676 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Build-Origin: Debian
Build-Architecture: amd64
Build-Date: Wed, 15 Jan 2025 14:55:44 +0000
Build-Path: /build/reproducible-path/coq-dpdgraph-1.0+8.20
Installed-Build-Depends:
 autoconf (= 2.72-3),
 automake (= 1:1.16.5-1.3),
 autopoint (= 0.22.5-4),
 autotools-dev (= 20220109.1),
 base-files (= 13.6),
 base-passwd (= 3.6.6),
 bash (= 5.2.37-1),
 binutils (= 2.43.50.20250108-1),
 binutils-common (= 2.43.50.20250108-1),
 binutils-x86-64-linux-gnu (= 2.43.50.20250108-1),
 bsdextrautils (= 2.40.4-1),
 bsdutils (= 1:2.40.4-1),
 build-essential (= 12.12),
 bzip2 (= 1.0.8-6),
 coq (= 8.20.0+dfsg-1+ocaml1),
 coreutils (= 9.5-1+b1),
 cpp (= 4:14.2.0-1),
 cpp-14 (= 14.2.0-13),
 cpp-14-x86-64-linux-gnu (= 14.2.0-13),
 cpp-x86-64-linux-gnu (= 4:14.2.0-1),
 dash (= 0.5.12-11),
 debconf (= 1.5.89),
 debhelper (= 13.23),
 debianutils (= 5.21),
 dh-autoreconf (= 20),
 dh-coq (= 0.13+ocaml1),
 dh-ocaml (= 2.4+ocaml1),
 dh-strip-nondeterminism (= 1.14.0-1),
 diffutils (= 1:3.10-2),
 dpkg (= 1.22.13),
 dpkg-dev (= 1.22.13),
 dwz (= 0.15-1+b1),
 file (= 1:5.45-3+b1),
 findutils (= 4.10.0-3),
 g++ (= 4:14.2.0-1),
 g++-14 (= 14.2.0-13),
 g++-14-x86-64-linux-gnu (= 14.2.0-13),
 g++-x86-64-linux-gnu (= 4:14.2.0-1),
 gcc (= 4:14.2.0-1),
 gcc-14 (= 14.2.0-13),
 gcc-14-base (= 14.2.0-13),
 gcc-14-x86-64-linux-gnu (= 14.2.0-13),
 gcc-x86-64-linux-gnu (= 4:14.2.0-1),
 gettext (= 0.22.5-4),
 gettext-base (= 0.22.5-4),
 grep (= 3.11-4),
 groff-base (= 1.23.0-7),
 gzip (= 1.12-1.2),
 hostname (= 3.25),
 init-system-helpers (= 1.68),
 intltool-debian (= 0.35.0+20060710.6),
 libacl1 (= 2.3.2-2+b1),
 libarchive-zip-perl (= 1.68-1),
 libasan8 (= 14.2.0-13),
 libatomic1 (= 14.2.0-13),
 libattr1 (= 1:2.5.2-2),
 libaudit-common (= 1:4.0.2-2),
 libaudit1 (= 1:4.0.2-2),
 libbinutils (= 2.43.50.20250108-1),
 libblkid1 (= 2.40.4-1),
 libbz2-1.0 (= 1.0.8-6),
 libc-bin (= 2.40-5),
 libc-dev-bin (= 2.40-5),
 libc6 (= 2.40-5),
 libc6-dev (= 2.40-5),
 libcap-ng0 (= 0.8.5-4),
 libcap2 (= 1:2.66-5+b1),
 libcc1-0 (= 14.2.0-13),
 libcompiler-libs-ocaml-dev (= 5.3.0-1~exp2+ocaml1),
 libconfig-tiny-perl (= 2.30-1),
 libcoq-core-ocaml (= 8.20.0+dfsg-1+ocaml1),
 libcoq-core-ocaml-dev (= 8.20.0+dfsg-1+ocaml1),
 libcoq-stdlib (= 8.20.0+dfsg-1+ocaml1),
 libcrypt-dev (= 1:4.4.36-5),
 libcrypt1 (= 1:4.4.36-5),
 libctf-nobfd0 (= 2.43.50.20250108-1),
 libctf0 (= 2.43.50.20250108-1),
 libdb5.3t64 (= 5.3.28+dfsg2-9),
 libdebconfclient0 (= 0.277),
 libdebhelper-perl (= 13.23),
 libdpkg-perl (= 1.22.13),
 libelf1t64 (= 0.192-4),
 libexpat1 (= 2.6.4-1),
 libffi8 (= 3.4.6-1),
 libfile-stripnondeterminism-perl (= 1.14.0-1),
 libfindlib-ocaml (= 1.9.6-3+ocaml1),
 libfindlib-ocaml-dev (= 1.9.6-3+ocaml1),
 libgcc-14-dev (= 14.2.0-13),
 libgcc-s1 (= 14.2.0-13),
 libgdbm-compat4t64 (= 1.24-2),
 libgdbm6t64 (= 1.24-2),
 libgmp-dev (= 2:6.3.0+dfsg-3),
 libgmp10 (= 2:6.3.0+dfsg-3),
 libgmp3-dev (= 2:6.3.0+dfsg-3),
 libgmpxx4ldbl (= 2:6.3.0+dfsg-3),
 libgomp1 (= 14.2.0-13),
 libgprofng0 (= 2.43.50.20250108-1),
 libhwasan0 (= 14.2.0-13),
 libicu72 (= 72.1-6),
 libisl23 (= 0.27-1),
 libitm1 (= 14.2.0-13),
 libjansson4 (= 2.14-2+b3),
 liblsan0 (= 14.2.0-13),
 liblzma5 (= 5.6.3-1+b1),
 libmagic-mgc (= 1:5.45-3+b1),
 libmagic1t64 (= 1:5.45-3+b1),
 libmd0 (= 1.1.0-2+b1),
 libmount1 (= 2.40.4-1),
 libmpc3 (= 1.3.1-1+b3),
 libmpfr6 (= 4.2.1-1+b2),
 libncurses-dev (= 6.5-2+b1),
 libncurses6 (= 6.5-2+b1),
 libncursesw6 (= 6.5-2+b1),
 libocamlgraph-ocaml-dev (= 2.1.0-3+ocaml1),
 libpam-modules (= 1.5.3-7+b1),
 libpam-modules-bin (= 1.5.3-7+b1),
 libpam-runtime (= 1.5.3-7),
 libpam0g (= 1.5.3-7+b1),
 libpcre2-8-0 (= 10.44-5),
 libperl5.40 (= 5.40.0-8),
 libpipeline1 (= 1.5.8-1),
 libpython3-stdlib (= 3.13.1-2),
 libpython3.13-minimal (= 3.13.1-3),
 libpython3.13-stdlib (= 3.13.1-3),
 libquadmath0 (= 14.2.0-13),
 libreadline8t64 (= 8.2-6),
 libseccomp2 (= 2.5.5-2),
 libselinux1 (= 3.7-3+b1),
 libsframe1 (= 2.43.50.20250108-1),
 libsmartcols1 (= 2.40.4-1),
 libsqlite3-0 (= 3.46.1-1),
 libssl3t64 (= 3.4.0-2),
 libstdc++-14-dev (= 14.2.0-13),
 libstdc++6 (= 14.2.0-13),
 libstdlib-ocaml (= 5.3.0-1~exp2+ocaml1),
 libstdlib-ocaml-dev (= 5.3.0-1~exp2+ocaml1),
 libsystemd0 (= 257.2-1),
 libtinfo6 (= 6.5-2+b1),
 libtool (= 2.5.4-2),
 libtsan2 (= 14.2.0-13),
 libubsan1 (= 14.2.0-13),
 libuchardet0 (= 0.0.8-1+b2),
 libudev1 (= 257.2-1),
 libunistring5 (= 1.3-1),
 libuuid1 (= 2.40.4-1),
 libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1),
 libzarith-ocaml (= 1.14-1+ocaml1),
 libzarith-ocaml-dev (= 1.14-1+ocaml1),
 libzstd-dev (= 1.5.6+dfsg-2),
 libzstd1 (= 1.5.6+dfsg-2),
 linux-libc-dev (= 6.12.9-1),
 m4 (= 1.4.19-5),
 make (= 4.4.1-1),
 man-db (= 2.13.0-1),
 mawk (= 1.3.4.20240905-1),
 media-types (= 10.1.0),
 ncurses-base (= 6.5-2),
 ncurses-bin (= 6.5-2+b1),
 netbase (= 6.4),
 ocaml (= 5.3.0-1~exp2+ocaml1),
 ocaml-base (= 5.3.0-1~exp2+ocaml1),
 ocaml-findlib (= 1.9.6-3+ocaml1),
 ocaml-interp (= 5.3.0-1~exp2+ocaml1),
 openssl-provider-legacy (= 3.4.0-2),
 patch (= 2.7.6-7),
 perl (= 5.40.0-8),
 perl-base (= 5.40.0-8),
 perl-modules-5.40 (= 5.40.0-8),
 po-debconf (= 1.0.21+nmu1),
 python3 (= 3.13.1-2),
 python3-minimal (= 3.13.1-2),
 python3.13 (= 3.13.1-3),
 python3.13-minimal (= 3.13.1-3),
 readline-common (= 8.2-6),
 rpcsvc-proto (= 1.4.3-1),
 sed (= 4.9-2),
 sensible-utils (= 0.0.24),
 sysvinit-utils (= 3.13-1),
 tar (= 1.35+dfsg-3.1),
 tzdata (= 2024b-6),
 util-linux (= 2.40.4-1),
 xz-utils (= 5.6.3-1+b1),
 zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1)
Environment:
 DEB_BUILD_OPTIONS="parallel=1"
 LANG="C.UTF-8"
 LC_COLLATE="C.UTF-8"
 LC_CTYPE="C.UTF-8"
 MAKEFLAGS=""
 SOURCE_DATE_EPOCH="1736952820"


+------------------------------------------------------------------------------+
| Package contents                             Wed, 15 Jan 2025 14:55:45 +0000 |
+------------------------------------------------------------------------------+


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

 new Debian package, version 2.0.
 size 1116812 bytes: control archive=872 bytes.
     674 bytes,    18 lines      control
     478 bytes,     7 lines      md5sums
 Package: coq-dpdgraph-tools
 Source: coq-dpdgraph
 Version: 1.0+8.20-1+ocaml1
 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-01-15 14:53 ./
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/bin/
-rwxr-xr-x root/root   4040113 2025-01-15 14:53 ./usr/bin/dpd2dot
-rwxr-xr-x root/root   4040260 2025-01-15 14:53 ./usr/bin/dpdusage
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/doc/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/doc/coq-dpdgraph-tools/
-rw-r--r-- root/root       618 2025-01-15 14:53 ./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-01-15 14:53 ./usr/share/man/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/man/man1/
-rw-r--r-- root/root       358 2025-01-15 14:53 ./usr/share/man/man1/dpd2dot.1.gz
-rw-r--r-- root/root       360 2025-01-15 14:53 ./usr/share/man/man1/dpdusage.1.gz


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

 new Debian package, version 2.0.
 size 5168 bytes: control archive=544 bytes.
     408 bytes,    12 lines      control
     106 bytes,     1 lines      md5sums
 Package: libcoq-dpdgraph-dbgsym
 Source: coq-dpdgraph
 Version: 1.0+8.20-1+ocaml1
 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+ocaml1)
 Section: debug
 Priority: optional
 Description: debug symbols for libcoq-dpdgraph
 Build-Ids: 339e9d6111b4a28345a79603fdd7f0c3ded5d245

drwxr-xr-x root/root         0 2025-01-15 14:53 ./
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/debug/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/debug/.build-id/33/
-rw-r--r-- root/root     19928 2025-01-15 14:53 ./usr/lib/debug/.build-id/33/9e9d6111b4a28345a79603fdd7f0c3ded5d245.debug
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/doc/
lrwxrwxrwx root/root         0 2025-01-15 14:53 ./usr/share/doc/libcoq-dpdgraph-dbgsym -> libcoq-dpdgraph


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

 new Debian package, version 2.0.
 size 36676 bytes: control archive=1096 bytes.
     641 bytes,    18 lines      control
    1518 bytes,    16 lines      md5sums
 Package: libcoq-dpdgraph
 Source: coq-dpdgraph
 Version: 1.0+8.20-1+ocaml1
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 252
 Depends: libcoq-stdlib-qgtg6
 Provides: libcoq-dpdgraph-e7rc9
 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-01-15 14:53 ./
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/
-rw-r--r-- root/root       195 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/META
-rw-r--r-- root/root     12787 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxa
-rw-r--r-- root/root     84424 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxs
-rw-r--r-- root/root     12087 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/graphdepend.cmi
-rw-r--r-- root/root     14664 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/graphdepend.cmx
-rw-r--r-- root/root      6537 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/searchdepend.cmi
-rw-r--r-- root/root      7410 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/searchdepend.cmx
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/
-rw-r--r-- root/root     84424 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.cmxs
-rw-r--r-- root/root        59 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.glob
-rw-r--r-- root/root        41 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.v
-rw-r--r-- root/root       554 2025-01-15 14:53 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.vo
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/doc/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./usr/share/doc/libcoq-dpdgraph/
-rw-r--r-- root/root       618 2025-01-15 14:53 ./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-01-15 14:53 ./usr/share/lintian/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./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-01-15 14:53 ./var/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./var/lib/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./var/lib/coq/
drwxr-xr-x root/root         0 2025-01-15 14:53 ./var/lib/coq/md5sums/
-rw-r--r-- root/root         5 2025-01-15 14:53 ./var/lib/coq/md5sums/libcoq-dpdgraph.checksum


+------------------------------------------------------------------------------+
| Post Build                                   Wed, 15 Jan 2025 14:55:46 +0000 |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                      Wed, 15 Jan 2025 14:55:46 +0000 |
+------------------------------------------------------------------------------+

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

+------------------------------------------------------------------------------+
| Summary                                      Wed, 15 Jan 2025 14:55:47 +0000 |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build Type: full
Build-Space: 28760
Build-Time: 11
Distribution: unstable
Host Architecture: amd64
Install-Time: 104
Job: /tmp/tmp.ben.transition-scripts.y6OhAuBJna/coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
Machine Architecture: amd64
Package: coq-dpdgraph
Package-Time: 124
Source-Version: 1.0+8.20-1+ocaml1
Space: 28760
Status: successful
Version: 1.0+8.20-1+ocaml1
--------------------------------------------------------------------------------
Finished at 2025-01-15T14:55:44Z
Build needed 00:02:04, 28760k disk space