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

+==============================================================================+
| mathcomp-multinomials 2.3.0-1+ocaml1 (amd64) Wed, 15 Jan 2025 15:52:46 +0000 |
+==============================================================================+

Package: mathcomp-multinomials
Version: 2.3.0-1+ocaml1
Source Version: 2.3.0-1+ocaml1
Distribution: unstable
Machine Architecture: amd64
Host Architecture: amd64
Build Architecture: amd64
Build Type: full

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

+------------------------------------------------------------------------------+
| Update chroot                                Wed, 15 Jan 2025 15:52:52 +0000 |
+------------------------------------------------------------------------------+

Ign:1 file:/rebuilt ./ InRelease
Get:2 file:/rebuilt ./ Release [1351 B]
Get:2 file:/rebuilt ./ Release [1351 B]
Ign:3 file:/rebuilt ./ Release.gpg
Get:4 file:/rebuilt ./ Packages [1299 kB]
Get:5 http://localhost:9999/debian unstable InRelease [205 kB]
Get:6 http://localhost:9999/debian unstable/main amd64 Packages [9979 kB]
Get:7 http://localhost:9999/debian unstable/non-free amd64 Packages [122 kB]
Get:8 http://localhost:9999/debian unstable/contrib amd64 Packages [65.7 kB]
Get:9 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [6912 B]
Fetched 10.4 MB in 1s (15.2 MB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.

+------------------------------------------------------------------------------+
| Fetch source files                           Wed, 15 Jan 2025 15:52:54 +0000 |
+------------------------------------------------------------------------------+


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

/tmp/tmp.ben.transition-scripts.DagD8NjdBL/mathcomp-multinomials_2.3.0-1+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.DagD8NjdBL; copying to chroot

+------------------------------------------------------------------------------+
| Install package build dependencies           Wed, 15 Jan 2025 15:52:54 +0000 |
+------------------------------------------------------------------------------+


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

Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi (>= 1.19), libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune, build-essential, fakeroot
Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi (>= 1.19), libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune, build-essential, fakeroot
dpkg-deb: warning: root directory /build/reproducible-path/resolver-Ek6t2w/sbuild-build-depends-main-dummy has unusual owner or group 998:999
dpkg-deb: Hint: you might need to pass --root-owner-group, see <https://wiki.debian.org/Teams/Dpkg/RootlessBuilds> for further details
dpkg-deb: warning: ignoring 1 warning about the control file(s)
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-Ek6t2w/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/build/reproducible-path/resolver-Ek6t2w/apt_archive ./ InRelease
Get:2 copy:/build/reproducible-path/resolver-Ek6t2w/apt_archive ./ Release [609 B]
Ign:3 copy:/build/reproducible-path/resolver-Ek6t2w/apt_archive ./ Release.gpg
Get:4 copy:/build/reproducible-path/resolver-Ek6t2w/apt_archive ./ Sources [778 B]
Get:5 copy:/build/reproducible-path/resolver-Ek6t2w/apt_archive ./ Packages [810 B]
Fetched 2197 B in 0s (0 B/s)
Reading package lists...
Reading package lists...

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

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz fakeroot file
  gettext gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder
  libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-fingroup
  libcoq-mathcomp-finmap libcoq-mathcomp-ssreflect libcoq-stdlib
  libdebhelper-perl libelf1t64 libelpi-ocaml libelpi-ocaml-dev libexpat1
  libfakeroot libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72
  libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev libncurses6
  libncursesw6 libocaml-compiler-libs-ocaml-dev libpipeline1
  libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev
  libppxlib-ocaml-dev libpython3-stdlib libpython3.13-minimal
  libpython3.13-stdlib libre-ocaml-dev libreadline8t64 libsexplib0-ocaml
  libsexplib0-ocaml-dev libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev
  libtool libuchardet0 libunistring5 libxml2 libzarith-ocaml
  libzarith-ocaml-dev libzstd-dev m4 man-db media-types netbase ocaml
  ocaml-base ocaml-dune ocaml-findlib ocaml-interp po-debconf python3
  python3-minimal python3.13 python3.13-minimal readline-common sensible-utils
  tzdata
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit
  | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev
  libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc
  libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
  www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc
  python3-tk python3-venv python3.13-venv python3.13-doc binfmt-support
  readline-doc
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev ledit
  | readline-editor libmail-sendmail-perl ca-certificates
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz fakeroot file
  gettext gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml
  libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder
  libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-fingroup
  libcoq-mathcomp-finmap libcoq-mathcomp-ssreflect libcoq-stdlib
  libdebhelper-perl libelf1t64 libelpi-ocaml libelpi-ocaml-dev libexpat1
  libfakeroot libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml
  libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72
  libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev libncurses6
  libncursesw6 libocaml-compiler-libs-ocaml-dev libpipeline1
  libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev
  libppxlib-ocaml-dev libpython3-stdlib libpython3.13-minimal
  libpython3.13-stdlib libre-ocaml-dev libreadline8t64 libsexplib0-ocaml
  libsexplib0-ocaml-dev libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev
  libtool libuchardet0 libunistring5 libxml2 libzarith-ocaml
  libzarith-ocaml-dev libzstd-dev m4 man-db media-types netbase ocaml
  ocaml-base ocaml-dune ocaml-findlib ocaml-interp po-debconf python3
  python3-minimal python3.13 python3.13-minimal readline-common
  sbuild-build-depends-main-dummy sensible-utils tzdata
0 upgraded, 92 newly installed, 0 to remove and 0 not upgraded.
Need to get 30.1 MB/395 MB of archives.
After this operation, 1281 MB of additional disk space will be used.
Get:1 copy:/build/reproducible-path/resolver-Ek6t2w/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [952 B]
Get:2 file:/rebuilt ./ libcoq-stdlib 8.20.0+dfsg-1+ocaml1 [23.5 MB]
Get:3 http://localhost:9999/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.1-3 [858 kB]
Get:4 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.6.4-1 [106 kB]
Get:5 http://localhost:9999/debian unstable/main amd64 python3.13-minimal amd64 3.13.1-3 [2202 kB]
Get:6 file:/rebuilt ./ libstdlib-ocaml 5.3.0-1~exp2+ocaml1 [604 kB]
Get:7 file:/rebuilt ./ ocaml-base 5.3.0-1~exp2+ocaml1 [494 kB]
Get:8 file:/rebuilt ./ libfindlib-ocaml 1.9.6-3+ocaml1 [180 kB]
Get:9 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml1 [117 kB]
Get:10 file:/rebuilt ./ libcoq-core-ocaml 8.20.0+dfsg-1+ocaml1 [26.0 MB]
Get:11 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.13.1-2 [27.0 kB]
Get:12 http://localhost:9999/debian unstable/main amd64 media-types all 10.1.0 [26.9 kB]
Get:13 http://localhost:9999/debian unstable/main amd64 netbase all 6.4 [12.8 kB]
Get:14 http://localhost:9999/debian unstable/main amd64 tzdata all 2024b-6 [257 kB]
Get:15 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.4.6-1 [23.6 kB]
Get:16 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.5-2+b1 [136 kB]
Get:17 http://localhost:9999/debian unstable/main amd64 readline-common all 8.2-6 [69.4 kB]
Get:18 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.2-6 [169 kB]
Get:19 http://localhost:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.46.1-1 [913 kB]
Get:20 http://localhost:9999/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.1-3 [1973 kB]
Get:21 http://localhost:9999/debian unstable/main amd64 python3.13 amd64 3.13.1-3 [740 kB]
Get:22 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.13.1-2 [9952 B]
Get:23 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.13.1-2 [28.0 kB]
Get:24 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB]
Get:25 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB]
Get:26 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB]
Get:27 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB]
Get:28 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 0.22.5-4 [200 kB]
Get:29 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB]
Get:30 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB]
Get:31 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.40.4-1 [92.2 kB]
Get:32 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get:33 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB]
Get:34 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.19-5 [294 kB]
Get:35 http://localhost:9999/debian unstable/main amd64 autoconf all 2.72-3 [493 kB]
Get:36 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get:37 http://localhost:9999/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB]
Get:38 http://localhost:9999/debian unstable/main amd64 autopoint all 0.22.5-4 [723 kB]
Get:39 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB]
Get:40 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB]
Get:41 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-1~exp2+ocaml1 [7889 kB]
Get:42 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [365 kB]
Get:43 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 13.23 [90.6 kB]
Get:44 http://localhost:9999/debian unstable/main amd64 libtool all 2.5.4-2 [539 kB]
Get:45 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB]
Get:46 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get:47 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB]
Get:48 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B]
Get:49 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get:50 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB]
Get:51 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB]
Get:52 http://localhost:9999/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB]
Get:53 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-1~exp2+ocaml1 [48.2 MB]
Get:54 http://localhost:9999/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB]
Get:55 http://localhost:9999/debian unstable/main amd64 gettext amd64 0.22.5-4 [1600 kB]
Get:56 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:57 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get:58 http://localhost:9999/debian unstable/main amd64 debhelper all 13.23 [919 kB]
Get:59 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get:60 http://localhost:9999/debian unstable/main amd64 libfakeroot amd64 1.36.2-1 [29.6 kB]
Get:61 http://localhost:9999/debian unstable/main amd64 fakeroot amd64 1.36.2-1 [75.4 kB]
Get:62 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB]
Get:63 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB]
Get:64 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB]
Get:65 file:/rebuilt ./ ocaml-interp 5.3.0-1~exp2+ocaml1 [7105 kB]
Get:66 file:/rebuilt ./ ocaml 5.3.0-1~exp2+ocaml1 [18.0 MB]
Get:67 file:/rebuilt ./ ocaml-findlib 1.9.6-3+ocaml1 [581 kB]
Get:68 file:/rebuilt ./ coq 8.20.0+dfsg-1+ocaml1 [70.1 MB]
Get:69 file:/rebuilt ./ dh-coq 0.13+ocaml1 [7008 B]
Get:70 file:/rebuilt ./ dh-ocaml 2.4+ocaml1 [63.0 kB]
Get:71 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.6-3+ocaml1 [153 kB]
Get:72 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml1 [143 kB]
Get:73 file:/rebuilt ./ libcoq-core-ocaml-dev 8.20.0+dfsg-1+ocaml1 [68.7 MB]
Get:74 file:/rebuilt ./ libsexplib0-ocaml 0.17.0-1+ocaml1 [129 kB]
Get:75 file:/rebuilt ./ libppx-deriving-ocaml 6.0.3-1+ocaml1 [4321 kB]
Get:76 file:/rebuilt ./ libelpi-ocaml 2.0.5-1+ocaml1 [3858 kB]
Get:77 file:/rebuilt ./ libmenhir-ocaml-dev 20240715+ds-1+ocaml1 [887 kB]
Get:78 file:/rebuilt ./ libocaml-compiler-libs-ocaml-dev 0.17.0-1+ocaml1 [171 kB]
Get:79 file:/rebuilt ./ libppx-derivers-ocaml-dev 1.2.1-4+ocaml1 [19.8 kB]
Get:80 file:/rebuilt ./ libsexplib0-ocaml-dev 0.17.0-1+ocaml1 [354 kB]
Get:81 file:/rebuilt ./ libppxlib-ocaml-dev 0.34.0-1+ocaml1 [25.1 MB]
Get:82 file:/rebuilt ./ libppx-deriving-ocaml-dev 6.0.3-1+ocaml1 [1057 kB]
Get:83 file:/rebuilt ./ libre-ocaml-dev 1.12.0+really1.11.0-1+ocaml1 [1287 kB]
Get:84 file:/rebuilt ./ libelpi-ocaml-dev 2.0.5-1+ocaml1 [15.4 MB]
Get:85 file:/rebuilt ./ libcoq-elpi 2.3.0-1+ocaml1 [11.8 MB]
Get:86 file:/rebuilt ./ libcoq-hierarchy-builder 1.8.0-1+ocaml1 [549 kB]
Get:87 file:/rebuilt ./ libcoq-mathcomp-ssreflect 2.3.0-1+ocaml1 [8305 kB]
Get:88 file:/rebuilt ./ libcoq-mathcomp-fingroup 2.3.0-1+ocaml1 [2307 kB]
Get:89 file:/rebuilt ./ libcoq-mathcomp-algebra 2.3.0-1+ocaml1 [12.2 MB]
Get:90 file:/rebuilt ./ libcoq-mathcomp-bigenough 1.0.1-14+ocaml1 [21.7 kB]
Get:91 file:/rebuilt ./ libcoq-mathcomp-finmap 2.1.0-3+ocaml1 [851 kB]
Get:92 file:/rebuilt ./ ocaml-dune 3.17.1-2+ocaml1 [4836 kB]
Preconfiguring packages ...
Fetched 30.1 MB in 1s (30.1 MB/s)
Selecting previously unselected package libpython3.13-minimal:amd64.
(Reading database ... 11791 files and directories currently installed.)
Preparing to unpack .../libpython3.13-minimal_3.13.1-3_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.1-3) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.6.4-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.6.4-1) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.1-3_amd64.deb ...
Unpacking python3.13-minimal (3.13.1-3) ...
Setting up libpython3.13-minimal:amd64 (3.13.1-3) ...
Setting up libexpat1:amd64 (2.6.4-1) ...
Setting up python3.13-minimal (3.13.1-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12125 files and directories currently installed.)
Preparing to unpack .../00-python3-minimal_3.13.1-2_amd64.deb ...
Unpacking python3-minimal (3.13.1-2) ...
Selecting previously unselected package media-types.
Preparing to unpack .../01-media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../02-netbase_6.4_all.deb ...
Unpacking netbase (6.4) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../03-tzdata_2024b-6_all.deb ...
Unpacking tzdata (2024b-6) ...
Selecting previously unselected package libffi8:amd64.
Preparing to unpack .../04-libffi8_3.4.6-1_amd64.deb ...
Unpacking libffi8:amd64 (3.4.6-1) ...
Selecting previously unselected package libncursesw6:amd64.
Preparing to unpack .../05-libncursesw6_6.5-2+b1_amd64.deb ...
Unpacking libncursesw6:amd64 (6.5-2+b1) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../06-readline-common_8.2-6_all.deb ...
Unpacking readline-common (8.2-6) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../07-libreadline8t64_8.2-6_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.2-6) ...
Selecting previously unselected package libsqlite3-0:amd64.
Preparing to unpack .../08-libsqlite3-0_3.46.1-1_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.46.1-1) ...
Selecting previously unselected package libpython3.13-stdlib:amd64.
Preparing to unpack .../09-libpython3.13-stdlib_3.13.1-3_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.1-3) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../10-python3.13_3.13.1-3_amd64.deb ...
Unpacking python3.13 (3.13.1-3) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../11-libpython3-stdlib_3.13.1-2_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.13.1-2) ...
Setting up python3-minimal (3.13.1-2) ...
Selecting previously unselected package python3.
(Reading database ... 13152 files and directories currently installed.)
Preparing to unpack .../00-python3_3.13.1-2_amd64.deb ...
Unpacking python3 (3.13.1-2) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.22.5-4_amd64.deb ...
Unpacking gettext-base (0.22.5-4) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.23.0-7_amd64.deb ...
Unpacking groff-base (1.23.0-7) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.40.4-1_amd64.deb ...
Unpacking bsdextrautils (2.40.4-1) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-5_amd64.deb ...
Unpacking m4 (1.4.19-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.22.5-4_all.deb ...
Unpacking autopoint (0.22.5-4) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.20.0+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-stdlib (8.20.0+dfsg-1+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml-base (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../19-libfindlib-ocaml_1.9.6-3+ocaml1_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.6-3+ocaml1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-1+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_8.20.0+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml (8.20.0+dfsg-1+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml-interp (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.5-2+b1_amd64.deb ...
Unpacking libncurses6:amd64 (6.5-2+b1) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../26-libncurses-dev_6.5-2+b1_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5-2+b1) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../27-libzstd-dev_1.5.6+dfsg-2_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../28-ocaml_5.3.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml (5.3.0-1~exp2+ocaml1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../29-ocaml-findlib_1.9.6-3+ocaml1_amd64.deb ...
Unpacking ocaml-findlib (1.9.6-3+ocaml1) ...
Selecting previously unselected package coq.
Preparing to unpack .../30-coq_8.20.0+dfsg-1+ocaml1_amd64.deb ...
Unpacking coq (8.20.0+dfsg-1+ocaml1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../31-libdebhelper-perl_13.23_all.deb ...
Unpacking libdebhelper-perl (13.23) ...
Selecting previously unselected package libtool.
Preparing to unpack .../32-libtool_2.5.4-2_all.deb ...
Unpacking libtool (2.5.4-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../33-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../36-dh-strip-nondeterminism_1.14.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.0-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../37-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../38-dwz_0.15-1+b1_amd64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libunistring5:amd64.
Preparing to unpack .../39-libunistring5_1.3-1_amd64.deb ...
Unpacking libunistring5:amd64 (1.3-1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../40-libicu72_72.1-6_amd64.deb ...
Unpacking libicu72:amd64 (72.1-6) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../41-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../42-gettext_0.22.5-4_amd64.deb ...
Unpacking gettext (0.22.5-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../43-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../44-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../45-debhelper_13.23_all.deb ...
Unpacking debhelper (13.23) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../46-dh-coq_0.13+ocaml1_all.deb ...
Unpacking dh-coq (0.13+ocaml1) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../47-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../48-dh-ocaml_2.4+ocaml1_all.deb ...
Unpacking dh-ocaml (2.4+ocaml1) ...
Selecting previously unselected package libfakeroot:amd64.
Preparing to unpack .../49-libfakeroot_1.36.2-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.36.2-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../50-fakeroot_1.36.2-1_amd64.deb ...
Unpacking fakeroot (1.36.2-1) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../51-libfindlib-ocaml-dev_1.9.6-3+ocaml1_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.6-3+ocaml1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../52-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../53-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../54-libgmp3-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../55-libzarith-ocaml-dev_1.14-1+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-1+ocaml1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../56-libcoq-core-ocaml-dev_8.20.0+dfsg-1+ocaml1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1+ocaml1) ...
Selecting previously unselected package libsexplib0-ocaml.
Preparing to unpack .../57-libsexplib0-ocaml_0.17.0-1+ocaml1_amd64.deb ...
Unpacking libsexplib0-ocaml (0.17.0-1+ocaml1) ...
Selecting previously unselected package libppx-deriving-ocaml.
Preparing to unpack .../58-libppx-deriving-ocaml_6.0.3-1+ocaml1_amd64.deb ...
Unpacking libppx-deriving-ocaml (6.0.3-1+ocaml1) ...
Selecting previously unselected package libelpi-ocaml.
Preparing to unpack .../59-libelpi-ocaml_2.0.5-1+ocaml1_amd64.deb ...
Unpacking libelpi-ocaml (2.0.5-1+ocaml1) ...
Selecting previously unselected package libmenhir-ocaml-dev.
Preparing to unpack .../60-libmenhir-ocaml-dev_20240715+ds-1+ocaml1_amd64.deb ...
Unpacking libmenhir-ocaml-dev (20240715+ds-1+ocaml1) ...
Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
Preparing to unpack .../61-libocaml-compiler-libs-ocaml-dev_0.17.0-1+ocaml1_amd64.deb ...
Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1+ocaml1) ...
Selecting previously unselected package libppx-derivers-ocaml-dev.
Preparing to unpack .../62-libppx-derivers-ocaml-dev_1.2.1-4+ocaml1_amd64.deb ...
Unpacking libppx-derivers-ocaml-dev (1.2.1-4+ocaml1) ...
Selecting previously unselected package libsexplib0-ocaml-dev.
Preparing to unpack .../63-libsexplib0-ocaml-dev_0.17.0-1+ocaml1_amd64.deb ...
Unpacking libsexplib0-ocaml-dev (0.17.0-1+ocaml1) ...
Selecting previously unselected package libppxlib-ocaml-dev.
Preparing to unpack .../64-libppxlib-ocaml-dev_0.34.0-1+ocaml1_amd64.deb ...
Unpacking libppxlib-ocaml-dev (0.34.0-1+ocaml1) ...
Selecting previously unselected package libppx-deriving-ocaml-dev.
Preparing to unpack .../65-libppx-deriving-ocaml-dev_6.0.3-1+ocaml1_amd64.deb ...
Unpacking libppx-deriving-ocaml-dev (6.0.3-1+ocaml1) ...
Selecting previously unselected package libre-ocaml-dev.
Preparing to unpack .../66-libre-ocaml-dev_1.12.0+really1.11.0-1+ocaml1_amd64.deb ...
Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1+ocaml1) ...
Selecting previously unselected package libelpi-ocaml-dev.
Preparing to unpack .../67-libelpi-ocaml-dev_2.0.5-1+ocaml1_amd64.deb ...
Unpacking libelpi-ocaml-dev (2.0.5-1+ocaml1) ...
Selecting previously unselected package libcoq-elpi.
Preparing to unpack .../68-libcoq-elpi_2.3.0-1+ocaml1_amd64.deb ...
Unpacking libcoq-elpi (2.3.0-1+ocaml1) ...
Selecting previously unselected package libcoq-hierarchy-builder.
Preparing to unpack .../69-libcoq-hierarchy-builder_1.8.0-1+ocaml1_amd64.deb ...
Unpacking libcoq-hierarchy-builder (1.8.0-1+ocaml1) ...
Selecting previously unselected package libcoq-mathcomp-ssreflect.
Preparing to unpack .../70-libcoq-mathcomp-ssreflect_2.3.0-1+ocaml1_amd64.deb ...
Unpacking libcoq-mathcomp-ssreflect (2.3.0-1+ocaml1) ...
Selecting previously unselected package libcoq-mathcomp-fingroup.
Preparing to unpack .../71-libcoq-mathcomp-fingroup_2.3.0-1+ocaml1_amd64.deb ...
Unpacking libcoq-mathcomp-fingroup (2.3.0-1+ocaml1) ...
Selecting previously unselected package libcoq-mathcomp-algebra.
Preparing to unpack .../72-libcoq-mathcomp-algebra_2.3.0-1+ocaml1_amd64.deb ...
Unpacking libcoq-mathcomp-algebra (2.3.0-1+ocaml1) ...
Selecting previously unselected package libcoq-mathcomp-bigenough.
Preparing to unpack .../73-libcoq-mathcomp-bigenough_1.0.1-14+ocaml1_amd64.deb ...
Unpacking libcoq-mathcomp-bigenough (1.0.1-14+ocaml1) ...
Selecting previously unselected package libcoq-mathcomp-finmap.
Preparing to unpack .../74-libcoq-mathcomp-finmap_2.1.0-3+ocaml1_amd64.deb ...
Unpacking libcoq-mathcomp-finmap (2.1.0-3+ocaml1) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../75-ocaml-dune_3.17.1-2+ocaml1_amd64.deb ...
Unpacking ocaml-dune (3.17.1-2+ocaml1) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack .../76-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:amd64 (1.5.8-1) ...
Setting up libicu72:amd64 (72.1-6) ...
Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ...
Setting up bsdextrautils (2.40.4-1) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up dh-coq (0.13+ocaml1) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.23) ...
Setting up libsqlite3-0:amd64 (3.46.1-1) ...
Setting up libmagic1t64:amd64 (1:5.45-3+b1) ...
Setting up gettext-base (0.22.5-4) ...
Setting up m4 (1.4.19-5) ...
Setting up file (1:5.45-3+b1) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libfakeroot:amd64 (1.36.2-1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up ocaml-dune (3.17.1-2+ocaml1) ...
Setting up tzdata (2024b-6) ...

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

Setting up fakeroot (1.36.2-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.20.0+dfsg-1+ocaml1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Setting up libncurses6:amd64 (6.5-2+b1) ...
Setting up libstdlib-ocaml (5.3.0-1~exp2+ocaml1) ...
Setting up libunistring5:amd64 (1.3-1) ...
Setting up autopoint (0.22.5-4) ...
Setting up ocaml-base (5.3.0-1~exp2+ocaml1) ...
Setting up libncursesw6:amd64 (6.5-2+b1) ...
Setting up autoconf (2.72-3) ...
Setting up libffi8:amd64 (3.4.6-1) ...
Setting up libsexplib0-ocaml (0.17.0-1+ocaml1) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libuchardet0:amd64 (0.0.8-1+b2) ...
Setting up netbase (6.4) ...
Setting up readline-common (8.2-6) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.14.0-1) ...
Setting up libppx-deriving-ocaml (6.0.3-1+ocaml1) ...
Setting up libncurses-dev:amd64 (6.5-2+b1) ...
Setting up gettext (0.22.5-4) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Setting up libtool (2.5.4-2) ...
Setting up libstdlib-ocaml-dev (5.3.0-1~exp2+ocaml1) ...
Setting up dh-ocaml (2.4+ocaml1) ...
Setting up libfindlib-ocaml (1.9.6-3+ocaml1) ...
Setting up libzarith-ocaml (1.14-1+ocaml1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (5.3.0-1~exp2+ocaml1) ...
Setting up ocaml-interp (5.3.0-1~exp2+ocaml1) ...
Setting up ocaml-findlib (1.9.6-3+ocaml1) ...
Setting up libreadline8t64:amd64 (8.2-6) ...
Setting up dh-strip-nondeterminism (1.14.0-1) ...
Setting up libelpi-ocaml (2.0.5-1+ocaml1) ...
Setting up libcoq-core-ocaml (8.20.0+dfsg-1+ocaml1) ...
Setting up groff-base (1.23.0-7) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ...
Setting up libpython3.13-stdlib:amd64 (3.13.1-3) ...
Setting up libpython3-stdlib:amd64 (3.13.1-2) ...
Setting up python3.13 (3.13.1-3) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up python3 (3.13.1-2) ...
Setting up ocaml (5.3.0-1~exp2+ocaml1) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libre-ocaml-dev (1.12.0+really1.11.0-1+ocaml1) ...
Setting up libmenhir-ocaml-dev (20240715+ds-1+ocaml1) ...
Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1+ocaml1) ...
Setting up libfindlib-ocaml-dev (1.9.6-3+ocaml1) ...
Setting up libsexplib0-ocaml-dev (0.17.0-1+ocaml1) ...
Setting up coq (8.20.0+dfsg-1+ocaml1) ...
Setting up libzarith-ocaml-dev (1.14-1+ocaml1) ...
Setting up libppx-derivers-ocaml-dev (1.2.1-4+ocaml1) ...
Setting up libppxlib-ocaml-dev (0.34.0-1+ocaml1) ...
Setting up debhelper (13.23) ...
Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1+ocaml1) ...
Setting up libppx-deriving-ocaml-dev (6.0.3-1+ocaml1) ...
Setting up libelpi-ocaml-dev (2.0.5-1+ocaml1) ...
Setting up libcoq-elpi (2.3.0-1+ocaml1) ...
Setting up libcoq-hierarchy-builder (1.8.0-1+ocaml1) ...
Setting up libcoq-mathcomp-ssreflect (2.3.0-1+ocaml1) ...
Setting up libcoq-mathcomp-bigenough (1.0.1-14+ocaml1) ...
Setting up libcoq-mathcomp-fingroup (2.3.0-1+ocaml1) ...
Setting up libcoq-mathcomp-algebra (2.3.0-1+ocaml1) ...
Setting up libcoq-mathcomp-finmap (2.1.0-3+ocaml1) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.40-5) ...

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

Arch check ok (amd64 included in any)

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

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

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


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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/multinomials
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-multinomials
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi (>= 1.19), libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-multinomials deb ocaml optional arch=any
Checksums-Sha1:
 a3d445ebef4fa4e8b77c0c7f64a5e6c1bab8bd49 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 754d040c0f7257b5d5f75d537f9dfc7ad9f9e3b3 9064 mathcomp-multinomials_2.3.0-1+ocaml1.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 9d611519f0e715ea03daaa57d8a72ded42950b44f428c63a84efa0391190b7e0 9064 mathcomp-multinomials_2.3.0-1+ocaml1.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 5c0c5ad9e9b94ad04e0155f4b2b902f8 9064 mathcomp-multinomials_2.3.0-1+ocaml1.debian.tar.xz

dpkg-source: warning: extracting unsigned source package (mathcomp-multinomials_2.3.0-1+ocaml1.dsc)
dpkg-source: info: extracting mathcomp-multinomials in /build/reproducible-path/mathcomp-multinomials-2.3.0
dpkg-source: info: unpacking mathcomp-multinomials_2.3.0.orig.tar.gz
dpkg-source: info: unpacking mathcomp-multinomials_2.3.0-1+ocaml1.debian.tar.xz

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

Sufficient free space for build

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

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

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

Command: dpkg-buildpackage --sanitize-env -us -uc -sa
dpkg-buildpackage: info: source package mathcomp-multinomials
dpkg-buildpackage: info: source version 2.3.0-1+ocaml1
dpkg-buildpackage: info: source distribution unstable-ocaml
dpkg-buildpackage: info: source changed by Anonymous Builder <builder@example.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with coq,ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
make clean
make[2]: Entering directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
coq_makefile -f _CoqProject -o Makefile.coq
make --no-print-directory -f Makefile.coq clean
CLEAN
make[2]: Leaving directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
rm Makefile.coq Makefile.coq.conf
make[1]: Leaving directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
   dh_ocamlclean
   dh_clean
 dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building mathcomp-multinomials using existing ./mathcomp-multinomials_2.3.0.orig.tar.gz
dpkg-source: info: building mathcomp-multinomials in mathcomp-multinomials_2.3.0-1+ocaml1.debian.tar.xz
dpkg-source: info: building mathcomp-multinomials in mathcomp-multinomials_2.3.0-1+ocaml1.dsc
 debian/rules binary
dh binary --with coq,ocaml
   dh_update_autotools_config
   dh_autoreconf
   dh_ocamlinit
   dh_auto_configure
   dh_auto_build
	make -j1 "INSTALL=install --strip-program=true"
make[1]: Entering directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
coq_makefile -f _CoqProject -o Makefile.coq
make --no-print-directory -f Makefile.coq 
COQDEP VFILES
COQC src/freeg.v
COQC src/xfinmap.v
File "./src/xfinmap.v", line 5, characters 0-36:
Warning: Notations "[ fset _ | _ : _ in _ ]" defined at level 0
with arguments constr at level 99, constr at level 99, constr, constr
and "[ fset _ | _ : _ in _ , _ : _ in _ ]" defined at level 0 with arguments
constr at level 99, constr at level 99, constr, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/xfinmap.v", line 5, characters 0-36:
Warning: Notations "[ fset _ | _ in _ ]" defined at level 0 with arguments
constr at level 99, constr at level 99, constr
and "[ fset _ | _ in _ , _ in _ ]" defined at level 0 with arguments constr
at level 99, constr at level 99, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/xfinmap.v", line 5, characters 0-36:
Warning: Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0
with arguments constr, constr at level 99, constr at level 99, constr, constr
and "[ fset[ _ ] _ | _ : _ in _ , _ : _ in _ ]" defined at level 0
with arguments constr, constr at level 99, constr at level 99, constr, constr
at level 200 have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/xfinmap.v", line 5, characters 0-36:
Warning: Notations "[ fset[ _ ] _ | _ in _ ]" defined at level 0
with arguments constr, constr at level 99, constr at level 99, constr
and "[ fset[ _ ] _ | _ in _ , _ in _ ]" defined at level 0 with arguments
constr, constr at level 99, constr at level 99, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/xfinmap.v", line 5, characters 0-36:
Warning: Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0
with arguments constr, constr at level 99, constr at level 99, constr
and "[ fset[ _ ] _ | _ : _ , _ : _ ]" defined at level 0 with arguments
constr, constr at level 99, constr at level 99, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/xfinmap.v", line 5, characters 0-36:
Warning: Notations "[ f set _ | _ in _ ]" defined at level 0 with arguments
constr at level 99, constr at level 99, constr
and "[ f set _ | _ in _ , _ in _ ]" defined at level 0 with arguments constr
at level 99, constr at level 99, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
COQC src/monalg.v
File "./src/monalg.v", line 13, characters 0-23:
Warning: Notations "[ fset _ | _ : _ in _ ]" defined at level 0
with arguments constr at level 99, constr at level 99, constr, constr
and "[ fset _ | _ : _ in _ , _ : _ in _ ]" defined at level 0 with arguments
constr at level 99, constr at level 99, constr, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/monalg.v", line 13, characters 0-23:
Warning: Notations "[ fset _ | _ in _ ]" defined at level 0 with arguments
constr at level 99, constr at level 99, constr
and "[ fset _ | _ in _ , _ in _ ]" defined at level 0 with arguments constr
at level 99, constr at level 99, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/monalg.v", line 13, characters 0-23:
Warning: Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0
with arguments constr, constr at level 99, constr at level 99, constr, constr
and "[ fset[ _ ] _ | _ : _ in _ , _ : _ in _ ]" defined at level 0
with arguments constr, constr at level 99, constr at level 99, constr, constr
at level 200 have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/monalg.v", line 13, characters 0-23:
Warning: Notations "[ fset[ _ ] _ | _ in _ ]" defined at level 0
with arguments constr, constr at level 99, constr at level 99, constr
and "[ fset[ _ ] _ | _ in _ , _ in _ ]" defined at level 0 with arguments
constr, constr at level 99, constr at level 99, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/monalg.v", line 13, characters 0-23:
Warning: Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0
with arguments constr, constr at level 99, constr at level 99, constr
and "[ fset[ _ ] _ | _ : _ , _ : _ ]" defined at level 0 with arguments
constr, constr at level 99, constr at level 99, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/monalg.v", line 13, characters 0-23:
Warning: Notations "[ f set _ | _ in _ ]" defined at level 0 with arguments
constr at level 99, constr at level 99, constr
and "[ f set _ | _ in _ , _ in _ ]" defined at level 0 with arguments constr
at level 99, constr at level 99, constr at level 200
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/monalg.v", line 41, characters 0-111:
Warning: Notations "[ malg _ ]" defined at level 0 with arguments constr
at level 2 and "[ malg _ in _ => _ ]" defined at level 0 with arguments ident
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/monalg.v", line 43, characters 0-93:
Warning: Notations "[ malg _ ]" defined at level 0 with arguments constr
at level 2 and "[ malg _ => _ ]" defined at level 0 with arguments ident
have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/monalg.v", line 53, characters 0-79:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/monalg.v", line 59, characters 0-91:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/monalg.v", line 201, characters 0-51:
Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use
'%_' instead (available since 8.19). The '%' syntax will be reused in a
future version with the same semantics as in terms, that is adding scope to
the stack for all subterms. Code can be adapted with a script like: for f in
$(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done
[argument-scope-delimiter,deprecated-since-8.19,deprecated,default]
File "./src/monalg.v", line 203, characters 0-51:
Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use
'%_' instead (available since 8.19). The '%' syntax will be reused in a
future version with the same semantics as in terms, that is adding scope to
the stack for all subterms. Code can be adapted with a script like: for f in
$(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done
[argument-scope-delimiter,deprecated-since-8.19,deprecated,default]
File "./src/monalg.v", line 204, characters 0-37:
Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use
'%_' instead (available since 8.19). The '%' syntax will be reused in a
future version with the same semantics as in terms, that is adding scope to
the stack for all subterms. Code can be adapted with a script like: for f in
$(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done
[argument-scope-delimiter,deprecated-since-8.19,deprecated,default]
File "./src/monalg.v", line 299, characters 0-57:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
File "./src/monalg.v", line 492, characters 0-57:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
File "./src/monalg.v", line 673, characters 0-54:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
File "./src/monalg.v", line 814, characters 0-58:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
File "./src/monalg.v", line 834, characters 0-60:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
COQC src/ssrcomplements.v
COQC src/mpoly.v
File "./src/mpoly.v", line 139, characters 0-81:
Warning: Closed notations (i.e. starting and ending with a terminal symbol)
should usually be at level 0 (default).
[closed-notation-not-level-0,parsing,default]
File "./src/mpoly.v", line 141, characters 0-93:
Warning: Closed notations (i.e. starting and ending with a terminal symbol)
should usually be at level 0 (default).
[closed-notation-not-level-0,parsing,default]
File "./src/mpoly.v", line 143, characters 0-79:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 145, characters 0-106:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 147, characters 0-79:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 151, characters 0-85:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 153, characters 0-89:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 157, characters 0-84:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 159, characters 0-92:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 161, characters 0-70:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 163, characters 0-79:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 165, characters 0-70:
Warning: Postfix notations (i.e. starting with a nonterminal symbol and
ending with a terminal symbol) should usually be at level 1 (default).
[postfix-notation-not-level-1,parsing,default]
File "./src/mpoly.v", line 169, characters 0-95:
Warning: Closed notations (i.e. starting and ending with a terminal symbol)
should usually be at level 0 (default).
[closed-notation-not-level-0,parsing,default]
File "./src/mpoly.v", line 171, characters 0-107:
Warning: Closed notations (i.e. starting and ending with a terminal symbol)
should usually be at level 0 (default).
[closed-notation-not-level-0,parsing,default]
File "./src/mpoly.v", line 250, characters 27-34:
Warning: Notation nosimpl is deprecated since mathcomp 2.3.0.
Use `Arguments def : simpl never` instead (should work fine since Coq 8.18).
[deprecated-syntactic-definition-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-syntactic-definition,deprecated,default]
File "./src/mpoly.v", line 798, characters 38-45:
Warning: Notation nosimpl is deprecated since mathcomp 2.3.0.
Use `Arguments def : simpl never` instead (should work fine since Coq 8.18).
[deprecated-syntactic-definition-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-syntactic-definition,deprecated,default]
File "./src/mpoly.v", line 879, characters 0-58:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
File "./src/mpoly.v", line 1481, characters 0-55:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
File "./src/mpoly.v", line 1628, characters 2-9:
Warning: Notation nosimpl is deprecated since mathcomp 2.3.0.
Use `Arguments def : simpl never` instead (should work fine since Coq 8.18).
[deprecated-syntactic-definition-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-syntactic-definition,deprecated,default]
File "./src/mpoly.v", line 2743, characters 0-58:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
File "./src/mpoly.v", line 3229, characters 0-62:
Warning: HB: no new instance is generated
[HB.no-new-instance,HB,elpi,default]
File "./src/mpoly.v", line 4018, characters 2-9:
Warning: Notation nosimpl is deprecated since mathcomp 2.3.0.
Use `Arguments def : simpl never` instead (should work fine since Coq 8.18).
[deprecated-syntactic-definition-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-syntactic-definition,deprecated,default]
File "./src/mpoly.v", line 4441, characters 2-9:
Warning: Notation nosimpl is deprecated since mathcomp 2.3.0.
Use `Arguments def : simpl never` instead (should work fine since Coq 8.18).
[deprecated-syntactic-definition-since-mathcomp-2.3.0,deprecated-since-mathcomp-2.3.0,deprecated-syntactic-definition,deprecated,default]
File "./src/mpoly.v", line 4545, characters 0-175:
Warning: Notations "[ in _ ]" defined at level 0 with arguments constr
and "[ in _ [ _ ] , _ .-homog ]" defined at level 0 with arguments constr
at level 2 have incompatible prefixes. One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/mpoly.v", line 4661, characters 0-188:
Warning: Notations "[ in _ ]" defined at level 0 with arguments constr
and "[ in _ [ _ ] , _ .-homog for _ ]" defined at level 0 with arguments
constr at level 2 have incompatible prefixes.
One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/mpoly.v", line 4822, characters 0-114:
Warning: Notations "[ the _ of _ by _ ]" defined at level 0
and "[ 'dhomog_ _ _ ]" defined at level 8 have incompatible prefixes.
One of them will likely not work.
[notation-incompatible-prefix,parsing,default]
File "./src/mpoly.v", line 4923, characters 23-35:
Warning: Notation vector_axiom is deprecated since mathcomp 2.2.0.
Use Vector.axiom instead.
[deprecated-syntactic-definition-since-mathcomp-2.2.0,deprecated-since-mathcomp-2.2.0,deprecated-syntactic-definition,deprecated,default]
make[1]: Leaving directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
   dh_auto_test
   create-stamp debian/debhelper-build-stamp
   dh_prep
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
make install DESTDIR=/build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp
make[2]: Entering directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
coq_makefile -f _CoqProject -o Makefile.coq
make --no-print-directory -f Makefile.coq install
INSTALL src/freeg.vo /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/monalg.vo /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/mpoly.vo /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/ssrcomplements.vo /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/xfinmap.vo /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/freeg.v /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/monalg.v /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/mpoly.v /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/ssrcomplements.v /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/xfinmap.v /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/freeg.glob /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/monalg.glob /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/mpoly.glob /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/ssrcomplements.glob /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
INSTALL src/xfinmap.glob /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/mathcomp/multinomials/
make[2]: Leaving directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
find /build/reproducible-path/mathcomp-multinomials-2.3.0/debian/tmp -name LICENSE -delete
make[1]: Leaving directory '/build/reproducible-path/mathcomp-multinomials-2.3.0'
   dh_install
   dh_ocamldoc
   dh_installdocs
   dh_installchangelogs
   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-mathcomp-multinomials' in '../libcoq-mathcomp-multinomials_2.3.0-1+ocaml1_amd64.deb'.
 dpkg-genbuildinfo -O../mathcomp-multinomials_2.3.0-1+ocaml1_amd64.buildinfo
 dpkg-genchanges -sa -O../mathcomp-multinomials_2.3.0-1+ocaml1_amd64.changes
dpkg-genchanges: info: including full source code in upload
 dpkg-source --after-build .
dpkg-buildpackage: info: full upload (original source is included)
--------------------------------------------------------------------------------
Build finished at 2025-01-15T15:56:26Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Changes                                      Wed, 15 Jan 2025 15:56:27 +0000 |
+------------------------------------------------------------------------------+


mathcomp-multinomials_2.3.0-1+ocaml1_amd64.changes:
---------------------------------------------------

Format: 1.8
Date: Wed, 15 Jan 2025 16:52:46 +0100
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: source amd64
Version: 2.3.0-1+ocaml1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Components
Changes:
 mathcomp-multinomials (2.3.0-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 19e020273a8d1a7413e26d2792663ac20db0e0c1 1417 mathcomp-multinomials_2.3.0-1+ocaml1.dsc
 a3d445ebef4fa4e8b77c0c7f64a5e6c1bab8bd49 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 f5148e072dd8f1965944b032d993f2c623b9b2ad 9064 mathcomp-multinomials_2.3.0-1+ocaml1.debian.tar.xz
 8e907286bdf2003d7136898c8f97a5271de87c29 1868508 libcoq-mathcomp-multinomials_2.3.0-1+ocaml1_amd64.deb
 cb966db554338f046e6173d09f8db6875d194a22 7174 mathcomp-multinomials_2.3.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 d1ff83280c7fe0e5b2674cab44ba4e16482ba714a353bf47fc385cf382b2acec 1417 mathcomp-multinomials_2.3.0-1+ocaml1.dsc
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 90caa4bcda46bf674ec62ae206cc45b034fe2bd4efc1002fbcce8c785f4e9135 9064 mathcomp-multinomials_2.3.0-1+ocaml1.debian.tar.xz
 5ff6d8948cab9d1dabd6f56410f264c31976819d2b332c10090c0cfaaa770183 1868508 libcoq-mathcomp-multinomials_2.3.0-1+ocaml1_amd64.deb
 f52258d9599e74b2ffbbbdb1079ced70a613094a97e1492e0eca056bb57a6c45 7174 mathcomp-multinomials_2.3.0-1+ocaml1_amd64.buildinfo
Files:
 10475a9f1ed32bc72aacf5dbedde2251 1417 ocaml optional mathcomp-multinomials_2.3.0-1+ocaml1.dsc
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 ocaml optional mathcomp-multinomials_2.3.0.orig.tar.gz
 82a1ee61858ef4f09813bf84f43b59d9 9064 ocaml optional mathcomp-multinomials_2.3.0-1+ocaml1.debian.tar.xz
 e891b2b3be92c67fe2778dfa7e14c157 1868508 ocaml optional libcoq-mathcomp-multinomials_2.3.0-1+ocaml1_amd64.deb
 c6aa9abdccf4a70ce6be9ae32ecc269a 7174 ocaml optional mathcomp-multinomials_2.3.0-1+ocaml1_amd64.buildinfo

+------------------------------------------------------------------------------+
| Buildinfo                                    Wed, 15 Jan 2025 15:56:27 +0000 |
+------------------------------------------------------------------------------+

Format: 1.0
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: amd64 source
Version: 2.3.0-1+ocaml1
Checksums-Md5:
 10475a9f1ed32bc72aacf5dbedde2251 1417 mathcomp-multinomials_2.3.0-1+ocaml1.dsc
 e891b2b3be92c67fe2778dfa7e14c157 1868508 libcoq-mathcomp-multinomials_2.3.0-1+ocaml1_amd64.deb
Checksums-Sha1:
 19e020273a8d1a7413e26d2792663ac20db0e0c1 1417 mathcomp-multinomials_2.3.0-1+ocaml1.dsc
 8e907286bdf2003d7136898c8f97a5271de87c29 1868508 libcoq-mathcomp-multinomials_2.3.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 d1ff83280c7fe0e5b2674cab44ba4e16482ba714a353bf47fc385cf382b2acec 1417 mathcomp-multinomials_2.3.0-1+ocaml1.dsc
 5ff6d8948cab9d1dabd6f56410f264c31976819d2b332c10090c0cfaaa770183 1868508 libcoq-mathcomp-multinomials_2.3.0-1+ocaml1_amd64.deb
Build-Origin: Debian
Build-Architecture: amd64
Build-Date: Wed, 15 Jan 2025 15:56:26 +0000
Build-Path: /build/reproducible-path/mathcomp-multinomials-2.3.0
Installed-Build-Depends:
 autoconf (= 2.72-3),
 automake (= 1:1.16.5-1.3),
 autopoint (= 0.22.5-4),
 autotools-dev (= 20220109.1),
 base-files (= 13.6),
 base-passwd (= 3.6.6),
 bash (= 5.2.37-1),
 binutils (= 2.43.50.20250108-1),
 binutils-common (= 2.43.50.20250108-1),
 binutils-x86-64-linux-gnu (= 2.43.50.20250108-1),
 bsdextrautils (= 2.40.4-1),
 bsdutils (= 1:2.40.4-1),
 build-essential (= 12.12),
 bzip2 (= 1.0.8-6),
 coq (= 8.20.0+dfsg-1+ocaml1),
 coreutils (= 9.5-1+b1),
 cpp (= 4:14.2.0-1),
 cpp-14 (= 14.2.0-13),
 cpp-14-x86-64-linux-gnu (= 14.2.0-13),
 cpp-x86-64-linux-gnu (= 4:14.2.0-1),
 dash (= 0.5.12-11),
 debconf (= 1.5.89),
 debhelper (= 13.23),
 debianutils (= 5.21),
 dh-autoreconf (= 20),
 dh-coq (= 0.13+ocaml1),
 dh-ocaml (= 2.4+ocaml1),
 dh-strip-nondeterminism (= 1.14.0-1),
 diffutils (= 1:3.10-2),
 dpkg (= 1.22.13),
 dpkg-dev (= 1.22.13),
 dwz (= 0.15-1+b1),
 file (= 1:5.45-3+b1),
 findutils (= 4.10.0-3),
 g++ (= 4:14.2.0-1),
 g++-14 (= 14.2.0-13),
 g++-14-x86-64-linux-gnu (= 14.2.0-13),
 g++-x86-64-linux-gnu (= 4:14.2.0-1),
 gcc (= 4:14.2.0-1),
 gcc-14 (= 14.2.0-13),
 gcc-14-base (= 14.2.0-13),
 gcc-14-x86-64-linux-gnu (= 14.2.0-13),
 gcc-x86-64-linux-gnu (= 4:14.2.0-1),
 gettext (= 0.22.5-4),
 gettext-base (= 0.22.5-4),
 grep (= 3.11-4),
 groff-base (= 1.23.0-7),
 gzip (= 1.12-1.2),
 hostname (= 3.25),
 init-system-helpers (= 1.68),
 intltool-debian (= 0.35.0+20060710.6),
 libacl1 (= 2.3.2-2+b1),
 libarchive-zip-perl (= 1.68-1),
 libasan8 (= 14.2.0-13),
 libatomic1 (= 14.2.0-13),
 libattr1 (= 1:2.5.2-2),
 libaudit-common (= 1:4.0.2-2),
 libaudit1 (= 1:4.0.2-2),
 libbinutils (= 2.43.50.20250108-1),
 libblkid1 (= 2.40.4-1),
 libbz2-1.0 (= 1.0.8-6),
 libc-bin (= 2.40-5),
 libc-dev-bin (= 2.40-5),
 libc6 (= 2.40-5),
 libc6-dev (= 2.40-5),
 libcap-ng0 (= 0.8.5-4),
 libcap2 (= 1:2.66-5+b1),
 libcc1-0 (= 14.2.0-13),
 libcompiler-libs-ocaml-dev (= 5.3.0-1~exp2+ocaml1),
 libconfig-tiny-perl (= 2.30-1),
 libcoq-core-ocaml (= 8.20.0+dfsg-1+ocaml1),
 libcoq-core-ocaml-dev (= 8.20.0+dfsg-1+ocaml1),
 libcoq-elpi (= 2.3.0-1+ocaml1),
 libcoq-hierarchy-builder (= 1.8.0-1+ocaml1),
 libcoq-mathcomp-algebra (= 2.3.0-1+ocaml1),
 libcoq-mathcomp-bigenough (= 1.0.1-14+ocaml1),
 libcoq-mathcomp-fingroup (= 2.3.0-1+ocaml1),
 libcoq-mathcomp-finmap (= 2.1.0-3+ocaml1),
 libcoq-mathcomp-ssreflect (= 2.3.0-1+ocaml1),
 libcoq-stdlib (= 8.20.0+dfsg-1+ocaml1),
 libcrypt-dev (= 1:4.4.36-5),
 libcrypt1 (= 1:4.4.36-5),
 libctf-nobfd0 (= 2.43.50.20250108-1),
 libctf0 (= 2.43.50.20250108-1),
 libdb5.3t64 (= 5.3.28+dfsg2-9),
 libdebconfclient0 (= 0.277),
 libdebhelper-perl (= 13.23),
 libdpkg-perl (= 1.22.13),
 libelf1t64 (= 0.192-4),
 libelpi-ocaml (= 2.0.5-1+ocaml1),
 libelpi-ocaml-dev (= 2.0.5-1+ocaml1),
 libexpat1 (= 2.6.4-1),
 libffi8 (= 3.4.6-1),
 libfile-stripnondeterminism-perl (= 1.14.0-1),
 libfindlib-ocaml (= 1.9.6-3+ocaml1),
 libfindlib-ocaml-dev (= 1.9.6-3+ocaml1),
 libgcc-14-dev (= 14.2.0-13),
 libgcc-s1 (= 14.2.0-13),
 libgdbm-compat4t64 (= 1.24-2),
 libgdbm6t64 (= 1.24-2),
 libgmp-dev (= 2:6.3.0+dfsg-3),
 libgmp10 (= 2:6.3.0+dfsg-3),
 libgmp3-dev (= 2:6.3.0+dfsg-3),
 libgmpxx4ldbl (= 2:6.3.0+dfsg-3),
 libgomp1 (= 14.2.0-13),
 libgprofng0 (= 2.43.50.20250108-1),
 libhwasan0 (= 14.2.0-13),
 libicu72 (= 72.1-6),
 libisl23 (= 0.27-1),
 libitm1 (= 14.2.0-13),
 libjansson4 (= 2.14-2+b3),
 liblsan0 (= 14.2.0-13),
 liblzma5 (= 5.6.3-1+b1),
 libmagic-mgc (= 1:5.45-3+b1),
 libmagic1t64 (= 1:5.45-3+b1),
 libmd0 (= 1.1.0-2+b1),
 libmenhir-ocaml-dev (= 20240715+ds-1+ocaml1),
 libmount1 (= 2.40.4-1),
 libmpc3 (= 1.3.1-1+b3),
 libmpfr6 (= 4.2.1-1+b2),
 libncurses-dev (= 6.5-2+b1),
 libncurses6 (= 6.5-2+b1),
 libncursesw6 (= 6.5-2+b1),
 libocaml-compiler-libs-ocaml-dev (= 0.17.0-1+ocaml1),
 libpam-modules (= 1.5.3-7+b1),
 libpam-modules-bin (= 1.5.3-7+b1),
 libpam-runtime (= 1.5.3-7),
 libpam0g (= 1.5.3-7+b1),
 libpcre2-8-0 (= 10.44-5),
 libperl5.40 (= 5.40.0-8),
 libpipeline1 (= 1.5.8-1),
 libppx-derivers-ocaml-dev (= 1.2.1-4+ocaml1),
 libppx-deriving-ocaml (= 6.0.3-1+ocaml1),
 libppx-deriving-ocaml-dev (= 6.0.3-1+ocaml1),
 libppxlib-ocaml-dev (= 0.34.0-1+ocaml1),
 libpython3-stdlib (= 3.13.1-2),
 libpython3.13-minimal (= 3.13.1-3),
 libpython3.13-stdlib (= 3.13.1-3),
 libquadmath0 (= 14.2.0-13),
 libre-ocaml-dev (= 1.12.0+really1.11.0-1+ocaml1),
 libreadline8t64 (= 8.2-6),
 libseccomp2 (= 2.5.5-2),
 libselinux1 (= 3.7-3+b1),
 libsexplib0-ocaml (= 0.17.0-1+ocaml1),
 libsexplib0-ocaml-dev (= 0.17.0-1+ocaml1),
 libsframe1 (= 2.43.50.20250108-1),
 libsmartcols1 (= 2.40.4-1),
 libsqlite3-0 (= 3.46.1-1),
 libssl3t64 (= 3.4.0-2),
 libstdc++-14-dev (= 14.2.0-13),
 libstdc++6 (= 14.2.0-13),
 libstdlib-ocaml (= 5.3.0-1~exp2+ocaml1),
 libstdlib-ocaml-dev (= 5.3.0-1~exp2+ocaml1),
 libsystemd0 (= 257.2-1),
 libtinfo6 (= 6.5-2+b1),
 libtool (= 2.5.4-2),
 libtsan2 (= 14.2.0-13),
 libubsan1 (= 14.2.0-13),
 libuchardet0 (= 0.0.8-1+b2),
 libudev1 (= 257.2-1),
 libunistring5 (= 1.3-1),
 libuuid1 (= 2.40.4-1),
 libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1),
 libzarith-ocaml (= 1.14-1+ocaml1),
 libzarith-ocaml-dev (= 1.14-1+ocaml1),
 libzstd-dev (= 1.5.6+dfsg-2),
 libzstd1 (= 1.5.6+dfsg-2),
 linux-libc-dev (= 6.12.9-1),
 m4 (= 1.4.19-5),
 make (= 4.4.1-1),
 man-db (= 2.13.0-1),
 mawk (= 1.3.4.20240905-1),
 media-types (= 10.1.0),
 ncurses-base (= 6.5-2),
 ncurses-bin (= 6.5-2+b1),
 netbase (= 6.4),
 ocaml (= 5.3.0-1~exp2+ocaml1),
 ocaml-base (= 5.3.0-1~exp2+ocaml1),
 ocaml-dune (= 3.17.1-2+ocaml1),
 ocaml-findlib (= 1.9.6-3+ocaml1),
 ocaml-interp (= 5.3.0-1~exp2+ocaml1),
 openssl-provider-legacy (= 3.4.0-2),
 patch (= 2.7.6-7),
 perl (= 5.40.0-8),
 perl-base (= 5.40.0-8),
 perl-modules-5.40 (= 5.40.0-8),
 po-debconf (= 1.0.21+nmu1),
 python3 (= 3.13.1-2),
 python3-minimal (= 3.13.1-2),
 python3.13 (= 3.13.1-3),
 python3.13-minimal (= 3.13.1-3),
 readline-common (= 8.2-6),
 rpcsvc-proto (= 1.4.3-1),
 sed (= 4.9-2),
 sensible-utils (= 0.0.24),
 sysvinit-utils (= 3.13-1),
 tar (= 1.35+dfsg-3.1),
 tzdata (= 2024b-6),
 util-linux (= 2.40.4-1),
 xz-utils (= 5.6.3-1+b1),
 zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1)
Environment:
 DEB_BUILD_OPTIONS="parallel=1"
 LANG="C.UTF-8"
 LC_COLLATE="C.UTF-8"
 LC_CTYPE="C.UTF-8"
 MAKEFLAGS=""
 SOURCE_DATE_EPOCH="1736956366"


+------------------------------------------------------------------------------+
| Package contents                             Wed, 15 Jan 2025 15:56:27 +0000 |
+------------------------------------------------------------------------------+


libcoq-mathcomp-multinomials_2.3.0-1+ocaml1_amd64.deb
-----------------------------------------------------

 new Debian package, version 2.0.
 size 1868508 bytes: control archive=1352 bytes.
     971 bytes,    21 lines      control
    2189 bytes,    19 lines      md5sums
 Package: libcoq-mathcomp-multinomials
 Source: mathcomp-multinomials
 Version: 2.3.0-1+ocaml1
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 7040
 Depends: libcoq-elpi (>= 1.19), libcoq-mathcomp-algebra-ji8b0, libcoq-mathcomp-bigenough-vaxt3, libcoq-mathcomp-finmap-g98h5, libcoq-mathcomp-ssreflect-zgl00
 Suggests: ocaml-findlib
 Provides: libcoq-mathcomp-multinomials-pxo05
 Section: ocaml
 Priority: optional
 Homepage: https://github.com/math-comp/multinomials
 Description: Multivariate polynomials for Mathematical Components
  This package provides an extension to Mathematical Components
  for monomial algebra, multivariate polynomials over ring
  structures and an extended theory for polynomials whose
  coefficients live in abelian rings and integral domains.
  .
  The Mathematical Components library is a coherent repository of
  general-purpose formalized mathematical theories for the
  Coq proof assistant.

drwxr-xr-x root/root         0 2025-01-15 15:52 ./
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/lib/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/
-rw-r--r-- root/root    368782 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.glob
-rw-r--r-- root/root     44654 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.v
-rw-r--r-- root/root    515485 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.vo
-rw-r--r-- root/root    419737 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.glob
-rw-r--r-- root/root     52505 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.v
-rw-r--r-- root/root    911240 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.vo
-rw-r--r-- root/root   1662693 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.glob
-rw-r--r-- root/root    180646 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.v
-rw-r--r-- root/root   2758462 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.vo
-rw-r--r-- root/root    104932 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.glob
-rw-r--r-- root/root     11781 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.v
-rw-r--r-- root/root    107949 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.vo
-rw-r--r-- root/root      4388 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.glob
-rw-r--r-- root/root      1304 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.v
-rw-r--r-- root/root     11403 2025-01-15 15:52 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.vo
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/share/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/share/doc/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./usr/share/doc/libcoq-mathcomp-multinomials/
-rw-r--r-- root/root      1383 2024-12-05 13:50 ./usr/share/doc/libcoq-mathcomp-multinomials/README.md
-rw-r--r-- root/root       833 2025-01-15 15:52 ./usr/share/doc/libcoq-mathcomp-multinomials/changelog.Debian.gz
-rw-r--r-- root/root     22387 2024-12-18 11:19 ./usr/share/doc/libcoq-mathcomp-multinomials/copyright
drwxr-xr-x root/root         0 2025-01-15 15:52 ./var/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./var/lib/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./var/lib/coq/
drwxr-xr-x root/root         0 2025-01-15 15:52 ./var/lib/coq/md5sums/
-rw-r--r-- root/root         5 2025-01-15 15:52 ./var/lib/coq/md5sums/libcoq-mathcomp-multinomials.checksum


+------------------------------------------------------------------------------+
| Post Build                                   Wed, 15 Jan 2025 15:56:28 +0000 |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                      Wed, 15 Jan 2025 15:56:28 +0000 |
+------------------------------------------------------------------------------+

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

+------------------------------------------------------------------------------+
| Summary                                      Wed, 15 Jan 2025 15:56:29 +0000 |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build Type: full
Build-Space: 23548
Build-Time: 70
Distribution: unstable
Host Architecture: amd64
Install-Time: 139
Job: /tmp/tmp.ben.transition-scripts.DagD8NjdBL/mathcomp-multinomials_2.3.0-1+ocaml1.dsc
Machine Architecture: amd64
Package: mathcomp-multinomials
Package-Time: 220
Source-Version: 2.3.0-1+ocaml1
Space: 23548
Status: successful
Version: 2.3.0-1+ocaml1
--------------------------------------------------------------------------------
Finished at 2025-01-15T15:56:26Z
Build needed 00:03:40, 23548k disk space