sbuild (Debian sbuild) 0.91.8 (14 April 2026) on cil.up7.fr +==============================================================================+ | coqprime 8.20.1-1+ocaml1 (amd64) Fri, 15 May 2026 08:33:12 +0000 | +==============================================================================+ Package: coqprime Version: 8.20.1-1+ocaml1 Source Version: 8.20.1-1+ocaml1 Distribution: unstable-ocaml Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: Unpacking /home/steph/srv/ocaml.debian.net/transitions/20260515/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.nVxobu9XP9... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Fri, 15 May 2026 08:33:25 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 1355 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Fri, 15 May 2026 08:34:18 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/repo rebuilt InRelease Get:2 file:/repo rebuilt Release [1488 B] Get:2 file:/repo rebuilt Release [1488 B] Ign:3 file:/repo rebuilt Release.gpg Get:4 file:/repo rebuilt/main amd64 Packages [1314 kB] Get:5 http://localhost:9999/debian unstable InRelease [189 kB] Get:6 http://localhost:9999/debian unstable/main amd64 Packages [10.4 MB] Get:7 http://localhost:9999/debian unstable/contrib amd64 Packages [67.9 kB] Get:8 http://localhost:9999/debian unstable/non-free amd64 Packages [132 kB] Get:9 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [10.3 kB] Fetched 10.8 MB in 2s (5508 kB/s) Reading package lists... W: Conflicting distribution: file:/repo rebuilt Release (expected rebuilt but got ) 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, 15 May 2026 08:34:24 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.bFRHVsWMqW/coqprime_8.20.1-1+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.bFRHVsWMqW; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Fri, 15 May 2026 08:34:27 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libzarith-ocaml-dev, build-essential Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libzarith-ocaml-dev, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-Kgg5as/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-Kgg5as/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-Kgg5as/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-Kgg5as/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-Kgg5as/apt_archive ./ Sources [711 B] Get:5 copy:/build/reproducible-path/resolver-Kgg5as/apt_archive ./ Packages [750 B] Fetched 2070 B in 0s (192 kB/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-bignums libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libecm1 libecm1-dev libecm1-dev-common libelf1t64 libexpat1 libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2-16 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.13 python3.13-minimal quickjs 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 gnulib-l10n groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.13-venv python3.13-doc binfmt-support readline-doc Recommended packages: curl | wget | lynx libecm1-dev 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 file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-bignums libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libecm1 libecm1-dev libecm1-dev-common libelf1t64 libexpat1 libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2-16 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.13 python3.13-minimal quickjs readline-common sbuild-build-depends-main-dummy sensible-utils tzdata 0 upgraded, 75 newly installed, 0 to remove and 0 not upgraded. Need to get 22.0 MB/269 MB of archives. After this operation, 1175 MB of additional disk space will be used. Get:1 file:/repo rebuilt/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1+ocaml1 [23.5 MB] Get:2 copy:/build/reproducible-path/resolver-Kgg5as/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [908 B] Get:3 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.8.0-2 [116 kB] Get:4 http://localhost:9999/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.12-1 [866 kB] Get:5 http://localhost:9999/debian unstable/main amd64 python3.13-minimal amd64 3.13.12-1 [2267 kB] Get:6 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.13.9-3+b1 [25.4 kB] Get:7 http://localhost:9999/debian unstable/main amd64 media-types all 14.0.0 [30.8 kB] Get:8 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.4.1-1~exp1+ocaml1 [605 kB] Get:9 http://localhost:9999/debian unstable/main amd64 netbase all 6.5 [12.4 kB] Get:10 http://localhost:9999/debian unstable/main amd64 tzdata all 2026b-1 [260 kB] Get:11 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.5.2-4 [25.2 kB] Get:12 file:/repo rebuilt/main amd64 ocaml-base amd64 5.4.1-1~exp1+ocaml1 [506 kB] Get:13 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.6+20251231-1+b1 [136 kB] Get:14 http://localhost:9999/debian unstable/main amd64 readline-common all 8.3-4 [74.8 kB] Get:15 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.3-4 [181 kB] Get:16 file:/repo rebuilt/main amd64 libfindlib-ocaml amd64 1.9.8-1+ocaml1 [194 kB] Get:17 http://localhost:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.46.1-9+b1 [918 kB] Get:18 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-1+ocaml1 [110 kB] Get:19 file:/repo rebuilt/main amd64 libcoq-core-ocaml amd64 8.20.1+dfsg-1+ocaml1 [24.2 MB] Get:20 http://localhost:9999/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.12-1 [1974 kB] Get:21 http://localhost:9999/debian unstable/main amd64 python3.13 amd64 3.13.12-1 [776 kB] Get:22 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.13.9-3+b1 [8348 B] Get:23 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.13.9-3+b1 [25.4 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.46-5+b2 [337 kB] Get:26 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.46-5+b2 [109 kB] Get:27 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.46-5+b2 [42.6 kB] Get:28 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 0.23.2-2 [242 kB] Get:29 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB] Get:30 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.1-1 [1336 kB] Get:31 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42-6 [99.5 kB] Get:32 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Get:33 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:34 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Get:35 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB] Get:36 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:37 http://localhost:9999/debian unstable/main amd64 automake all 1:1.18.1-4 [877 kB] Get:38 http://localhost:9999/debian unstable/main amd64 autopoint all 0.23.2-2 [770 kB] Get:39 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.6+20251231-1+b1 [107 kB] Get:40 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.6+20251231-1+b1 [356 kB] Get:41 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-3+b2 [372 kB] Get:42 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 13.31 [75.7 kB] Get:43 http://localhost:9999/debian unstable/main amd64 libtool all 2.5.4-11 [539 kB] Get:44 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 22 [12.2 kB] Get:45 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:46 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Get:47 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Get:48 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.195-1 [58.1 kB] Get:49 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.16-4 [108 kB] Get:50 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB] Get:51 http://localhost:9999/debian unstable/main amd64 libxml2-16 amd64 2.15.2+dfsg-0.1 [641 kB] Get:52 http://localhost:9999/debian unstable/main amd64 gettext amd64 0.23.2-2 [1684 kB] Get:53 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.4.1-1~exp1+ocaml1 [6483 kB] Get:54 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:55 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB] Get:56 http://localhost:9999/debian unstable/main amd64 debhelper all 13.31 [932 kB] Get:57 http://localhost:9999/debian unstable/main amd64 quickjs amd64 2025.04.26-1+b2 [443 kB] Get:58 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:59 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b2 [328 kB] Get:60 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b2 [641 kB] Get:61 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.4.1-1~exp1+ocaml1 [39.3 MB] Get:62 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b2 [321 kB] Get:63 http://localhost:9999/debian unstable/main amd64 libecm1 amd64 7.0.6+ds-2+b2 [215 kB] Get:64 http://localhost:9999/debian unstable/main amd64 libecm1-dev-common all 7.0.6+ds-2 [13.1 kB] Get:65 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.4.1-1~exp1+ocaml1 [7460 kB] Get:66 http://localhost:9999/debian unstable/main amd64 libecm1-dev amd64 7.0.6+ds-2+b2 [248 kB] Get:67 file:/repo rebuilt/main amd64 ocaml amd64 5.4.1-1~exp1+ocaml1 [18.8 MB] Get:68 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [598 kB] Get:69 file:/repo rebuilt/main amd64 coq amd64 8.20.1+dfsg-1+ocaml1 [71.1 MB] Get:70 file:/repo rebuilt/main amd64 dh-coq all 0.14+ocaml1 [6820 B] Get:71 file:/repo rebuilt/main amd64 dh-ocaml all 3.1+ocaml1 [200 kB] Get:72 file:/repo rebuilt/main amd64 libcoq-bignums amd64 9.0.0+coq8.20-1+ocaml1 [1913 kB] Get:73 file:/repo rebuilt/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+ocaml1 [175 kB] Get:74 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-1+ocaml1 [109 kB] Get:75 file:/repo rebuilt/main amd64 libcoq-core-ocaml-dev amd64 8.20.1+dfsg-1+ocaml1 [52.0 MB] Preconfiguring packages ... Fetched 22.0 MB in 1s (16.3 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 11970 files and directories currently installed.) Preparing to unpack .../libexpat1_2.8.0-2_amd64.deb ... Unpacking libexpat1:amd64 (2.8.0-2) ... Selecting previously unselected package libpython3.13-minimal:amd64. Preparing to unpack .../libpython3.13-minimal_3.13.12-1_amd64.deb ... Unpacking libpython3.13-minimal:amd64 (3.13.12-1) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../python3.13-minimal_3.13.12-1_amd64.deb ... Unpacking python3.13-minimal (3.13.12-1) ... Setting up libpython3.13-minimal:amd64 (3.13.12-1) ... Setting up libexpat1:amd64 (2.8.0-2) ... Setting up python3.13-minimal (3.13.12-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 12304 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.13.9-3+b1_amd64.deb ... Unpacking python3-minimal (3.13.9-3+b1) ... 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.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package tzdata. Preparing to unpack .../03-tzdata_2026b-1_all.deb ... Unpacking tzdata (2026b-1) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../04-libffi8_3.5.2-4_amd64.deb ... Unpacking libffi8:amd64 (3.5.2-4) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../05-libncursesw6_6.6+20251231-1+b1_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20251231-1+b1) ... 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.46.1-9+b1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-9+b1) ... Selecting previously unselected package libpython3.13-stdlib:amd64. Preparing to unpack .../09-libpython3.13-stdlib_3.13.12-1_amd64.deb ... Unpacking libpython3.13-stdlib:amd64 (3.13.12-1) ... Selecting previously unselected package python3.13. Preparing to unpack .../10-python3.13_3.13.12-1_amd64.deb ... Unpacking python3.13 (3.13.12-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../11-libpython3-stdlib_3.13.9-3+b1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.13.9-3+b1) ... Setting up python3-minimal (3.13.9-3+b1) ... Selecting previously unselected package python3. (Reading database ... 13340 files and directories currently installed.) Preparing to unpack .../00-python3_3.13.9-3+b1_amd64.deb ... Unpacking python3 (3.13.9-3+b1) ... 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.46-5+b2_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5+b2) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../03-libmagic1t64_1%3a5.46-5+b2_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5+b2) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.46-5+b2_amd64.deb ... Unpacking file (1:5.46-5+b2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.23.2-2_amd64.deb ... Unpacking gettext-base (0.23.2-2) ... 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.1-1_amd64.deb ... Unpacking groff-base (1.24.1-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.42-6_amd64.deb ... Unpacking bsdextrautils (2.42-6) ... 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.18.1-4_all.deb ... Unpacking automake (1:1.18.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.23.2-2_all.deb ... Unpacking autopoint (0.23.2-2) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../16-libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../17-libstdlib-ocaml_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../18-ocaml-base_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-base (5.4.1-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-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.1+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.1+dfsg-1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../22-libstdlib-ocaml-dev_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.4.1-1~exp1+ocaml1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../25-libncurses6_6.6+20251231-1+b1_amd64.deb ... Unpacking libncurses6:amd64 (6.6+20251231-1+b1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../26-libncurses-dev_6.6+20251231-1+b1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.6+20251231-1+b1) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../27-libzstd-dev_1.5.7+dfsg-3+b2_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-3+b2) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_5.4.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml (5.4.1-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_8.20.1+dfsg-1+ocaml1_amd64.deb ... Unpacking coq (8.20.1+dfsg-1+ocaml1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.31_all.deb ... Unpacking libdebhelper-perl (13.31) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.5.4-11_all.deb ... Unpacking libtool (2.5.4-11) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_22_all.deb ... Unpacking dh-autoreconf (22) ... 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.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../36-dh-strip-nondeterminism_1.15.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../37-libelf1t64_0.195-1_amd64.deb ... Unpacking libelf1t64:amd64 (0.195-1) ... Selecting previously unselected package dwz. Preparing to unpack .../38-dwz_0.16-4_amd64.deb ... Unpacking dwz (0.16-4) ... 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.2+dfsg-0.1_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.2+dfsg-0.1) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.23.2-2_amd64.deb ... Unpacking gettext (0.23.2-2) ... 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_13.31_all.deb ... Unpacking debhelper (13.31) ... Selecting previously unselected package dh-coq. Preparing to unpack .../45-dh-coq_0.14+ocaml1_all.deb ... Unpacking dh-coq (0.14+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 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_3.1+ocaml1_all.deb ... Unpacking dh-ocaml (3.1+ocaml1) ... Selecting previously unselected package libcoq-bignums. Preparing to unpack .../49-libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb ... Unpacking libcoq-bignums (9.0.0+coq8.20-1+ocaml1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../50-libfindlib-ocaml-dev_1.9.8-1+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../51-libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b2_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b2) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../52-libgmp-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../53-libgmp3-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../54-libzarith-ocaml-dev_1.14-1+ocaml1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+ocaml1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../55-libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml1) ... Selecting previously unselected package libecm1:amd64. Preparing to unpack .../56-libecm1_7.0.6+ds-2+b2_amd64.deb ... Unpacking libecm1:amd64 (7.0.6+ds-2+b2) ... Selecting previously unselected package libecm1-dev-common. Preparing to unpack .../57-libecm1-dev-common_7.0.6+ds-2_all.deb ... Unpacking libecm1-dev-common (7.0.6+ds-2) ... Selecting previously unselected package libecm1-dev:amd64. Preparing to unpack .../58-libecm1-dev_7.0.6+ds-2+b2_amd64.deb ... Unpacking libecm1-dev:amd64 (7.0.6+ds-2+b2) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../59-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (14.0.0) ... Setting up libpipeline1:amd64 (1.5.8-3) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-3+b2) ... Setting up bsdextrautils (2.42-6) ... Setting up libmagic-mgc (1:5.46-5+b2) ... Setting up libecm1-dev-common (7.0.6+ds-2) ... Setting up dh-coq (0.14+ocaml1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:amd64 (2.15.2+dfsg-0.1) ... Setting up libdebhelper-perl (13.31) ... Setting up libsqlite3-0:amd64 (3.46.1-9+b1) ... Setting up libmagic1t64:amd64 (1:5.46-5+b2) ... Setting up gettext-base (0.23.2-2) ... Setting up m4 (1.4.21-1) ... Setting up file (1:5.46-5+b2) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libelf1t64:amd64 (0.195-1) ... Setting up quickjs (2025.04.26-1+b2) ... Setting up tzdata (2026b-1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri May 15 08:35:37 UTC 2026. Universal Time is now: Fri May 15 08:35:37 UTC 2026. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20240727.1+nmu1) ... Setting up libcoq-stdlib (8.20.1+dfsg-1+ocaml1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up libecm1:amd64 (7.0.6+ds-2+b2) ... Setting up libncurses6:amd64 (6.6+20251231-1+b1) ... Setting up libstdlib-ocaml (5.4.1-1~exp1+ocaml1) ... Setting up libunistring5:amd64 (1.4.2-1) ... Setting up autopoint (0.23.2-2) ... Setting up ocaml-base (5.4.1-1~exp1+ocaml1) ... Setting up libncursesw6:amd64 (6.6+20251231-1+b1) ... Setting up autoconf (2.73-2) ... Setting up libffi8:amd64 (3.5.2-4) ... Setting up dwz (0.16-4) ... Setting up sensible-utils (0.0.26) ... Setting up libuchardet0:amd64 (0.0.8-2+b2) ... Setting up netbase (6.5) ... Setting up readline-common (8.3-4) ... Setting up libcoq-bignums (9.0.0+coq8.20-1+ocaml1) ... Setting up automake (1:1.18.1-4) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.15.0-1) ... Setting up libncurses-dev:amd64 (6.6+20251231-1+b1) ... Setting up gettext (0.23.2-2) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up libtool (2.5.4-11) ... Setting up libstdlib-ocaml-dev (5.4.1-1~exp1+ocaml1) ... Setting up dh-ocaml (3.1+ocaml1) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml1) ... Setting up libzarith-ocaml (1.14-1+ocaml1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libecm1-dev:amd64 (7.0.6+ds-2+b2) ... Setting up dh-autoreconf (22) ... Setting up libcompiler-libs-ocaml-dev (5.4.1-1~exp1+ocaml1) ... Setting up ocaml-interp (5.4.1-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.0-1) ... Setting up libcoq-core-ocaml (8.20.1+dfsg-1+ocaml1) ... Setting up groff-base (1.24.1-1) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up libpython3.13-stdlib:amd64 (3.13.12-1) ... Setting up libpython3-stdlib:amd64 (3.13.9-3+b1) ... Setting up python3.13 (3.13.12-1) ... Setting up po-debconf (1.0.22) ... Setting up python3 (3.13.9-3+b1) ... Setting up ocaml (5.4.1-1~exp1+ocaml1) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libfindlib-ocaml-dev (1.9.8-1+ocaml1) ... Setting up coq (8.20.1+dfsg-1+ocaml1) ... Setting up libzarith-ocaml-dev (1.14-1+ocaml1) ... Setting up debhelper (13.31) ... Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.42-16) ... +------------------------------------------------------------------------------+ | Check architectures Fri, 15 May 2026 08:35:41 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Fri, 15 May 2026 08:35:42 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.19.14+deb14-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.19.14-1 (2026-04-25) amd64 (x86_64) Toolchain package versions: binutils_2.46-3 dpkg-dev_1.23.7 g++-15_15.2.0-17 gcc-15_15.2.0-17 libc6-dev_2.42-16 libstdc++-15-dev_15.2.0-17 libstdc++6_16.1.0-1 linux-libc-dev_7.0.4-1 Package versions: apt_3.3.0 apt-utils_3.3.0 autoconf_2.73-2 automake_1:1.18.1-4 autopoint_0.23.2-2 autotools-dev_20240727.1+nmu1 base-files_14.0 base-passwd_3.6.8 bash_5.3-3 binutils_2.46-3 binutils-common_2.46-3 binutils-x86-64-linux-gnu_2.46-3 bsdextrautils_2.42-6 build-essential_12.12 bzip2_1.0.8-6+b2 coq_8.20.1+dfsg-1+ocaml1 coreutils_9.10-1 cpp_4:15.2.0-5+b1 cpp-15_15.2.0-17 cpp-15-x86-64-linux-gnu_15.2.0-17 cpp-x86-64-linux-gnu_4:15.2.0-5+b1 dash_0.5.12-12 debconf_1.5.92 debhelper_13.31 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_22 dh-coq_0.14+ocaml1 dh-ocaml_3.1+ocaml1 dh-strip-nondeterminism_1.15.0-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.16-4 file_1:5.46-5+b2 findutils_4.10.0-4 g++_4:15.2.0-5+b1 g++-15_15.2.0-17 g++-15-x86-64-linux-gnu_15.2.0-17 g++-x86-64-linux-gnu_4:15.2.0-5+b1 gcc_4:15.2.0-5+b1 gcc-15_15.2.0-17 gcc-15-base_15.2.0-17 gcc-15-x86-64-linux-gnu_15.2.0-17 gcc-16-base_16.1.0-1 gcc-x86-64-linux-gnu_4:15.2.0-5+b1 gettext_0.23.2-2 gettext-base_0.23.2-2 grep_3.12-1 groff-base_1.24.1-1 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-3 libapt-pkg7.0_3.3.0 libarchive-zip-perl_1.68-1 libasan8_16.1.0-1 libatomic1_16.1.0-1 libattr1_1:2.5.2-4 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.46-3 libblkid1_2.42-6 libbz2-1.0_1.0.8-6+b2 libc-bin_2.42-16 libc-dev-bin_2.42-16 libc-gconv-modules-extra_2.42-16 libc6_2.42-16 libc6-dev_2.42-16 libcap-ng0_0.9.3-1 libcc1-0_16.1.0-1 libcompiler-libs-ocaml-dev_5.4.1-1~exp1+ocaml1 libconfig-tiny-perl_2.30-1 libcoq-bignums_9.0.0+coq8.20-1+ocaml1 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1 libcoq-stdlib_8.20.1+dfsg-1+ocaml1 libcrypt1_1:4.5.1-1+b1 libctf-nobfd0_2.46-3 libctf0_2.46-3 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_13.31 libdpkg-perl_1.23.7 libecm1_7.0.6+ds-2+b2 libecm1-dev_7.0.6+ds-2+b2 libecm1-dev-common_7.0.6+ds-2 libelf1t64_0.195-1 libexpat1_2.8.0-2 libffi8_3.5.2-4 libfile-stripnondeterminism-perl_1.15.0-1 libfindlib-ocaml_1.9.8-1+ocaml1 libfindlib-ocaml-dev_1.9.8-1+ocaml1 libgcc-15-dev_15.2.0-17 libgcc-s1_16.1.0-1 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libgmp-dev_2:6.3.0+dfsg-5+b2 libgmp10_2:6.3.0+dfsg-5+b2 libgmp3-dev_2:6.3.0+dfsg-5+b2 libgmpxx4ldbl_2:6.3.0+dfsg-5+b2 libgomp1_16.1.0-1 libgprofng0_2.46-3 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.1.0-1 libisl23_0.27-2 libitm1_16.1.0-1 libjansson4_2.14-2+b4 liblsan0_16.1.0-1 liblz4-1_1.10.0-10 liblzma5_5.8.3-1 libmagic-mgc_1:5.46-5+b2 libmagic1t64_1:5.46-5+b2 libmd0_1.2.0-1 libmount1_2.42-6 libmpc3_1.3.1-3 libmpfr6_4.2.2-3 libncurses-dev_6.6+20251231-1+b1 libncurses6_6.6+20251231-1+b1 libncursesw6_6.6+20251231-1+b1 libnettle8t64_3.10.2-1+b1 libpam-modules_1.7.0-5+b2 libpam-modules-bin_1.7.0-5+b2 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5+b2 libpcre2-8-0_10.46-1+b2 libperl5.40_5.40.1-7+b1 libpipeline1_1.5.8-3 libpython3-stdlib_3.13.9-3+b1 libpython3.13-minimal_3.13.12-1 libpython3.13-stdlib_3.13.12-1 libquadmath0_16.1.0-1 libreadline8t64_8.3-4 libseccomp2_2.6.0-2+b1 libselinux1_3.10-1 libsframe3_2.46-3 libsmartcols1_2.42-6 libsqlite3-0_3.46.1-9+b1 libssl3t64_3.6.2-1 libstdc++-15-dev_15.2.0-17 libstdc++6_16.1.0-1 libstdlib-ocaml_5.4.1-1~exp1+ocaml1 libstdlib-ocaml-dev_5.4.1-1~exp1+ocaml1 libsystemd0_260.1-1 libtinfo6_6.6+20251231-1+b1 libtool_2.5.4-11 libtsan2_16.1.0-1 libubsan1_16.1.0-1 libuchardet0_0.0.8-2+b2 libudev1_260.1-1 libunistring5_1.4.2-1 libuuid1_2.42-6 libxml2-16_2.15.2+dfsg-0.1 libxxhash0_0.8.3-2+b2 libzarith-ocaml_1.14-1+ocaml1 libzarith-ocaml-dev_1.14-1+ocaml1 libzstd-dev_1.5.7+dfsg-3+b2 libzstd1_1.5.7+dfsg-3+b2 linux-libc-dev_7.0.4-1 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-1 media-types_14.0.0 ncurses-base_6.6+20251231-1 ncurses-bin_6.6+20251231-1+b1 netbase_6.5 ocaml_5.4.1-1~exp1+ocaml1 ocaml-base_5.4.1-1~exp1+ocaml1 ocaml-findlib_1.9.8-1+ocaml1 ocaml-interp_5.4.1-1~exp1+ocaml1 openssl-provider-legacy_3.6.2-1 patch_2.8-2 perl_5.40.1-7+b1 perl-base_5.40.1-7+b1 perl-modules-5.40_5.40.1-7 po-debconf_1.0.22 python3_3.13.9-3+b1 python3-minimal_3.13.9-3+b1 python3.13_3.13.12-1 python3.13-minimal_3.13.12-1 quickjs_2025.04.26-1+b2 readline-common_8.3-4 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.3.0-5+b1 sysvinit-utils_3.18-1 tar_1.35+dfsg-4 tzdata_2026b-1 util-linux_2.42-6 xz-utils_5.8.3-1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Fri, 15 May 2026 08:35:42 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: coqprime Binary: libcoq-coqprime, coqprime-tools Architecture: any Version: 8.20.1-1+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/thery/coqprime Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/coqprime Vcs-Git: https://salsa.debian.org/ocaml-team/coqprime.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libzarith-ocaml-dev Package-List: coqprime-tools deb ocaml optional arch=any libcoq-coqprime deb ocaml optional arch=any Checksums-Sha1: 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz ce83c132f405d9e95bfc6a7715f33e2e3cbcd865 3544 coqprime_8.20.1-1+ocaml1.debian.tar.xz Checksums-Sha256: 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz 03eecf2a3d9e34068d19679a7b1b1bd0077d4be05299b76415648ad81bbafd6e 3544 coqprime_8.20.1-1+ocaml1.debian.tar.xz Files: 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz aafdc54e5aaa8e48b40a4364a1d7a7af 3544 coqprime_8.20.1-1+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (coqprime_8.20.1-1+ocaml1.dsc) dpkg-source: info: extracting coqprime in /build/reproducible-path/coqprime-8.20.1 dpkg-source: info: unpacking coqprime_8.20.1.orig.tar.gz dpkg-source: info: unpacking coqprime_8.20.1-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=1 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 coqprime dpkg-buildpackage: info: source version 8.20.1-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 debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/coqprime-8.20.1' make clean make[2]: Entering directory '/build/reproducible-path/coqprime-8.20.1' /usr/bin//coq_makefile -f _CoqProject -o Makefile.coq CLEAN rm -f .coq-version make[2]: Leaving directory '/build/reproducible-path/coqprime-8.20.1' rm -f Makefile.coq Makefile.coq.conf .lia.cache .nia.cache rm -f config.status configure rm -f gencertif/Makefile gencertif/config.* gencertif/configure rm -f gencertif/o2v gencertif/pocklington gencertif/firstprimes rm -f src/Coqprime/num/Int63Compat.v find . -name "*.aux" -delete find . -name "*.cm*" -delete find . -name "*.o" -delete make[1]: Leaving directory '/build/reproducible-path/coqprime-8.20.1' dh_ocamlclean dh_clean dpkg-source -b . dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building coqprime using existing ../coqprime_8.20.1.orig.tar.gz dpkg-source: warning: ignoring deletion of file src/Coqprime/PrimalityTest/Makefile.bak, use --include-removal to override dpkg-source: warning: ignoring deletion of file src/Coqprime/examples/t100/Makefile.bak, use --include-removal to override dpkg-source: warning: ignoring deletion of file src/Coqprime/examples/t25/Makefile.bak, use --include-removal to override dpkg-source: warning: ignoring deletion of file src/Coqprime/examples/t50/Makefile.bak, use --include-removal to override dpkg-source: warning: ignoring deletion of file src/Coqprime/examples/t75/Makefile.bak, use --include-removal to override dpkg-source: info: building coqprime in ../coqprime_8.20.1-1+ocaml1.debian.tar.xz dpkg-source: info: building coqprime in ../coqprime_8.20.1-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/coqprime-8.20.1' make make[2]: Entering directory '/build/reproducible-path/coqprime-8.20.1' /usr/bin//coq_makefile -f _CoqProject -o Makefile.coq echo $COQ_VERSION_INFO (8.20.1) > .coq-version CP src/Coqprime/num/Int63Compat.v{.v816,} COQDEP VFILES COQC src/Coqprime/Tactic/Tactic.v COQC src/Coqprime/N/NatAux.v COQC src/Coqprime/Z/ZCAux.v COQC src/Coqprime/Z/ZCmisc.v COQC src/Coqprime/List/ListAux.v COQC src/Coqprime/List/Permutation.v COQC src/Coqprime/List/Iterator.v COQC src/Coqprime/List/UList.v COQC src/Coqprime/List/ZProgression.v COQC src/Coqprime/Z/ZSum.v COQC src/Coqprime/Z/Pmod.v COQC src/Coqprime/Z/Ppow.v COQC src/Coqprime/N/ChineseRem.v COQC src/Coqprime/Z/Zmod.v COQC src/Coqprime/PrimalityTest/Root.v COQC src/Coqprime/PrimalityTest/FGroup.v COQC src/Coqprime/PrimalityTest/IGroup.v COQC src/Coqprime/PrimalityTest/Lagrange.v COQC src/Coqprime/PrimalityTest/EGroup.v COQC src/Coqprime/PrimalityTest/Cyclic.v COQC src/Coqprime/PrimalityTest/Euler.v COQC src/Coqprime/PrimalityTest/PGroup.v COQC src/Coqprime/PrimalityTest/LucasLehmer.v COQC src/Coqprime/PrimalityTest/Zp.v COQC src/Coqprime/PrimalityTest/Pocklington.v COQC src/Coqprime/PrimalityTest/Pepin.v COQC src/Coqprime/PrimalityTest/PocklingtonCertificat.v COQC src/Coqprime/PrimalityTest/Proth.v COQC src/Coqprime/elliptic/GZnZ.v COQC src/Coqprime/elliptic/SMain.v Finished transaction in 0.058 secs (0.056u,0.002s) (successful) Finished transaction in 0.193 secs (0.193u,0.s) (successful) Finished transaction in 0.243 secs (0.243u,0.s) (successful) Finished transaction in 1.527 secs (1.518u,0.007s) (successful) Finished transaction in 3.547 secs (3.534u,0.012s) (successful) Finished transaction in 0.105 secs (0.105u,0.s) (successful) Finished transaction in 0.378 secs (0.32u,0.s) (successful) Finished transaction in 0.349 secs (0.349u,0.s) (successful) Finished transaction in 0.419 secs (0.411u,0.007s) (successful) Finished transaction in 0.792 secs (0.784u,0.007s) (successful) Finished transaction in 0.633 secs (0.629u,0.003s) (successful) COQC src/Coqprime/elliptic/ZEll.v COQC src/Coqprime/num/Bits.v COQC src/Coqprime/num/Int63Compat.v COQC src/Coqprime/num/Mod_op.v COQC src/Coqprime/num/W.v COQC src/Coqprime/num/Lucas.v COQC src/Coqprime/num/NEll.v = true : bool Finished transaction in 0.183 secs (0.178u,0.003s) (successful) = true : bool Finished transaction in 0.376 secs (0.375u,0.s) (successful) COQC src/Coqprime/num/montgomery.v = 5350354106554705665 :: 3406121 :: nil : number = 2147483648 :: nil : number = 31415926535897932384626433%Z : Z COQC src/Coqprime/num/MEll.v COQC src/Coqprime/num/Pock.v COQC src/Coqprime/examples/BasePrimes.v COQC src/Coqprime/examples/PocklingtonRefl.v make[2]: Leaving directory '/build/reproducible-path/coqprime-8.20.1' cd gencertif ; autoreconf ; ./configure --prefix=/usr ; make checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C23 features... none needed checking for log in -lm... yes checking for __gmpz_init in -lgmp... yes checking for ecm_init in -lecm... yes configure: creating ./config.status config.status: creating Makefile make[2]: Entering directory '/build/reproducible-path/coqprime-8.20.1/gencertif' gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -I -I -Wall -pedantic -c certif.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -I -I -Wall -pedantic -c factorize.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -I -I -Wall -pedantic -c pocklington.c pocklington.c: In function ‘main’: pocklington.c:255:3: warning: ‘p’ may be used uninitialized [-Wmaybe-uninitialized] 255 | print_file(filename, lemmaname, p, lc); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pocklington.c:54:16: note: ‘p’ was declared here 54 | pre_certif_t p; | ^ gcc -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -o pocklington certif.o factorize.o pocklington.o -lecm -lgmp -lm gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -I -I -Wall -pedantic -c firstprimes.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -o firstprimes certif.o factorize.o firstprimes.o -lecm -lgmp -lm ocamlc -o o2v -I +str -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith zarith.cma str.cma parser.ml make[2]: Leaving directory '/build/reproducible-path/coqprime-8.20.1/gencertif' make[1]: Leaving directory '/build/reproducible-path/coqprime-8.20.1' dh_auto_test create-stamp debian/debhelper-build-stamp dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/build/reproducible-path/coqprime-8.20.1' DESTDIR=/build/reproducible-path/coqprime-8.20.1/debian/tmp make install make[2]: Entering directory '/build/reproducible-path/coqprime-8.20.1' INSTALL src/Coqprime/Tactic/Tactic.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/N/ChineseRem.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.vo /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/Tactic/Tactic.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/N/ChineseRem.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.v /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/Tactic/Tactic.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/N/ChineseRem.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.glob /build/reproducible-path/coqprime-8.20.1/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq//user-contrib/Coqprime//examples make[3]: Entering directory '/build/reproducible-path/coqprime-8.20.1' make[3]: Leaving directory '/build/reproducible-path/coqprime-8.20.1' make[2]: Leaving directory '/build/reproducible-path/coqprime-8.20.1' rm -rf /build/reproducible-path/coqprime-8.20.1/debian/tmp/usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/examples mkdir -p /build/reproducible-path/coqprime-8.20.1/debian/tmp/usr/bin cp gencertif/firstprimes gencertif/o2v gencertif/pocklington /build/reproducible-path/coqprime-8.20.1/debian/tmp/usr/bin make[1]: Leaving directory '/build/reproducible-path/coqprime-8.20.1' dh_ocamllibinstall dh_install dh_ocamldoc dh_installdocs dh_installchangelogs dh_installman 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 W: coqprime-tools doesn't resolve dependency on unit Parser dh_gencontrol dpkg-gencontrol: warning: package coqprime-tools: substitution variable ${ocaml:Depends} unused, but is defined dpkg-gencontrol: warning: package coqprime-tools: substitution variable ${ocaml:Depends} unused, but is defined dh_md5sums dh_builddeb dpkg-deb: building package 'libcoq-coqprime' in '../libcoq-coqprime_8.20.1-1+ocaml1_amd64.deb'. dpkg-deb: building package 'coqprime-tools' in '../coqprime-tools_8.20.1-1+ocaml1_amd64.deb'. dpkg-deb: building package 'coqprime-tools-dbgsym' in '../coqprime-tools-dbgsym_8.20.1-1+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../coqprime_8.20.1-1+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../coqprime_8.20.1-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-05-15T08:40:05Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Fri, 15 May 2026 08:40:06 +0000 | +------------------------------------------------------------------------------+ coqprime_8.20.1-1+ocaml1_amd64.changes: --------------------------------------- Format: 1.8 Date: Fri, 15 May 2026 10:33:10 +0200 Source: coqprime Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime Architecture: source amd64 Version: 8.20.1-1+ocaml1 Distribution: unstable-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: coqprime-tools - Primality certification for Coq (tools) libcoq-coqprime - Primality certification for Coq (library) Changes: coqprime (8.20.1-1+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.1 Checksums-Sha1: 50724b186ec0183187f5dbced662b2fbe7089b95 1286 coqprime_8.20.1-1+ocaml1.dsc 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz ce83c132f405d9e95bfc6a7715f33e2e3cbcd865 3544 coqprime_8.20.1-1+ocaml1.debian.tar.xz 2cf8ce63e31be046c738e12ac59f39a1575a8997 61648 coqprime-tools-dbgsym_8.20.1-1+ocaml1_amd64.deb 629308c93caf705203eec2c2aafd4ca56a025a9f 145224 coqprime-tools_8.20.1-1+ocaml1_amd64.deb a99773bd4ef952b39c37fa49116998eba28cc131 6967 coqprime_8.20.1-1+ocaml1_amd64.buildinfo f0b058c39e83c5ef6f1d92c223b3e3cbd4be53d1 1778880 libcoq-coqprime_8.20.1-1+ocaml1_amd64.deb Checksums-Sha256: a686090d4a7cf9ac6859d3f51f770d067600e36f9d99f23345b5f7d8e155d1e9 1286 coqprime_8.20.1-1+ocaml1.dsc 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz 03eecf2a3d9e34068d19679a7b1b1bd0077d4be05299b76415648ad81bbafd6e 3544 coqprime_8.20.1-1+ocaml1.debian.tar.xz a9f005abbdb8b80cf475ab5868e948e3354c9038fd3dd32ef76b98cbd9cd0422 61648 coqprime-tools-dbgsym_8.20.1-1+ocaml1_amd64.deb 7506c1792c9794e61263e26f60af8283e25403d32de06feb925f89733d757e7a 145224 coqprime-tools_8.20.1-1+ocaml1_amd64.deb a668a046acf9c197e700c7b4915c1db8c78cbf3d3fb6a2bdfa521a0bb4e5bb7a 6967 coqprime_8.20.1-1+ocaml1_amd64.buildinfo 7873fb1ef2ad2f69963e533e4bb3f1b57f6caf19e95c76e3cfc0d86c046dff2d 1778880 libcoq-coqprime_8.20.1-1+ocaml1_amd64.deb Files: 18ac1c6f635486aa0026462a2ef5b988 1286 ocaml optional coqprime_8.20.1-1+ocaml1.dsc 32693b1bb28ecf2a0847bc583d15ca4c 996557 ocaml optional coqprime_8.20.1.orig.tar.gz aafdc54e5aaa8e48b40a4364a1d7a7af 3544 ocaml optional coqprime_8.20.1-1+ocaml1.debian.tar.xz 146e84c0a613bde880a78862de7e2da3 61648 debug optional coqprime-tools-dbgsym_8.20.1-1+ocaml1_amd64.deb 33970eab3ea05300bf1b6b386403d5c3 145224 ocaml optional coqprime-tools_8.20.1-1+ocaml1_amd64.deb f4b5c4ff5c993d8c1d3c20b0d60a5b37 6967 ocaml optional coqprime_8.20.1-1+ocaml1_amd64.buildinfo 099ae2053f5d5b8351ab68e6ac9aa34a 1778880 ocaml optional libcoq-coqprime_8.20.1-1+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Fri, 15 May 2026 08:40:07 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coqprime Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime Architecture: amd64 source Version: 8.20.1-1+ocaml1 Checksums-Md5: 18ac1c6f635486aa0026462a2ef5b988 1286 coqprime_8.20.1-1+ocaml1.dsc 146e84c0a613bde880a78862de7e2da3 61648 coqprime-tools-dbgsym_8.20.1-1+ocaml1_amd64.deb 33970eab3ea05300bf1b6b386403d5c3 145224 coqprime-tools_8.20.1-1+ocaml1_amd64.deb 099ae2053f5d5b8351ab68e6ac9aa34a 1778880 libcoq-coqprime_8.20.1-1+ocaml1_amd64.deb Checksums-Sha1: 50724b186ec0183187f5dbced662b2fbe7089b95 1286 coqprime_8.20.1-1+ocaml1.dsc 2cf8ce63e31be046c738e12ac59f39a1575a8997 61648 coqprime-tools-dbgsym_8.20.1-1+ocaml1_amd64.deb 629308c93caf705203eec2c2aafd4ca56a025a9f 145224 coqprime-tools_8.20.1-1+ocaml1_amd64.deb f0b058c39e83c5ef6f1d92c223b3e3cbd4be53d1 1778880 libcoq-coqprime_8.20.1-1+ocaml1_amd64.deb Checksums-Sha256: a686090d4a7cf9ac6859d3f51f770d067600e36f9d99f23345b5f7d8e155d1e9 1286 coqprime_8.20.1-1+ocaml1.dsc a9f005abbdb8b80cf475ab5868e948e3354c9038fd3dd32ef76b98cbd9cd0422 61648 coqprime-tools-dbgsym_8.20.1-1+ocaml1_amd64.deb 7506c1792c9794e61263e26f60af8283e25403d32de06feb925f89733d757e7a 145224 coqprime-tools_8.20.1-1+ocaml1_amd64.deb 7873fb1ef2ad2f69963e533e4bb3f1b57f6caf19e95c76e3cfc0d86c046dff2d 1778880 libcoq-coqprime_8.20.1-1+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Fri, 15 May 2026 08:40:05 +0000 Build-Path: /build/reproducible-path/coqprime-8.20.1 Installed-Build-Depends: autoconf (= 2.73-2), automake (= 1:1.18.1-4), autopoint (= 0.23.2-2), autotools-dev (= 20240727.1+nmu1), base-files (= 14.0), base-passwd (= 3.6.8), bash (= 5.3-3), binutils (= 2.46-3), binutils-common (= 2.46-3), binutils-x86-64-linux-gnu (= 2.46-3), bsdextrautils (= 2.42-6), build-essential (= 12.12), bzip2 (= 1.0.8-6+b2), coq (= 8.20.1+dfsg-1+ocaml1), coreutils (= 9.10-1), cpp (= 4:15.2.0-5+b1), cpp-15 (= 15.2.0-17), cpp-15-x86-64-linux-gnu (= 15.2.0-17), cpp-x86-64-linux-gnu (= 4:15.2.0-5+b1), dash (= 0.5.12-12), debconf (= 1.5.92), debhelper (= 13.31), debianutils (= 5.23.2), dh-autoreconf (= 22), dh-coq (= 0.14+ocaml1), dh-ocaml (= 3.1+ocaml1), dh-strip-nondeterminism (= 1.15.0-1), diffutils (= 1:3.12-1), dpkg (= 1.23.7), dpkg-dev (= 1.23.7), dwz (= 0.16-4), file (= 1:5.46-5+b2), findutils (= 4.10.0-4), g++ (= 4:15.2.0-5+b1), g++-15 (= 15.2.0-17), g++-15-x86-64-linux-gnu (= 15.2.0-17), g++-x86-64-linux-gnu (= 4:15.2.0-5+b1), gcc (= 4:15.2.0-5+b1), gcc-15 (= 15.2.0-17), gcc-15-base (= 15.2.0-17), gcc-15-x86-64-linux-gnu (= 15.2.0-17), gcc-16-base (= 16.1.0-1), gcc-x86-64-linux-gnu (= 4:15.2.0-5+b1), gettext (= 0.23.2-2), gettext-base (= 0.23.2-2), grep (= 3.12-1), groff-base (= 1.24.1-1), gzip (= 1.13-1), hostname (= 3.25), init-system-helpers (= 1.69), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-3), libarchive-zip-perl (= 1.68-1), libasan8 (= 16.1.0-1), libatomic1 (= 16.1.0-1), libattr1 (= 1:2.5.2-4), libaudit-common (= 1:4.1.2-1), libaudit1 (= 1:4.1.2-1+b1), libbinutils (= 2.46-3), libblkid1 (= 2.42-6), libbz2-1.0 (= 1.0.8-6+b2), libc-bin (= 2.42-16), libc-dev-bin (= 2.42-16), libc-gconv-modules-extra (= 2.42-16), libc6 (= 2.42-16), libc6-dev (= 2.42-16), libcap-ng0 (= 0.9.3-1), libcc1-0 (= 16.1.0-1), libcompiler-libs-ocaml-dev (= 5.4.1-1~exp1+ocaml1), libconfig-tiny-perl (= 2.30-1), libcoq-bignums (= 9.0.0+coq8.20-1+ocaml1), libcoq-core-ocaml (= 8.20.1+dfsg-1+ocaml1), libcoq-core-ocaml-dev (= 8.20.1+dfsg-1+ocaml1), libcoq-stdlib (= 8.20.1+dfsg-1+ocaml1), libcrypt1 (= 1:4.5.1-1+b1), libctf-nobfd0 (= 2.46-3), libctf0 (= 2.46-3), libdb5.3t64 (= 5.3.28+dfsg2-11+b1), libdebconfclient0 (= 0.283), libdebhelper-perl (= 13.31), libdpkg-perl (= 1.23.7), libecm1 (= 7.0.6+ds-2+b2), libecm1-dev (= 7.0.6+ds-2+b2), libecm1-dev-common (= 7.0.6+ds-2), libelf1t64 (= 0.195-1), libexpat1 (= 2.8.0-2), libffi8 (= 3.5.2-4), libfile-stripnondeterminism-perl (= 1.15.0-1), libfindlib-ocaml (= 1.9.8-1+ocaml1), libfindlib-ocaml-dev (= 1.9.8-1+ocaml1), libgcc-15-dev (= 15.2.0-17), libgcc-s1 (= 16.1.0-1), libgdbm-compat4t64 (= 1.26-1+b2), libgdbm6t64 (= 1.26-1+b2), libgmp-dev (= 2:6.3.0+dfsg-5+b2), libgmp10 (= 2:6.3.0+dfsg-5+b2), libgmp3-dev (= 2:6.3.0+dfsg-5+b2), libgmpxx4ldbl (= 2:6.3.0+dfsg-5+b2), libgomp1 (= 16.1.0-1), libgprofng0 (= 2.46-3), libhwasan0 (= 16.1.0-1), libisl23 (= 0.27-2), libitm1 (= 16.1.0-1), libjansson4 (= 2.14-2+b4), liblsan0 (= 16.1.0-1), liblzma5 (= 5.8.3-1), libmagic-mgc (= 1:5.46-5+b2), libmagic1t64 (= 1:5.46-5+b2), libmd0 (= 1.2.0-1), libmount1 (= 2.42-6), libmpc3 (= 1.3.1-3), libmpfr6 (= 4.2.2-3), libncurses-dev (= 6.6+20251231-1+b1), libncurses6 (= 6.6+20251231-1+b1), libncursesw6 (= 6.6+20251231-1+b1), libpam-modules (= 1.7.0-5+b2), libpam-modules-bin (= 1.7.0-5+b2), libpam-runtime (= 1.7.0-5), libpam0g (= 1.7.0-5+b2), libpcre2-8-0 (= 10.46-1+b2), libperl5.40 (= 5.40.1-7+b1), libpipeline1 (= 1.5.8-3), libpython3-stdlib (= 3.13.9-3+b1), libpython3.13-minimal (= 3.13.12-1), libpython3.13-stdlib (= 3.13.12-1), libquadmath0 (= 16.1.0-1), libreadline8t64 (= 8.3-4), libseccomp2 (= 2.6.0-2+b1), libselinux1 (= 3.10-1), libsframe3 (= 2.46-3), libsmartcols1 (= 2.42-6), libsqlite3-0 (= 3.46.1-9+b1), libssl3t64 (= 3.6.2-1), libstdc++-15-dev (= 15.2.0-17), libstdc++6 (= 16.1.0-1), libstdlib-ocaml (= 5.4.1-1~exp1+ocaml1), libstdlib-ocaml-dev (= 5.4.1-1~exp1+ocaml1), libsystemd0 (= 260.1-1), libtinfo6 (= 6.6+20251231-1+b1), libtool (= 2.5.4-11), libtsan2 (= 16.1.0-1), libubsan1 (= 16.1.0-1), libuchardet0 (= 0.0.8-2+b2), libudev1 (= 260.1-1), libunistring5 (= 1.4.2-1), libuuid1 (= 2.42-6), libxml2-16 (= 2.15.2+dfsg-0.1), libzarith-ocaml (= 1.14-1+ocaml1), libzarith-ocaml-dev (= 1.14-1+ocaml1), libzstd-dev (= 1.5.7+dfsg-3+b2), libzstd1 (= 1.5.7+dfsg-3+b2), linux-libc-dev (= 7.0.4-1), m4 (= 1.4.21-1), make (= 4.4.1-3), man-db (= 2.13.1-1), mawk (= 1.3.4.20260302-1), media-types (= 14.0.0), ncurses-base (= 6.6+20251231-1), ncurses-bin (= 6.6+20251231-1+b1), netbase (= 6.5), ocaml (= 5.4.1-1~exp1+ocaml1), ocaml-base (= 5.4.1-1~exp1+ocaml1), ocaml-findlib (= 1.9.8-1+ocaml1), ocaml-interp (= 5.4.1-1~exp1+ocaml1), openssl-provider-legacy (= 3.6.2-1), patch (= 2.8-2), perl (= 5.40.1-7+b1), perl-base (= 5.40.1-7+b1), perl-modules-5.40 (= 5.40.1-7), po-debconf (= 1.0.22), python3 (= 3.13.9-3+b1), python3-minimal (= 3.13.9-3+b1), python3.13 (= 3.13.12-1), python3.13-minimal (= 3.13.12-1), quickjs (= 2025.04.26-1+b2), readline-common (= 8.3-4), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-3), sensible-utils (= 0.0.26), sysvinit-utils (= 3.18-1), tar (= 1.35+dfsg-4), tzdata (= 2026b-1), util-linux (= 2.42-6), xz-utils (= 5.8.3-1), zlib1g (= 1:1.3.dfsg+really1.3.2-3) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1778833990" +------------------------------------------------------------------------------+ | Package contents Fri, 15 May 2026 08:40:07 +0000 | +------------------------------------------------------------------------------+ coqprime-tools-dbgsym_8.20.1-1+ocaml1_amd64.deb ----------------------------------------------- new Debian package, version 2.0. size 61648 bytes: control archive=648 bytes. 439 bytes, 12 lines control 303 bytes, 3 lines md5sums Package: coqprime-tools-dbgsym Source: coqprime Version: 8.20.1-1+ocaml1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 496 Depends: coqprime-tools (= 8.20.1-1+ocaml1) Section: debug Priority: optional Description: debug symbols for coqprime-tools Build-Ids: 9b9b363518c2e1a5edb5a913138a88bde8bc3ed0 bcf66415fdf5e6c82e297bb2885d612dbaf57000 drwxr-xr-x root/root 0 2026-05-15 08:33 ./ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/debug/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/debug/.build-id/9b/ -rw-r--r-- root/root 44240 2026-05-15 08:33 ./usr/lib/debug/.build-id/9b/9b363518c2e1a5edb5a913138a88bde8bc3ed0.debug drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/debug/.build-id/bc/ -rw-r--r-- root/root 443144 2026-05-15 08:33 ./usr/lib/debug/.build-id/bc/f66415fdf5e6c82e297bb2885d612dbaf57000.debug drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/debug/.dwz/x86_64-linux-gnu/ -rw-r--r-- root/root 5440 2026-05-15 08:33 ./usr/lib/debug/.dwz/x86_64-linux-gnu/coqprime-tools.debug drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/doc/ lrwxrwxrwx root/root 0 2026-05-15 08:33 ./usr/share/doc/coqprime-tools-dbgsym -> coqprime-tools coqprime-tools_8.20.1-1+ocaml1_amd64.deb ---------------------------------------- new Debian package, version 2.0. size 145224 bytes: control archive=944 bytes. 734 bytes, 19 lines control 512 bytes, 8 lines md5sums Package: coqprime-tools Source: coqprime Version: 8.20.1-1+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 841 Depends: libcoq-coqprime (= 8.20.1-1+ocaml1), ocaml-base-nox | ocaml-base, libc6 (>= 2.38), libecm1 (>= 7.0.6+ds), libgmp10 (>= 2:6.3.0+dfsg) Section: ocaml Priority: optional Homepage: https://github.com/thery/coqprime Description: Primality certification for Coq (tools) Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality . Coq is a proof assistant for higher-order logic. drwxr-xr-x root/root 0 2026-05-15 08:33 ./ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/bin/ -rwxr-xr-x root/root 437160 2026-05-15 08:33 ./usr/bin/firstprimes -rwxr-xr-x root/root 368349 2026-05-15 08:33 ./usr/bin/o2v -rwxr-xr-x root/root 39880 2026-05-15 08:33 ./usr/bin/pocklington drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/doc/coqprime-tools/ -rw-r--r-- root/root 578 2026-05-15 08:33 ./usr/share/doc/coqprime-tools/changelog.Debian.gz -rw-r--r-- root/root 1048 2025-01-23 21:50 ./usr/share/doc/coqprime-tools/copyright drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/man/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/man/man1/ -rw-r--r-- root/root 443 2026-05-15 08:33 ./usr/share/man/man1/firstprimes.1.gz -rw-r--r-- root/root 348 2026-05-15 08:33 ./usr/share/man/man1/o2v.1.gz -rw-r--r-- root/root 661 2026-05-15 08:33 ./usr/share/man/man1/pocklington.1.gz libcoq-coqprime_8.20.1-1+ocaml1_amd64.deb ----------------------------------------- new Debian package, version 2.0. size 1778880 bytes: control archive=3772 bytes. 727 bytes, 22 lines control 14086 bytes, 123 lines md5sums Package: libcoq-coqprime Source: coqprime Version: 8.20.1-1+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 6566 Depends: libcoq-bignums-9mow0, libcoq-stdlib-ss2n8 Provides: libcoq-coqprime-b2is3 Section: ocaml Priority: optional Homepage: https://github.com/thery/coqprime Description: Primality certification for Coq (library) Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality . Coq is a proof assistant for higher-order logic. . This package contains the Coq library part. drwxr-xr-x root/root 0 2026-05-15 08:33 ./ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/ -rw-r--r-- root/root 29781 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/Iterator.glob -rw-r--r-- root/root 6144 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/Iterator.v -rw-r--r-- root/root 21800 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/Iterator.vo -rw-r--r-- root/root 32573 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/ListAux.glob -rw-r--r-- root/root 8517 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/ListAux.v -rw-r--r-- root/root 45066 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/ListAux.vo -rw-r--r-- root/root 58769 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/Permutation.glob -rw-r--r-- root/root 17019 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/Permutation.v -rw-r--r-- root/root 57932 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/Permutation.vo -rw-r--r-- root/root 35127 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/UList.glob -rw-r--r-- root/root 9761 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/UList.v -rw-r--r-- root/root 46326 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/UList.vo -rw-r--r-- root/root 13251 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/ZProgression.glob -rw-r--r-- root/root 3589 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/ZProgression.v -rw-r--r-- root/root 13805 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/List/ZProgression.vo drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/N/ -rw-r--r-- root/root 160207 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/N/ChineseRem.glob -rw-r--r-- root/root 36970 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/N/ChineseRem.v -rw-r--r-- root/root 169743 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/N/ChineseRem.vo -rw-r--r-- root/root 6206 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/N/NatAux.glob -rw-r--r-- root/root 2477 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/N/NatAux.v -rw-r--r-- root/root 6138 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/N/NatAux.vo drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/ -rw-r--r-- root/root 61491 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.glob -rw-r--r-- root/root 10311 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.v -rw-r--r-- root/root 50946 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.vo -rw-r--r-- root/root 155024 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/EGroup.glob -rw-r--r-- root/root 24186 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/EGroup.v -rw-r--r-- root/root 92392 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/EGroup.vo -rw-r--r-- root/root 12707 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Euler.glob -rw-r--r-- root/root 3478 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Euler.v -rw-r--r-- root/root 14447 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Euler.vo -rw-r--r-- root/root 20824 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/FGroup.glob -rw-r--r-- root/root 4273 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/FGroup.v -rw-r--r-- root/root 17197 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/FGroup.vo -rw-r--r-- root/root 41948 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/IGroup.glob -rw-r--r-- root/root 8806 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/IGroup.v -rw-r--r-- root/root 32258 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/IGroup.vo -rw-r--r-- root/root 30416 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.glob -rw-r--r-- root/root 6261 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.v -rw-r--r-- root/root 17311 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.vo -rw-r--r-- root/root 127924 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.glob -rw-r--r-- root/root 20058 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.v -rw-r--r-- root/root 62815 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.vo -rw-r--r-- root/root 64758 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/PGroup.glob -rw-r--r-- root/root 12191 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/PGroup.v -rw-r--r-- root/root 62950 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/PGroup.vo -rw-r--r-- root/root 18804 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Pepin.glob -rw-r--r-- root/root 4606 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Pepin.v -rw-r--r-- root/root 17639 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Pepin.vo -rw-r--r-- root/root 69378 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.glob -rw-r--r-- root/root 11755 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.v -rw-r--r-- root/root 50547 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.vo -rw-r--r-- root/root 126781 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.glob -rw-r--r-- root/root 22920 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.v -rw-r--r-- root/root 138751 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.vo -rw-r--r-- root/root 18374 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Proth.glob -rw-r--r-- root/root 4329 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Proth.v -rw-r--r-- root/root 22862 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Proth.vo -rw-r--r-- root/root 83476 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Root.glob -rw-r--r-- root/root 9641 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Root.v -rw-r--r-- root/root 34363 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Root.vo -rw-r--r-- root/root 57912 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Zp.glob -rw-r--r-- root/root 13047 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Zp.v -rw-r--r-- root/root 46374 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/PrimalityTest/Zp.vo drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Tactic/ -rw-r--r-- root/root 1965 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Tactic/Tactic.glob -rw-r--r-- root/root 3120 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Tactic/Tactic.v -rw-r--r-- root/root 9555 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Tactic/Tactic.vo drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ -rw-r--r-- root/root 95418 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Pmod.glob -rw-r--r-- root/root 19894 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Pmod.v -rw-r--r-- root/root 123202 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Pmod.vo -rw-r--r-- root/root 7242 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Ppow.glob -rw-r--r-- root/root 1712 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Ppow.v -rw-r--r-- root/root 6757 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Ppow.vo -rw-r--r-- root/root 46207 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZCAux.glob -rw-r--r-- root/root 12135 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZCAux.v -rw-r--r-- root/root 54430 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZCAux.vo -rw-r--r-- root/root 16797 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZCmisc.glob -rw-r--r-- root/root 5175 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZCmisc.v -rw-r--r-- root/root 28069 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZCmisc.vo -rw-r--r-- root/root 72848 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZSum.glob -rw-r--r-- root/root 11454 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZSum.v -rw-r--r-- root/root 48853 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/ZSum.vo -rw-r--r-- root/root 11788 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Zmod.glob -rw-r--r-- root/root 2566 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Zmod.v -rw-r--r-- root/root 10381 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/Z/Zmod.vo drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/ -rw-r--r-- root/root 33221 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/GZnZ.glob -rw-r--r-- root/root 8092 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/GZnZ.v -rw-r--r-- root/root 56377 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/GZnZ.vo -rw-r--r-- root/root 259218 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/SMain.glob -rw-r--r-- root/root 63942 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/SMain.v -rw-r--r-- root/root 450129 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/SMain.vo -rw-r--r-- root/root 212696 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/ZEll.glob -rw-r--r-- root/root 46560 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/ZEll.v -rw-r--r-- root/root 306020 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/elliptic/ZEll.vo drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/ -rw-r--r-- root/root 14241 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Bits.glob -rw-r--r-- root/root 3243 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Bits.v -rw-r--r-- root/root 16280 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Bits.vo -rw-r--r-- root/root 115 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Int63Compat.glob -rw-r--r-- root/root 32 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Int63Compat.v -rw-r--r-- root/root 682 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Int63Compat.vo -rw-r--r-- root/root 89695 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Lucas.glob -rw-r--r-- root/root 14482 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Lucas.v -rw-r--r-- root/root 55086 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Lucas.vo -rw-r--r-- root/root 3549 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/MEll.glob -rw-r--r-- root/root 36391 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/MEll.v -rw-r--r-- root/root 7409 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/MEll.vo -rw-r--r-- root/root 267591 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Mod_op.glob -rw-r--r-- root/root 42242 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Mod_op.v -rw-r--r-- root/root 170488 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Mod_op.vo -rw-r--r-- root/root 179143 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/NEll.glob -rw-r--r-- root/root 30782 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/NEll.v -rw-r--r-- root/root 178100 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/NEll.vo -rw-r--r-- root/root 157054 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Pock.glob -rw-r--r-- root/root 33899 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Pock.v -rw-r--r-- root/root 152771 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/Pock.vo -rw-r--r-- root/root 20139 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/W.glob -rw-r--r-- root/root 6285 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/W.v -rw-r--r-- root/root 25615 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/W.vo -rw-r--r-- root/root 325890 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/montgomery.glob -rw-r--r-- root/root 47184 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/montgomery.v -rw-r--r-- root/root 235188 2026-05-15 08:33 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Coqprime/num/montgomery.vo drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./usr/share/doc/libcoq-coqprime/ -rw-r--r-- root/root 579 2026-05-15 08:33 ./usr/share/doc/libcoq-coqprime/changelog.Debian.gz -rw-r--r-- root/root 1048 2025-01-23 21:50 ./usr/share/doc/libcoq-coqprime/copyright drwxr-xr-x root/root 0 2026-05-15 08:33 ./var/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./var/lib/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./var/lib/coq/ drwxr-xr-x root/root 0 2026-05-15 08:33 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2026-05-15 08:33 ./var/lib/coq/md5sums/libcoq-coqprime.checksum +------------------------------------------------------------------------------+ | Post Build Fri, 15 May 2026 08:40:10 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Fri, 15 May 2026 08:40:10 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Fri, 15 May 2026 08:40:12 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 52716 Build-Time: 259 Distribution: unstable-ocaml Host Architecture: amd64 Install-Time: 74 Job: /tmp/tmp.ben.transition-scripts.bFRHVsWMqW/coqprime_8.20.1-1+ocaml1.dsc Machine Architecture: amd64 Package: coqprime Package-Time: 413 Source-Version: 8.20.1-1+ocaml1 Space: 52716 Status: successful Version: 8.20.1-1+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-05-15T08:40:05Z Build needed 00:06:53, 52716k disk space