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

+==============================================================================+
| coq-menhirlib 20260209+ds-2+ocaml1 (amd64)   Fri, 23 Oct 2026 17:33:46 +0000 |
+==============================================================================+

Package: coq-menhirlib
Version: 20260209+ds-2+ocaml1
Source Version: 20260209+ds-2+ocaml1
Distribution: unstable-ocaml
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/srv/ocaml.debian.net/transitions/20261023/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.bZAAOGRYgy...
I: Setting up the chroot...
I: Creating chroot session...
I: Setting up log color...

+------------------------------------------------------------------------------+
| Chroot Setup Commands                        Fri, 23 Oct 2026 17:33:52 +0000 |
+------------------------------------------------------------------------------+


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

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

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

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

+------------------------------------------------------------------------------+
| Update chroot                                Fri, 23 Oct 2026 17:34:22 +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 [1326 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/non-free amd64 Packages [132 kB]
Get:8 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [11.7 kB]
Get:9 http://localhost:9999/debian unstable/contrib amd64 Packages [64.3 kB]
Fetched 11.2 MB in 1s (8045 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.

+------------------------------------------------------------------------------+
| Fetch source files                           Fri, 23 Oct 2026 17:34:26 +0000 |
+------------------------------------------------------------------------------+


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

/tmp/tmp.ben.transition-scripts.LcgaqZQvvU/coq-menhirlib_20260209+ds-2+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.LcgaqZQvvU; copying to chroot

+------------------------------------------------------------------------------+
| Install package build dependencies           Fri, 23 Oct 2026 17:34:28 +0000 |
+------------------------------------------------------------------------------+


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

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

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

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
Solving dependencies...
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1
  libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libjson-perl
  libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6
  libpipeline1 libpython3-stdlib libpython3.14-minimal libpython3.14-stdlib
  libreadline8t64 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool
  libuchardet0 libunistring5 libxml2-16 libzarith-ocaml libzarith-ocaml-dev
  libzstd-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib
  ocaml-interp po-debconf python3 python3-minimal python3.14
  python3.14-minimal quickjs readline-common sensible-utils tzdata
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc rocqide | proofgeneral ledit
  | readline-editor why3 coq-doc dh-make git gettext-doc libasprintf-dev
  libgettextpo-dev gnulib-l10n groff gmp-doc libgmp10-doc libmpfr-dev
  ncurses-doc libtool-doc gfortran | fortran95-compiler m4-doc apparmor less
  www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc
  python3-tk python3-venv python3.14-venv python3.14-doc binfmt-support
  readline-doc
Recommended packages:
  curl | wget | lynx python3-requests libarchive-cpio-perl libjson-xs-perl
  libgpm2 ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl
  ca-certificates
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1
  libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libjson-perl
  libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6
  libpipeline1 libpython3-stdlib libpython3.14-minimal libpython3.14-stdlib
  libreadline8t64 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool
  libuchardet0 libunistring5 libxml2-16 libzarith-ocaml libzarith-ocaml-dev
  libzstd-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib
  ocaml-interp po-debconf python3 python3-minimal python3.14
  python3.14-minimal quickjs readline-common sbuild-build-depends-main-dummy
  sensible-utils tzdata
0 upgraded, 73 newly installed, 0 to remove and 0 not upgraded.
Need to get 24.0 MB/252 MB of archives.
After this operation, 1082 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-ZIGseQ/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [892 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 [203 kB]
Get:6 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-4+ocaml1 [115 kB]
Get:7 file:/repo rebuilt/main amd64 libcoq-core-ocaml amd64 9.2.0+dfsg-4+ocaml1 [26.9 MB]
Get:8 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.9.0-1 [133 kB]
Get:9 http://localhost:9999/debian unstable/main amd64 libpython3.14-minimal amd64 3.14.8-1 [902 kB]
Get:10 http://localhost:9999/debian unstable/main amd64 python3.14-minimal amd64 3.14.8-1 [2715 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 2026e-1 [262 kB]
Get:15 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.8.0-2 [32.5 kB]
Get:16 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.6+20260608-2 [137 kB]
Get:17 http://localhost:9999/debian unstable/main amd64 readline-common all 8.3-4 [74.8 kB]
Get:18 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.3-4 [181 kB]
Get:19 http://localhost:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.53.4-2 [974 kB]
Get:20 http://localhost:9999/debian unstable/main amd64 libpython3.14-stdlib amd64 3.14.8-1 [2367 kB]
Get:21 http://localhost:9999/debian unstable/main amd64 python3.14 amd64 3.14.8-1 [874 kB]
Get:22 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.14.8-1 [8520 B]
Get:23 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.14.8-1 [26.3 kB]
Get:24 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB]
Get:25 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-4 [345 kB]
Get:26 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB]
Get:27 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB]
Get:28 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 1.0-5 [334 kB]
Get:29 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB]
Get:30 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.2-2 [1365 kB]
Get:31 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42.4-1 [103 kB]
Get:32 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB]
Get:33 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB]
Get:34 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.5.2-1~exp1+ocaml1 [7117 kB]
Get:35 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB]
Get:36 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB]
Get:37 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB]
Get:38 http://localhost:9999/debian unstable/main amd64 automake all 1:1.19-3 [892 kB]
Get:39 http://localhost:9999/debian unstable/main amd64 autopoint all 1.0-5 [820 kB]
Get:40 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.6+20260608-2 [107 kB]
Get:41 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.6+20260608-2 [356 kB]
Get:42 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-4 [371 kB]
Get:43 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 14.5 [77.7 kB]
Get:44 http://localhost:9999/debian unstable/main amd64 libtool all 2.6.2-3 [552 kB]
Get:45 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 23 [12.7 kB]
Get:46 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get:47 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.5.2-1~exp1+ocaml1 [41.7 MB]
Get:48 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB]
Get:49 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.1-1 [6020 B]
Get:50 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.196-1 [61.2 kB]
Get:51 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.17-1 [109 kB]
Get:52 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB]
Get:53 http://localhost:9999/debian unstable/main amd64 libxml2-16 amd64 2.15.4+dfsg-1 [683 kB]
Get:54 http://localhost:9999/debian unstable/main amd64 gettext amd64 1.0-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 quickjs amd64 2025.04.26-1+b2 [443 kB]
Get:59 http://localhost:9999/debian unstable/main amd64 libjson-perl all 4.10000-1 [87.5 kB]
Get:60 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get:61 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b2 [328 kB]
Get:62 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b2 [641 kB]
Get:63 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b2 [321 kB]
Get:64 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.5.2-1~exp1+ocaml1 [8224 kB]
Get:65 file:/repo rebuilt/main amd64 ocaml amd64 5.5.2-1~exp1+ocaml1 [19.7 MB]
Get:66 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [625 kB]
Get:67 file:/repo rebuilt/main amd64 coq amd64 9.2.0+dfsg-4+ocaml1 [43.3 MB]
Get:68 file:/repo rebuilt/main amd64 dh-coq all 0.17+ocaml1 [7036 B]
Get:69 file:/repo rebuilt/main amd64 dh-ocaml all 3.8+ocaml1 [201 kB]
Get:70 file:/repo rebuilt/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+ocaml1 [177 kB]
Get:71 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-4+ocaml1 [112 kB]
Get:72 file:/repo rebuilt/main amd64 libcoq-core-ocaml-dev amd64 9.2.0+dfsg-4+ocaml1 [57.2 MB]
Get:73 file:/repo rebuilt/main amd64 libcoq-stdlib amd64 9.2.0-1+ocaml1 [20.1 MB]
Preconfiguring packages ...
Fetched 24.0 MB in 1s (25.5 MB/s)
Selecting previously unselected package libexpat1:amd64.
(Reading database ... 11984 files and directories currently installed.)
Preparing to unpack .../libexpat1_2.9.0-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.9.0-1) ...
Selecting previously unselected package libpython3.14-minimal:amd64.
Preparing to unpack .../libpython3.14-minimal_3.14.8-1_amd64.deb ...
Unpacking libpython3.14-minimal:amd64 (3.14.8-1) ...
Selecting previously unselected package python3.14-minimal.
Preparing to unpack .../python3.14-minimal_3.14.8-1_amd64.deb ...
Unpacking python3.14-minimal (3.14.8-1) ...
Setting up libpython3.14-minimal:amd64 (3.14.8-1) ...
Setting up libexpat1:amd64 (2.9.0-1) ...
Setting up python3.14-minimal (3.14.8-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12340 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_2026e-1_all.deb ...
Unpacking tzdata (2026e-1) ...
Selecting previously unselected package libffi8:amd64.
Preparing to unpack .../04-libffi8_3.8.0-2_amd64.deb ...
Unpacking libffi8:amd64 (3.8.0-2) ...
Selecting previously unselected package libncursesw6:amd64.
Preparing to unpack .../05-libncursesw6_6.6+20260608-2_amd64.deb ...
Unpacking libncursesw6:amd64 (6.6+20260608-2) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../06-readline-common_8.3-4_all.deb ...
Unpacking readline-common (8.3-4) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../07-libreadline8t64_8.3-4_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.3-4) ...
Selecting previously unselected package libsqlite3-0:amd64.
Preparing to unpack .../08-libsqlite3-0_3.53.4-2_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.53.4-2) ...
Selecting previously unselected package libpython3.14-stdlib:amd64.
Preparing to unpack .../09-libpython3.14-stdlib_3.14.8-1_amd64.deb ...
Unpacking libpython3.14-stdlib:amd64 (3.14.8-1) ...
Selecting previously unselected package python3.14.
Preparing to unpack .../10-python3.14_3.14.8-1_amd64.deb ...
Unpacking python3.14 (3.14.8-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 ... 13386 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_amd64.deb ...
Unpacking libxml2-16:amd64 (2.15.4+dfsg-1) ...
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 quickjs.
Preparing to unpack .../46-quickjs_2025.04.26-1+b2_amd64.deb ...
Unpacking quickjs (2025.04.26-1+b2) ...
Selecting previously unselected package libjson-perl.
Preparing to unpack .../47-libjson-perl_4.10000-1_all.deb ...
Unpacking libjson-perl (4.10000-1) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../48-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../49-dh-ocaml_3.8+ocaml1_all.deb ...
Unpacking dh-ocaml (3.8+ocaml1) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../50-libfindlib-ocaml-dev_1.9.8-1+ocaml1_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../51-libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../52-libgmp-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../53-libgmp3-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../54-libzarith-ocaml-dev_1.14-4+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-4+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../55-libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (9.2.0+dfsg-4+ocaml1) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../56-libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb ...
Unpacking libcoq-stdlib (9.2.0-1+ocaml1) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack .../57-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) ...
Setting up libdebhelper-perl (14.5) ...
Setting up libsqlite3-0:amd64 (3.53.4-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 libelf1t64:amd64 (0.196-1) ...
Setting up quickjs (2025.04.26-1+b2) ...
Setting up tzdata (2026e-1) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Fri Oct 23 17:34:58 UTC 2026.
Universal Time is now:  Fri Oct 23 17:34:58 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 libtool (2.6.2-3) ...
Setting up libstdlib-ocaml-dev (5.5.2-1~exp1+ocaml1) ...
Setting up dh-ocaml (3.8+ocaml1) ...
Setting up libfindlib-ocaml (1.9.8-1+ocaml1) ...
Setting up libzarith-ocaml (1.14-4+ocaml1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (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.8-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.8-1) ...
Setting up libpython3-stdlib:amd64 (3.14.8-1) ...
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, 23 Oct 2026 17:35:00 +0000 |
+------------------------------------------------------------------------------+

Arch check ok (amd64 included in any)

+------------------------------------------------------------------------------+
| Build environment                            Fri, 23 Oct 2026 17:35:00 +0000 |
+------------------------------------------------------------------------------+

Kernel: Linux 7.2.11+deb14-amd64 #1 SMP PREEMPT_DYNAMIC Debian 7.2.11-1 (2026-10-15) amd64 (x86_64)
Toolchain package versions: binutils_2.47.50.20261021-1 dpkg-dev_1.23.11 g++-16_16.2.0-3 gcc-16_16.2.0-3 libc6-dev_2.43-7 libstdc++-16-dev_16.2.0-3 libstdc++6_16.2.0-3 linux-libc-dev_7.2.12-1
Package versions: apt_3.3.4 apt-utils_3.3.4 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.10-1 cpp_4:16.1.0-3 cpp-16_16.2.0-3 cpp-16-x86-64-linux-gnu_16.2.0-3 cpp-x86-64-linux-gnu_4:16.1.0-3 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.8+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.1.0-3 g++-16_16.2.0-3 g++-16-x86-64-linux-gnu_16.2.0-3 g++-x86-64-linux-gnu_4:16.1.0-3 gcc_4:16.1.0-3 gcc-16_16.2.0-3 gcc-16-base_16.2.0-3 gcc-16-x86-64-linux-gnu_16.2.0-3 gcc-x86-64-linux-gnu_4:16.1.0-3 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.4 libarchive-zip-perl_1.68-1 libasan8_16.2.0-3 libatomic1_16.2.0-3 libattr1_1:2.6.0-1 libaudit-common_1:4.2.1-1 libaudit1_1:4.2.1-1 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 libcc1-0_16.2.0-3 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-11+b1 libdebconfclient0_0.283 libdebhelper-perl_14.5 libdpkg-perl_1.23.11 libelf1t64_0.196-1 libexpat1_2.9.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-3 libgcc-s1_16.2.0-3 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-3 libgprofng0_2.47.50.20261021-1 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.2.0-3 libisl23_0.28-1 libitm1_16.2.0-3 libjansson4_2.15.1-1 libjson-perl_4.10000-1 liblsan0_16.2.0-3 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 libpam-modules_1.7.0-8 libpam-modules-bin_1.7.0-8 libpam-runtime_1.7.0-8 libpam0g_1.7.0-8 libpcre2-8-0_10.48-3.1 libperl5.42_5.42.3-1 libpipeline1_1.5.8-3 libpython3-stdlib_3.14.8-1 libpython3.14-minimal_3.14.8-1 libpython3.14-stdlib_3.14.8-1 libquadmath0_16.2.0-3 libreadline8t64_8.3-4 libseccomp2_2.6.1-1+b1 libselinux1_3.11-2.1 libsframe3_2.47.50.20261021-1 libsmartcols1_2.42.4-1 libsqlite3-0_3.53.4-2 libssl3t64_3.6.5-1 libstdc++-16-dev_16.2.0-3 libstdc++6_16.2.0-3 libstdlib-ocaml_5.5.2-1~exp1+ocaml1 libstdlib-ocaml-dev_5.5.2-1~exp1+ocaml1 libsystemd0_262.1-1 libtinfo6_6.6+20260608-2 libtool_2.6.2-3 libtsan2_16.2.0-3 libubsan1_16.2.0-3 libuchardet0_0.0.8-2+b2 libudev1_262.1-1 libunistring5_1.4.2-1 libuuid1_2.42.4-1 libxml2-16_2.15.4+dfsg-1 libxxhash0_0.8.3-2+b2 libzarith-ocaml_1.14-4+ocaml1 libzarith-ocaml-dev_1.14-4+ocaml1 libzstd-dev_1.5.7+dfsg-4 libzstd1_1.5.7+dfsg-4 linux-libc-dev_7.2.12-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-2 perl_5.42.3-1 perl-base_5.42.3-1 perl-modules-5.42_5.42.3-1 po-debconf_1.0.22 python3_3.14.8-1 python3-minimal_3.14.8-1 python3.14_3.14.8-1 python3.14-minimal_3.14.8-1 quickjs_2025.04.26-1+b2 readline-common_8.3-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.5.0-1 sysvinit-utils_3.18-1 tar_1.35+dfsg-6 tzdata_2026e-1 util-linux_2.42.4-1 xz-utils_5.8.4-1 zlib1g_1:1.3.dfsg+really1.3.2-3

+------------------------------------------------------------------------------+
| Build                                        Fri, 23 Oct 2026 17:35:00 +0000 |
+------------------------------------------------------------------------------+


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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20260209+ds-2+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-menhirlib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-menhirlib.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 c80432aa75b303b40d2da8e1ad96d7460b510264 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 2ce95fd945b4bffda39220e98dc54ca0f299b012 2292 coq-menhirlib_20260209+ds-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 65c6b3dd937665ec88df08b1cc027db56c33349bb18f01e35f4854fb1ea8ee5f 2292 coq-menhirlib_20260209+ds-2+ocaml1.debian.tar.xz
Files:
 8bbf539834139947215adf64c72b4b59 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 f7354960b780dcf6c6770e89d4a4f08a 2292 coq-menhirlib_20260209+ds-2+ocaml1.debian.tar.xz

dpkg-source: warning: extracting unsigned source package (coq-menhirlib_20260209+ds-2+ocaml1.dsc)
dpkg-source: info: extracting coq-menhirlib in /build/reproducible-path/coq-menhirlib-20260209+ds
dpkg-source: info: unpacking coq-menhirlib_20260209+ds.orig.tar.xz
dpkg-source: info: unpacking coq-menhirlib_20260209+ds-2+ocaml1.debian.tar.xz

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


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

Sufficient free space for build

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

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=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-menhirlib
dpkg-buildpackage: info: source version 20260209+ds-2+ocaml1
dpkg-buildpackage: info: source distribution unstable-ocaml
dpkg-buildpackage: info: source changed by Anonymous Builder <builder@example.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with coq,ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/coq-menhirlib-20260209+ds'
cd coq-menhirlib && make clean
make[2]: Entering directory '/build/reproducible-path/coq-menhirlib-20260209+ds/coq-menhirlib'
coq_makefile -f _CoqProject -o CoqMakefile
make --no-print-directory -f CoqMakefile clean
CLEAN
make[2]: Leaving directory '/build/reproducible-path/coq-menhirlib-20260209+ds/coq-menhirlib'
rm -f coq-menhirlib/src/CoqMakefile coq-menhirlib/src/CoqMakefile.conf coq-menhirlib/src/.lia.cache
find . -name "*.aux" -delete
make[1]: Leaving directory '/build/reproducible-path/coq-menhirlib-20260209+ds'
   dh_ocamlclean
   dh_clean
 dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-menhirlib using existing ../coq-menhirlib_20260209+ds.orig.tar.xz
dpkg-source: info: building coq-menhirlib in ../coq-menhirlib_20260209+ds-2+ocaml1.debian.tar.xz
dpkg-source: info: building coq-menhirlib in ../coq-menhirlib_20260209+ds-2+ocaml1.dsc
 debian/rules binary
dh binary --with coq,ocaml
   dh_update_autotools_config
   dh_autoreconf
   dh_ocamlinit
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/reproducible-path/coq-menhirlib-20260209+ds'
cd coq-menhirlib && make	
make[2]: Entering directory '/build/reproducible-path/coq-menhirlib-20260209+ds/coq-menhirlib'
coq_makefile -f _CoqProject -o CoqMakefile
make --no-print-directory -f CoqMakefile all
ROCQ DEP VFILES
ROCQ compile Alphabet.v
File "./Alphabet.v", line 12, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Alphabet.v", line 221, characters 15-29:
Warning: Loading Stdlib without prefix is deprecated.
Use "From Stdlib Require OrderedTypeAlt"
or the deprecated "From Coq Require OrderedTypeAlt"
for compatibility with older Coq versions.
[deprecated-missing-stdlib,deprecated-since-9.0,deprecated,default]
File "./Alphabet.v", line 222, characters 8-15:
Warning: Loading Stdlib without prefix is deprecated.
Use "From Stdlib Require FSetAVL"
or the deprecated "From Coq Require FSetAVL"
for compatibility with older Coq versions.
[deprecated-missing-stdlib,deprecated-since-9.0,deprecated,default]
File "./Alphabet.v", line 223, characters 8-15:
Warning: Loading Stdlib without prefix is deprecated.
Use "From Stdlib Require FMapAVL"
or the deprecated "From Coq Require FMapAVL"
for compatibility with older Coq versions.
[deprecated-missing-stdlib,deprecated-since-9.0,deprecated,default]
ROCQ compile Grammar.v
File "./Grammar.v", line 12, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
ROCQ compile Automaton.v
File "./Automaton.v", line 14, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Automaton.v", line 15, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
ROCQ compile Validator_classes.v
File "./Validator_classes.v", line 12, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Validator_classes.v", line 13, characters 5-12:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
ROCQ compile Validator_safe.v
File "./Validator_safe.v", line 12, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Validator_safe.v", line 14, characters 5-12:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Validator_safe.v", line 228, characters 0-77:
Warning: Use of "SuchThat" and "As" in "Derive" is deprecated; replace them
respectively by "in" and "as".
[deprecated-derive-suchthat,deprecated-since-9.0,deprecated,default]
ROCQ compile Interpreter.v
File "./Interpreter.v", line 12, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Interpreter.v", line 14, characters 5-12:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Interpreter.v", line 456, characters 0-8:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./Interpreter.v", line 457, characters 0-8:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
ROCQ compile Validator_complete.v
File "./Validator_complete.v", line 12, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Validator_complete.v", line 13, characters 5-12:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Validator_complete.v", line 384, characters 0-127:
Warning: Use of "SuchThat" and "As" in "Derive" is deprecated; replace them
respectively by "in" and "as".
[deprecated-derive-suchthat,deprecated-since-9.0,deprecated,default]
ROCQ compile Interpreter_complete.v
File "./Interpreter_complete.v", line 12, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Interpreter_complete.v", line 14, characters 5-12:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Interpreter_complete.v", line 331, characters 2-58:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 331, characters 2-58:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 333, characters 4-40:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 333, characters 4-40:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 494, characters 2-70:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 494, characters 2-70:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 568, characters 6-21:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 568, characters 6-21:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 818, characters 20-35:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_complete.v", line 818, characters 20-35:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
ROCQ compile Interpreter_correct.v
File "./Interpreter_correct.v", line 12, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Interpreter_correct.v", line 16, characters 5-12:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./Interpreter_correct.v", line 61, characters 4-19:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
File "./Interpreter_correct.v", line 61, characters 4-19:
Warning: In ltac_expr, tolerating this expression at a higher level than
expected by the notation continuing on the right. This tolerance will be
eventually removed. Insert parentheses or try to lower the level at which the
top symbol of this expression is parsed.
[level-tolerance,deprecated-since-9.2,deprecated,parsing,default]
ROCQ compile Main.v
File "./Main.v", line 13, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
ROCQ compile Version.v
make[2]: Leaving directory '/build/reproducible-path/coq-menhirlib-20260209+ds/coq-menhirlib'
make[1]: Leaving directory '/build/reproducible-path/coq-menhirlib-20260209+ds'
   create-stamp debian/debhelper-build-stamp
   dh_prep
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/reproducible-path/coq-menhirlib-20260209+ds'
cd coq-menhirlib && make install DESTDIR=/build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp
make[2]: Entering directory '/build/reproducible-path/coq-menhirlib-20260209+ds/coq-menhirlib'
coq_makefile -f _CoqProject -o CoqMakefile
make --no-print-directory -f CoqMakefile install
INSTALL Alphabet.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Automaton.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Grammar.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter_complete.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter_correct.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Main.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_classes.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_complete.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_safe.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Version.vo /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Alphabet.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Automaton.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Grammar.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter_complete.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter_correct.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Main.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_classes.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_complete.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_safe.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Version.v /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Alphabet.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Automaton.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Grammar.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter_complete.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Interpreter_correct.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Main.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_classes.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_complete.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Validator_safe.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
INSTALL Version.glob /build/reproducible-path/coq-menhirlib-20260209+ds/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/MenhirLib/
make[2]: Leaving directory '/build/reproducible-path/coq-menhirlib-20260209+ds/coq-menhirlib'
make[1]: Leaving directory '/build/reproducible-path/coq-menhirlib-20260209+ds'
   dh_ocamllibinstall
   dh_install
   dh_ocamldoc
   dh_installdocs
   debian/rules override_dh_installchangelogs
make[1]: Entering directory '/build/reproducible-path/coq-menhirlib-20260209+ds'
dh_installchangelogs coq-menhirlib/CHANGES.md
make[1]: Leaving directory '/build/reproducible-path/coq-menhirlib-20260209+ds'
   dh_perl
   dh_link
   dh_strip_nondeterminism
   dh_compress
   dh_fixperms
   dh_missing
   dh_dwz -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb
   dh_coq
   dh_ocaml
   dh_gencontrol
   dh_md5sums
   dh_builddeb
dpkg-deb: building package 'libcoq-menhirlib' in '../libcoq-menhirlib_20260209+ds-2+ocaml1_amd64.deb'.
 dpkg-genbuildinfo -O../coq-menhirlib_20260209+ds-2+ocaml1_amd64.buildinfo
 dpkg-genchanges -sa -O../coq-menhirlib_20260209+ds-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-10-23T17:35:17Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Changes                                      Fri, 23 Oct 2026 17:35:18 +0000 |
+------------------------------------------------------------------------------+


coq-menhirlib_20260209+ds-2+ocaml1_amd64.changes:
-------------------------------------------------

Format: 1.8
Date: Fri, 23 Oct 2026 19:33:45 +0200
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: source amd64
Version: 20260209+ds-2+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-menhirlib - support library for Coq-verified Menhir parsers
Changes:
 coq-menhirlib (20260209+ds-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 da1a9952bcf4719aed04d8427e3523d242a177b7 1275 coq-menhirlib_20260209+ds-2+ocaml1.dsc
 c80432aa75b303b40d2da8e1ad96d7460b510264 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 2ce95fd945b4bffda39220e98dc54ca0f299b012 2292 coq-menhirlib_20260209+ds-2+ocaml1.debian.tar.xz
 b6c6d1e6bd7994546484592c0651d70eeca8e957 6276 coq-menhirlib_20260209+ds-2+ocaml1_amd64.buildinfo
 4d4b29710f564dcaa44230320030e14964d519f7 915948 libcoq-menhirlib_20260209+ds-2+ocaml1_amd64.deb
Checksums-Sha256:
 9fc8232585e43c7a431e25e6c24c1aab81823a9dff3f69263865038c33a223fe 1275 coq-menhirlib_20260209+ds-2+ocaml1.dsc
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 65c6b3dd937665ec88df08b1cc027db56c33349bb18f01e35f4854fb1ea8ee5f 2292 coq-menhirlib_20260209+ds-2+ocaml1.debian.tar.xz
 dde961e081f7d82f7e6e1b9f5dd2415f307efc81428e1ce200cab00fb5aa6899 6276 coq-menhirlib_20260209+ds-2+ocaml1_amd64.buildinfo
 0f156540b37f73689886c6e9770a9f4aef25940b4f387b6217eb31586b7503ef 915948 libcoq-menhirlib_20260209+ds-2+ocaml1_amd64.deb
Files:
 4d636e60feacf3e7a845109c28e40086 1275 ocaml optional coq-menhirlib_20260209+ds-2+ocaml1.dsc
 8bbf539834139947215adf64c72b4b59 367036 ocaml optional coq-menhirlib_20260209+ds.orig.tar.xz
 f7354960b780dcf6c6770e89d4a4f08a 2292 ocaml optional coq-menhirlib_20260209+ds-2+ocaml1.debian.tar.xz
 9bed01bb0acb174e813fc56793f35e45 6276 ocaml optional coq-menhirlib_20260209+ds-2+ocaml1_amd64.buildinfo
 d1136fcf3db14a0f007bd905bb994ca5 915948 ocaml optional libcoq-menhirlib_20260209+ds-2+ocaml1_amd64.deb

+------------------------------------------------------------------------------+
| Buildinfo                                    Fri, 23 Oct 2026 17:35:19 +0000 |
+------------------------------------------------------------------------------+

Format: 1.0
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: amd64 source
Version: 20260209+ds-2+ocaml1
Checksums-Md5:
 4d636e60feacf3e7a845109c28e40086 1275 coq-menhirlib_20260209+ds-2+ocaml1.dsc
 d1136fcf3db14a0f007bd905bb994ca5 915948 libcoq-menhirlib_20260209+ds-2+ocaml1_amd64.deb
Checksums-Sha1:
 da1a9952bcf4719aed04d8427e3523d242a177b7 1275 coq-menhirlib_20260209+ds-2+ocaml1.dsc
 4d4b29710f564dcaa44230320030e14964d519f7 915948 libcoq-menhirlib_20260209+ds-2+ocaml1_amd64.deb
Checksums-Sha256:
 9fc8232585e43c7a431e25e6c24c1aab81823a9dff3f69263865038c33a223fe 1275 coq-menhirlib_20260209+ds-2+ocaml1.dsc
 0f156540b37f73689886c6e9770a9f4aef25940b4f387b6217eb31586b7503ef 915948 libcoq-menhirlib_20260209+ds-2+ocaml1_amd64.deb
Build-Origin: Debian
Build-Architecture: amd64
Build-Date: Fri, 23 Oct 2026 17:35:17 +0000
Build-Path: /build/reproducible-path/coq-menhirlib-20260209+ds
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.10-1),
 cpp (= 4:16.1.0-3),
 cpp-16 (= 16.2.0-3),
 cpp-16-x86-64-linux-gnu (= 16.2.0-3),
 cpp-x86-64-linux-gnu (= 4:16.1.0-3),
 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.8+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.1.0-3),
 g++-16 (= 16.2.0-3),
 g++-16-x86-64-linux-gnu (= 16.2.0-3),
 g++-x86-64-linux-gnu (= 4:16.1.0-3),
 gcc (= 4:16.1.0-3),
 gcc-16 (= 16.2.0-3),
 gcc-16-base (= 16.2.0-3),
 gcc-16-x86-64-linux-gnu (= 16.2.0-3),
 gcc-x86-64-linux-gnu (= 4:16.1.0-3),
 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-3),
 libatomic1 (= 16.2.0-3),
 libattr1 (= 1:2.6.0-1),
 libaudit-common (= 1:4.2.1-1),
 libaudit1 (= 1:4.2.1-1),
 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),
 libcc1-0 (= 16.2.0-3),
 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-11+b1),
 libdebconfclient0 (= 0.283),
 libdebhelper-perl (= 14.5),
 libdpkg-perl (= 1.23.11),
 libelf1t64 (= 0.196-1),
 libexpat1 (= 2.9.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-3),
 libgcc-s1 (= 16.2.0-3),
 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-3),
 libgprofng0 (= 2.47.50.20261021-1),
 libhwasan0 (= 16.2.0-3),
 libisl23 (= 0.28-1),
 libitm1 (= 16.2.0-3),
 libjansson4 (= 2.15.1-1),
 libjson-perl (= 4.10000-1),
 liblsan0 (= 16.2.0-3),
 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),
 libpam-modules (= 1.7.0-8),
 libpam-modules-bin (= 1.7.0-8),
 libpam-runtime (= 1.7.0-8),
 libpam0g (= 1.7.0-8),
 libpcre2-8-0 (= 10.48-3.1),
 libperl5.42 (= 5.42.3-1),
 libpipeline1 (= 1.5.8-3),
 libpython3-stdlib (= 3.14.8-1),
 libpython3.14-minimal (= 3.14.8-1),
 libpython3.14-stdlib (= 3.14.8-1),
 libquadmath0 (= 16.2.0-3),
 libreadline8t64 (= 8.3-4),
 libseccomp2 (= 2.6.1-1+b1),
 libselinux1 (= 3.11-2.1),
 libsframe3 (= 2.47.50.20261021-1),
 libsmartcols1 (= 2.42.4-1),
 libsqlite3-0 (= 3.53.4-2),
 libssl3t64 (= 3.6.5-1),
 libstdc++-16-dev (= 16.2.0-3),
 libstdc++6 (= 16.2.0-3),
 libstdlib-ocaml (= 5.5.2-1~exp1+ocaml1),
 libstdlib-ocaml-dev (= 5.5.2-1~exp1+ocaml1),
 libsystemd0 (= 262.1-1),
 libtinfo6 (= 6.6+20260608-2),
 libtool (= 2.6.2-3),
 libtsan2 (= 16.2.0-3),
 libubsan1 (= 16.2.0-3),
 libuchardet0 (= 0.0.8-2+b2),
 libudev1 (= 262.1-1),
 libunistring5 (= 1.4.2-1),
 libuuid1 (= 2.42.4-1),
 libxml2-16 (= 2.15.4+dfsg-1),
 libzarith-ocaml (= 1.14-4+ocaml1),
 libzarith-ocaml-dev (= 1.14-4+ocaml1),
 libzstd-dev (= 1.5.7+dfsg-4),
 libzstd1 (= 1.5.7+dfsg-4),
 linux-libc-dev (= 7.2.12-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-2),
 perl (= 5.42.3-1),
 perl-base (= 5.42.3-1),
 perl-modules-5.42 (= 5.42.3-1),
 po-debconf (= 1.0.22),
 python3 (= 3.14.8-1),
 python3-minimal (= 3.14.8-1),
 python3.14 (= 3.14.8-1),
 python3.14-minimal (= 3.14.8-1),
 quickjs (= 2025.04.26-1+b2),
 readline-common (= 8.3-4),
 sed (= 4.9-3),
 sensible-utils (= 0.0.26),
 sysvinit-utils (= 3.18-1),
 tar (= 1.35+dfsg-6),
 tzdata (= 2026e-1),
 util-linux (= 2.42.4-1),
 xz-utils (= 5.8.4-1),
 zlib1g (= 1:1.3.dfsg+really1.3.2-3)
Environment:
 DEB_BUILD_OPTIONS="parallel=2"
 LANG="C.UTF-8"
 LC_COLLATE="C.UTF-8"
 LC_CTYPE="C.UTF-8"
 MAKEFLAGS=""
 SOURCE_DATE_EPOCH="1792776825"


+------------------------------------------------------------------------------+
| Package contents                             Fri, 23 Oct 2026 17:35:19 +0000 |
+------------------------------------------------------------------------------+


libcoq-menhirlib_20260209+ds-2+ocaml1_amd64.deb
-----------------------------------------------

 new Debian package, version 2.0.
 size 915948 bytes: control archive=1652 bytes.
     620 bytes,    17 lines      control
    4097 bytes,    37 lines      md5sums
 Package: libcoq-menhirlib
 Source: coq-menhirlib
 Version: 20260209+ds-2+ocaml1
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 2700
 Depends: libcoq-stdlib-0syc4
 Provides: libcoq-menhirlib-lvqw8
 Section: ocaml
 Priority: optional
 Homepage: https://coquelicot.inria.fr/fpottier/menhir
 Description: support library for Coq-verified Menhir parsers
  This package provides a support library for verified
  Coq parsers produced by Menhir.
  .
  Menhir is a LR(1) parser generator for the OCaml programming
  language and Coq is a proof assistant for higher-order logic.

drwxr-xr-x root/root         0 2026-10-23 17:33 ./
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/lib/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/
-rw-r--r-- root/root     20805 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Alphabet.glob
-rw-r--r-- root/root      8644 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Alphabet.v
-rw-r--r-- root/root     47726 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Alphabet.vo
-rw-r--r-- root/root      9129 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Automaton.glob
-rw-r--r-- root/root      6502 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Automaton.v
-rw-r--r-- root/root     85953 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Automaton.vo
-rw-r--r-- root/root     11902 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Grammar.glob
-rw-r--r-- root/root      6015 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Grammar.v
-rw-r--r-- root/root     62753 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Grammar.vo
-rw-r--r-- root/root     42567 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter.glob
-rw-r--r-- root/root     18818 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter.v
-rw-r--r-- root/root    284591 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter.vo
-rw-r--r-- root/root    100800 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter_complete.glob
-rw-r--r-- root/root     33534 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter_complete.v
-rw-r--r-- root/root    638697 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter_complete.vo
-rw-r--r-- root/root     18797 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter_correct.glob
-rw-r--r-- root/root      7215 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter_correct.v
-rw-r--r-- root/root    186581 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Interpreter_correct.vo
-rw-r--r-- root/root      8076 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Main.glob
-rw-r--r-- root/root      3289 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Main.v
-rw-r--r-- root/root    511288 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Main.vo
-rw-r--r-- root/root      6646 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_classes.glob
-rw-r--r-- root/root      3058 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_classes.v
-rw-r--r-- root/root      9456 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_classes.vo
-rw-r--r-- root/root     42031 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_complete.glob
-rw-r--r-- root/root     15248 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_complete.v
-rw-r--r-- root/root    403736 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_complete.vo
-rw-r--r-- root/root     21466 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_safe.glob
-rw-r--r-- root/root      8266 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_safe.v
-rw-r--r-- root/root    100459 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Validator_safe.vo
-rw-r--r-- root/root       132 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Version.glob
-rw-r--r-- root/root        35 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Version.v
-rw-r--r-- root/root       959 2026-10-23 17:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/MenhirLib/Version.vo
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/share/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/share/doc/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./usr/share/doc/libcoq-menhirlib/
-rw-r--r-- root/root       773 2026-10-23 17:33 ./usr/share/doc/libcoq-menhirlib/changelog.Debian.gz
-rw-r--r-- root/root      1432 2026-02-09 20:01 ./usr/share/doc/libcoq-menhirlib/changelog.gz
-rw-r--r-- root/root       667 2026-07-23 15:25 ./usr/share/doc/libcoq-menhirlib/copyright
drwxr-xr-x root/root         0 2026-10-23 17:33 ./var/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./var/lib/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./var/lib/coq/
drwxr-xr-x root/root         0 2026-10-23 17:33 ./var/lib/coq/md5sums/
-rw-r--r-- root/root         5 2026-10-23 17:33 ./var/lib/coq/md5sums/libcoq-menhirlib.checksum


+------------------------------------------------------------------------------+
| Post Build                                   Fri, 23 Oct 2026 17:35:21 +0000 |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                      Fri, 23 Oct 2026 17:35:21 +0000 |
+------------------------------------------------------------------------------+

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

+------------------------------------------------------------------------------+
| Summary                                      Fri, 23 Oct 2026 17:35:23 +0000 |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build Type: full
Build-Space: 13112
Build-Time: 15
Distribution: unstable-ocaml
Host Architecture: amd64
Install-Time: 32
Job: /tmp/tmp.ben.transition-scripts.LcgaqZQvvU/coq-menhirlib_20260209+ds-2+ocaml1.dsc
Machine Architecture: amd64
Package: coq-menhirlib
Package-Time: 91
Source-Version: 20260209+ds-2+ocaml1
Space: 13112
Status: successful
Version: 20260209+ds-2+ocaml1
--------------------------------------------------------------------------------
Finished at 2026-10-23T17:35:17Z
Build needed 00:01:31, 13112k disk space