sbuild (Debian sbuild) 0.91.11 (30 October 2026) on cil.up7.fr +==============================================================================+ | coq-dpdgraph 1.0+9.1-2+ocaml1 (amd64) Fri, 06 Nov 2026 22:44:26 +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/20261106/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.UE8P5N6YIi... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Fri, 06 Nov 2026 22:44:45 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 1346 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Fri, 06 Nov 2026 22:45:27 +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 [1305 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.8 kB] Get:8 http://localhost:9999/debian unstable/non-free amd64 Packages [133 kB] Get:9 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [11.7 kB] Fetched 11.2 MB in 1s (7517 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: cpp cpp-x86-64-linux-gnu g++ g++-x86-64-linux-gnu gcc gcc-x86-64-linux-gnu 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 15.2 kB of archives. After this operation, 0 B of additional disk space will be used. Get:1 http://localhost:9999/debian unstable/main amd64 g++-x86-64-linux-gnu amd64 4:16.2.0-1 [1196 B] Get:2 http://localhost:9999/debian unstable/main amd64 g++ amd64 4:16.2.0-1 [1344 B] Get:3 http://localhost:9999/debian unstable/main amd64 gcc-x86-64-linux-gnu amd64 4:16.2.0-1 [1436 B] Get:4 http://localhost:9999/debian unstable/main amd64 gcc amd64 4:16.2.0-1 [5144 B] Get:5 http://localhost:9999/debian unstable/main amd64 cpp amd64 4:16.2.0-1 [1568 B] Get:6 http://localhost:9999/debian unstable/main amd64 cpp-x86-64-linux-gnu amd64 4:16.2.0-1 [4532 B] Fetched 15.2 kB in 0s (132 kB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11995 files and directories currently installed.) Preparing to unpack .../0-g++-x86-64-linux-gnu_4%3a16.2.0-1_amd64.deb ... Unpacking g++-x86-64-linux-gnu (4:16.2.0-1) over (4:16.1.0-3) ... Preparing to unpack .../1-g++_4%3a16.2.0-1_amd64.deb ... Unpacking g++ (4:16.2.0-1) over (4:16.1.0-3) ... Preparing to unpack .../2-gcc-x86-64-linux-gnu_4%3a16.2.0-1_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:16.2.0-1) over (4:16.1.0-3) ... Preparing to unpack .../3-gcc_4%3a16.2.0-1_amd64.deb ... Unpacking gcc (4:16.2.0-1) over (4:16.1.0-3) ... Preparing to unpack .../4-cpp_4%3a16.2.0-1_amd64.deb ... Unpacking cpp (4:16.2.0-1) over (4:16.1.0-3) ... Preparing to unpack .../5-cpp-x86-64-linux-gnu_4%3a16.2.0-1_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:16.2.0-1) over (4:16.1.0-3) ... Setting up cpp-x86-64-linux-gnu (4:16.2.0-1) ... Setting up gcc-x86-64-linux-gnu (4:16.2.0-1) ... Setting up cpp (4:16.2.0-1) ... Setting up g++-x86-64-linux-gnu (4:16.2.0-1) ... Setting up gcc (4:16.2.0-1) ... Setting up g++ (4:16.2.0-1) ... +------------------------------------------------------------------------------+ | Fetch source files Fri, 06 Nov 2026 22:45:33 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.aBIlwkwSVA/coq-dpdgraph_1.0+9.1-2+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.aBIlwkwSVA; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Fri, 06 Nov 2026 22:45:36 +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-1xqlcG/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-1xqlcG/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-1xqlcG/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-1xqlcG/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-1xqlcG/apt_archive ./ Sources [693 B] Get:5 copy:/build/reproducible-path/resolver-1xqlcG/apt_archive ./ Packages [732 B] Fetched 2034 B in 0s (202 kB/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... 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 libqjs0 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 qjs 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 python3-requests libarchive-cpio-perl libjson-xs-perl libgpm2 ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl ca-certificates qjs-doc 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 libqjs0 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 qjs readline-common sbuild-build-depends-main-dummy sensible-utils tzdata 0 upgraded, 75 newly installed, 0 to remove and 0 not upgraded. Need to get 24.1 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 [1153 kB] Get:2 copy:/build/reproducible-path/resolver-1xqlcG/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [896 B] Get:3 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.5.2-1~exp1+ocaml1 [433 kB] Get:4 file:/repo rebuilt/main amd64 ocaml-base amd64 5.5.2-1~exp1+ocaml1 [554 kB] Get:5 file:/repo rebuilt/main amd64 libfindlib-ocaml amd64 1.9.8-1+ocaml1 [204 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.10.0-1 [135 kB] Get:9 http://localhost:9999/debian unstable/main amd64 libpython3.14-minimal amd64 3.14.10-1 [905 kB] Get:10 http://localhost:9999/debian unstable/main amd64 python3.14-minimal amd64 3.14.10-1 [2734 kB] Get:11 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.14.8-1 [25.8 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 2026f-1 [263 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.54.1-2 [1020 kB] Get:20 http://localhost:9999/debian unstable/main amd64 libpython3.14-stdlib amd64 3.14.10-1 [2360 kB] Get:21 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.5.2-1~exp1+ocaml1 [7117 kB] Get:22 http://localhost:9999/debian unstable/main amd64 python3.14 amd64 3.14.10-1 [884 kB] Get:23 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.14.8-1 [8520 B] Get:24 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.14.8-1 [26.3 kB] Get:25 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:26 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-4 [345 kB] Get:27 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB] Get:28 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB] Get:29 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 1.0-5 [334 kB] Get:30 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB] Get:31 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.2-2 [1365 kB] Get:32 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.5.2-1~exp1+ocaml1 [41.7 MB] Get:33 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42.4-1 [103 kB] Get:34 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Get:35 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:36 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Get:37 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB] Get:38 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:39 http://localhost:9999/debian unstable/main amd64 automake all 1:1.19-3 [892 kB] Get:40 http://localhost:9999/debian unstable/main amd64 autopoint all 1.0-5 [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.5 [77.7 kB] Get:45 http://localhost:9999/debian unstable/main amd64 libtool all 2.6.2-3 [552 kB] Get:46 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 23 [12.7 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+b1 [684 kB] Get:54 http://localhost:9999/debian unstable/main amd64 gettext amd64 1.0-5 [2704 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.5 [944 kB] Get:58 http://localhost:9999/debian unstable/main amd64 libqjs0 amd64 0.18.0-1 [524 kB] Get:59 http://localhost:9999/debian unstable/main amd64 qjs amd64 0.18.0-1 [33.9 kB] Get:60 http://localhost:9999/debian unstable/main amd64 libjson-perl all 4.10000-1 [87.5 kB] Get:61 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:62 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b2 [328 kB] Get:63 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b2 [641 kB] Get:64 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b2 [321 kB] Get:65 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.5.2-1~exp1+ocaml1 [8224 kB] Get:66 file:/repo rebuilt/main amd64 ocaml amd64 5.5.2-1~exp1+ocaml1 [19.7 MB] Get:67 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [627 kB] Get:68 file:/repo rebuilt/main amd64 coq amd64 9.2.0+dfsg-4+ocaml1 [43.3 MB] Get:69 file:/repo rebuilt/main amd64 dh-coq all 0.17+ocaml1 [7040 B] Get:70 file:/repo rebuilt/main amd64 dh-ocaml all 3.9+ocaml1 [202 kB] Get:71 file:/repo rebuilt/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+ocaml1 [177 kB] Get:72 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-4+ocaml1 [112 kB] Get:73 file:/repo rebuilt/main amd64 libcoq-core-ocaml-dev amd64 9.2.0+dfsg-4+ocaml1 [57.2 MB] Get:74 file:/repo rebuilt/main amd64 libcoq-stdlib amd64 9.2.0-1+ocaml1 [20.1 MB] Get:75 file:/repo rebuilt/main amd64 libocamlgraph-ocaml-dev amd64 2.2.0-2+ocaml1 [5901 kB] Preconfiguring packages ... Fetched 24.1 MB in 1s (21.7 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 11995 files and directories currently installed.) Preparing to unpack .../libexpat1_2.10.0-1_amd64.deb ... Unpacking libexpat1:amd64 (2.10.0-1) ... Selecting previously unselected package libpython3.14-minimal:amd64. Preparing to unpack .../libpython3.14-minimal_3.14.10-1_amd64.deb ... Unpacking libpython3.14-minimal:amd64 (3.14.10-1) ... Selecting previously unselected package python3.14-minimal. Preparing to unpack .../python3.14-minimal_3.14.10-1_amd64.deb ... Unpacking python3.14-minimal (3.14.10-1) ... Setting up libpython3.14-minimal:amd64 (3.14.10-1) ... Setting up libexpat1:amd64 (2.10.0-1) ... Setting up python3.14-minimal (3.14.10-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 12351 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.14.8-1_amd64.deb ... Unpacking python3-minimal (3.14.8-1) ... 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_2026f-1_all.deb ... Unpacking tzdata (2026f-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.54.1-2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.54.1-2) ... Selecting previously unselected package libpython3.14-stdlib:amd64. Preparing to unpack .../09-libpython3.14-stdlib_3.14.10-1_amd64.deb ... Unpacking libpython3.14-stdlib:amd64 (3.14.10-1) ... Selecting previously unselected package python3.14. Preparing to unpack .../10-python3.14_3.14.10-1_amd64.deb ... Unpacking python3.14 (3.14.10-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../11-libpython3-stdlib_3.14.8-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.14.8-1) ... Setting up python3-minimal (3.14.8-1) ... Selecting previously unselected package python3. (Reading database ... 13397 files and directories currently installed.) Preparing to unpack .../00-python3_3.14.8-1_amd64.deb ... Unpacking python3 (3.14.8-1) ... 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-5_amd64.deb ... Unpacking gettext-base (1.0-5) ... 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.2-2_amd64.deb ... Unpacking groff-base (1.24.2-2) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.42.4-1_amd64.deb ... Unpacking bsdextrautils (2.42.4-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.19-3_all.deb ... Unpacking automake (1:1.19-3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_1.0-5_all.deb ... Unpacking autopoint (1.0-5) ... 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.2-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.5.2-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../18-ocaml-base_5.5.2-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-base (5.5.2-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.2-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.5.2-1~exp1+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.5.2-1~exp1+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.5.2-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_5.5.2-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.5.2-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.2-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml (5.5.2-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.5_all.deb ... Unpacking libdebhelper-perl (14.5) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.6.2-3_all.deb ... Unpacking libtool (2.6.2-3) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_23_all.deb ... Unpacking dh-autoreconf (23) ... 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+b1_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.4+dfsg-1+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_1.0-5_amd64.deb ... Unpacking gettext (1.0-5) ... 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.5_all.deb ... Unpacking debhelper (14.5) ... 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 libqjs0:amd64. Preparing to unpack .../46-libqjs0_0.18.0-1_amd64.deb ... Unpacking libqjs0:amd64 (0.18.0-1) ... Selecting previously unselected package qjs. Preparing to unpack .../47-qjs_0.18.0-1_amd64.deb ... Unpacking qjs (0.18.0-1) ... Selecting previously unselected package libjson-perl. Preparing to unpack .../48-libjson-perl_4.10000-1_all.deb ... Unpacking libjson-perl (4.10000-1) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../49-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../50-dh-ocaml_3.9+ocaml1_all.deb ... Unpacking dh-ocaml (3.9+ocaml1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../51-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 .../52-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 .../53-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 .../54-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 .../55-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 .../56-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 .../57-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 .../58-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 .../59-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.4-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+b1) ... Setting up libdebhelper-perl (14.5) ... Setting up libsqlite3-0:amd64 (3.54.1-2) ... Setting up libmagic1t64:amd64 (1:5.47-4) ... Setting up gettext-base (1.0-5) ... 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 libqjs0:amd64 (0.18.0-1) ... Setting up libelf1t64:amd64 (0.196-1) ... Setting up tzdata (2026f-1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Nov 6 22:46:15 UTC 2026. Universal Time is now: Fri Nov 6 22:46:15 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.2-1~exp1+ocaml1) ... Setting up libunistring5:amd64 (1.4.2-1) ... Setting up autopoint (1.0-5) ... Setting up ocaml-base (5.5.2-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.19-3) ... update-alternatives: using /usr/bin/automake-1.19 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-5) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up qjs (0.18.0-1) ... update-alternatives: using /usr/bin/qjs to provide /usr/bin/js (js) in auto mode Setting up libtool (2.6.2-3) ... Setting up libstdlib-ocaml-dev (5.5.2-1~exp1+ocaml1) ... Setting up dh-ocaml (3.9+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 (23) ... Setting up libcompiler-libs-ocaml-dev (5.5.2-1~exp1+ocaml1) ... Setting up ocaml-interp (5.5.2-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.2-2) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up libpython3.14-stdlib:amd64 (3.14.10-1) ... Setting up po-debconf (1.0.22) ... Setting up ocaml (5.5.2-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.10-1) ... Setting up libpython3-stdlib:amd64 (3.14.8-1) ... Setting up libocamlgraph-ocaml-dev (2.2.0-2+ocaml1) ... Setting up debhelper (14.5) ... Setting up python3 (3.14.8-1) ... 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-7) ... +------------------------------------------------------------------------------+ | Check architectures Fri, 06 Nov 2026 22:46:18 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Fri, 06 Nov 2026 22:46:19 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 7.2.12+deb14-amd64 #1 SMP PREEMPT_DYNAMIC Debian 7.2.12-1 (2026-10-22) amd64 (x86_64) Toolchain package versions: binutils_2.47.50.20261021-1 dpkg-dev_1.23.11 g++-16_16.2.0-4 gcc-16_16.2.0-4 libc6-dev_2.43-7 libstdc++-16-dev_16.2.0-4 libstdc++6_16.2.0-4 linux-libc-dev_7.2.15-1 Package versions: apt_3.3.7 apt-utils_3.3.7 autoconf_2.73-2 automake_1:1.19-3 autopoint_1.0-5 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-4 binutils_2.47.50.20261021-1 binutils-common_2.47.50.20261021-1 binutils-x86-64-linux-gnu_2.47.50.20261021-1 bsdextrautils_2.42.4-1 build-essential_12.12 bzip2_1.0.8-6+b2 coq_9.2.0+dfsg-4+ocaml1 coreutils_9.12-0.3 cpp_4:16.2.0-1 cpp-16_16.2.0-4 cpp-16-x86-64-linux-gnu_16.2.0-4 cpp-x86-64-linux-gnu_4:16.2.0-1 dash_0.5.12-12 debconf_1.5.92 debhelper_14.5 debian-archive-keyring_2025.1 debianutils_5.24 dh-autoreconf_23 dh-coq_0.17+ocaml1 dh-ocaml_3.9+ocaml1 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.11 dpkg-dev_1.23.11 dwz_0.17-1 file_1:5.47-4 findutils_4.11.0-3 g++_4:16.2.0-1 g++-16_16.2.0-4 g++-16-x86-64-linux-gnu_16.2.0-4 g++-x86-64-linux-gnu_4:16.2.0-1 gcc_4:16.2.0-1 gcc-16_16.2.0-4 gcc-16-base_16.2.0-4 gcc-16-x86-64-linux-gnu_16.2.0-4 gcc-x86-64-linux-gnu_4:16.2.0-1 gettext_1.0-5 gettext-base_1.0-5 grep_3.12-1 groff-base_1.24.2-2 gzip_1.14-1 hostname_3.25 init-system-helpers_1.69+nmu3 intltool-debian_0.35.0+20060710.6 libacl1_2.4.0-1 libapt-pkg7.0_3.3.7 libarchive-zip-perl_1.68-1 libasan8_16.2.0-4 libatomic1_16.2.0-4 libattr1_1:2.6.0-1 libaudit-common_1:4.2.1-1 libaudit1_1:4.2.1-1+b1 libbinutils_2.47.50.20261021-1 libblkid1_2.42.4-1 libbz2-1.0_1.0.8-6+b2 libc-bin_2.43-7 libc-dev-bin_2.43-7 libc-gconv-modules-extra_2.43-7 libc6_2.43-7 libc6-dev_2.43-7 libcap-ng0_0.9.6-1+b1 libcap2_1:2.78-1+b1 libcc1-0_16.2.0-4 libcompiler-libs-ocaml-dev_5.5.2-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.50.20261021-1 libctf0_2.47.50.20261021-1 libdb5.3t64_5.3.28+dfsg2-12 libdebconfclient0_0.283 libdebhelper-perl_14.5 libdpkg-perl_1.23.11 libelf1t64_0.196-1 libexpat1_2.10.0-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-4 libgcc-s1_16.2.0-4 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-4 libgprofng0_2.47.50.20261021-1 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.2.0-4 libisl23_0.28-1 libitm1_16.2.0-4 libjansson4_2.15.1-1 libjson-perl_4.10000-1 liblsan0_16.2.0-4 liblz4-1_1.10.0-10 liblzma5_5.8.4-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.3.0-1 libmount1_2.42.4-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.49-1 libperl5.42_5.42.3-1 libpipeline1_1.5.8-3 libpython3-stdlib_3.14.8-1 libpython3.14-minimal_3.14.10-1 libpython3.14-stdlib_3.14.10-1 libqjs0_0.18.0-1 libquadmath0_16.2.0-4 libreadline8t64_8.3-4 libseccomp2_2.6.1-1+b2 libselinux1_3.11-2.1+b1 libsframe3_2.47.50.20261021-1 libsmartcols1_2.42.4-1 libsqlite3-0_3.54.1-2 libssl3t64_3.6.5-1 libstdc++-16-dev_16.2.0-4 libstdc++6_16.2.0-4 libstdlib-ocaml_5.5.2-1~exp1+ocaml1 libstdlib-ocaml-dev_5.5.2-1~exp1+ocaml1 libsystemd0_262.2-1 libtinfo6_6.6+20260608-2 libtool_2.6.2-3 libtsan2_16.2.0-4 libubsan1_16.2.0-4 libuchardet0_0.0.8-2+b2 libudev1_262.2-1 libunistring5_1.4.2-1 libuuid1_2.42.4-1 libxml2-16_2.15.4+dfsg-1+b1 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.2.15-1 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-2 media-types_14.0.0 ncurses-base_6.6+20260608-2 ncurses-bin_6.6+20260608-2 netbase_6.6 ocaml_5.5.2-1~exp1+ocaml1 ocaml-base_5.5.2-1~exp1+ocaml1 ocaml-findlib_1.9.8-1+ocaml1 ocaml-interp_5.5.2-1~exp1+ocaml1 openssl-provider-legacy_3.6.5-1 patch_2.8.1-1 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.8-1 python3-minimal_3.14.8-1 python3.14_3.14.10-1 python3.14-minimal_3.14.10-1 qjs_0.18.0-1 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-7 tzdata_2026f-1 util-linux_2.42.4-1 xz-utils_5.8.4-1 zlib1g_1:1.3.dfsg+really1.3.2-4 +------------------------------------------------------------------------------+ | Build Fri, 06 Nov 2026 22:46:19 +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 Uploaders: Julien Puydt 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 c09345c707f6baa7710ff7314b509ab96e66abc3 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 3958819b53fbb7ec2b1d5f1c2b0b7362b58a77dffd2cf8fd40aac70fce2a6b47 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz Files: 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz 3793254634b31fd8c0d1177e164979c1 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 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.2/ocamlgraph /usr/lib/x86_64-linux-gnu/ocaml/5.5.2/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/camlasmcfb640.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_compute.o' '/tmp/camlasm43fd98.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_dot.o' '/tmp/camlasm3c9659.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_parse.o' '/tmp/camlasme2ed7c.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_lex.o' '/tmp/camlasmfb2d15.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd2dot.o' '/tmp/camlasmdd7dfa.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o '/tmp/camlstartup6044bf.o' '/tmp/camlstartupa4cfee.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.2/ocamlgraph' '-L/usr/lib/x86_64-linux-gnu/ocaml/5.5.2' '/tmp/camlstartup6044bf.o' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.2/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.2/ocamlgraph/graph.a' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.2/stdlib.a' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.2/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.2/ocamlgraph /usr/lib/x86_64-linux-gnu/ocaml/5.5.2/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/camlasm1b7e17.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_compute.o' '/tmp/camlasm824c14.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_dot.o' '/tmp/camlasma3e6a4.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_parse.o' '/tmp/camlasm7d9544.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpd_lex.o' '/tmp/camlasm427660.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o 'dpdusage.o' '/tmp/camlasmdf98d9.s' + x86_64-linux-gnu-as --debug-prefix-map '/build/reproducible-path/coq-dpdgraph-1.0+9.1'='.' -o '/tmp/camlstartupc94c4d.o' '/tmp/camlstartupc780c3.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.2/ocamlgraph' '-L/usr/lib/x86_64-linux-gnu/ocaml/5.5.2' '/tmp/camlstartupc94c4d.o' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.2/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.2/ocamlgraph/graph.a' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.2/stdlib.a' '/usr/lib/x86_64-linux-gnu/ocaml/5.5.2/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 # cd to tests to generate .dpd file there. cd tests; coqtop -R .. dpdgraph -I .. < Morph.cmd > /dev/null 2>&1 # cd to tests to generate .dpd file there. cd tests; coqtop -R .. dpdgraph -I .. < Polymorph.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 .. < 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 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] ./dpd2dot tests/Morph_rw.dpd > /dev/null 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] ./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 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 ./dpdusage tests/graph2.dpd > tests/graph2.dpdusage.log 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 Bravo... Test Ok 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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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: Depends field of package coq-dpdgraph-tools: substitution variable ${ocaml:Depends} used, but is not 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+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-11-06T22:46:40Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Fri, 06 Nov 2026 22:46:41 +0000 | +------------------------------------------------------------------------------+ coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.changes: -------------------------------------------- Format: 1.8 Date: Fri, 06 Nov 2026 23:44:22 +0100 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 Changed-By: Anonymous Builder 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.2 Checksums-Sha1: 330704fe1b577da1aaa031c0f129ba12b50fa822 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz c09345c707f6baa7710ff7314b509ab96e66abc3 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz 8d5205f9b08370a5186492f9ae78869e2d29cde9 686876 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb 59a9d8a20677d4725bb91780fd8c6d62e97cd35d 6651 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo bab97376df10ba0a4307e1aa915da48657d7d184 36496 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb Checksums-Sha256: e0e2c7e4b280cdba87d686084cbc44318e0cd7c3f303280420b875e0828b2ac8 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz 3958819b53fbb7ec2b1d5f1c2b0b7362b58a77dffd2cf8fd40aac70fce2a6b47 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz df2be09cbebb2df9506538bd1d39976df767194876d3ae55ca7e5ea3fae5a3b4 686876 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb 43187827107ed1e2716bf2f718c3a06e058633f7d05fb9fd7d3143a1e7a6c885 6651 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo a66ea2d2ddcc0f8358758cda52fb6552e9a3f8c81cdbbf43b8133fdc13634d58 36496 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb Files: 2d21b442aefc756b3ad15a6b31e4e86f 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 3793254634b31fd8c0d1177e164979c1 3248 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz 9561accdeb96b630decc1a98001145b1 686876 ocaml optional coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb a7ec65ceb8cd374cf03e3fba309abd15 6651 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo 9e4dff04ad3f62903c985e99e3678ba1 36496 ocaml optional libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Fri, 06 Nov 2026 22:46:42 +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: 2d21b442aefc756b3ad15a6b31e4e86f 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc 9561accdeb96b630decc1a98001145b1 686876 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb 9e4dff04ad3f62903c985e99e3678ba1 36496 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb Checksums-Sha1: 330704fe1b577da1aaa031c0f129ba12b50fa822 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc 8d5205f9b08370a5186492f9ae78869e2d29cde9 686876 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb bab97376df10ba0a4307e1aa915da48657d7d184 36496 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb Checksums-Sha256: e0e2c7e4b280cdba87d686084cbc44318e0cd7c3f303280420b875e0828b2ac8 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc df2be09cbebb2df9506538bd1d39976df767194876d3ae55ca7e5ea3fae5a3b4 686876 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb a66ea2d2ddcc0f8358758cda52fb6552e9a3f8c81cdbbf43b8133fdc13634d58 36496 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Fri, 06 Nov 2026 22:46:39 +0000 Build-Path: /build/reproducible-path/coq-dpdgraph-1.0+9.1 Installed-Build-Depends: autoconf (= 2.73-2), automake (= 1:1.19-3), autopoint (= 1.0-5), autotools-dev (= 20240727.1+nmu1), base-files (= 14.2), base-passwd (= 3.6.8), bash (= 5.3-4), binutils (= 2.47.50.20261021-1), binutils-common (= 2.47.50.20261021-1), binutils-x86-64-linux-gnu (= 2.47.50.20261021-1), bsdextrautils (= 2.42.4-1), build-essential (= 12.12), bzip2 (= 1.0.8-6+b2), coq (= 9.2.0+dfsg-4+ocaml1), coreutils (= 9.12-0.3), cpp (= 4:16.2.0-1), cpp-16 (= 16.2.0-4), cpp-16-x86-64-linux-gnu (= 16.2.0-4), cpp-x86-64-linux-gnu (= 4:16.2.0-1), dash (= 0.5.12-12), debconf (= 1.5.92), debhelper (= 14.5), debianutils (= 5.24), dh-autoreconf (= 23), dh-coq (= 0.17+ocaml1), dh-ocaml (= 3.9+ocaml1), dh-strip-nondeterminism (= 1.15.1-1), diffutils (= 1:3.12-1), dpkg (= 1.23.11), dpkg-dev (= 1.23.11), dwz (= 0.17-1), file (= 1:5.47-4), findutils (= 4.11.0-3), g++ (= 4:16.2.0-1), g++-16 (= 16.2.0-4), g++-16-x86-64-linux-gnu (= 16.2.0-4), g++-x86-64-linux-gnu (= 4:16.2.0-1), gcc (= 4:16.2.0-1), gcc-16 (= 16.2.0-4), gcc-16-base (= 16.2.0-4), gcc-16-x86-64-linux-gnu (= 16.2.0-4), gcc-x86-64-linux-gnu (= 4:16.2.0-1), gettext (= 1.0-5), gettext-base (= 1.0-5), grep (= 3.12-1), groff-base (= 1.24.2-2), gzip (= 1.14-1), hostname (= 3.25), init-system-helpers (= 1.69+nmu3), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.4.0-1), libarchive-zip-perl (= 1.68-1), libasan8 (= 16.2.0-4), libatomic1 (= 16.2.0-4), libattr1 (= 1:2.6.0-1), libaudit-common (= 1:4.2.1-1), libaudit1 (= 1:4.2.1-1+b1), libbinutils (= 2.47.50.20261021-1), libblkid1 (= 2.42.4-1), libbz2-1.0 (= 1.0.8-6+b2), libc-bin (= 2.43-7), libc-dev-bin (= 2.43-7), libc-gconv-modules-extra (= 2.43-7), libc6 (= 2.43-7), libc6-dev (= 2.43-7), libcap-ng0 (= 0.9.6-1+b1), libcap2 (= 1:2.78-1+b1), libcc1-0 (= 16.2.0-4), libcompiler-libs-ocaml-dev (= 5.5.2-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.50.20261021-1), libctf0 (= 2.47.50.20261021-1), libdb5.3t64 (= 5.3.28+dfsg2-12), libdebconfclient0 (= 0.283), libdebhelper-perl (= 14.5), libdpkg-perl (= 1.23.11), libelf1t64 (= 0.196-1), libexpat1 (= 2.10.0-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-4), libgcc-s1 (= 16.2.0-4), 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-4), libgprofng0 (= 2.47.50.20261021-1), libhwasan0 (= 16.2.0-4), libisl23 (= 0.28-1), libitm1 (= 16.2.0-4), libjansson4 (= 2.15.1-1), libjson-perl (= 4.10000-1), liblsan0 (= 16.2.0-4), liblzma5 (= 5.8.4-1), libmagic-mgc (= 1:5.47-4), libmagic1t64 (= 1:5.47-4), libmd0 (= 1.3.0-1), libmount1 (= 2.42.4-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.49-1), libperl5.42 (= 5.42.3-1), libpipeline1 (= 1.5.8-3), libpython3-stdlib (= 3.14.8-1), libpython3.14-minimal (= 3.14.10-1), libpython3.14-stdlib (= 3.14.10-1), libqjs0 (= 0.18.0-1), libquadmath0 (= 16.2.0-4), libreadline8t64 (= 8.3-4), libseccomp2 (= 2.6.1-1+b2), libselinux1 (= 3.11-2.1+b1), libsframe3 (= 2.47.50.20261021-1), libsmartcols1 (= 2.42.4-1), libsqlite3-0 (= 3.54.1-2), libssl3t64 (= 3.6.5-1), libstdc++-16-dev (= 16.2.0-4), libstdc++6 (= 16.2.0-4), libstdlib-ocaml (= 5.5.2-1~exp1+ocaml1), libstdlib-ocaml-dev (= 5.5.2-1~exp1+ocaml1), libsystemd0 (= 262.2-1), libtinfo6 (= 6.6+20260608-2), libtool (= 2.6.2-3), libtsan2 (= 16.2.0-4), libubsan1 (= 16.2.0-4), libuchardet0 (= 0.0.8-2+b2), libudev1 (= 262.2-1), libunistring5 (= 1.4.2-1), libuuid1 (= 2.42.4-1), libxml2-16 (= 2.15.4+dfsg-1+b1), 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.2.15-1), m4 (= 1.4.21-1), make (= 4.4.1-3), man-db (= 2.13.1-1), mawk (= 1.3.4.20260302-2), media-types (= 14.0.0), ncurses-base (= 6.6+20260608-2), ncurses-bin (= 6.6+20260608-2), netbase (= 6.6), ocaml (= 5.5.2-1~exp1+ocaml1), ocaml-base (= 5.5.2-1~exp1+ocaml1), ocaml-findlib (= 1.9.8-1+ocaml1), ocaml-interp (= 5.5.2-1~exp1+ocaml1), openssl-provider-legacy (= 3.6.5-1), patch (= 2.8.1-1), 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.8-1), python3-minimal (= 3.14.8-1), python3.14 (= 3.14.10-1), python3.14-minimal (= 3.14.10-1), qjs (= 0.18.0-1), readline-common (= 8.3-4), sed (= 4.9-3), sensible-utils (= 0.0.26), sysvinit-utils (= 3.18-1), tar (= 1.35+dfsg-7), tzdata (= 2026f-1), util-linux (= 2.42.4-1), xz-utils (= 5.8.4-1), zlib1g (= 1:1.3.dfsg+really1.3.2-4) Environment: DEB_BUILD_OPTIONS="parallel=2" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1794005062" +------------------------------------------------------------------------------+ | Package contents Fri, 06 Nov 2026 22:46:42 +0000 | +------------------------------------------------------------------------------+ coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb --------------------------------------------- new Debian package, version 2.0. size 686876 bytes: control archive=864 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 Installed-Size: 4054 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-11-06 22:44 ./ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/bin/ -rwxr-xr-x root/root 2066768 2026-11-06 22:44 ./usr/bin/dpd2dot -rwxr-xr-x root/root 2067216 2026-11-06 22:44 ./usr/bin/dpdusage drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/share/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/share/doc/coq-dpdgraph-tools/ -rw-r--r-- root/root 731 2026-11-06 22:44 ./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-11-06 22:44 ./usr/share/man/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/share/man/man1/ -rw-r--r-- root/root 358 2026-11-06 22:44 ./usr/share/man/man1/dpd2dot.1.gz -rw-r--r-- root/root 360 2026-11-06 22:44 ./usr/share/man/man1/dpdusage.1.gz libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb ------------------------------------------ new Debian package, version 2.0. size 36496 bytes: control archive=1088 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 Installed-Size: 186 Depends: libcoq-stdlib-kzfm9 Provides: libcoq-dpdgraph-5v9p0 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-11-06 22:44 ./ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/lib/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq-dpdgraph/ -rw-r--r-- root/root 199 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq-dpdgraph/META -rw-r--r-- root/root 13681 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq-dpdgraph/dpdgraph.cmxa -rw-r--r-- root/root 80968 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq-dpdgraph/dpdgraph.cmxs -rw-r--r-- root/root 29270 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq-dpdgraph/graphdepend.cmi -rw-r--r-- root/root 14691 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq-dpdgraph/graphdepend.cmx -rw-r--r-- root/root 8406 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq-dpdgraph/searchdepend.cmi -rw-r--r-- root/root 7829 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq-dpdgraph/searchdepend.cmx drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/dpdgraph/ -rw-r--r-- root/root 59 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/dpdgraph/dpdgraph.glob -rw-r--r-- root/root 41 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/dpdgraph/dpdgraph.v -rw-r--r-- root/root 573 2026-11-06 22:44 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/dpdgraph/dpdgraph.vo drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/share/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./usr/share/doc/libcoq-dpdgraph/ -rw-r--r-- root/root 730 2026-11-06 22:44 ./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-11-06 22:44 ./usr/share/lintian/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./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-11-06 22:44 ./var/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./var/lib/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./var/lib/coq/ drwxr-xr-x root/root 0 2026-11-06 22:44 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2026-11-06 22:44 ./var/lib/coq/md5sums/libcoq-dpdgraph.checksum +------------------------------------------------------------------------------+ | Post Build Fri, 06 Nov 2026 22:46:46 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Fri, 06 Nov 2026 22:46:46 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Fri, 06 Nov 2026 22:46:49 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 18792 Build-Time: 18 Distribution: unstable-ocaml Host Architecture: amd64 Install-Time: 42 Job: /tmp/tmp.ben.transition-scripts.aBIlwkwSVA/coq-dpdgraph_1.0+9.1-2+ocaml1.dsc Machine Architecture: amd64 Package: coq-dpdgraph Package-Time: 134 Source-Version: 1.0+9.1-2+ocaml1 Space: 18792 Status: successful Version: 1.0+9.1-2+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-11-06T22:46:40Z Build needed 00:02:14, 18792k disk space