sbuild (Debian sbuild) 0.88.5 (01 March 2025) on derowd.up7.fr +==============================================================================+ | coqprime 8.20.1-1+ocaml20250313 (amd64) Thu, 13 Mar 2025 10:21:43 +0000 | +==============================================================================+ Package: coqprime Version: 8.20.1-1+ocaml20250313 Source Version: 8.20.1-1+ocaml20250313 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: No tarballs found in /home/steph/.cache/sbuild I: Unpacking /home/steph/ocaml-backports/20250313/ben/rootfs.tar.zst to /var/tmp/tmp.sbuild.uoDuHPrYFR... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Thu, 13 Mar 2025 10:21:48 +0000 | +------------------------------------------------------------------------------+ Get:1 file:/rebuilt ./ InRelease Ign:1 file:/rebuilt ./ InRelease Get:2 file:/rebuilt ./ Release [1360 B] Get:2 file:/rebuilt ./ Release [1360 B] Get:3 file:/rebuilt ./ Release.gpg Ign:3 file:/rebuilt ./ Release.gpg Get:4 http://localhost:9999/debian bookworm InRelease [151 kB] Get:5 file:/rebuilt ./ Packages [1085 kB] Get:6 http://localhost:9999/debian bookworm/contrib amd64 Packages [54.1 kB] Get:7 http://localhost:9999/debian bookworm/non-free amd64 Packages [97.3 kB] Get:8 http://localhost:9999/debian bookworm/non-free-firmware amd64 Packages [6240 B] Get:9 http://localhost:9999/debian bookworm/main amd64 Packages [8792 kB] Fetched 9101 kB in 3s (3416 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Thu, 13 Mar 2025 10:21:52 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.iLflmqSm8V/coqprime_8.20.1-1+ocaml20250313.dsc exists in /tmp/tmp.ben.transition-scripts.iLflmqSm8V; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Thu, 13 Mar 2025 10:21:53 +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-Wd0hMA/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ Sources [711 B] Get:5 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ Packages [750 B] Fetched 2070 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz 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 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.11 python3.11-minimal readline-common sensible-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.11-venv python3.11-doc binfmt-support readline-doc Recommended packages: curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl ca-certificates The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz 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 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.11 python3.11-minimal readline-common sbuild-build-depends-main-dummy sensible-utils 0 upgraded, 72 newly installed, 0 to remove and 0 not upgraded. Need to get 28.4 MB/302 MB of archives. After this operation, 966 MB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [908 B] Get:2 http://localhost:9999/debian bookworm/main amd64 libpython3.11-minimal amd64 3.11.2-6+deb12u5 [816 kB] Get:3 http://localhost:9999/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1+deb12u1 [98.9 kB] Get:4 http://localhost:9999/debian bookworm/main amd64 python3.11-minimal amd64 3.11.2-6+deb12u5 [2067 kB] Get:5 http://localhost:9999/debian bookworm/main amd64 python3-minimal amd64 3.11.2-1+b1 [26.3 kB] Get:6 http://localhost:9999/debian bookworm/main amd64 media-types all 10.0.0 [26.1 kB] Get:7 http://localhost:9999/debian bookworm/main amd64 libncursesw6 amd64 6.4-4 [134 kB] Get:8 http://localhost:9999/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB] Get:9 http://localhost:9999/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB] Get:10 http://localhost:9999/debian bookworm/main amd64 libsqlite3-0 amd64 3.40.1-2+deb12u1 [839 kB] Get:11 http://localhost:9999/debian bookworm/main amd64 libpython3.11-stdlib amd64 3.11.2-6+deb12u5 [1797 kB] Get:12 file:/rebuilt ./ libcoq-stdlib 8.20.1+dfsg-1+ocaml20250313 [23.5 MB] Get:13 file:/rebuilt ./ libstdlib-ocaml 5.3.0-2+ocaml20250313 [602 kB] Get:14 http://localhost:9999/debian bookworm/main amd64 python3.11 amd64 3.11.2-6+deb12u5 [573 kB] Get:15 file:/rebuilt ./ ocaml-base 5.3.0-2+ocaml20250313 [493 kB] Get:16 http://localhost:9999/debian bookworm/main amd64 libpython3-stdlib amd64 3.11.2-1+b1 [9312 B] Get:17 http://localhost:9999/debian bookworm/main amd64 python3 amd64 3.11.2-1+b1 [26.3 kB] Get:18 http://localhost:9999/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get:19 http://localhost:9999/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get:20 http://localhost:9999/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get:21 http://localhost:9999/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get:22 http://localhost:9999/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get:23 file:/rebuilt ./ libfindlib-ocaml 1.9.8-1+ocaml20250313 [214 kB] Get:24 http://localhost:9999/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get:25 http://localhost:9999/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get:26 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml20250313 [116 kB] Get:27 http://localhost:9999/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+deb12u3 [87.0 kB] Get:28 http://localhost:9999/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get:29 http://localhost:9999/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get:30 http://localhost:9999/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:31 http://localhost:9999/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get:32 http://localhost:9999/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get:33 http://localhost:9999/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get:34 http://localhost:9999/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get:35 http://localhost:9999/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get:36 http://localhost:9999/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get:37 http://localhost:9999/debian bookworm/main amd64 libzstd-dev amd64 1.5.4+dfsg2-5 [354 kB] Get:38 http://localhost:9999/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get:39 http://localhost:9999/debian bookworm/main amd64 libtool all 2.4.7-7~deb12u1 [517 kB] Get:40 http://localhost:9999/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get:41 http://localhost:9999/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:42 http://localhost:9999/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get:43 http://localhost:9999/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get:44 http://localhost:9999/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get:45 http://localhost:9999/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get:46 http://localhost:9999/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get:47 http://localhost:9999/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get:48 http://localhost:9999/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.3~deb12u1 [687 kB] Get:49 http://localhost:9999/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get:50 file:/rebuilt ./ libcoq-core-ocaml 8.20.1+dfsg-1+ocaml20250313 [26.0 MB] Get:51 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-2+ocaml20250313 [7886 kB] Get:52 http://localhost:9999/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:53 http://localhost:9999/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:54 http://localhost:9999/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get:55 http://localhost:9999/debian bookworm/main amd64 libconfig-tiny-perl all 2.28-2 [16.4 kB] Get:56 http://localhost:9999/debian bookworm/main amd64 libgmpxx4ldbl amd64 2:6.2.1+dfsg1-1.1 [338 kB] Get:57 http://localhost:9999/debian bookworm/main amd64 libgmp-dev amd64 2:6.2.1+dfsg1-1.1 [641 kB] Get:58 http://localhost:9999/debian bookworm/main amd64 libgmp3-dev amd64 2:6.2.1+dfsg1-1.1 [331 kB] Get:59 http://localhost:9999/debian bookworm/main amd64 libecm1 amd64 7.0.5+ds-1 [352 kB] Get:60 http://localhost:9999/debian bookworm/main amd64 libecm1-dev-common all 7.0.5+ds-1 [149 kB] Get:61 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-2+ocaml20250313 [48.2 MB] Get:62 file:/rebuilt ./ ocaml-interp 5.3.0-2+ocaml20250313 [7106 kB] Get:63 http://localhost:9999/debian bookworm/main amd64 libecm1-dev amd64 7.0.5+ds-1 [382 kB] Get:64 file:/rebuilt ./ ocaml 5.3.0-2+ocaml20250313 [18.0 MB] Get:65 file:/rebuilt ./ ocaml-findlib 1.9.8-1+ocaml20250313 [583 kB] Get:66 file:/rebuilt ./ coq 8.20.1+dfsg-1+ocaml20250313 [70.2 MB] Get:67 file:/rebuilt ./ dh-coq 0.14+ocaml20250313 [8064 B] Get:68 file:/rebuilt ./ dh-ocaml 2.4+ocaml20250313 [68.7 kB] Get:69 file:/rebuilt ./ libcoq-bignums 9.0.0+coq8.20-1+ocaml20250313 [1914 kB] Get:70 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.8-1+ocaml20250313 [179 kB] Get:71 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml20250313 [142 kB] Get:72 file:/rebuilt ./ libcoq-core-ocaml-dev 8.20.1+dfsg-1+ocaml20250313 [68.7 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 28.4 MB in 1s (37.0 MB/s) Selecting previously unselected package libpython3.11-minimal:amd64. (Reading database ... 10779 files and directories currently installed.) Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u5_amd64.deb ... Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.5.0-1+deb12u1_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-1+deb12u1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u5_amd64.deb ... Unpacking python3.11-minimal (3.11.2-6+deb12u5) ... Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ... Setting up libexpat1:amd64 (2.5.0-1+deb12u1) ... Setting up python3.11-minimal (3.11.2-6+deb12u5) ... Selecting previously unselected package python3-minimal. (Reading database ... 11095 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_amd64.deb ... Unpacking python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.0.0_all.deb ... Unpacking media-types (10.0.0) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../2-libncursesw6_6.4-4_amd64.deb ... Unpacking libncursesw6:amd64 (6.4-4) ... Selecting previously unselected package readline-common. Preparing to unpack .../3-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../4-libreadline8_8.2-1.3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1.3) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../5-libsqlite3-0_3.40.1-2+deb12u1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Selecting previously unselected package libpython3.11-stdlib:amd64. Preparing to unpack .../6-libpython3.11-stdlib_3.11.2-6+deb12u5_amd64.deb ... Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ... Selecting previously unselected package python3.11. Preparing to unpack .../7-python3.11_3.11.2-6+deb12u5_amd64.deb ... Unpacking python3.11 (3.11.2-6+deb12u5) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../8-libpython3-stdlib_3.11.2-1+b1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package python3. (Reading database ... 11546 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ... Unpacking python3 (3.11.2-1+b1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.44-3_amd64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../03-libmagic1_1%3a5.44-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.44-3_amd64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.21-12_amd64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.22.4-10_amd64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.38.1-5+deb12u3_amd64.deb ... Unpacking bsdextrautils (2.38.1-5+deb12u3) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.11.2-2_amd64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../16-libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../17-libstdlib-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../18-ocaml-base_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-base (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../19-libfindlib-ocaml_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml20250313_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+ocaml20250313) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../21-libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../22-libstdlib-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-interp (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../25-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../26-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../27-libzstd-dev_1.5.4+dfsg2-5_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.4+dfsg2-5) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+ocaml20250313) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking coq (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.7-7~deb12u1_all.deb ... Unpacking libtool (2.4.7-7~deb12u1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../35-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../36-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../37-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../38-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../39-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../40-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../41-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Selecting previously unselected package gettext. Preparing to unpack .../42-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../43-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../44-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../45-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package dh-coq. Preparing to unpack .../46-dh-coq_0.14+ocaml20250313_all.deb ... Unpacking dh-coq (0.14+ocaml20250313) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../47-libconfig-tiny-perl_2.28-2_all.deb ... Unpacking libconfig-tiny-perl (2.28-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../48-dh-ocaml_2.4+ocaml20250313_all.deb ... Unpacking dh-ocaml (2.4+ocaml20250313) ... Selecting previously unselected package libcoq-bignums. Preparing to unpack .../49-libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb ... Unpacking libcoq-bignums (9.0.0+coq8.20-1+ocaml20250313) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../50-libfindlib-ocaml-dev_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../51-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../52-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../53-libgmp3-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../54-libzarith-ocaml-dev_1.14-1+ocaml20250313_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+ocaml20250313) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../55-libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libecm1:amd64. Preparing to unpack .../56-libecm1_7.0.5+ds-1_amd64.deb ... Unpacking libecm1:amd64 (7.0.5+ds-1) ... Selecting previously unselected package libecm1-dev-common. Preparing to unpack .../57-libecm1-dev-common_7.0.5+ds-1_all.deb ... Unpacking libecm1-dev-common (7.0.5+ds-1) ... Selecting previously unselected package libecm1-dev:amd64. Preparing to unpack .../58-libecm1-dev_7.0.5+ds-1_amd64.deb ... Unpacking libecm1-dev:amd64 (7.0.5+ds-1) ... 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 (10.0.0) ... Setting up libpipeline1:amd64 (1.5.7-1) ... Setting up libicu72:amd64 (72.1-3) ... Setting up libzstd-dev:amd64 (1.5.4+dfsg2-5) ... Setting up bsdextrautils (2.38.1-5+deb12u3) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libecm1-dev-common (7.0.5+ds-1) ... Setting up dh-coq (0.14+ocaml20250313) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Setting up libmagic1:amd64 (1:5.44-3) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up file (1:5.44-3) ... Setting up libconfig-tiny-perl (2.28-2) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.20.1+dfsg-1+ocaml20250313) ... Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up libecm1:amd64 (7.0.5+ds-1) ... Setting up libncurses6:amd64 (6.4-4) ... Setting up libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Setting up autopoint (0.21-12) ... Setting up ocaml-base (5.3.0-2+ocaml20250313) ... Setting up libncursesw6:amd64 (6.4-4) ... Setting up autoconf (2.71-3) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libsub-override-perl (0.09-4) ... Setting up libelf1:amd64 (0.188-2.1) ... Setting up readline-common (8.2-1.3) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Setting up libcoq-bignums (9.0.0+coq8.20-1+ocaml20250313) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libncurses-dev:amd64 (6.4-4) ... Setting up gettext (0.21-12) ... Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up libtool (2.4.7-7~deb12u1) ... Setting up libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ... Setting up libreadline8:amd64 (8.2-1.3) ... Setting up dh-ocaml (2.4+ocaml20250313) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Setting up libzarith-ocaml (1.14-1+ocaml20250313) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libecm1-dev:amd64 (7.0.5+ds-1) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ... Setting up ocaml-interp (5.3.0-2+ocaml20250313) ... Setting up ocaml-findlib (1.9.8-1+ocaml20250313) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up libcoq-core-ocaml (8.20.1+dfsg-1+ocaml20250313) ... Setting up groff-base (1.22.4-10) ... Setting up libgmp3-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ... Setting up ocaml (5.3.0-2+ocaml20250313) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ... Setting up libzarith-ocaml-dev (1.14-1+ocaml20250313) ... Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3.11 (3.11.2-6+deb12u5) ... Setting up debhelper (13.11.4) ... Setting up python3 (3.11.2-1+b1) ... Setting up coq (8.20.1+dfsg-1+ocaml20250313) ... Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml20250313) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... +------------------------------------------------------------------------------+ | Check architectures Thu, 13 Mar 2025 10:22:34 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Thu, 13 Mar 2025 10:22:34 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.17-1 (2025-03-01) amd64 (x86_64) Toolchain package versions: binutils_2.40-2 dpkg-dev_1.21.22 g++-12_12.2.0-14 gcc-12_12.2.0-14 libc6-dev_2.36-9+deb12u9 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 linux-libc-dev_6.1.123-1 Package versions: adduser_3.134 apt_2.6.1 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-12 autotools-dev_20220109.1 base-files_12.4+deb12u9 base-passwd_3.6.1 bash_5.2.15-2+b7 binutils_2.40-2 binutils-common_2.40-2 binutils-x86-64-linux-gnu_2.40-2 bsdextrautils_2.38.1-5+deb12u3 bsdutils_1:2.38.1-5+deb12u3 build-essential_12.9 bzip2_1.0.8-5+b1 coq_8.20.1+dfsg-1+ocaml20250313 coreutils_9.1-1 cpp_4:12.2.0-3 cpp-12_12.2.0-14 dash_0.5.12-2 debconf_1.5.82 debhelper_13.11.4 debian-archive-keyring_2023.3+deb12u1 debianutils_5.7-0.5~deb12u1 dh-autoreconf_20 dh-coq_0.14+ocaml20250313 dh-ocaml_2.4+ocaml20250313 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.8-4 dpkg_1.21.22 dpkg-dev_1.21.22 dwz_0.15-1 file_1:5.44-3 findutils_4.9.0-4 g++_4:12.2.0-3 g++-12_12.2.0-14 gcc_4:12.2.0-3 gcc-12_12.2.0-14 gcc-12-base_12.2.0-14 gettext_0.21-12 gettext-base_0.21-12 gpgv_2.2.40-1.1 grep_3.8-5 groff-base_1.22.4-10 gzip_1.12-1 hostname_3.23+nmu1 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 libacl1_2.3.1-3 libapt-pkg6.0_2.6.1 libarchive-zip-perl_1.68-1 libasan8_12.2.0-14 libatomic1_12.2.0-14 libattr1_1:2.5.1-4 libaudit-common_1:3.0.9-1 libaudit1_1:3.0.9-1 libbinutils_2.40-2 libblkid1_2.38.1-5+deb12u3 libbz2-1.0_1.0.8-5+b1 libc-bin_2.36-9+deb12u9 libc-dev-bin_2.36-9+deb12u9 libc6_2.36-9+deb12u9 libc6-dev_2.36-9+deb12u9 libcap-ng0_0.8.3-1+b3 libcap2_1:2.66-4 libcc1-0_12.2.0-14 libcom-err2_1.47.0-2 libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313 libconfig-tiny-perl_2.28-2 libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml20250313 libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313 libcrypt-dev_1:4.4.33-2 libcrypt1_1:4.4.33-2 libctf-nobfd0_2.40-2 libctf0_2.40-2 libdb5.3_5.3.28+dfsg2-1 libdebconfclient0_0.270 libdebhelper-perl_13.11.4 libdpkg-perl_1.21.22 libecm1_7.0.5+ds-1 libecm1-dev_7.0.5+ds-1 libecm1-dev-common_7.0.5+ds-1 libelf1_0.188-2.1 libexpat1_2.5.0-1+deb12u1 libffi8_3.4.4-1 libfile-find-rule-perl_0.34-3 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.8-1+ocaml20250313 libfindlib-ocaml-dev_1.9.8-1+ocaml20250313 libgcc-12-dev_12.2.0-14 libgcc-s1_12.2.0-14 libgcrypt20_1.10.1-3 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libgmp-dev_2:6.2.1+dfsg1-1.1 libgmp10_2:6.2.1+dfsg1-1.1 libgmp3-dev_2:6.2.1+dfsg1-1.1 libgmpxx4ldbl_2:6.2.1+dfsg1-1.1 libgnutls30_3.7.9-2+deb12u3 libgomp1_12.2.0-14 libgpg-error0_1.46-1 libgprofng0_2.40-2 libgssapi-krb5-2_1.20.1-2+deb12u2 libhogweed6_3.8.1-2 libicu72_72.1-3 libidn2-0_2.3.3-1+b1 libisl23_0.25-1.1 libitm1_12.2.0-14 libjansson4_2.14-2 libk5crypto3_1.20.1-2+deb12u2 libkeyutils1_1.6.3-2 libkrb5-3_1.20.1-2+deb12u2 libkrb5support0_1.20.1-2+deb12u2 liblsan0_12.2.0-14 liblz4-1_1.9.4-1 liblzma5_5.4.1-0.2 libmagic-mgc_1:5.44-3 libmagic1_1:5.44-3 libmd0_1.0.4-2 libmount1_2.38.1-5+deb12u3 libmpc3_1.3.1-1 libmpfr6_4.2.0-1 libncurses-dev_6.4-4 libncurses6_6.4-4 libncursesw6_6.4-4 libnettle8_3.8.1-2 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnumber-compare-perl_0.03-3 libp11-kit0_0.24.1-2 libpam-modules_1.5.2-6+deb12u1 libpam-modules-bin_1.5.2-6+deb12u1 libpam-runtime_1.5.2-6+deb12u1 libpam0g_1.5.2-6+deb12u1 libpcre2-8-0_10.42-1 libperl5.36_5.36.0-7+deb12u1 libpipeline1_1.5.7-1 libpython3-stdlib_3.11.2-1+b1 libpython3.11-minimal_3.11.2-6+deb12u5 libpython3.11-stdlib_3.11.2-6+deb12u5 libquadmath0_12.2.0-14 libreadline8_8.2-1.3 libseccomp2_2.5.4-1+deb12u1 libselinux1_3.4-1+b6 libsemanage-common_3.4-1 libsemanage2_3.4-1+b5 libsepol2_3.4-2.1 libsmartcols1_2.38.1-5+deb12u3 libsqlite3-0_3.40.1-2+deb12u1 libssl3_3.0.15-1~deb12u1 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 libstdlib-ocaml_5.3.0-2+ocaml20250313 libstdlib-ocaml-dev_5.3.0-2+ocaml20250313 libsub-override-perl_0.09-4 libsystemd0_252.33-1~deb12u1 libtasn1-6_4.19.0-2 libtext-glob-perl_0.11-3 libtinfo6_6.4-4 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-7~deb12u1 libtsan2_12.2.0-14 libubsan1_12.2.0-14 libuchardet0_0.0.7-1 libudev1_252.33-1~deb12u1 libunistring2_1.0-2 libuuid1_2.38.1-5+deb12u3 libxml2_2.9.14+dfsg-1.3~deb12u1 libxxhash0_0.8.1-1 libzarith-ocaml_1.14-1+ocaml20250313 libzarith-ocaml-dev_1.14-1+ocaml20250313 libzstd-dev_1.5.4+dfsg2-5 libzstd1_1.5.4+dfsg2-5 linux-libc-dev_6.1.123-1 login_1:4.13+dfsg1-1+b1 m4_1.4.19-3 make_4.3-4.1 man-db_2.11.2-2 mawk_1.3.4.20200120-3.1 media-types_10.0.0 ncurses-base_6.4-4 ncurses-bin_6.4-4 ocaml_5.3.0-2+ocaml20250313 ocaml-base_5.3.0-2+ocaml20250313 ocaml-findlib_1.9.8-1+ocaml20250313 ocaml-interp_5.3.0-2+ocaml20250313 passwd_1:4.13+dfsg1-1+b1 patch_2.7.6-7 perl_5.36.0-7+deb12u1 perl-base_5.36.0-7+deb12u1 perl-modules-5.36_5.36.0-7+deb12u1 po-debconf_1.0.21+nmu1 python3_3.11.2-1+b1 python3-minimal_3.11.2-1+b1 python3.11_3.11.2-6+deb12u5 python3.11-minimal_3.11.2-6+deb12u5 readline-common_8.2-1.3 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.17+nmu1 sysvinit-utils_3.06-4 tar_1.34+dfsg-1.2+deb12u1 usrmerge_37~deb12u1 util-linux_2.38.1-5+deb12u3 util-linux-extra_2.38.1-5+deb12u3 xz-utils_5.4.1-0.2 zlib1g_1:1.2.13.dfsg-1 +------------------------------------------------------------------------------+ | Build Thu, 13 Mar 2025 10:22:34 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: coqprime Binary: libcoq-coqprime, coqprime-tools Architecture: any Version: 8.20.1-1+ocaml20250313 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 d82a24fae9930842b32d6296336b128a9bde8405 3556 coqprime_8.20.1-1+ocaml20250313.debian.tar.xz Checksums-Sha256: 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz cc9b97eb064cd42a94cae43e5ea67fcff89455838699103e1c191b175bbeff1a 3556 coqprime_8.20.1-1+ocaml20250313.debian.tar.xz Files: 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz 5aeb31d80fc1ed017fad3824c02775e7 3556 coqprime_8.20.1-1+ocaml20250313.debian.tar.xz dpkg-source: warning: extracting unsigned source package (coqprime_8.20.1-1+ocaml20250313.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+ocaml20250313.debian.tar.xz Can't exec "dpkg-buildtree": No such file or directory at /usr/libexec/sbuild-usernsexec line 604. Failed to exec: dpkg-buildtree: No such file or directory at /usr/libexec/sbuild-usernsexec line 605. Install fakeroot ---------------- Setup apt archive ----------------- Merged Build-Depends: fakeroot Filtered Build-Depends: fakeroot dpkg-deb: building package 'sbuild-build-depends-fakeroot-dummy' in '/build/reproducible-path/resolver-Wd0hMA/apt_archive/sbuild-build-depends-fakeroot-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ Release [615 B] Ign:3 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ Sources [1299 B] Get:5 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ Packages [1365 B] Fetched 3279 B in 0s (0 B/s) Reading package lists... Reading package lists... Install fakeroot build dependencies (apt-based resolver) -------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: fakeroot libfakeroot The following NEW packages will be installed: fakeroot libfakeroot sbuild-build-depends-fakeroot-dummy 0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 96.1 kB of archives. After this operation, 360 kB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-Wd0hMA/apt_archive ./ sbuild-build-depends-fakeroot-dummy 0.invalid.0 [828 B] Get:2 http://localhost:9999/debian bookworm/main amd64 libfakeroot amd64 1.31-1.2 [28.3 kB] Get:3 http://localhost:9999/debian bookworm/main amd64 fakeroot amd64 1.31-1.2 [66.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 96.1 kB in 0s (1709 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... 23122 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.31-1.2_amd64.deb ... Unpacking libfakeroot:amd64 (1.31-1.2) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.31-1.2_amd64.deb ... Unpacking fakeroot (1.31-1.2) ... Selecting previously unselected package sbuild-build-depends-fakeroot-dummy. Preparing to unpack .../sbuild-build-depends-fakeroot-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-fakeroot-dummy (0.invalid.0) ... Setting up libfakeroot:amd64 (1.31-1.2) ... Setting up fakeroot (1.31-1.2) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up sbuild-build-depends-fakeroot-dummy (0.invalid.0) ... Processing triggers for man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Processing triggers for libc-bin (2.36-9+deb12u9) ... 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+ocaml20250313 dpkg-buildpackage: info: source distribution bookworm-backports-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/examples/t100/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/t25/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: warning: ignoring deletion of file src/Coqprime/PrimalityTest/Makefile.bak, use --include-removal to override dpkg-source: info: building coqprime in coqprime_8.20.1-1+ocaml20250313.debian.tar.xz dpkg-source: info: building coqprime in coqprime_8.20.1-1+ocaml20250313.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.006 secs (0.006u,0.s) (successful) Finished transaction in 0.02 secs (0.02u,0.s) (successful) Finished transaction in 0.022 secs (0.022u,0.s) (successful) Finished transaction in 0.137 secs (0.129u,0.007s) (successful) Finished transaction in 0.881 secs (0.846u,0.018s) (successful) Finished transaction in 0.061 secs (0.061u,0.s) (successful) Finished transaction in 0.198 secs (0.194u,0.003s) (successful) Finished transaction in 0.186 secs (0.185u,0.s) (successful) Finished transaction in 0.321 secs (0.313u,0.008s) (successful) Finished transaction in 0.619 secs (0.581u,0.s) (successful) Finished transaction in 0.475 secs (0.456u,0.s) (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.074 secs (0.074u,0.s) (successful) = true : bool Finished transaction in 0.142 secs (0.142u,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 C11 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 -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -Wformat -Werror=format-security -I -I -Wall -pedantic -c certif.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -Wformat -Werror=format-security -I -I -Wall -pedantic -c factorize.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -Wformat -Werror=format-security -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; | ^ pocklington.c:255:3: warning: ‘filename’ may be used uninitialized [-Wmaybe-uninitialized] 255 | print_file(filename, lemmaname, p, lc); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pocklington.c:57:9: note: ‘filename’ was declared here 57 | char *filename; | ^~~~~~~~ gcc -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro -g -O2 -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -Wformat -Werror=format-security -o pocklington certif.o factorize.o pocklington.o -lecm -lgmp -lm gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -Wformat -Werror=format-security -I -I -Wall -pedantic -c firstprimes.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro -g -O2 -ffile-prefix-map=/build/reproducible-path/coqprime-8.20.1=. -fstack-protector-strong -Wformat -Werror=format-security -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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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.3.0/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_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+ocaml20250313_amd64.deb'. dpkg-deb: building package 'coqprime-tools' in '../coqprime-tools_8.20.1-1+ocaml20250313_amd64.deb'. dpkg-deb: building package 'coqprime-tools-dbgsym' in '../coqprime-tools-dbgsym_8.20.1-1+ocaml20250313_amd64.deb'. dpkg-genbuildinfo -O../coqprime_8.20.1-1+ocaml20250313_amd64.buildinfo dpkg-genchanges -sa -O../coqprime_8.20.1-1+ocaml20250313_amd64.changes dpkg-genchanges: info: including full source code in upload dpkg-source --after-build . dpkg-buildpackage: info: full upload (original source is included) -------------------------------------------------------------------------------- Build finished at 2025-03-13T10:24:12Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Thu, 13 Mar 2025 10:24:13 +0000 | +------------------------------------------------------------------------------+ coqprime_8.20.1-1+ocaml20250313_amd64.changes: ---------------------------------------------- Format: 1.8 Date: Thu, 13 Mar 2025 11:21:43 +0100 Source: coqprime Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime Architecture: source amd64 Version: 8.20.1-1+ocaml20250313 Distribution: unstable 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+ocaml20250313) bookworm-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.3.0 Checksums-Sha1: bf7dd5d868f72bb007caf7cb69524a7b137c36ff 1314 coqprime_8.20.1-1+ocaml20250313.dsc 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz 0c468b08e4642e64463d8b457e76b0ce792b5190 3552 coqprime_8.20.1-1+ocaml20250313.debian.tar.xz 1f24dbb196dffccd7cc7e2b4a6a9e2120a84fdb0 61356 coqprime-tools-dbgsym_8.20.1-1+ocaml20250313_amd64.deb 31b0db0dda2679b867300bd055e518f6a694075e 143012 coqprime-tools_8.20.1-1+ocaml20250313_amd64.deb 1dec309ad5a33d5a0b49df2ef74eb7aacb7e967a 7641 coqprime_8.20.1-1+ocaml20250313_amd64.buildinfo 88d80867dc62b550305ed9b346d845eda7b9ca34 1778128 libcoq-coqprime_8.20.1-1+ocaml20250313_amd64.deb Checksums-Sha256: 13daf4dae99394adebb075d0406bdddb1aacb5b3a9461c7251ae2d7e799e5b3b 1314 coqprime_8.20.1-1+ocaml20250313.dsc 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz 6741a54f28dd8bf611bf42c62bb369e843bbb4d2ffe7505e206ba1bdbae5cfd9 3552 coqprime_8.20.1-1+ocaml20250313.debian.tar.xz 9b9949c8813f08797a408c72dea87f641f20e72bee68694f0ed43eb1bbf0932b 61356 coqprime-tools-dbgsym_8.20.1-1+ocaml20250313_amd64.deb cd83e1710a92f5e19128f7b5d737f95b529b312c2228a22b61bd1d4326242c9e 143012 coqprime-tools_8.20.1-1+ocaml20250313_amd64.deb 0923817f908840c3d8249cf638a52b0c0b4dcf46d6d18d7d09710600f1586559 7641 coqprime_8.20.1-1+ocaml20250313_amd64.buildinfo ee96f466c427a2f4e8563dade3472b25e7ef6d3d513f3925949f24b5ff0de977 1778128 libcoq-coqprime_8.20.1-1+ocaml20250313_amd64.deb Files: a9598f4fae6868e251106b5a3834c53d 1314 ocaml optional coqprime_8.20.1-1+ocaml20250313.dsc 32693b1bb28ecf2a0847bc583d15ca4c 996557 ocaml optional coqprime_8.20.1.orig.tar.gz 90721463b74ab88a71415116c542b0e8 3552 ocaml optional coqprime_8.20.1-1+ocaml20250313.debian.tar.xz 4f9896b449ea960d6d22779584b16f19 61356 debug optional coqprime-tools-dbgsym_8.20.1-1+ocaml20250313_amd64.deb 778c401bead68cc086df56b01857b3ef 143012 ocaml optional coqprime-tools_8.20.1-1+ocaml20250313_amd64.deb 6f0940200fd3dd764342151bf7f9e288 7641 ocaml optional coqprime_8.20.1-1+ocaml20250313_amd64.buildinfo dba9a5fea6ab93b4e1f7b66ad03da58f 1778128 ocaml optional libcoq-coqprime_8.20.1-1+ocaml20250313_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Thu, 13 Mar 2025 10:24:14 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coqprime Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime Architecture: amd64 source Version: 8.20.1-1+ocaml20250313 Checksums-Md5: a9598f4fae6868e251106b5a3834c53d 1314 coqprime_8.20.1-1+ocaml20250313.dsc 4f9896b449ea960d6d22779584b16f19 61356 coqprime-tools-dbgsym_8.20.1-1+ocaml20250313_amd64.deb 778c401bead68cc086df56b01857b3ef 143012 coqprime-tools_8.20.1-1+ocaml20250313_amd64.deb dba9a5fea6ab93b4e1f7b66ad03da58f 1778128 libcoq-coqprime_8.20.1-1+ocaml20250313_amd64.deb Checksums-Sha1: bf7dd5d868f72bb007caf7cb69524a7b137c36ff 1314 coqprime_8.20.1-1+ocaml20250313.dsc 1f24dbb196dffccd7cc7e2b4a6a9e2120a84fdb0 61356 coqprime-tools-dbgsym_8.20.1-1+ocaml20250313_amd64.deb 31b0db0dda2679b867300bd055e518f6a694075e 143012 coqprime-tools_8.20.1-1+ocaml20250313_amd64.deb 88d80867dc62b550305ed9b346d845eda7b9ca34 1778128 libcoq-coqprime_8.20.1-1+ocaml20250313_amd64.deb Checksums-Sha256: 13daf4dae99394adebb075d0406bdddb1aacb5b3a9461c7251ae2d7e799e5b3b 1314 coqprime_8.20.1-1+ocaml20250313.dsc 9b9949c8813f08797a408c72dea87f641f20e72bee68694f0ed43eb1bbf0932b 61356 coqprime-tools-dbgsym_8.20.1-1+ocaml20250313_amd64.deb cd83e1710a92f5e19128f7b5d737f95b529b312c2228a22b61bd1d4326242c9e 143012 coqprime-tools_8.20.1-1+ocaml20250313_amd64.deb ee96f466c427a2f4e8563dade3472b25e7ef6d3d513f3925949f24b5ff0de977 1778128 libcoq-coqprime_8.20.1-1+ocaml20250313_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Thu, 13 Mar 2025 10:24:12 +0000 Build-Path: /build/reproducible-path/coqprime-8.20.1 Build-Tainted-By: merged-usr-via-aliased-dirs Installed-Build-Depends: autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-12), autotools-dev (= 20220109.1), base-files (= 12.4+deb12u9), base-passwd (= 3.6.1), bash (= 5.2.15-2+b7), binutils (= 2.40-2), binutils-common (= 2.40-2), binutils-x86-64-linux-gnu (= 2.40-2), bsdextrautils (= 2.38.1-5+deb12u3), bsdutils (= 1:2.38.1-5+deb12u3), build-essential (= 12.9), bzip2 (= 1.0.8-5+b1), coq (= 8.20.1+dfsg-1+ocaml20250313), coreutils (= 9.1-1), cpp (= 4:12.2.0-3), cpp-12 (= 12.2.0-14), dash (= 0.5.12-2), debconf (= 1.5.82), debhelper (= 13.11.4), debianutils (= 5.7-0.5~deb12u1), dh-autoreconf (= 20), dh-coq (= 0.14+ocaml20250313), dh-ocaml (= 2.4+ocaml20250313), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.8-4), dpkg (= 1.21.22), dpkg-dev (= 1.21.22), dwz (= 0.15-1), file (= 1:5.44-3), findutils (= 4.9.0-4), g++ (= 4:12.2.0-3), g++-12 (= 12.2.0-14), gcc (= 4:12.2.0-3), gcc-12 (= 12.2.0-14), gcc-12-base (= 12.2.0-14), gettext (= 0.21-12), gettext-base (= 0.21-12), grep (= 3.8-5), groff-base (= 1.22.4-10), gzip (= 1.12-1), hostname (= 3.23+nmu1), init-system-helpers (= 1.65.2), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.1-3), libarchive-zip-perl (= 1.68-1), libasan8 (= 12.2.0-14), libatomic1 (= 12.2.0-14), libattr1 (= 1:2.5.1-4), libaudit-common (= 1:3.0.9-1), libaudit1 (= 1:3.0.9-1), libbinutils (= 2.40-2), libblkid1 (= 2.38.1-5+deb12u3), libbz2-1.0 (= 1.0.8-5+b1), libc-bin (= 2.36-9+deb12u9), libc-dev-bin (= 2.36-9+deb12u9), libc6 (= 2.36-9+deb12u9), libc6-dev (= 2.36-9+deb12u9), libcap-ng0 (= 0.8.3-1+b3), libcap2 (= 1:2.66-4), libcc1-0 (= 12.2.0-14), libcom-err2 (= 1.47.0-2), libcompiler-libs-ocaml-dev (= 5.3.0-2+ocaml20250313), libconfig-tiny-perl (= 2.28-2), libcoq-bignums (= 9.0.0+coq8.20-1+ocaml20250313), libcoq-core-ocaml (= 8.20.1+dfsg-1+ocaml20250313), libcoq-core-ocaml-dev (= 8.20.1+dfsg-1+ocaml20250313), libcoq-stdlib (= 8.20.1+dfsg-1+ocaml20250313), libcrypt-dev (= 1:4.4.33-2), libcrypt1 (= 1:4.4.33-2), libctf-nobfd0 (= 2.40-2), libctf0 (= 2.40-2), libdb5.3 (= 5.3.28+dfsg2-1), libdebconfclient0 (= 0.270), libdebhelper-perl (= 13.11.4), libdpkg-perl (= 1.21.22), libecm1 (= 7.0.5+ds-1), libecm1-dev (= 7.0.5+ds-1), libecm1-dev-common (= 7.0.5+ds-1), libelf1 (= 0.188-2.1), libexpat1 (= 2.5.0-1+deb12u1), libffi8 (= 3.4.4-1), libfile-find-rule-perl (= 0.34-3), libfile-stripnondeterminism-perl (= 1.13.1-1), libfindlib-ocaml (= 1.9.8-1+ocaml20250313), libfindlib-ocaml-dev (= 1.9.8-1+ocaml20250313), libgcc-12-dev (= 12.2.0-14), libgcc-s1 (= 12.2.0-14), libgcrypt20 (= 1.10.1-3), libgdbm-compat4 (= 1.23-3), libgdbm6 (= 1.23-3), libgmp-dev (= 2:6.2.1+dfsg1-1.1), libgmp10 (= 2:6.2.1+dfsg1-1.1), libgmp3-dev (= 2:6.2.1+dfsg1-1.1), libgmpxx4ldbl (= 2:6.2.1+dfsg1-1.1), libgomp1 (= 12.2.0-14), libgpg-error0 (= 1.46-1), libgprofng0 (= 2.40-2), libgssapi-krb5-2 (= 1.20.1-2+deb12u2), libicu72 (= 72.1-3), libisl23 (= 0.25-1.1), libitm1 (= 12.2.0-14), libjansson4 (= 2.14-2), libk5crypto3 (= 1.20.1-2+deb12u2), libkeyutils1 (= 1.6.3-2), libkrb5-3 (= 1.20.1-2+deb12u2), libkrb5support0 (= 1.20.1-2+deb12u2), liblsan0 (= 12.2.0-14), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.1-0.2), libmagic-mgc (= 1:5.44-3), libmagic1 (= 1:5.44-3), libmd0 (= 1.0.4-2), libmount1 (= 2.38.1-5+deb12u3), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.0-1), libncurses-dev (= 6.4-4), libncurses6 (= 6.4-4), libncursesw6 (= 6.4-4), libnsl-dev (= 1.3.0-2), libnsl2 (= 1.3.0-2), libnumber-compare-perl (= 0.03-3), libpam-modules (= 1.5.2-6+deb12u1), libpam-modules-bin (= 1.5.2-6+deb12u1), libpam-runtime (= 1.5.2-6+deb12u1), libpam0g (= 1.5.2-6+deb12u1), libpcre2-8-0 (= 10.42-1), libperl5.36 (= 5.36.0-7+deb12u1), libpipeline1 (= 1.5.7-1), libpython3-stdlib (= 3.11.2-1+b1), libpython3.11-minimal (= 3.11.2-6+deb12u5), libpython3.11-stdlib (= 3.11.2-6+deb12u5), libquadmath0 (= 12.2.0-14), libreadline8 (= 8.2-1.3), libseccomp2 (= 2.5.4-1+deb12u1), libselinux1 (= 3.4-1+b6), libsmartcols1 (= 2.38.1-5+deb12u3), libsqlite3-0 (= 3.40.1-2+deb12u1), libssl3 (= 3.0.15-1~deb12u1), libstdc++-12-dev (= 12.2.0-14), libstdc++6 (= 12.2.0-14), libstdlib-ocaml (= 5.3.0-2+ocaml20250313), libstdlib-ocaml-dev (= 5.3.0-2+ocaml20250313), libsub-override-perl (= 0.09-4), libsystemd0 (= 252.33-1~deb12u1), libtext-glob-perl (= 0.11-3), libtinfo6 (= 6.4-4), libtirpc-common (= 1.3.3+ds-1), libtirpc-dev (= 1.3.3+ds-1), libtirpc3 (= 1.3.3+ds-1), libtool (= 2.4.7-7~deb12u1), libtsan2 (= 12.2.0-14), libubsan1 (= 12.2.0-14), libuchardet0 (= 0.0.7-1), libudev1 (= 252.33-1~deb12u1), libunistring2 (= 1.0-2), libuuid1 (= 2.38.1-5+deb12u3), libxml2 (= 2.9.14+dfsg-1.3~deb12u1), libzarith-ocaml (= 1.14-1+ocaml20250313), libzarith-ocaml-dev (= 1.14-1+ocaml20250313), libzstd-dev (= 1.5.4+dfsg2-5), libzstd1 (= 1.5.4+dfsg2-5), linux-libc-dev (= 6.1.123-1), login (= 1:4.13+dfsg1-1+b1), m4 (= 1.4.19-3), make (= 4.3-4.1), man-db (= 2.11.2-2), mawk (= 1.3.4.20200120-3.1), media-types (= 10.0.0), ncurses-base (= 6.4-4), ncurses-bin (= 6.4-4), ocaml (= 5.3.0-2+ocaml20250313), ocaml-base (= 5.3.0-2+ocaml20250313), ocaml-findlib (= 1.9.8-1+ocaml20250313), ocaml-interp (= 5.3.0-2+ocaml20250313), patch (= 2.7.6-7), perl (= 5.36.0-7+deb12u1), perl-base (= 5.36.0-7+deb12u1), perl-modules-5.36 (= 5.36.0-7+deb12u1), po-debconf (= 1.0.21+nmu1), python3 (= 3.11.2-1+b1), python3-minimal (= 3.11.2-1+b1), python3.11 (= 3.11.2-6+deb12u5), python3.11-minimal (= 3.11.2-6+deb12u5), readline-common (= 8.2-1.3), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-1), sensible-utils (= 0.0.17+nmu1), sysvinit-utils (= 3.06-4), tar (= 1.34+dfsg-1.2+deb12u1), usrmerge (= 37~deb12u1), util-linux (= 2.38.1-5+deb12u3), util-linux-extra (= 2.38.1-5+deb12u3), xz-utils (= 5.4.1-0.2), zlib1g (= 1:1.2.13.dfsg-1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="fr_FR.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1741861303" +------------------------------------------------------------------------------+ | Package contents Thu, 13 Mar 2025 10:24:14 +0000 | +------------------------------------------------------------------------------+ coqprime-tools-dbgsym_8.20.1-1+ocaml20250313_amd64.deb ------------------------------------------------------ new Debian package, version 2.0. size 61356 bytes: control archive=648 bytes. 452 bytes, 12 lines control 303 bytes, 3 lines md5sums Package: coqprime-tools-dbgsym Source: coqprime Version: 8.20.1-1+ocaml20250313 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 90 Depends: coqprime-tools (= 8.20.1-1+ocaml20250313) Section: debug Priority: optional Description: debug symbols for coqprime-tools Build-Ids: 221e9ffa38ef8b559e1889adf937cba29fd4aaa6 3de9a35194852ea501ac19ca6d970e5b236958d0 drwxr-xr-x root/root 0 2025-03-13 10:21 ./ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/debug/.build-id/22/ -rw-r--r-- root/root 35296 2025-03-13 10:21 ./usr/lib/debug/.build-id/22/1e9ffa38ef8b559e1889adf937cba29fd4aaa6.debug drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/debug/.build-id/3d/ -rw-r--r-- root/root 36432 2025-03-13 10:21 ./usr/lib/debug/.build-id/3d/e9a35194852ea501ac19ca6d970e5b236958d0.debug drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/debug/.dwz/x86_64-linux-gnu/ -rw-r--r-- root/root 5320 2025-03-13 10:21 ./usr/lib/debug/.dwz/x86_64-linux-gnu/coqprime-tools.debug drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-03-13 10:21 ./usr/share/doc/coqprime-tools-dbgsym -> coqprime-tools coqprime-tools_8.20.1-1+ocaml20250313_amd64.deb ----------------------------------------------- new Debian package, version 2.0. size 143012 bytes: control archive=948 bytes. 749 bytes, 19 lines control 512 bytes, 8 lines md5sums Package: coqprime-tools Source: coqprime Version: 8.20.1-1+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 823 Depends: libcoq-coqprime (= 8.20.1-1+ocaml20250313), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.5+ds), libgmp10 (>= 2:6.2.1+dfsg1) 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 2025-03-13 10:21 ./ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/bin/ -rwxr-xr-x root/root 433064 2025-03-13 10:21 ./usr/bin/firstprimes -rwxr-xr-x root/root 354083 2025-03-13 10:21 ./usr/bin/o2v -rwxr-xr-x root/root 39880 2025-03-13 10:21 ./usr/bin/pocklington drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/doc/coqprime-tools/ -rw-r--r-- root/root 608 2025-03-13 10:21 ./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 2025-03-13 10:21 ./usr/share/man/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/man/man1/ -rw-r--r-- root/root 443 2025-03-13 10:21 ./usr/share/man/man1/firstprimes.1.gz -rw-r--r-- root/root 348 2025-03-13 10:21 ./usr/share/man/man1/o2v.1.gz -rw-r--r-- root/root 661 2025-03-13 10:21 ./usr/share/man/man1/pocklington.1.gz libcoq-coqprime_8.20.1-1+ocaml20250313_amd64.deb ------------------------------------------------ new Debian package, version 2.0. size 1778128 bytes: control archive=3788 bytes. 734 bytes, 22 lines control 14086 bytes, 123 lines md5sums Package: libcoq-coqprime Source: coqprime Version: 8.20.1-1+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 6566 Depends: libcoq-bignums-83j55, libcoq-stdlib-vqju6 Provides: libcoq-coqprime-ht0b0 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 2025-03-13 10:21 ./ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ -rw-r--r-- root/root 29781 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.glob -rw-r--r-- root/root 6144 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.v -rw-r--r-- root/root 21800 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.vo -rw-r--r-- root/root 32573 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.glob -rw-r--r-- root/root 8517 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.v -rw-r--r-- root/root 45066 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.vo -rw-r--r-- root/root 58769 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.glob -rw-r--r-- root/root 17019 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.v -rw-r--r-- root/root 57932 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.vo -rw-r--r-- root/root 35127 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.glob -rw-r--r-- root/root 9761 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.v -rw-r--r-- root/root 46326 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.vo -rw-r--r-- root/root 13251 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.glob -rw-r--r-- root/root 3589 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.v -rw-r--r-- root/root 13805 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.vo drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ -rw-r--r-- root/root 160207 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.glob -rw-r--r-- root/root 36970 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.v -rw-r--r-- root/root 169743 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.vo -rw-r--r-- root/root 6206 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.glob -rw-r--r-- root/root 2477 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.v -rw-r--r-- root/root 6138 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.vo drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/ -rw-r--r-- root/root 61491 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.glob -rw-r--r-- root/root 10311 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.v -rw-r--r-- root/root 50946 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.vo -rw-r--r-- root/root 155024 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.glob -rw-r--r-- root/root 24186 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.v -rw-r--r-- root/root 92392 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.vo -rw-r--r-- root/root 12707 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.glob -rw-r--r-- root/root 3478 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.v -rw-r--r-- root/root 14447 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.vo -rw-r--r-- root/root 20824 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.glob -rw-r--r-- root/root 4273 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.v -rw-r--r-- root/root 17197 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.vo -rw-r--r-- root/root 41948 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.glob -rw-r--r-- root/root 8806 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.v -rw-r--r-- root/root 32258 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.vo -rw-r--r-- root/root 30416 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.glob -rw-r--r-- root/root 6261 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.v -rw-r--r-- root/root 17311 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.vo -rw-r--r-- root/root 127924 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.glob -rw-r--r-- root/root 20058 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.v -rw-r--r-- root/root 62812 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.vo -rw-r--r-- root/root 64758 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.glob -rw-r--r-- root/root 12191 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.v -rw-r--r-- root/root 62950 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.vo -rw-r--r-- root/root 18804 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.glob -rw-r--r-- root/root 4606 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.v -rw-r--r-- root/root 17638 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.vo -rw-r--r-- root/root 69378 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.glob -rw-r--r-- root/root 11755 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.v -rw-r--r-- root/root 50547 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.vo -rw-r--r-- root/root 126781 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.glob -rw-r--r-- root/root 22920 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.v -rw-r--r-- root/root 138751 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.vo -rw-r--r-- root/root 18374 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.glob -rw-r--r-- root/root 4329 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.v -rw-r--r-- root/root 22862 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.vo -rw-r--r-- root/root 83476 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.glob -rw-r--r-- root/root 9641 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.v -rw-r--r-- root/root 34363 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.vo -rw-r--r-- root/root 57912 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.glob -rw-r--r-- root/root 13047 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.v -rw-r--r-- root/root 46374 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.vo drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/ -rw-r--r-- root/root 1965 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.glob -rw-r--r-- root/root 3120 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.v -rw-r--r-- root/root 9555 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.vo drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ -rw-r--r-- root/root 95418 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.glob -rw-r--r-- root/root 19894 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.v -rw-r--r-- root/root 123195 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.vo -rw-r--r-- root/root 7242 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.glob -rw-r--r-- root/root 1712 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.v -rw-r--r-- root/root 6757 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.vo -rw-r--r-- root/root 46207 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.glob -rw-r--r-- root/root 12135 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.v -rw-r--r-- root/root 54430 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.vo -rw-r--r-- root/root 16797 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.glob -rw-r--r-- root/root 5175 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.v -rw-r--r-- root/root 28069 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.vo -rw-r--r-- root/root 72848 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.glob -rw-r--r-- root/root 11454 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.v -rw-r--r-- root/root 48853 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.vo -rw-r--r-- root/root 11788 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.glob -rw-r--r-- root/root 2566 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.v -rw-r--r-- root/root 10381 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.vo drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ -rw-r--r-- root/root 33221 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.glob -rw-r--r-- root/root 8092 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.v -rw-r--r-- root/root 56377 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.vo -rw-r--r-- root/root 259218 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.glob -rw-r--r-- root/root 63942 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.v -rw-r--r-- root/root 450127 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.vo -rw-r--r-- root/root 212696 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.glob -rw-r--r-- root/root 46560 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.v -rw-r--r-- root/root 306020 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.vo drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/ -rw-r--r-- root/root 14241 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.glob -rw-r--r-- root/root 3243 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.v -rw-r--r-- root/root 16280 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.vo -rw-r--r-- root/root 115 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.glob -rw-r--r-- root/root 32 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.v -rw-r--r-- root/root 682 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.vo -rw-r--r-- root/root 89695 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.glob -rw-r--r-- root/root 14482 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.v -rw-r--r-- root/root 55081 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.vo -rw-r--r-- root/root 3549 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.glob -rw-r--r-- root/root 36391 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.v -rw-r--r-- root/root 7409 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.vo -rw-r--r-- root/root 267591 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Mod_op.glob -rw-r--r-- root/root 42242 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Mod_op.v -rw-r--r-- root/root 170488 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Mod_op.vo -rw-r--r-- root/root 179143 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.glob -rw-r--r-- root/root 30782 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.v -rw-r--r-- root/root 178096 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.vo -rw-r--r-- root/root 157054 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.glob -rw-r--r-- root/root 33899 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.v -rw-r--r-- root/root 152767 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.vo -rw-r--r-- root/root 20139 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.glob -rw-r--r-- root/root 6285 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.v -rw-r--r-- root/root 25615 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.vo -rw-r--r-- root/root 325890 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.glob -rw-r--r-- root/root 47184 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.v -rw-r--r-- root/root 235184 2025-03-13 10:21 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.vo drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./usr/share/doc/libcoq-coqprime/ -rw-r--r-- root/root 608 2025-03-13 10:21 ./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 2025-03-13 10:21 ./var/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./var/lib/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./var/lib/coq/ drwxr-xr-x root/root 0 2025-03-13 10:21 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2025-03-13 10:21 ./var/lib/coq/md5sums/libcoq-coqprime.checksum +------------------------------------------------------------------------------+ | Post Build Thu, 13 Mar 2025 10:24:17 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Thu, 13 Mar 2025 10:24:17 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Thu, 13 Mar 2025 10:24:18 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 53004 Build-Time: 94 Distribution: unstable Host Architecture: amd64 Install-Time: 41 Job: /tmp/tmp.ben.transition-scripts.iLflmqSm8V/coqprime_8.20.1-1+ocaml20250313.dsc Machine Architecture: amd64 Package: coqprime Package-Time: 149 Source-Version: 8.20.1-1+ocaml20250313 Space: 53004 Status: successful Version: 8.20.1-1+ocaml20250313 -------------------------------------------------------------------------------- Finished at 2025-03-13T10:24:12Z Build needed 00:02:29, 53004k disk space