sbuild (Debian sbuild) 0.91.10 (27 June 2026) on cil.up7.fr +==============================================================================+ | mathcomp-zify 1.7.0+2.4+9.0-1+ocaml1 (amd64) Fri, 23 Oct 2026 18:07:48 +0000 | +==============================================================================+ Package: mathcomp-zify Version: 1.7.0+2.4+9.0-1+ocaml1 Source Version: 1.7.0+2.4+9.0-1+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.ceAg97xYhG... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Fri, 23 Oct 2026 18:07:54 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 1422 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 18:08:18 +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 [1393 kB] Get:5 http://localhost:9999/debian unstable InRelease [193 kB] Get:6 http://localhost:9999/debian unstable/non-free amd64 Packages [132 kB] Get:7 http://localhost:9999/debian unstable/main amd64 Packages [10.8 MB] 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 (10.0 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 Fri, 23 Oct 2026 18:08:20 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.iEW2qaUd5L/mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.iEW2qaUd5L; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Fri, 23 Oct 2026 18:08:22 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, build-essential Filtered Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-9VlKeb/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-9VlKeb/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-9VlKeb/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-9VlKeb/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-9VlKeb/apt_archive ./ Sources [655 B] Get:5 copy:/build/reproducible-path/resolver-9VlKeb/apt_archive ./ Packages [694 B] Fetched 1958 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-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-boot libcoq-mathcomp-finite-group libcoq-mathcomp-order libcoq-micromega-plugin libcoq-stdlib libdebhelper-perl libelf1t64 libelpi-ocaml libelpi-ocaml-dev libexpat1 libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml libjson-perl 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.14-minimal libpython3.14-stdlib libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2-16 libzarith-ocaml 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 libcoq-core-ocaml-dev why3 coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev gnulib-l10n groff 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 libfindlib-ocaml-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-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-boot libcoq-mathcomp-finite-group libcoq-mathcomp-order libcoq-micromega-plugin libcoq-stdlib libdebhelper-perl libelf1t64 libelpi-ocaml libelpi-ocaml-dev libexpat1 libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml libjson-perl 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.14-minimal libpython3.14-stdlib libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2-16 libzarith-ocaml 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, 85 newly installed, 0 to remove and 0 not upgraded. Need to get 22.7 MB/294 MB of archives. After this operation, 1290 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-9VlKeb/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [888 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 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.5.2-1~exp1+ocaml1 [7117 kB] Get:27 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB] Get:28 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB] Get:29 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 1.0-5 [334 kB] Get:30 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB] Get:31 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.2-2 [1365 kB] Get:32 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42.4-1 [103 kB] Get:33 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Get:34 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:35 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Get:36 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB] Get:37 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:38 http://localhost:9999/debian unstable/main amd64 automake all 1:1.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 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB] Get:48 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.1-1 [6020 B] Get:49 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.196-1 [61.2 kB] Get:50 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.17-1 [109 kB] Get:51 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB] Get:52 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.5.2-1~exp1+ocaml1 [41.7 MB] 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 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.5.2-1~exp1+ocaml1 [8224 kB] Get:62 file:/repo rebuilt/main amd64 ocaml amd64 5.5.2-1~exp1+ocaml1 [19.7 MB] Get:63 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [625 kB] Get:64 file:/repo rebuilt/main amd64 coq amd64 9.2.0+dfsg-4+ocaml1 [43.3 MB] Get:65 file:/repo rebuilt/main amd64 dh-coq all 0.17+ocaml1 [7036 B] Get:66 file:/repo rebuilt/main amd64 dh-ocaml all 3.8+ocaml1 [201 kB] Get:67 file:/repo rebuilt/main amd64 libsexplib0-ocaml amd64 0.17.0-1+ocaml1 [120 kB] Get:68 file:/repo rebuilt/main amd64 libppx-deriving-ocaml amd64 6.2.0-1+ocaml1 [415 kB] Get:69 file:/repo rebuilt/main amd64 libelpi-ocaml amd64 3.7.2-2+ocaml1 [3561 kB] Get:70 file:/repo rebuilt/main amd64 libmenhir-ocaml-dev amd64 20260209+ds-3+ocaml1 [1036 kB] Get:71 file:/repo rebuilt/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-2+ocaml1 [94.8 kB] Get:72 file:/repo rebuilt/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+ocaml1 [16.9 kB] Get:73 file:/repo rebuilt/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1+ocaml1 [279 kB] Get:74 file:/repo rebuilt/main amd64 libppxlib-ocaml-dev amd64 0.39.0-1+ocaml1 [20.5 MB] Get:75 file:/repo rebuilt/main amd64 libppx-deriving-ocaml-dev amd64 6.2.0-1+ocaml1 [5232 kB] Get:76 file:/repo rebuilt/main amd64 libre-ocaml-dev amd64 1.14.0-2+ocaml1 [1400 kB] Get:77 file:/repo rebuilt/main amd64 libelpi-ocaml-dev amd64 3.7.2-2+ocaml1 [12.5 MB] Get:78 file:/repo rebuilt/main amd64 libcoq-stdlib amd64 9.2.0-1+ocaml1 [20.1 MB] Get:79 file:/repo rebuilt/main amd64 libcoq-elpi amd64 3.5.0-3+ocaml1 [13.1 MB] Get:80 file:/repo rebuilt/main amd64 libcoq-hierarchy-builder amd64 1.10.3-3+ocaml1 [831 kB] Get:81 file:/repo rebuilt/main amd64 libcoq-micromega-plugin amd64 1.1.1-2+ocaml1 [3980 kB] Get:82 file:/repo rebuilt/main amd64 libcoq-mathcomp-boot amd64 2.6.0-3+ocaml1 [6032 kB] Get:83 file:/repo rebuilt/main amd64 libcoq-mathcomp-finite-group amd64 2.6.0-3+ocaml1 [2468 kB] Get:84 file:/repo rebuilt/main amd64 libcoq-mathcomp-order amd64 2.6.0-3+ocaml1 [6869 kB] Get:85 file:/repo rebuilt/main amd64 libcoq-mathcomp-algebra amd64 2.6.0-3+ocaml1 [23.1 MB] Preconfiguring packages ... Fetched 22.7 MB in 1s (28.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 libsexplib0-ocaml. Preparing to unpack .../50-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 .../51-libppx-deriving-ocaml_6.2.0-1+ocaml1_amd64.deb ... Unpacking libppx-deriving-ocaml (6.2.0-1+ocaml1) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../52-libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb ... Unpacking libelpi-ocaml (3.7.2-2+ocaml1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../53-libmenhir-ocaml-dev_20260209+ds-3+ocaml1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20260209+ds-3+ocaml1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../54-libocaml-compiler-libs-ocaml-dev_0.17.0-2+ocaml1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-2+ocaml1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../55-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 .../56-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 .../57-libppxlib-ocaml-dev_0.39.0-1+ocaml1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.39.0-1+ocaml1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../58-libppx-deriving-ocaml-dev_6.2.0-1+ocaml1_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.2.0-1+ocaml1) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../59-libre-ocaml-dev_1.14.0-2+ocaml1_amd64.deb ... Unpacking libre-ocaml-dev (1.14.0-2+ocaml1) ... Selecting previously unselected package libelpi-ocaml-dev. Preparing to unpack .../60-libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb ... Unpacking libelpi-ocaml-dev (3.7.2-2+ocaml1) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../61-libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb ... Unpacking libcoq-stdlib (9.2.0-1+ocaml1) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../62-libcoq-elpi_3.5.0-3+ocaml1_amd64.deb ... Unpacking libcoq-elpi (3.5.0-3+ocaml1) ... Selecting previously unselected package libcoq-hierarchy-builder. Preparing to unpack .../63-libcoq-hierarchy-builder_1.10.3-3+ocaml1_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.10.3-3+ocaml1) ... Selecting previously unselected package libcoq-micromega-plugin. Preparing to unpack .../64-libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb ... Unpacking libcoq-micromega-plugin (1.1.1-2+ocaml1) ... Selecting previously unselected package libcoq-mathcomp-boot. Preparing to unpack .../65-libcoq-mathcomp-boot_2.6.0-3+ocaml1_amd64.deb ... Unpacking libcoq-mathcomp-boot (2.6.0-3+ocaml1) ... Selecting previously unselected package libcoq-mathcomp-finite-group. Preparing to unpack .../66-libcoq-mathcomp-finite-group_2.6.0-3+ocaml1_amd64.deb ... Unpacking libcoq-mathcomp-finite-group (2.6.0-3+ocaml1) ... Selecting previously unselected package libcoq-mathcomp-order. Preparing to unpack .../67-libcoq-mathcomp-order_2.6.0-3+ocaml1_amd64.deb ... Unpacking libcoq-mathcomp-order (2.6.0-3+ocaml1) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../68-libcoq-mathcomp-algebra_2.6.0-3+ocaml1_amd64.deb ... Unpacking libcoq-mathcomp-algebra (2.6.0-3+ocaml1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../69-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 18:08:55 UTC 2026. Universal Time is now: Fri Oct 23 18:08:55 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 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 libsexplib0-ocaml (0.17.0-1+ocaml1) ... 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 libppx-deriving-ocaml (6.2.0-1+ocaml1) ... Setting up libncurses-dev:amd64 (6.6+20260608-2) ... Setting up gettext (1.0-5) ... 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 libelpi-ocaml (3.7.2-2+ocaml1) ... Setting up libcoq-core-ocaml (9.2.0+dfsg-4+ocaml1) ... Setting up groff-base (1.24.2-2) ... Setting up libcoq-micromega-plugin (1.1.1-2+ocaml1) ... 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 libre-ocaml-dev (1.14.0-2+ocaml1) ... Setting up libmenhir-ocaml-dev (20260209+ds-3+ocaml1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-2+ocaml1) ... Setting up libsexplib0-ocaml-dev (0.17.0-1+ocaml1) ... Setting up python3.14 (3.14.8-1) ... Setting up libpython3-stdlib:amd64 (3.14.8-1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+ocaml1) ... Setting up libppxlib-ocaml-dev (0.39.0-1+ocaml1) ... Setting up debhelper (14.5) ... Setting up python3 (3.14.8-1) ... Setting up coq (9.2.0+dfsg-4+ocaml1) ... Setting up libppx-deriving-ocaml-dev (6.2.0-1+ocaml1) ... Setting up libelpi-ocaml-dev (3.7.2-2+ocaml1) ... Setting up libcoq-elpi (3.5.0-3+ocaml1) ... Setting up libcoq-hierarchy-builder (1.10.3-3+ocaml1) ... Setting up libcoq-mathcomp-boot (2.6.0-3+ocaml1) ... Setting up libcoq-mathcomp-order (2.6.0-3+ocaml1) ... Setting up libcoq-mathcomp-finite-group (2.6.0-3+ocaml1) ... Setting up libcoq-mathcomp-algebra (2.6.0-3+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 18:08:57 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Fri, 23 Oct 2026 18:08:57 +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-elpi_3.5.0-3+ocaml1 libcoq-hierarchy-builder_1.10.3-3+ocaml1 libcoq-mathcomp-algebra_2.6.0-3+ocaml1 libcoq-mathcomp-boot_2.6.0-3+ocaml1 libcoq-mathcomp-finite-group_2.6.0-3+ocaml1 libcoq-mathcomp-order_2.6.0-3+ocaml1 libcoq-micromega-plugin_1.1.1-2+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 libelpi-ocaml_3.7.2-2+ocaml1 libelpi-ocaml-dev_3.7.2-2+ocaml1 libexpat1_2.9.0-1 libffi8_3.8.0-2 libfile-stripnondeterminism-perl_1.15.1-1 libfindlib-ocaml_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 libgmp10_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 libmenhir-ocaml-dev_20260209+ds-3+ocaml1 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 libocaml-compiler-libs-ocaml-dev_0.17.0-2+ocaml1 libpam-modules_1.7.0-8 libpam-modules-bin_1.7.0-8 libpam-runtime_1.7.0-8 libpam0g_1.7.0-8 libpcre2-8-0_10.48-3.1 libperl5.42_5.42.3-1 libpipeline1_1.5.8-3 libppx-derivers-ocaml-dev_1.2.1-4+ocaml1 libppx-deriving-ocaml_6.2.0-1+ocaml1 libppx-deriving-ocaml-dev_6.2.0-1+ocaml1 libppxlib-ocaml-dev_0.39.0-1+ocaml1 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 libre-ocaml-dev_1.14.0-2+ocaml1 libreadline8t64_8.3-4 libseccomp2_2.6.1-1+b1 libselinux1_3.11-2.1 libsexplib0-ocaml_0.17.0-1+ocaml1 libsexplib0-ocaml-dev_0.17.0-1+ocaml1 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 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 18:08:57 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: any Version: 1.7.0+2.4+9.0-1+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/mczify Standards-Version: 4.7.4 Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-zify Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-zify.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra Package-List: libcoq-mathcomp-zify deb ocaml optional arch=any Checksums-Sha1: 99c73fc41a0a2393ed0fbd686a0937cdc221c33d 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz a19b0a3ff13aef49742b5aee11b3887f5befff35 8976 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz Checksums-Sha256: a6ad25eab52e1ac8b9b08df7bbd80bbc312a75aa8e9c675a1dfe42400b18baf0 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz c2198bc274d8e17ca7b0367e1a6ba99a1c636697c56ee69df85ae03542efcca5 8976 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz Files: 7bb8625b236bef09ea13d478fd797e3a 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz 39665db448e3668076710fb5e66e2f0c 8976 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc) dpkg-source: info: extracting mathcomp-zify in /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0 dpkg-source: info: unpacking mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz dpkg-source: info: unpacking mathcomp-zify_1.7.0+2.4+9.0-1+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 mathcomp-zify dpkg-buildpackage: info: source version 1.7.0+2.4+9.0-1+ocaml1 dpkg-buildpackage: info: source distribution unstable-ocaml dpkg-buildpackage: info: source changed by Anonymous Builder dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with coq,ocaml dh_auto_clean make -j2 distclean make[1]: Entering directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' rm -f Makefile.coq Makefile.coq.conf rm -f Makefile.test-suite.coq Makefile.test-suite.coq.conf make[1]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' dh_ocamlclean dh_clean dpkg-source -b . dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building mathcomp-zify using existing ../mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz dpkg-source: info: building mathcomp-zify in ../mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz dpkg-source: info: building mathcomp-zify in ../mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc debian/rules binary dh binary --with coq,ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' make make[2]: Entering directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' rocq makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq ROCQ DEP VFILES ROCQ compile theories/zify_ssreflect.v File "./theories/zify_ssreflect.v", line 485, characters 13-38: Warning: Reference Znumtheory.Zdivide_Zabs_l is deprecated since Stdlib 9.1. Use Z.divide_abs_l instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] File "./theories/zify_ssreflect.v", line 485, characters 13-38: Warning: Reference Znumtheory.Zdivide_Zabs_l is deprecated since Stdlib 9.1. Use Z.divide_abs_l instead. [deprecated-reference-since-Stdlib-9.1,deprecated-since-Stdlib-9.1,deprecated-reference,deprecated,default] ROCQ compile theories/ssrZ.v File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.subring_closedM; GRing.smulr_closedN] : GRing.subring_closed >-> Algebra.oppr_closed is ambiguous with existing [GRing.subring_closedB; Algebra.zmod_closedN] : GRing.subring_closed >-> Algebra.oppr_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.subring_closed_semi; GRing.semiring_closedM] : GRing.subring_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.subring_closedM; GRing.smulr_closedM] : GRing.subring_closed >-> GRing.mulr_closed. New coercion path [GRing.subring_closed_semi; GRing.semiring_closedD] : GRing.subring_closed >-> Algebra.addumagma_closed is ambiguous with existing [GRing.subring_closedB; Algebra.zmod_closed0D] : GRing.subring_closed >-> Algebra.addumagma_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.submod_closed_semi; GRing.subsemimod_closedD] : GRing.submod_closed >-> Algebra.addumagma_closed is ambiguous with existing [GRing.submod_closedB; Algebra.zmod_closed0D] : GRing.submod_closed >-> Algebra.addumagma_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.subsemialg_closedM; GRing.semiring_closedD] : GRing.subsemialg_closed >-> Algebra.addumagma_closed is ambiguous with existing [GRing.subsemialg_closedZ; GRing.subsemimod_closedD] : GRing.subsemialg_closed >-> Algebra.addumagma_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.subalg_closedBM; GRing.subring_closedB] : GRing.subalg_closed >-> Algebra.zmod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closedB] : GRing.subalg_closed >-> Algebra.zmod_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.subalg_closed_semi; GRing.subsemialg_closedZ] : GRing.subalg_closed >-> GRing.subsemimod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closed_semi] : GRing.subalg_closed >-> GRing.subsemimod_closed. New coercion path [GRing.subalg_closed_semi; GRing.subsemialg_closedM] : GRing.subalg_closed >-> GRing.semiring_closed is ambiguous with existing [GRing.subalg_closedBM; GRing.subring_closed_semi] : GRing.subalg_closed >-> GRing.semiring_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.sdivr_closedM; GRing.smulr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.sdivr_closed_div; GRing.divr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.divring_closed_div; GRing.sdivr_closedM] : GRing.divring_closed >-> GRing.smulr_closed is ambiguous with existing [GRing.divring_closedBM; GRing.subring_closedM] : GRing.divring_closed >-> GRing.smulr_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 6, characters 0-74: Warning: New coercion path [GRing.divalg_closedZ; GRing.subalg_closedBM] : GRing.divalg_closed >-> GRing.subring_closed is ambiguous with existing [GRing.divalg_closedBdiv; GRing.divring_closedBM] : GRing.divalg_closed >-> GRing.subring_closed. [ambiguous-paths,coercions,default] File "./theories/ssrZ.v", line 52, characters 35-48: Warning: Reference semi_additive is deprecated since mathcomp 2.5.0. Use nmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 56, characters 28-54: Warning: Notation GRing.isSemiAdditive.Build is deprecated since mathcomp 2.5.0. Use Algebra.isNmodMorphism.Build instead. [deprecated-syntactic-definition-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-syntactic-definition,deprecated,default] File "./theories/ssrZ.v", line 59, characters 35-48: Warning: Reference semi_additive is deprecated since mathcomp 2.5.0. Use nmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 63, characters 28-54: Warning: Notation GRing.isSemiAdditive.Build is deprecated since mathcomp 2.5.0. Use Algebra.isNmodMorphism.Build instead. [deprecated-syntactic-definition-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-syntactic-definition,deprecated,default] File "./theories/ssrZ.v", line 66, characters 36-50: Warning: Reference multiplicative is deprecated since mathcomp 2.5.0. Use monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 73, characters 36-50: Warning: Reference multiplicative is deprecated since mathcomp 2.5.0. Use monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 80, characters 33-46: Warning: Reference semi_additive is deprecated since mathcomp 2.5.0. Use nmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 84, characters 28-54: Warning: Notation GRing.isSemiAdditive.Build is deprecated since mathcomp 2.5.0. Use Algebra.isNmodMorphism.Build instead. [deprecated-syntactic-definition-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-syntactic-definition,deprecated,default] File "./theories/ssrZ.v", line 87, characters 33-46: Warning: Reference semi_additive is deprecated since mathcomp 2.5.0. Use nmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 91, characters 28-54: Warning: Notation GRing.isSemiAdditive.Build is deprecated since mathcomp 2.5.0. Use Algebra.isNmodMorphism.Build instead. [deprecated-syntactic-definition-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-syntactic-definition,deprecated,default] File "./theories/ssrZ.v", line 94, characters 34-48: Warning: Reference multiplicative is deprecated since mathcomp 2.5.0. Use monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 101, characters 34-48: Warning: Reference multiplicative is deprecated since mathcomp 2.5.0. Use monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 177, characters 28-36: Warning: Reference additive is deprecated since mathcomp 2.5.0. Use zmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 181, characters 28-50: Warning: Notation GRing.isAdditive.Build is deprecated since mathcomp 2.5.0. Use Algebra.isZmodMorphism.Build instead. [deprecated-syntactic-definition-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-syntactic-definition,deprecated,default] File "./theories/ssrZ.v", line 184, characters 28-36: Warning: Reference additive is deprecated since mathcomp 2.5.0. Use zmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 185, characters 14-27: Warning: Reference can2_additive is deprecated since mathcomp 2.5.0. Use can2_zmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 185, characters 14-27: Warning: Reference can2_additive is deprecated since mathcomp 2.5.0. Use can2_zmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 188, characters 28-50: Warning: Notation GRing.isAdditive.Build is deprecated since mathcomp 2.5.0. Use Algebra.isZmodMorphism.Build instead. [deprecated-syntactic-definition-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-syntactic-definition,deprecated,default] File "./theories/ssrZ.v", line 191, characters 34-48: Warning: Reference multiplicative is deprecated since mathcomp 2.5.0. Use monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 198, characters 34-48: Warning: Reference multiplicative is deprecated since mathcomp 2.5.0. Use monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 199, characters 14-28: Warning: Reference can2_rmorphism is deprecated since mathcomp 2.5.0. Use can2_monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 199, characters 14-28: Warning: Reference can2_rmorphism is deprecated since mathcomp 2.5.0. Use can2_monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 205, characters 33-46: Warning: Reference semi_additive is deprecated since mathcomp 2.5.0. Use nmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 209, characters 28-54: Warning: Notation GRing.isSemiAdditive.Build is deprecated since mathcomp 2.5.0. Use Algebra.isNmodMorphism.Build instead. [deprecated-syntactic-definition-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-syntactic-definition,deprecated,default] File "./theories/ssrZ.v", line 212, characters 34-48: Warning: Reference multiplicative is deprecated since mathcomp 2.5.0. Use monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 219, characters 31-44: Warning: Reference semi_additive is deprecated since mathcomp 2.5.0. Use nmod_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] File "./theories/ssrZ.v", line 223, characters 28-54: Warning: Notation GRing.isSemiAdditive.Build is deprecated since mathcomp 2.5.0. Use Algebra.isNmodMorphism.Build instead. [deprecated-syntactic-definition-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-syntactic-definition,deprecated,default] File "./theories/ssrZ.v", line 226, characters 32-46: Warning: Reference multiplicative is deprecated since mathcomp 2.5.0. Use monoid_morphism instead. [deprecated-reference-since-mathcomp-2.5.0,deprecated-since-mathcomp-2.5.0,deprecated-reference,deprecated,default] ROCQ compile theories/zify_algebra.v File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subring_closedM; GRing.smulr_closedN] : GRing.subring_closed >-> Algebra.oppr_closed is ambiguous with existing [GRing.subring_closedB; Algebra.zmod_closedN] : GRing.subring_closed >-> Algebra.oppr_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subring_closed_semi; GRing.semiring_closedM] : GRing.subring_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.subring_closedM; GRing.smulr_closedM] : GRing.subring_closed >-> GRing.mulr_closed. New coercion path [GRing.subring_closed_semi; GRing.semiring_closedD] : GRing.subring_closed >-> Algebra.addumagma_closed is ambiguous with existing [GRing.subring_closedB; Algebra.zmod_closed0D] : GRing.subring_closed >-> Algebra.addumagma_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.submod_closed_semi; GRing.subsemimod_closedD] : GRing.submod_closed >-> Algebra.addumagma_closed is ambiguous with existing [GRing.submod_closedB; Algebra.zmod_closed0D] : GRing.submod_closed >-> Algebra.addumagma_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subsemialg_closedM; GRing.semiring_closedD] : GRing.subsemialg_closed >-> Algebra.addumagma_closed is ambiguous with existing [GRing.subsemialg_closedZ; GRing.subsemimod_closedD] : GRing.subsemialg_closed >-> Algebra.addumagma_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subalg_closedBM; GRing.subring_closedB] : GRing.subalg_closed >-> Algebra.zmod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closedB] : GRing.subalg_closed >-> Algebra.zmod_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subalg_closed_semi; GRing.subsemialg_closedZ] : GRing.subalg_closed >-> GRing.subsemimod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closed_semi] : GRing.subalg_closed >-> GRing.subsemimod_closed. New coercion path [GRing.subalg_closed_semi; GRing.subsemialg_closedM] : GRing.subalg_closed >-> GRing.semiring_closed is ambiguous with existing [GRing.subalg_closedBM; GRing.subring_closed_semi] : GRing.subalg_closed >-> GRing.semiring_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.sdivr_closedM; GRing.smulr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.sdivr_closed_div; GRing.divr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.divring_closed_div; GRing.sdivr_closedM] : GRing.divring_closed >-> GRing.smulr_closed is ambiguous with existing [GRing.divring_closedBM; GRing.subring_closedM] : GRing.divring_closed >-> GRing.smulr_closed. [ambiguous-paths,coercions,default] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.divalg_closedZ; GRing.subalg_closedBM] : GRing.divalg_closed >-> GRing.subring_closed is ambiguous with existing [GRing.divalg_closedBdiv; GRing.divring_closedBM] : GRing.divalg_closed >-> GRing.subring_closed. [ambiguous-paths,coercions,default] ROCQ compile theories/zify.v make[2]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' make[1]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' debian/rules override_dh_auto_test make[1]: Entering directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' # disabled, upstream doesn't maintain them make[1]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' create-stamp debian/debhelper-build-stamp dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' make install DESTDIR=/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp make[2]: Entering directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' rocq makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq install INSTALL theories/ssrZ.vo /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.vo /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.vo /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.vo /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/ssrZ.v /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.v /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.v /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.v /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/ssrZ.glob /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.glob /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.glob /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.glob /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq//user-contrib/mathcomp/zify/ make[2]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' make[1]: Leaving directory '/build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0' dh_ocamllibinstall 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-zify' in '../libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../mathcomp-zify_1.7.0+2.4+9.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 2026-10-23T18:09:56Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Fri, 23 Oct 2026 18:09:57 +0000 | +------------------------------------------------------------------------------+ mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.changes: --------------------------------------------------- Format: 1.8 Date: Fri, 23 Oct 2026 20:07:47 +0200 Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: source amd64 Version: 1.7.0+2.4+9.0-1+ocaml1 Distribution: unstable-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components Changes: mathcomp-zify (1.7.0+2.4+9.0-1+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.5.2 Checksums-Sha1: de9df78907362e09caf7ac6fec649666c0125fd9 1273 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc 99c73fc41a0a2393ed0fbd686a0937cdc221c33d 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz 9532deccf97798ed0193c54d35d4aa3b66c879b6 8972 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz c34773a7dab6adfb377e27f3b0992a537c9241ef 292572 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb 508e69aee9dee4e01bbf545d2f5df7480afaea1c 6851 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo Checksums-Sha256: e05cb8583dd94c8334013ad8811312186c183dd761e3040d9a942cd690c68eb4 1273 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc a6ad25eab52e1ac8b9b08df7bbd80bbc312a75aa8e9c675a1dfe42400b18baf0 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz d87108f4475dc69aedd960ab54b0dbb377d726223f6dcaafd198cd9e17c7c8d8 8972 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz 034a47b63230d48d61df61d0f6f70654eba22c530066e9cabe7756a00474b088 292572 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb 6f4b9dc26b4fd2777310cb402bfe14e12f323fa6278efa6bd268b7e877fc7b04 6851 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo Files: bd07a53d3ffd2a43e799684586d1628d 1273 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc 7bb8625b236bef09ea13d478fd797e3a 21067 ocaml optional mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz 1d43be3a28f2c737275cba3fa85f1a31 8972 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz e62648546f35e254f1e6ca76eb20917e 292572 ocaml optional libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb fb1edef447eeda8ac7fe9986e07a1f4c 6851 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo +------------------------------------------------------------------------------+ | Buildinfo Fri, 23 Oct 2026 18:09:57 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: amd64 source Version: 1.7.0+2.4+9.0-1+ocaml1 Checksums-Md5: bd07a53d3ffd2a43e799684586d1628d 1273 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc e62648546f35e254f1e6ca76eb20917e 292572 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb Checksums-Sha1: de9df78907362e09caf7ac6fec649666c0125fd9 1273 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc c34773a7dab6adfb377e27f3b0992a537c9241ef 292572 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb Checksums-Sha256: e05cb8583dd94c8334013ad8811312186c183dd761e3040d9a942cd690c68eb4 1273 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc 034a47b63230d48d61df61d0f6f70654eba22c530066e9cabe7756a00474b088 292572 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Fri, 23 Oct 2026 18:09:55 +0000 Build-Path: /build/reproducible-path/mathcomp-zify-1.7.0+2.4+9.0 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-elpi (= 3.5.0-3+ocaml1), libcoq-hierarchy-builder (= 1.10.3-3+ocaml1), libcoq-mathcomp-algebra (= 2.6.0-3+ocaml1), libcoq-mathcomp-boot (= 2.6.0-3+ocaml1), libcoq-mathcomp-finite-group (= 2.6.0-3+ocaml1), libcoq-mathcomp-order (= 2.6.0-3+ocaml1), libcoq-micromega-plugin (= 1.1.1-2+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), libelpi-ocaml (= 3.7.2-2+ocaml1), libelpi-ocaml-dev (= 3.7.2-2+ocaml1), libexpat1 (= 2.9.0-1), libffi8 (= 3.8.0-2), libfile-stripnondeterminism-perl (= 1.15.1-1), libfindlib-ocaml (= 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), libgmp10 (= 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), libmenhir-ocaml-dev (= 20260209+ds-3+ocaml1), 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), libocaml-compiler-libs-ocaml-dev (= 0.17.0-2+ocaml1), libpam-modules (= 1.7.0-8), libpam-modules-bin (= 1.7.0-8), libpam-runtime (= 1.7.0-8), libpam0g (= 1.7.0-8), libpcre2-8-0 (= 10.48-3.1), libperl5.42 (= 5.42.3-1), libpipeline1 (= 1.5.8-3), libppx-derivers-ocaml-dev (= 1.2.1-4+ocaml1), libppx-deriving-ocaml (= 6.2.0-1+ocaml1), libppx-deriving-ocaml-dev (= 6.2.0-1+ocaml1), libppxlib-ocaml-dev (= 0.39.0-1+ocaml1), 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), libre-ocaml-dev (= 1.14.0-2+ocaml1), libreadline8t64 (= 8.3-4), libseccomp2 (= 2.6.1-1+b1), libselinux1 (= 3.11-2.1), libsexplib0-ocaml (= 0.17.0-1+ocaml1), libsexplib0-ocaml-dev (= 0.17.0-1+ocaml1), 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), 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="1792778867" +------------------------------------------------------------------------------+ | Package contents Fri, 23 Oct 2026 18:09:57 +0000 | +------------------------------------------------------------------------------+ libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb ----------------------------------------------------- new Debian package, version 2.0. size 292572 bytes: control archive=1192 bytes. 762 bytes, 20 lines control 1709 bytes, 16 lines md5sums Package: libcoq-mathcomp-zify Source: mathcomp-zify Version: 1.7.0+2.4+9.0-1+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 1024 Depends: libcoq-mathcomp-algebra-6wop4 Suggests: ocaml-findlib Provides: libcoq-mathcomp-zify-8cqi8 Section: ocaml Priority: optional Homepage: https://github.com/math-comp/mczify Description: Micromega arithmetic solvers for Mathematical Components This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic. . 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 2026-10-23 18:07 ./ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/lib/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/ -rw-r--r-- root/root 37767 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/ssrZ.glob -rw-r--r-- root/root 7388 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/ssrZ.v -rw-r--r-- root/root 323119 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/ssrZ.vo -rw-r--r-- root/root 335 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify.glob -rw-r--r-- root/root 166 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify.v -rw-r--r-- root/root 888 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify.vo -rw-r--r-- root/root 58079 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify_algebra.glob -rw-r--r-- root/root 18210 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify_algebra.v -rw-r--r-- root/root 280593 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify_algebra.vo -rw-r--r-- root/root 60490 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob -rw-r--r-- root/root 20989 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify_ssreflect.v -rw-r--r-- root/root 187995 2026-10-23 18:07 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.2/coq/user-contrib/mathcomp/zify/zify_ssreflect.vo drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/share/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./usr/share/doc/libcoq-mathcomp-zify/ -rw-r--r-- root/root 2077 2026-07-29 13:13 ./usr/share/doc/libcoq-mathcomp-zify/README.md -rw-r--r-- root/root 739 2026-10-23 18:07 ./usr/share/doc/libcoq-mathcomp-zify/changelog.Debian.gz -rw-r--r-- root/root 22286 2026-08-12 07:03 ./usr/share/doc/libcoq-mathcomp-zify/copyright drwxr-xr-x root/root 0 2026-10-23 18:07 ./var/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./var/lib/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./var/lib/coq/ drwxr-xr-x root/root 0 2026-10-23 18:07 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2026-10-23 18:07 ./var/lib/coq/md5sums/libcoq-mathcomp-zify.checksum +------------------------------------------------------------------------------+ | Post Build Fri, 23 Oct 2026 18:09:59 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Fri, 23 Oct 2026 18:09:59 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Fri, 23 Oct 2026 18:10:01 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 4328 Build-Time: 57 Distribution: unstable-ocaml Host Architecture: amd64 Install-Time: 35 Job: /tmp/tmp.ben.transition-scripts.iEW2qaUd5L/mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc Machine Architecture: amd64 Package: mathcomp-zify Package-Time: 128 Source-Version: 1.7.0+2.4+9.0-1+ocaml1 Space: 4328 Status: successful Version: 1.7.0+2.4+9.0-1+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-10-23T18:09:56Z Build needed 00:02:08, 4328k disk space