sbuild (Debian sbuild) 0.88.1 (16 December 2024) on derowd.up7.fr +==============================================================================+ | coqprime 8.20-1+ocaml1 (amd64) Wed, 15 Jan 2025 15:06:29 +0000 | +==============================================================================+ Package: coqprime Version: 8.20-1+ocaml1 Source Version: 8.20-1+ocaml1 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: No tarballs found in /home/steph/.cache/sbuild I: Unpacking /home/steph/ocaml-transitions/20250115/ocaml-5.3.0/ben/rootfs.tar.zst to /var/tmp/tmp.sbuild.4BINvaZdWR... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Wed, 15 Jan 2025 15:06:39 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/rebuilt ./ InRelease Get:2 file:/rebuilt ./ Release [1351 B] Get:2 file:/rebuilt ./ Release [1351 B] Ign:3 file:/rebuilt ./ Release.gpg Get:4 file:/rebuilt ./ Packages [1270 kB] Get:5 http://localhost:9999/debian unstable InRelease [205 kB] Get:6 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [6912 B] Get:7 http://localhost:9999/debian unstable/main amd64 Packages [9979 kB] Get:8 http://localhost:9999/debian unstable/non-free amd64 Packages [122 kB] Get:9 http://localhost:9999/debian unstable/contrib amd64 Packages [65.7 kB] Fetched 10.4 MB in 1s (13.7 MB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Wed, 15 Jan 2025 15:06:41 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.7HapqfgpRy/coqprime_8.20-1+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.7HapqfgpRy; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Wed, 15 Jan 2025 15:06:42 +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, fakeroot 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, fakeroot dpkg-deb: warning: root directory /build/reproducible-path/resolver-3CRIZe/sbuild-build-depends-main-dummy has unusual owner or group 998:999 dpkg-deb: Hint: you might need to pass --root-owner-group, see for further details dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-3CRIZe/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-3CRIZe/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-3CRIZe/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-3CRIZe/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-3CRIZe/apt_archive ./ Sources [728 B] Get:5 copy:/build/reproducible-path/resolver-3CRIZe/apt_archive ./ Packages [760 B] Fetched 2097 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz fakeroot file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-bignums libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libecm1 libecm1-dev libecm1-dev-common libelf1t64 libexpat1 libfakeroot libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.13 python3.13-minimal readline-common sensible-utils tzdata Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.13-venv python3.13-doc binfmt-support readline-doc Recommended packages: curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl ca-certificates The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz fakeroot file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-bignums libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libecm1 libecm1-dev libecm1-dev-common libelf1t64 libexpat1 libfakeroot libffi8 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.13 python3.13-minimal readline-common sbuild-build-depends-main-dummy sensible-utils tzdata 0 upgraded, 77 newly installed, 0 to remove and 0 not upgraded. Need to get 30.6 MB/304 MB of archives. After this operation, 974 MB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-3CRIZe/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [928 B] Get:2 file:/rebuilt ./ libcoq-stdlib 8.20.0+dfsg-1+ocaml1 [23.5 MB] Get:3 http://localhost:9999/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.1-3 [858 kB] Get:4 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.6.4-1 [106 kB] Get:5 http://localhost:9999/debian unstable/main amd64 python3.13-minimal amd64 3.13.1-3 [2202 kB] Get:6 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.13.1-2 [27.0 kB] Get:7 http://localhost:9999/debian unstable/main amd64 media-types all 10.1.0 [26.9 kB] Get:8 http://localhost:9999/debian unstable/main amd64 netbase all 6.4 [12.8 kB] Get:9 http://localhost:9999/debian unstable/main amd64 tzdata all 2024b-6 [257 kB] Get:10 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.4.6-1 [23.6 kB] Get:11 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.5-2+b1 [136 kB] Get:12 http://localhost:9999/debian unstable/main amd64 readline-common all 8.2-6 [69.4 kB] Get:13 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.2-6 [169 kB] Get:14 http://localhost:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.46.1-1 [913 kB] Get:15 file:/rebuilt ./ libstdlib-ocaml 5.3.0-1~exp2+ocaml1 [604 kB] Get:16 http://localhost:9999/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.1-3 [1973 kB] Get:17 file:/rebuilt ./ ocaml-base 5.3.0-1~exp2+ocaml1 [494 kB] Get:18 file:/rebuilt ./ libfindlib-ocaml 1.9.6-3+ocaml1 [180 kB] Get:19 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml1 [117 kB] Get:20 file:/rebuilt ./ libcoq-core-ocaml 8.20.0+dfsg-1+ocaml1 [26.0 MB] Get:21 http://localhost:9999/debian unstable/main amd64 python3.13 amd64 3.13.1-3 [740 kB] Get:22 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.13.1-2 [9952 B] Get:23 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.13.1-2 [28.0 kB] Get:24 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB] Get:25 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB] Get:26 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB] Get:27 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB] Get:28 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 0.22.5-4 [200 kB] Get:29 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get:30 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB] Get:31 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.40.4-1 [92.2 kB] Get:32 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get:33 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB] Get:34 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.19-5 [294 kB] Get:35 http://localhost:9999/debian unstable/main amd64 autoconf all 2.72-3 [493 kB] Get:36 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get:37 http://localhost:9999/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get:38 http://localhost:9999/debian unstable/main amd64 autopoint all 0.22.5-4 [723 kB] Get:39 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB] Get:40 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB] Get:41 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [365 kB] Get:42 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 13.23 [90.6 kB] Get:43 http://localhost:9999/debian unstable/main amd64 libtool all 2.5.4-2 [539 kB] Get:44 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB] Get:45 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:46 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get:47 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get:48 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get:49 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get:50 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB] Get:51 http://localhost:9999/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB] Get:52 http://localhost:9999/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB] Get:53 http://localhost:9999/debian unstable/main amd64 gettext amd64 0.22.5-4 [1600 kB] Get:54 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:55 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:56 http://localhost:9999/debian unstable/main amd64 debhelper all 13.23 [919 kB] Get:57 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-1~exp2+ocaml1 [7889 kB] Get:58 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-1~exp2+ocaml1 [48.2 MB] Get:59 file:/rebuilt ./ ocaml-interp 5.3.0-1~exp2+ocaml1 [7105 kB] Get:60 file:/rebuilt ./ ocaml 5.3.0-1~exp2+ocaml1 [18.0 MB] Get:61 file:/rebuilt ./ ocaml-findlib 1.9.6-3+ocaml1 [581 kB] Get:62 file:/rebuilt ./ coq 8.20.0+dfsg-1+ocaml1 [70.1 MB] Get:63 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:64 http://localhost:9999/debian unstable/main amd64 libfakeroot amd64 1.36.2-1 [29.6 kB] Get:65 http://localhost:9999/debian unstable/main amd64 fakeroot amd64 1.36.2-1 [75.4 kB] Get:66 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB] Get:67 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB] Get:68 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB] Get:69 http://localhost:9999/debian unstable/main amd64 libecm1 amd64 7.0.6+ds-1 [216 kB] Get:70 http://localhost:9999/debian unstable/main amd64 libecm1-dev-common all 7.0.6+ds-1 [13.0 kB] Get:71 http://localhost:9999/debian unstable/main amd64 libecm1-dev amd64 7.0.6+ds-1 [249 kB] Get:72 file:/rebuilt ./ dh-coq 0.13+ocaml1 [7008 B] Get:73 file:/rebuilt ./ dh-ocaml 2.4+ocaml1 [63.0 kB] Get:74 file:/rebuilt ./ libcoq-bignums 9.0.0+coq8.20-1+ocaml1 [1914 kB] Get:75 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.6-3+ocaml1 [153 kB] Get:76 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml1 [143 kB] Get:77 file:/rebuilt ./ libcoq-core-ocaml-dev 8.20.0+dfsg-1+ocaml1 [68.7 MB] Preconfiguring packages ... Fetched 30.6 MB in 1s (46.5 MB/s) Selecting previously unselected package libpython3.13-minimal:amd64. (Reading database ... 11791 files and directories currently installed.) Preparing to unpack .../libpython3.13-minimal_3.13.1-3_amd64.deb ... Unpacking libpython3.13-minimal:amd64 (3.13.1-3) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.6.4-1_amd64.deb ... Unpacking libexpat1:amd64 (2.6.4-1) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../python3.13-minimal_3.13.1-3_amd64.deb ... Unpacking python3.13-minimal (3.13.1-3) ... Setting up libpython3.13-minimal:amd64 (3.13.1-3) ... Setting up libexpat1:amd64 (2.6.4-1) ... Setting up python3.13-minimal (3.13.1-3) ... Selecting previously unselected package python3-minimal. (Reading database ... 12125 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.13.1-2_amd64.deb ... Unpacking python3-minimal (3.13.1-2) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package tzdata. Preparing to unpack .../03-tzdata_2024b-6_all.deb ... Unpacking tzdata (2024b-6) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../04-libffi8_3.4.6-1_amd64.deb ... Unpacking libffi8:amd64 (3.4.6-1) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../05-libncursesw6_6.5-2+b1_amd64.deb ... Unpacking libncursesw6:amd64 (6.5-2+b1) ... Selecting previously unselected package readline-common. Preparing to unpack .../06-readline-common_8.2-6_all.deb ... Unpacking readline-common (8.2-6) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../07-libreadline8t64_8.2-6_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.2-6) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../08-libsqlite3-0_3.46.1-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-1) ... Selecting previously unselected package libpython3.13-stdlib:amd64. Preparing to unpack .../09-libpython3.13-stdlib_3.13.1-3_amd64.deb ... Unpacking libpython3.13-stdlib:amd64 (3.13.1-3) ... Selecting previously unselected package python3.13. Preparing to unpack .../10-python3.13_3.13.1-3_amd64.deb ... Unpacking python3.13 (3.13.1-3) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../11-libpython3-stdlib_3.13.1-2_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.13.1-2) ... Setting up python3-minimal (3.13.1-2) ... Selecting previously unselected package python3. (Reading database ... 13152 files and directories currently installed.) Preparing to unpack .../00-python3_3.13.1-2_amd64.deb ... Unpacking python3 (3.13.1-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.22.5-4_amd64.deb ... Unpacking gettext-base (0.22.5-4) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.23.0-7_amd64.deb ... Unpacking groff-base (1.23.0-7) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.40.4-1_amd64.deb ... Unpacking bsdextrautils (2.40.4-1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-5_amd64.deb ... Unpacking m4 (1.4.19-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.22.5-4_all.deb ... Unpacking autopoint (0.22.5-4) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../16-libcoq-stdlib_8.20.0+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-stdlib (8.20.0+dfsg-1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../17-libstdlib-ocaml_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../18-ocaml-base_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking ocaml-base (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../19-libfindlib-ocaml_1.9.6-3+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3+ocaml1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+ocaml1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../21-libcoq-core-ocaml_8.20.0+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.0+dfsg-1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../22-libstdlib-ocaml-dev_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../25-libncurses6_6.5-2+b1_amd64.deb ... Unpacking libncurses6:amd64 (6.5-2+b1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../26-libncurses-dev_6.5-2+b1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2+b1) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../27-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking ocaml (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.6-3+ocaml1_amd64.deb ... Unpacking ocaml-findlib (1.9.6-3+ocaml1) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.20.0+dfsg-1+ocaml1_amd64.deb ... Unpacking coq (8.20.0+dfsg-1+ocaml1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.23_all.deb ... Unpacking libdebhelper-perl (13.23) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.5.4-2_all.deb ... Unpacking libtool (2.5.4-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../36-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../37-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../38-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../39-libunistring5_1.3-1_amd64.deb ... Unpacking libunistring5:amd64 (1.3-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../40-libicu72_72.1-6_amd64.deb ... Unpacking libicu72:amd64 (72.1-6) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../41-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../42-gettext_0.22.5-4_amd64.deb ... Unpacking gettext (0.22.5-4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../43-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../44-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../45-debhelper_13.23_all.deb ... Unpacking debhelper (13.23) ... Selecting previously unselected package dh-coq. Preparing to unpack .../46-dh-coq_0.13+ocaml1_all.deb ... Unpacking dh-coq (0.13+ocaml1) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../47-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../48-dh-ocaml_2.4+ocaml1_all.deb ... Unpacking dh-ocaml (2.4+ocaml1) ... Selecting previously unselected package libfakeroot:amd64. Preparing to unpack .../49-libfakeroot_1.36.2-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.36.2-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../50-fakeroot_1.36.2-1_amd64.deb ... Unpacking fakeroot (1.36.2-1) ... Selecting previously unselected package libcoq-bignums. Preparing to unpack .../51-libcoq-bignums_9.0.0+coq8.20-1+ocaml1_amd64.deb ... Unpacking libcoq-bignums (9.0.0+coq8.20-1+ocaml1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../52-libfindlib-ocaml-dev_1.9.6-3+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-3+ocaml1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../53-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../54-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../55-libgmp3-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../56-libzarith-ocaml-dev_1.14-1+ocaml1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+ocaml1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../57-libcoq-core-ocaml-dev_8.20.0+dfsg-1+ocaml1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1+ocaml1) ... Selecting previously unselected package libecm1:amd64. Preparing to unpack .../58-libecm1_7.0.6+ds-1_amd64.deb ... Unpacking libecm1:amd64 (7.0.6+ds-1) ... Selecting previously unselected package libecm1-dev-common. Preparing to unpack .../59-libecm1-dev-common_7.0.6+ds-1_all.deb ... Unpacking libecm1-dev-common (7.0.6+ds-1) ... Selecting previously unselected package libecm1-dev:amd64. Preparing to unpack .../60-libecm1-dev_7.0.6+ds-1_amd64.deb ... Unpacking libecm1-dev:amd64 (7.0.6+ds-1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../61-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libicu72:amd64 (72.1-6) ... Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... Setting up bsdextrautils (2.40.4-1) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libecm1-dev-common (7.0.6+ds-1) ... Setting up dh-coq (0.13+ocaml1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.23) ... Setting up libsqlite3-0:amd64 (3.46.1-1) ... Setting up libmagic1t64:amd64 (1:5.45-3+b1) ... Setting up gettext-base (0.22.5-4) ... Setting up m4 (1.4.19-5) ... Setting up file (1:5.45-3+b1) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libfakeroot:amd64 (1.36.2-1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up tzdata (2024b-6) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Jan 15 15:07:50 UTC 2025. Universal Time is now: Wed Jan 15 15:07:50 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up fakeroot (1.36.2-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.20.0+dfsg-1+ocaml1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Setting up libecm1:amd64 (7.0.6+ds-1) ... Setting up libncurses6:amd64 (6.5-2+b1) ... Setting up libstdlib-ocaml (5.3.0-1~exp2+ocaml1) ... Setting up libunistring5:amd64 (1.3-1) ... Setting up autopoint (0.22.5-4) ... Setting up ocaml-base (5.3.0-1~exp2+ocaml1) ... Setting up libncursesw6:amd64 (6.5-2+b1) ... Setting up autoconf (2.72-3) ... Setting up libffi8:amd64 (3.4.6-1) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up netbase (6.4) ... Setting up readline-common (8.2-6) ... Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Setting up libcoq-bignums (9.0.0+coq8.20-1+ocaml1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.0-1) ... Setting up libncurses-dev:amd64 (6.5-2+b1) ... Setting up gettext (0.22.5-4) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libtool (2.5.4-2) ... Setting up libstdlib-ocaml-dev (5.3.0-1~exp2+ocaml1) ... Setting up dh-ocaml (2.4+ocaml1) ... Setting up libfindlib-ocaml (1.9.6-3+ocaml1) ... Setting up libzarith-ocaml (1.14-1+ocaml1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libecm1-dev:amd64 (7.0.6+ds-1) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-1~exp2+ocaml1) ... Setting up ocaml-interp (5.3.0-1~exp2+ocaml1) ... Setting up ocaml-findlib (1.9.6-3+ocaml1) ... Setting up libreadline8t64:amd64 (8.2-6) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up libcoq-core-ocaml (8.20.0+dfsg-1+ocaml1) ... Setting up groff-base (1.23.0-7) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libpython3.13-stdlib:amd64 (3.13.1-3) ... Setting up libpython3-stdlib:amd64 (3.13.1-2) ... Setting up python3.13 (3.13.1-3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.13.1-2) ... Setting up ocaml (5.3.0-1~exp2+ocaml1) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libfindlib-ocaml-dev (1.9.6-3+ocaml1) ... Setting up coq (8.20.0+dfsg-1+ocaml1) ... Setting up libzarith-ocaml-dev (1.14-1+ocaml1) ... Setting up debhelper (13.23) ... Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1+ocaml1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.40-5) ... +------------------------------------------------------------------------------+ | Check architectures Wed, 15 Jan 2025 15:08:01 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Wed, 15 Jan 2025 15:08:01 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.6-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.6-1 (2024-12-21) amd64 (x86_64) Toolchain package versions: binutils_2.43.50.20250108-1 dpkg-dev_1.22.13 g++-14_14.2.0-13 gcc-14_14.2.0-13 libc6-dev_2.40-5 libstdc++-14-dev_14.2.0-13 libstdc++6_14.2.0-13 linux-libc-dev_6.12.9-1 Package versions: apt_2.9.22 autoconf_2.72-3 automake_1:1.16.5-1.3 autopoint_0.22.5-4 autotools-dev_20220109.1 base-files_13.6 base-passwd_3.6.6 bash_5.2.37-1 binutils_2.43.50.20250108-1 binutils-common_2.43.50.20250108-1 binutils-x86-64-linux-gnu_2.43.50.20250108-1 bsdextrautils_2.40.4-1 bsdutils_1:2.40.4-1 build-essential_12.12 bzip2_1.0.8-6 coq_8.20.0+dfsg-1+ocaml1 coreutils_9.5-1+b1 cpp_4:14.2.0-1 cpp-14_14.2.0-13 cpp-14-x86-64-linux-gnu_14.2.0-13 cpp-x86-64-linux-gnu_4:14.2.0-1 dash_0.5.12-11 debconf_1.5.89 debhelper_13.23 debian-archive-keyring_2023.4 debianutils_5.21 dh-autoreconf_20 dh-coq_0.13+ocaml1 dh-ocaml_2.4+ocaml1 dh-strip-nondeterminism_1.14.0-1 diffutils_1:3.10-2 dpkg_1.22.13 dpkg-dev_1.22.13 dwz_0.15-1+b1 fakeroot_1.36.2-1 file_1:5.45-3+b1 findutils_4.10.0-3 g++_4:14.2.0-1 g++-14_14.2.0-13 g++-14-x86-64-linux-gnu_14.2.0-13 g++-x86-64-linux-gnu_4:14.2.0-1 gcc_4:14.2.0-1 gcc-14_14.2.0-13 gcc-14-base_14.2.0-13 gcc-14-x86-64-linux-gnu_14.2.0-13 gcc-x86-64-linux-gnu_4:14.2.0-1 gettext_0.22.5-4 gettext-base_0.22.5-4 grep_3.11-4 groff-base_1.23.0-7 gzip_1.12-1.2 hostname_3.25 init-system-helpers_1.68 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b1 libapt-pkg6.0t64_2.9.22 libarchive-zip-perl_1.68-1 libasan8_14.2.0-13 libatomic1_14.2.0-13 libattr1_1:2.5.2-2 libaudit-common_1:4.0.2-2 libaudit1_1:4.0.2-2 libbinutils_2.43.50.20250108-1 libblkid1_2.40.4-1 libbz2-1.0_1.0.8-6 libc-bin_2.40-5 libc-dev-bin_2.40-5 libc6_2.40-5 libc6-dev_2.40-5 libcap-ng0_0.8.5-4 libcap2_1:2.66-5+b1 libcc1-0_14.2.0-13 libcompiler-libs-ocaml-dev_5.3.0-1~exp2+ocaml1 libconfig-tiny-perl_2.30-1 libcoq-bignums_9.0.0+coq8.20-1+ocaml1 libcoq-core-ocaml_8.20.0+dfsg-1+ocaml1 libcoq-core-ocaml-dev_8.20.0+dfsg-1+ocaml1 libcoq-stdlib_8.20.0+dfsg-1+ocaml1 libcrypt-dev_1:4.4.36-5 libcrypt1_1:4.4.36-5 libctf-nobfd0_2.43.50.20250108-1 libctf0_2.43.50.20250108-1 libdb5.3t64_5.3.28+dfsg2-9 libdebconfclient0_0.277 libdebhelper-perl_13.23 libdpkg-perl_1.22.13 libecm1_7.0.6+ds-1 libecm1-dev_7.0.6+ds-1 libecm1-dev-common_7.0.6+ds-1 libelf1t64_0.192-4 libexpat1_2.6.4-1 libfakeroot_1.36.2-1 libffi8_3.4.6-1 libfile-stripnondeterminism-perl_1.14.0-1 libfindlib-ocaml_1.9.6-3+ocaml1 libfindlib-ocaml-dev_1.9.6-3+ocaml1 libgcc-14-dev_14.2.0-13 libgcc-s1_14.2.0-13 libgdbm-compat4t64_1.24-2 libgdbm6t64_1.24-2 libgmp-dev_2:6.3.0+dfsg-3 libgmp10_2:6.3.0+dfsg-3 libgmp3-dev_2:6.3.0+dfsg-3 libgmpxx4ldbl_2:6.3.0+dfsg-3 libgomp1_14.2.0-13 libgprofng0_2.43.50.20250108-1 libhogweed6t64_3.10-1+b1 libhwasan0_14.2.0-13 libicu72_72.1-6 libisl23_0.27-1 libitm1_14.2.0-13 libjansson4_2.14-2+b3 liblsan0_14.2.0-13 liblz4-1_1.9.4-4 liblzma5_5.6.3-1+b1 libmagic-mgc_1:5.45-3+b1 libmagic1t64_1:5.45-3+b1 libmd0_1.1.0-2+b1 libmount1_2.40.4-1 libmpc3_1.3.1-1+b3 libmpfr6_4.2.1-1+b2 libncurses-dev_6.5-2+b1 libncurses6_6.5-2+b1 libncursesw6_6.5-2+b1 libnettle8t64_3.10-1+b1 libpam-modules_1.5.3-7+b1 libpam-modules-bin_1.5.3-7+b1 libpam-runtime_1.5.3-7 libpam0g_1.5.3-7+b1 libpcre2-8-0_10.44-5 libperl5.40_5.40.0-8 libpipeline1_1.5.8-1 libpython3-stdlib_3.13.1-2 libpython3.13-minimal_3.13.1-3 libpython3.13-stdlib_3.13.1-3 libquadmath0_14.2.0-13 libreadline8t64_8.2-6 libseccomp2_2.5.5-2 libselinux1_3.7-3+b1 libsframe1_2.43.50.20250108-1 libsmartcols1_2.40.4-1 libsqlite3-0_3.46.1-1 libssl3t64_3.4.0-2 libstdc++-14-dev_14.2.0-13 libstdc++6_14.2.0-13 libstdlib-ocaml_5.3.0-1~exp2+ocaml1 libstdlib-ocaml-dev_5.3.0-1~exp2+ocaml1 libsystemd0_257.2-1 libtinfo6_6.5-2+b1 libtool_2.5.4-2 libtsan2_14.2.0-13 libubsan1_14.2.0-13 libuchardet0_0.0.8-1+b2 libudev1_257.2-1 libunistring5_1.3-1 libuuid1_2.40.4-1 libxml2_2.12.7+dfsg+really2.9.14-0.2+b1 libxxhash0_0.8.3-2 libzarith-ocaml_1.14-1+ocaml1 libzarith-ocaml-dev_1.14-1+ocaml1 libzstd-dev_1.5.6+dfsg-2 libzstd1_1.5.6+dfsg-2 linux-libc-dev_6.12.9-1 m4_1.4.19-5 make_4.4.1-1 man-db_2.13.0-1 mawk_1.3.4.20240905-1 media-types_10.1.0 ncurses-base_6.5-2 ncurses-bin_6.5-2+b1 netbase_6.4 ocaml_5.3.0-1~exp2+ocaml1 ocaml-base_5.3.0-1~exp2+ocaml1 ocaml-findlib_1.9.6-3+ocaml1 ocaml-interp_5.3.0-1~exp2+ocaml1 openssl-provider-legacy_3.4.0-2 patch_2.7.6-7 perl_5.40.0-8 perl-base_5.40.0-8 perl-modules-5.40_5.40.0-8 po-debconf_1.0.21+nmu1 python3_3.13.1-2 python3-minimal_3.13.1-2 python3.13_3.13.1-3 python3.13-minimal_3.13.1-3 readline-common_8.2-6 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.24 sqv_1.2.1-5 sysvinit-utils_3.13-1 tar_1.35+dfsg-3.1 tzdata_2024b-6 util-linux_2.40.4-1 xz-utils_5.6.3-1+b1 zlib1g_1:1.3.dfsg+really1.3.1-1+b1 +------------------------------------------------------------------------------+ | Build Wed, 15 Jan 2025 15:08:02 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: coqprime Binary: libcoq-coqprime, coqprime-tools Architecture: any Version: 8.20-1+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/thery/coqprime Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/coqprime Vcs-Git: https://salsa.debian.org/ocaml-team/coqprime.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libzarith-ocaml-dev Package-List: coqprime-tools deb ocaml optional arch=any libcoq-coqprime deb ocaml optional arch=any Checksums-Sha1: b7385a9401af40507718bbde756bdcec1b5479d8 996522 coqprime_8.20.orig.tar.gz e23b83cca2350136ea92f14d98c67fb10a5839a4 3784 coqprime_8.20-1+ocaml1.debian.tar.xz Checksums-Sha256: 13cd94a90e4869f22bb00e30ea48faec24bf1698205e6e31b46baf8376bab1c0 996522 coqprime_8.20.orig.tar.gz 5e8a427cc05e699aadfcb38367bd65f1c714c69f578ab685c517727df76cb253 3784 coqprime_8.20-1+ocaml1.debian.tar.xz Files: 28255e31905c101358f3164944eca8fc 996522 coqprime_8.20.orig.tar.gz 9abbb564b73bd516610afef116b39222 3784 coqprime_8.20-1+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (coqprime_8.20-1+ocaml1.dsc) dpkg-source: info: extracting coqprime in /build/reproducible-path/coqprime-8.20 dpkg-source: info: unpacking coqprime_8.20.orig.tar.gz dpkg-source: info: unpacking coqprime_8.20-1+ocaml1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying use_zarith.patch Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=1 HOME=/sbuild-nonexistent LANG=fr_FR.UTF-8 LC_ALL=C.UTF-8 LOGNAME=steph MAKEFLAGS= PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh USER=steph dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -sa dpkg-buildpackage: info: source package coqprime dpkg-buildpackage: info: source version 8.20-1+ocaml1 dpkg-buildpackage: info: source distribution unstable-ocaml dpkg-buildpackage: info: source changed by Anonymous Builder dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/coqprime-8.20' make clean make[2]: Entering directory '/build/reproducible-path/coqprime-8.20' /usr/bin//coq_makefile -f _CoqProject -o Makefile.coq CLEAN rm -f .coq-version make[2]: Leaving directory '/build/reproducible-path/coqprime-8.20' 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' 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.orig.tar.gz dpkg-source: info: using patch list from debian/patches/series 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+ocaml1.debian.tar.xz dpkg-source: info: building coqprime in coqprime_8.20-1+ocaml1.dsc debian/rules binary dh binary --with coq,ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/coqprime-8.20' make make[2]: Entering directory '/build/reproducible-path/coqprime-8.20' /usr/bin//coq_makefile -f _CoqProject -o Makefile.coq echo $COQ_VERSION_INFO (8.20.0) > .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.003 secs (0.003u,0.s) (successful) Finished transaction in 0.013 secs (0.013u,0.s) (successful) Finished transaction in 0.015 secs (0.015u,0.s) (successful) Finished transaction in 0.103 secs (0.099u,0.003s) (successful) Finished transaction in 0.73 secs (0.722u,0.007s) (successful) Finished transaction in 0.04 secs (0.04u,0.s) (successful) Finished transaction in 0.141 secs (0.141u,0.s) (successful) Finished transaction in 0.154 secs (0.154u,0.s) (successful) Finished transaction in 0.16 secs (0.156u,0.003s) (successful) Finished transaction in 0.364 secs (0.36u,0.003s) (successful) Finished transaction in 0.312 secs (0.308u,0.003s) (successful) COQC src/Coqprime/elliptic/ZEll.v COQC src/Coqprime/num/Bits.v COQC src/Coqprime/num/Int63Compat.v COQC src/Coqprime/num/Mod_op.v COQC src/Coqprime/num/W.v COQC src/Coqprime/num/Lucas.v COQC src/Coqprime/num/NEll.v = true : bool Finished transaction in 0.069 secs (0.069u,0.s) (successful) = true : bool Finished transaction in 0.129 secs (0.129u,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' 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/gencertif' gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -I -I -Wall -pedantic -c certif.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -I -I -Wall -pedantic -c factorize.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -I -I -Wall -pedantic -c pocklington.c pocklington.c: In function ‘main’: pocklington.c:255:3: warning: ‘p’ may be used uninitialized [-Wmaybe-uninitialized] 255 | print_file(filename, lemmaname, p, lc); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pocklington.c:54:16: note: ‘p’ was declared here 54 | pre_certif_t p; | ^ gcc -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -o pocklington certif.o factorize.o pocklington.o -lecm -lgmp -lm gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -I -I -Wall -pedantic -c firstprimes.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/coqprime-8.20=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -o firstprimes certif.o factorize.o firstprimes.o -lecm -lgmp -lm ocamlc -o o2v -I +zarith zarith.cma str.cma parser.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). make[2]: Leaving directory '/build/reproducible-path/coqprime-8.20/gencertif' make[1]: Leaving directory '/build/reproducible-path/coqprime-8.20' 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' DESTDIR=/build/reproducible-path/coqprime-8.20/debian/tmp make install make[2]: Entering directory '/build/reproducible-path/coqprime-8.20' INSTALL src/Coqprime/Tactic/Tactic.vo /build/reproducible-path/coqprime-8.20/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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' make[3]: Leaving directory '/build/reproducible-path/coqprime-8.20' make[2]: Leaving directory '/build/reproducible-path/coqprime-8.20' rm -rf /build/reproducible-path/coqprime-8.20/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/debian/tmp/usr/bin cp gencertif/firstprimes gencertif/o2v gencertif/pocklington /build/reproducible-path/coqprime-8.20/debian/tmp/usr/bin make[1]: Leaving directory '/build/reproducible-path/coqprime-8.20' 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+ocaml1_amd64.deb'. dpkg-deb: building package 'coqprime-tools' in '../coqprime-tools_8.20-1+ocaml1_amd64.deb'. dpkg-deb: building package 'coqprime-tools-dbgsym' in '../coqprime-tools-dbgsym_8.20-1+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../coqprime_8.20-1+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../coqprime_8.20-1+ocaml1_amd64.changes dpkg-genchanges: info: including full source code in upload dpkg-source --after-build . dpkg-buildpackage: info: full upload (original source is included) -------------------------------------------------------------------------------- Build finished at 2025-01-15T15:08:56Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Wed, 15 Jan 2025 15:08:56 +0000 | +------------------------------------------------------------------------------+ coqprime_8.20-1+ocaml1_amd64.changes: ------------------------------------- Format: 1.8 Date: Wed, 15 Jan 2025 16:06:28 +0100 Source: coqprime Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime Architecture: source amd64 Version: 8.20-1+ocaml1 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+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.3.0 Checksums-Sha1: 1b6d41433988da7629edd59f42ff7156811f7d4c 1272 coqprime_8.20-1+ocaml1.dsc b7385a9401af40507718bbde756bdcec1b5479d8 996522 coqprime_8.20.orig.tar.gz 064e3ca1913e2e63856b9b7cb9d14f83fde1ff89 3788 coqprime_8.20-1+ocaml1.debian.tar.xz c4cb65fed37bcbe017eb6115edb5e993c1a5a455 62044 coqprime-tools-dbgsym_8.20-1+ocaml1_amd64.deb 96827434087f313b2292dfc43484ec26d8ffb97f 143064 coqprime-tools_8.20-1+ocaml1_amd64.deb 783074b000bb3cc56d8b975adf7e4d01c953a5f7 6966 coqprime_8.20-1+ocaml1_amd64.buildinfo 9647e0e88b5bf513b62f5c92274266a2d2317c6e 1779512 libcoq-coqprime_8.20-1+ocaml1_amd64.deb Checksums-Sha256: 55a8ed49a8802a7e9d0df0f5a168386514b80a3e6afb00a9745b4421e3f06af1 1272 coqprime_8.20-1+ocaml1.dsc 13cd94a90e4869f22bb00e30ea48faec24bf1698205e6e31b46baf8376bab1c0 996522 coqprime_8.20.orig.tar.gz 5e621258b41c1021b2adf64c74f4ad13ff5653aa8b3ad69a2ac653ae2fdac319 3788 coqprime_8.20-1+ocaml1.debian.tar.xz 890f4e6ee1a00b886e1a9ca6618b7585f74b96bf642bb78796e12bf17dc851d4 62044 coqprime-tools-dbgsym_8.20-1+ocaml1_amd64.deb 36e9b63a21a625feb4b5d065d328ead8d27f560f8cdadd38728f7e084fd08382 143064 coqprime-tools_8.20-1+ocaml1_amd64.deb d698656504d637c66a32e6f15fdfc38ab445302cf2ed79679fd8eed04aef3590 6966 coqprime_8.20-1+ocaml1_amd64.buildinfo efe366b811b6e8068b658b1bcee40beb757706645c3f475ee7f9c19efcb125c0 1779512 libcoq-coqprime_8.20-1+ocaml1_amd64.deb Files: bbed24da6460e74217615b31508b50e4 1272 ocaml optional coqprime_8.20-1+ocaml1.dsc 28255e31905c101358f3164944eca8fc 996522 ocaml optional coqprime_8.20.orig.tar.gz f9f8c2611d5ac2972d41315f4173292f 3788 ocaml optional coqprime_8.20-1+ocaml1.debian.tar.xz 8bc15367b594abbe10b12dfce680562c 62044 debug optional coqprime-tools-dbgsym_8.20-1+ocaml1_amd64.deb 44001bf7df6ba6e16dc0347c982ab296 143064 ocaml optional coqprime-tools_8.20-1+ocaml1_amd64.deb f53acfe5e7424efbb650b2ffcef39255 6966 ocaml optional coqprime_8.20-1+ocaml1_amd64.buildinfo b07cce29356b72b9013b74faa509043d 1779512 ocaml optional libcoq-coqprime_8.20-1+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Wed, 15 Jan 2025 15:08:56 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coqprime Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime Architecture: amd64 source Version: 8.20-1+ocaml1 Checksums-Md5: bbed24da6460e74217615b31508b50e4 1272 coqprime_8.20-1+ocaml1.dsc 8bc15367b594abbe10b12dfce680562c 62044 coqprime-tools-dbgsym_8.20-1+ocaml1_amd64.deb 44001bf7df6ba6e16dc0347c982ab296 143064 coqprime-tools_8.20-1+ocaml1_amd64.deb b07cce29356b72b9013b74faa509043d 1779512 libcoq-coqprime_8.20-1+ocaml1_amd64.deb Checksums-Sha1: 1b6d41433988da7629edd59f42ff7156811f7d4c 1272 coqprime_8.20-1+ocaml1.dsc c4cb65fed37bcbe017eb6115edb5e993c1a5a455 62044 coqprime-tools-dbgsym_8.20-1+ocaml1_amd64.deb 96827434087f313b2292dfc43484ec26d8ffb97f 143064 coqprime-tools_8.20-1+ocaml1_amd64.deb 9647e0e88b5bf513b62f5c92274266a2d2317c6e 1779512 libcoq-coqprime_8.20-1+ocaml1_amd64.deb Checksums-Sha256: 55a8ed49a8802a7e9d0df0f5a168386514b80a3e6afb00a9745b4421e3f06af1 1272 coqprime_8.20-1+ocaml1.dsc 890f4e6ee1a00b886e1a9ca6618b7585f74b96bf642bb78796e12bf17dc851d4 62044 coqprime-tools-dbgsym_8.20-1+ocaml1_amd64.deb 36e9b63a21a625feb4b5d065d328ead8d27f560f8cdadd38728f7e084fd08382 143064 coqprime-tools_8.20-1+ocaml1_amd64.deb efe366b811b6e8068b658b1bcee40beb757706645c3f475ee7f9c19efcb125c0 1779512 libcoq-coqprime_8.20-1+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Wed, 15 Jan 2025 15:08:55 +0000 Build-Path: /build/reproducible-path/coqprime-8.20 Installed-Build-Depends: autoconf (= 2.72-3), automake (= 1:1.16.5-1.3), autopoint (= 0.22.5-4), autotools-dev (= 20220109.1), base-files (= 13.6), base-passwd (= 3.6.6), bash (= 5.2.37-1), binutils (= 2.43.50.20250108-1), binutils-common (= 2.43.50.20250108-1), binutils-x86-64-linux-gnu (= 2.43.50.20250108-1), bsdextrautils (= 2.40.4-1), bsdutils (= 1:2.40.4-1), build-essential (= 12.12), bzip2 (= 1.0.8-6), coq (= 8.20.0+dfsg-1+ocaml1), coreutils (= 9.5-1+b1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-13), cpp-14-x86-64-linux-gnu (= 14.2.0-13), cpp-x86-64-linux-gnu (= 4:14.2.0-1), dash (= 0.5.12-11), debconf (= 1.5.89), debhelper (= 13.23), debianutils (= 5.21), dh-autoreconf (= 20), dh-coq (= 0.13+ocaml1), dh-ocaml (= 2.4+ocaml1), dh-strip-nondeterminism (= 1.14.0-1), diffutils (= 1:3.10-2), dpkg (= 1.22.13), dpkg-dev (= 1.22.13), dwz (= 0.15-1+b1), file (= 1:5.45-3+b1), findutils (= 4.10.0-3), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-13), g++-14-x86-64-linux-gnu (= 14.2.0-13), g++-x86-64-linux-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-13), gcc-14-base (= 14.2.0-13), gcc-14-x86-64-linux-gnu (= 14.2.0-13), gcc-x86-64-linux-gnu (= 4:14.2.0-1), gettext (= 0.22.5-4), gettext-base (= 0.22.5-4), grep (= 3.11-4), groff-base (= 1.23.0-7), gzip (= 1.12-1.2), hostname (= 3.25), init-system-helpers (= 1.68), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2+b1), libarchive-zip-perl (= 1.68-1), libasan8 (= 14.2.0-13), libatomic1 (= 14.2.0-13), libattr1 (= 1:2.5.2-2), libaudit-common (= 1:4.0.2-2), libaudit1 (= 1:4.0.2-2), libbinutils (= 2.43.50.20250108-1), libblkid1 (= 2.40.4-1), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.40-5), libc-dev-bin (= 2.40-5), libc6 (= 2.40-5), libc6-dev (= 2.40-5), libcap-ng0 (= 0.8.5-4), libcap2 (= 1:2.66-5+b1), libcc1-0 (= 14.2.0-13), libcompiler-libs-ocaml-dev (= 5.3.0-1~exp2+ocaml1), libconfig-tiny-perl (= 2.30-1), libcoq-bignums (= 9.0.0+coq8.20-1+ocaml1), libcoq-core-ocaml (= 8.20.0+dfsg-1+ocaml1), libcoq-core-ocaml-dev (= 8.20.0+dfsg-1+ocaml1), libcoq-stdlib (= 8.20.0+dfsg-1+ocaml1), libcrypt-dev (= 1:4.4.36-5), libcrypt1 (= 1:4.4.36-5), libctf-nobfd0 (= 2.43.50.20250108-1), libctf0 (= 2.43.50.20250108-1), libdb5.3t64 (= 5.3.28+dfsg2-9), libdebconfclient0 (= 0.277), libdebhelper-perl (= 13.23), libdpkg-perl (= 1.22.13), libecm1 (= 7.0.6+ds-1), libecm1-dev (= 7.0.6+ds-1), libecm1-dev-common (= 7.0.6+ds-1), libelf1t64 (= 0.192-4), libexpat1 (= 2.6.4-1), libffi8 (= 3.4.6-1), libfile-stripnondeterminism-perl (= 1.14.0-1), libfindlib-ocaml (= 1.9.6-3+ocaml1), libfindlib-ocaml-dev (= 1.9.6-3+ocaml1), libgcc-14-dev (= 14.2.0-13), libgcc-s1 (= 14.2.0-13), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libgmp-dev (= 2:6.3.0+dfsg-3), libgmp10 (= 2:6.3.0+dfsg-3), libgmp3-dev (= 2:6.3.0+dfsg-3), libgmpxx4ldbl (= 2:6.3.0+dfsg-3), libgomp1 (= 14.2.0-13), libgprofng0 (= 2.43.50.20250108-1), libhwasan0 (= 14.2.0-13), libicu72 (= 72.1-6), libisl23 (= 0.27-1), libitm1 (= 14.2.0-13), libjansson4 (= 2.14-2+b3), liblsan0 (= 14.2.0-13), liblzma5 (= 5.6.3-1+b1), libmagic-mgc (= 1:5.45-3+b1), libmagic1t64 (= 1:5.45-3+b1), libmd0 (= 1.1.0-2+b1), libmount1 (= 2.40.4-1), libmpc3 (= 1.3.1-1+b3), libmpfr6 (= 4.2.1-1+b2), libncurses-dev (= 6.5-2+b1), libncurses6 (= 6.5-2+b1), libncursesw6 (= 6.5-2+b1), libpam-modules (= 1.5.3-7+b1), libpam-modules-bin (= 1.5.3-7+b1), libpam-runtime (= 1.5.3-7), libpam0g (= 1.5.3-7+b1), libpcre2-8-0 (= 10.44-5), libperl5.40 (= 5.40.0-8), libpipeline1 (= 1.5.8-1), libpython3-stdlib (= 3.13.1-2), libpython3.13-minimal (= 3.13.1-3), libpython3.13-stdlib (= 3.13.1-3), libquadmath0 (= 14.2.0-13), libreadline8t64 (= 8.2-6), libseccomp2 (= 2.5.5-2), libselinux1 (= 3.7-3+b1), libsframe1 (= 2.43.50.20250108-1), libsmartcols1 (= 2.40.4-1), libsqlite3-0 (= 3.46.1-1), libssl3t64 (= 3.4.0-2), libstdc++-14-dev (= 14.2.0-13), libstdc++6 (= 14.2.0-13), libstdlib-ocaml (= 5.3.0-1~exp2+ocaml1), libstdlib-ocaml-dev (= 5.3.0-1~exp2+ocaml1), libsystemd0 (= 257.2-1), libtinfo6 (= 6.5-2+b1), libtool (= 2.5.4-2), libtsan2 (= 14.2.0-13), libubsan1 (= 14.2.0-13), libuchardet0 (= 0.0.8-1+b2), libudev1 (= 257.2-1), libunistring5 (= 1.3-1), libuuid1 (= 2.40.4-1), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1), libzarith-ocaml (= 1.14-1+ocaml1), libzarith-ocaml-dev (= 1.14-1+ocaml1), libzstd-dev (= 1.5.6+dfsg-2), libzstd1 (= 1.5.6+dfsg-2), linux-libc-dev (= 6.12.9-1), m4 (= 1.4.19-5), make (= 4.4.1-1), man-db (= 2.13.0-1), mawk (= 1.3.4.20240905-1), media-types (= 10.1.0), ncurses-base (= 6.5-2), ncurses-bin (= 6.5-2+b1), netbase (= 6.4), ocaml (= 5.3.0-1~exp2+ocaml1), ocaml-base (= 5.3.0-1~exp2+ocaml1), ocaml-findlib (= 1.9.6-3+ocaml1), ocaml-interp (= 5.3.0-1~exp2+ocaml1), openssl-provider-legacy (= 3.4.0-2), patch (= 2.7.6-7), perl (= 5.40.0-8), perl-base (= 5.40.0-8), perl-modules-5.40 (= 5.40.0-8), po-debconf (= 1.0.21+nmu1), python3 (= 3.13.1-2), python3-minimal (= 3.13.1-2), python3.13 (= 3.13.1-3), python3.13-minimal (= 3.13.1-3), readline-common (= 8.2-6), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.24), sysvinit-utils (= 3.13-1), tar (= 1.35+dfsg-3.1), tzdata (= 2024b-6), util-linux (= 2.40.4-1), xz-utils (= 5.6.3-1+b1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1736953588" +------------------------------------------------------------------------------+ | Package contents Wed, 15 Jan 2025 15:08:56 +0000 | +------------------------------------------------------------------------------+ coqprime-tools-dbgsym_8.20-1+ocaml1_amd64.deb --------------------------------------------- new Debian package, version 2.0. size 62044 bytes: control archive=644 bytes. 435 bytes, 12 lines control 303 bytes, 3 lines md5sums Package: coqprime-tools-dbgsym Source: coqprime Version: 8.20-1+ocaml1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 497 Depends: coqprime-tools (= 8.20-1+ocaml1) Section: debug Priority: optional Description: debug symbols for coqprime-tools Build-Ids: d5335b4c5f408f3b9c7770e9280bf4d0c839589b f4595d85d1dffd8f2fbede9c17f3bb787f21e5d2 drwxr-xr-x root/root 0 2025-01-15 15:06 ./ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/debug/.build-id/d5/ -rw-r--r-- root/root 44368 2025-01-15 15:06 ./usr/lib/debug/.build-id/d5/335b4c5f408f3b9c7770e9280bf4d0c839589b.debug drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/debug/.build-id/f4/ -rw-r--r-- root/root 443416 2025-01-15 15:06 ./usr/lib/debug/.build-id/f4/595d85d1dffd8f2fbede9c17f3bb787f21e5d2.debug drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/debug/.dwz/x86_64-linux-gnu/ -rw-r--r-- root/root 5336 2025-01-15 15:06 ./usr/lib/debug/.dwz/x86_64-linux-gnu/coqprime-tools.debug drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-01-15 15:06 ./usr/share/doc/coqprime-tools-dbgsym -> coqprime-tools coqprime-tools_8.20-1+ocaml1_amd64.deb -------------------------------------- new Debian package, version 2.0. size 143064 bytes: control archive=940 bytes. 730 bytes, 19 lines control 512 bytes, 8 lines md5sums Package: coqprime-tools Source: coqprime Version: 8.20-1+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 823 Depends: libcoq-coqprime (= 8.20-1+ocaml1), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.6+ds), libgmp10 (>= 2:6.3.0+dfsg) Section: ocaml Priority: optional Homepage: https://github.com/thery/coqprime Description: Primality certification for Coq (tools) Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality . Coq is a proof assistant for higher-order logic. drwxr-xr-x root/root 0 2025-01-15 15:06 ./ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/bin/ -rwxr-xr-x root/root 433064 2025-01-15 15:06 ./usr/bin/firstprimes -rwxr-xr-x root/root 354083 2025-01-15 15:06 ./usr/bin/o2v -rwxr-xr-x root/root 39880 2025-01-15 15:06 ./usr/bin/pocklington drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/doc/coqprime-tools/ -rw-r--r-- root/root 580 2025-01-15 15:06 ./usr/share/doc/coqprime-tools/changelog.Debian.gz -rw-r--r-- root/root 1048 2024-12-26 10:04 ./usr/share/doc/coqprime-tools/copyright drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/man/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/man/man1/ -rw-r--r-- root/root 443 2025-01-15 15:06 ./usr/share/man/man1/firstprimes.1.gz -rw-r--r-- root/root 348 2025-01-15 15:06 ./usr/share/man/man1/o2v.1.gz -rw-r--r-- root/root 661 2025-01-15 15:06 ./usr/share/man/man1/pocklington.1.gz libcoq-coqprime_8.20-1+ocaml1_amd64.deb --------------------------------------- new Debian package, version 2.0. size 1779512 bytes: control archive=3784 bytes. 725 bytes, 22 lines control 14086 bytes, 123 lines md5sums Package: libcoq-coqprime Source: coqprime Version: 8.20-1+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 6568 Depends: libcoq-bignums-baw23, libcoq-stdlib-qgtg6 Provides: libcoq-coqprime-lncb4 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-01-15 15:06 ./ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ -rw-r--r-- root/root 29781 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.glob -rw-r--r-- root/root 6144 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.v -rw-r--r-- root/root 21800 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.vo -rw-r--r-- root/root 32573 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.glob -rw-r--r-- root/root 8517 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.v -rw-r--r-- root/root 45066 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.vo -rw-r--r-- root/root 58769 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.glob -rw-r--r-- root/root 17019 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.v -rw-r--r-- root/root 57932 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.vo -rw-r--r-- root/root 35127 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.glob -rw-r--r-- root/root 9761 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.v -rw-r--r-- root/root 46326 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.vo -rw-r--r-- root/root 13251 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.glob -rw-r--r-- root/root 3589 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.v -rw-r--r-- root/root 13805 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.vo drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ -rw-r--r-- root/root 160207 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.glob -rw-r--r-- root/root 36970 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.v -rw-r--r-- root/root 169743 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.vo -rw-r--r-- root/root 6206 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.glob -rw-r--r-- root/root 2477 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.v -rw-r--r-- root/root 6138 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.vo drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/ -rw-r--r-- root/root 61491 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.glob -rw-r--r-- root/root 10311 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.v -rw-r--r-- root/root 50958 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.vo -rw-r--r-- root/root 155024 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.glob -rw-r--r-- root/root 24186 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.v -rw-r--r-- root/root 92392 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.vo -rw-r--r-- root/root 12707 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.glob -rw-r--r-- root/root 3478 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.v -rw-r--r-- root/root 14457 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.vo -rw-r--r-- root/root 20824 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.glob -rw-r--r-- root/root 4273 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.v -rw-r--r-- root/root 17197 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.vo -rw-r--r-- root/root 41948 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.glob -rw-r--r-- root/root 8806 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.v -rw-r--r-- root/root 32262 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.vo -rw-r--r-- root/root 30416 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.glob -rw-r--r-- root/root 6261 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.v -rw-r--r-- root/root 17311 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.vo -rw-r--r-- root/root 127924 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.glob -rw-r--r-- root/root 20058 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.v -rw-r--r-- root/root 62812 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.vo -rw-r--r-- root/root 64758 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.glob -rw-r--r-- root/root 12191 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.v -rw-r--r-- root/root 62979 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.vo -rw-r--r-- root/root 18804 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.glob -rw-r--r-- root/root 4606 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.v -rw-r--r-- root/root 17638 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.vo -rw-r--r-- root/root 69378 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.glob -rw-r--r-- root/root 11755 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.v -rw-r--r-- root/root 50547 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.vo -rw-r--r-- root/root 126781 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.glob -rw-r--r-- root/root 22920 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.v -rw-r--r-- root/root 139122 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.vo -rw-r--r-- root/root 18374 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.glob -rw-r--r-- root/root 4329 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.v -rw-r--r-- root/root 22862 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.vo -rw-r--r-- root/root 83476 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.glob -rw-r--r-- root/root 9641 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.v -rw-r--r-- root/root 34375 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.vo -rw-r--r-- root/root 57912 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.glob -rw-r--r-- root/root 13047 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.v -rw-r--r-- root/root 46377 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.vo drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/ -rw-r--r-- root/root 1965 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.glob -rw-r--r-- root/root 3120 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.v -rw-r--r-- root/root 9555 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.vo drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ -rw-r--r-- root/root 95418 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.glob -rw-r--r-- root/root 19894 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.v -rw-r--r-- root/root 123516 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.vo -rw-r--r-- root/root 7242 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.glob -rw-r--r-- root/root 1712 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.v -rw-r--r-- root/root 6757 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.vo -rw-r--r-- root/root 46207 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.glob -rw-r--r-- root/root 12135 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.v -rw-r--r-- root/root 54555 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.vo -rw-r--r-- root/root 16797 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.glob -rw-r--r-- root/root 5175 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.v -rw-r--r-- root/root 28075 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.vo -rw-r--r-- root/root 72848 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.glob -rw-r--r-- root/root 11454 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.v -rw-r--r-- root/root 48853 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.vo -rw-r--r-- root/root 11788 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.glob -rw-r--r-- root/root 2566 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.v -rw-r--r-- root/root 10381 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.vo drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ -rw-r--r-- root/root 33221 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.glob -rw-r--r-- root/root 8092 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.v -rw-r--r-- root/root 56377 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.vo -rw-r--r-- root/root 259218 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.glob -rw-r--r-- root/root 63942 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.v -rw-r--r-- root/root 450210 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.vo -rw-r--r-- root/root 212696 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.glob -rw-r--r-- root/root 46560 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.v -rw-r--r-- root/root 306195 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.vo drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/ -rw-r--r-- root/root 14241 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.glob -rw-r--r-- root/root 3243 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.v -rw-r--r-- root/root 16282 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.vo -rw-r--r-- root/root 115 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.glob -rw-r--r-- root/root 32 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.v -rw-r--r-- root/root 682 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.vo -rw-r--r-- root/root 89695 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.glob -rw-r--r-- root/root 14482 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.v -rw-r--r-- root/root 55083 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.vo -rw-r--r-- root/root 3549 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.glob -rw-r--r-- root/root 36391 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.v -rw-r--r-- root/root 7409 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.vo -rw-r--r-- root/root 267591 2025-01-15 15:06 ./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-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Mod_op.v -rw-r--r-- root/root 170520 2025-01-15 15:06 ./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-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.glob -rw-r--r-- root/root 30782 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.v -rw-r--r-- root/root 178436 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.vo -rw-r--r-- root/root 157054 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.glob -rw-r--r-- root/root 33899 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.v -rw-r--r-- root/root 153080 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.vo -rw-r--r-- root/root 20139 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.glob -rw-r--r-- root/root 6285 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.v -rw-r--r-- root/root 25615 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.vo -rw-r--r-- root/root 325890 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.glob -rw-r--r-- root/root 47184 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.v -rw-r--r-- root/root 235234 2025-01-15 15:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.vo drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./usr/share/doc/libcoq-coqprime/ -rw-r--r-- root/root 580 2025-01-15 15:06 ./usr/share/doc/libcoq-coqprime/changelog.Debian.gz -rw-r--r-- root/root 1048 2024-12-26 10:04 ./usr/share/doc/libcoq-coqprime/copyright drwxr-xr-x root/root 0 2025-01-15 15:06 ./var/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./var/lib/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./var/lib/coq/ drwxr-xr-x root/root 0 2025-01-15 15:06 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2025-01-15 15:06 ./var/lib/coq/md5sums/libcoq-coqprime.checksum +------------------------------------------------------------------------------+ | Post Build Wed, 15 Jan 2025 15:08:57 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Wed, 15 Jan 2025 15:08:57 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Wed, 15 Jan 2025 15:08:58 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 53064 Build-Time: 54 Distribution: unstable Host Architecture: amd64 Install-Time: 79 Job: /tmp/tmp.ben.transition-scripts.7HapqfgpRy/coqprime_8.20-1+ocaml1.dsc Machine Architecture: amd64 Package: coqprime Package-Time: 147 Source-Version: 8.20-1+ocaml1 Space: 53064 Status: successful Version: 8.20-1+ocaml1 -------------------------------------------------------------------------------- Finished at 2025-01-15T15:08:56Z Build needed 00:02:27, 53064k disk space