sbuild (Debian sbuild) 0.88.5 (01 March 2025) on derowd.up7.fr +==============================================================================+ | coq-ext-lib 0.13.0-1+ocaml20250313 (amd64) Thu, 13 Mar 2025 10:04:42 +0000 | +==============================================================================+ Package: coq-ext-lib Version: 0.13.0-1+ocaml20250313 Source Version: 0.13.0-1+ocaml20250313 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: No tarballs found in /home/steph/.cache/sbuild I: Unpacking /home/steph/ocaml-backports/20250313/ben/rootfs.tar.zst to /var/tmp/tmp.sbuild.NkUxVkqST0... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Thu, 13 Mar 2025 10:04:50 +0000 | +------------------------------------------------------------------------------+ Get:1 file:/rebuilt ./ InRelease Ign:1 file:/rebuilt ./ InRelease Get:2 file:/rebuilt ./ Release [1360 B] Get:2 file:/rebuilt ./ Release [1360 B] Get:3 file:/rebuilt ./ Release.gpg Ign:3 file:/rebuilt ./ Release.gpg Get:4 file:/rebuilt ./ Packages [1073 kB] Get:5 http://localhost:9999/debian bookworm InRelease [151 kB] Get:6 http://localhost:9999/debian bookworm/non-free-firmware amd64 Packages [6240 B] Get:7 http://localhost:9999/debian bookworm/main amd64 Packages [8792 kB] Get:8 http://localhost:9999/debian bookworm/non-free amd64 Packages [97.3 kB] Get:9 http://localhost:9999/debian bookworm/contrib amd64 Packages [54.1 kB] Fetched 9101 kB in 2s (5238 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Thu, 13 Mar 2025 10:04:54 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.DHbQNmc014/coq-ext-lib_0.13.0-1+ocaml20250313.dsc exists in /tmp/tmp.ben.transition-scripts.DHbQNmc014; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Thu, 13 Mar 2025 10:04:55 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-g0EPFQ/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ Sources [661 B] Get:5 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ Packages [700 B] Fetched 1970 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.11 python3.11-minimal readline-common sensible-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.11-venv python3.11-doc binfmt-support readline-doc Recommended packages: curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl ca-certificates The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 libmagic-mgc libmagic1 libncurses-dev libncurses6 libncursesw6 libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db media-types ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.11 python3.11-minimal readline-common sbuild-build-depends-main-dummy sensible-utils 0 upgraded, 68 newly installed, 0 to remove and 0 not upgraded. Need to get 27.5 MB/299 MB of archives. After this operation, 956 MB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [884 B] Get:2 http://localhost:9999/debian bookworm/main amd64 libpython3.11-minimal amd64 3.11.2-6+deb12u5 [816 kB] Get:3 http://localhost:9999/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1+deb12u1 [98.9 kB] Get:4 http://localhost:9999/debian bookworm/main amd64 python3.11-minimal amd64 3.11.2-6+deb12u5 [2067 kB] Get:5 http://localhost:9999/debian bookworm/main amd64 python3-minimal amd64 3.11.2-1+b1 [26.3 kB] Get:6 http://localhost:9999/debian bookworm/main amd64 media-types all 10.0.0 [26.1 kB] Get:7 http://localhost:9999/debian bookworm/main amd64 libncursesw6 amd64 6.4-4 [134 kB] Get:8 http://localhost:9999/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB] Get:9 http://localhost:9999/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB] Get:10 http://localhost:9999/debian bookworm/main amd64 libsqlite3-0 amd64 3.40.1-2+deb12u1 [839 kB] Get:11 http://localhost:9999/debian bookworm/main amd64 libpython3.11-stdlib amd64 3.11.2-6+deb12u5 [1797 kB] Get:12 http://localhost:9999/debian bookworm/main amd64 python3.11 amd64 3.11.2-6+deb12u5 [573 kB] Get:13 http://localhost:9999/debian bookworm/main amd64 libpython3-stdlib amd64 3.11.2-1+b1 [9312 B] Get:14 http://localhost:9999/debian bookworm/main amd64 python3 amd64 3.11.2-1+b1 [26.3 kB] Get:15 http://localhost:9999/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get:16 http://localhost:9999/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get:17 http://localhost:9999/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get:18 http://localhost:9999/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get:19 http://localhost:9999/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get:20 http://localhost:9999/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get:21 http://localhost:9999/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get:22 http://localhost:9999/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+deb12u3 [87.0 kB] Get:23 http://localhost:9999/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get:24 http://localhost:9999/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get:25 file:/rebuilt ./ libcoq-stdlib 8.20.1+dfsg-1+ocaml20250313 [23.5 MB] Get:26 file:/rebuilt ./ libstdlib-ocaml 5.3.0-2+ocaml20250313 [602 kB] Get:27 http://localhost:9999/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:28 file:/rebuilt ./ ocaml-base 5.3.0-2+ocaml20250313 [493 kB] Get:29 http://localhost:9999/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get:30 file:/rebuilt ./ libfindlib-ocaml 1.9.8-1+ocaml20250313 [214 kB] Get:31 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml20250313 [116 kB] Get:32 http://localhost:9999/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get:33 http://localhost:9999/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get:34 http://localhost:9999/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get:35 http://localhost:9999/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get:36 http://localhost:9999/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get:37 http://localhost:9999/debian bookworm/main amd64 libzstd-dev amd64 1.5.4+dfsg2-5 [354 kB] Get:38 http://localhost:9999/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get:39 http://localhost:9999/debian bookworm/main amd64 libtool all 2.4.7-7~deb12u1 [517 kB] Get:40 http://localhost:9999/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get:41 http://localhost:9999/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:42 http://localhost:9999/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get:43 http://localhost:9999/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get:44 http://localhost:9999/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get:45 http://localhost:9999/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get:46 http://localhost:9999/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get:47 http://localhost:9999/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get:48 http://localhost:9999/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.3~deb12u1 [687 kB] Get:49 http://localhost:9999/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get:50 http://localhost:9999/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:51 http://localhost:9999/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:52 http://localhost:9999/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get:53 http://localhost:9999/debian bookworm/main amd64 libconfig-tiny-perl all 2.28-2 [16.4 kB] Get:54 http://localhost:9999/debian bookworm/main amd64 libgmpxx4ldbl amd64 2:6.2.1+dfsg1-1.1 [338 kB] Get:55 http://localhost:9999/debian bookworm/main amd64 libgmp-dev amd64 2:6.2.1+dfsg1-1.1 [641 kB] Get:56 http://localhost:9999/debian bookworm/main amd64 libgmp3-dev amd64 2:6.2.1+dfsg1-1.1 [331 kB] Get:57 file:/rebuilt ./ libcoq-core-ocaml 8.20.1+dfsg-1+ocaml20250313 [26.0 MB] Get:58 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-2+ocaml20250313 [7886 kB] Get:59 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-2+ocaml20250313 [48.2 MB] Get:60 file:/rebuilt ./ ocaml-interp 5.3.0-2+ocaml20250313 [7106 kB] Get:61 file:/rebuilt ./ ocaml 5.3.0-2+ocaml20250313 [18.0 MB] Get:62 file:/rebuilt ./ ocaml-findlib 1.9.8-1+ocaml20250313 [583 kB] Get:63 file:/rebuilt ./ coq 8.20.1+dfsg-1+ocaml20250313 [70.2 MB] Get:64 file:/rebuilt ./ dh-coq 0.14+ocaml20250313 [8064 B] Get:65 file:/rebuilt ./ dh-ocaml 2.4+ocaml20250313 [68.7 kB] Get:66 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.8-1+ocaml20250313 [179 kB] Get:67 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml20250313 [142 kB] Get:68 file:/rebuilt ./ libcoq-core-ocaml-dev 8.20.1+dfsg-1+ocaml20250313 [68.7 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 27.5 MB in 1s (40.4 MB/s) Selecting previously unselected package libpython3.11-minimal:amd64. (Reading database ... 10779 files and directories currently installed.) Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u5_amd64.deb ... Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.5.0-1+deb12u1_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-1+deb12u1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u5_amd64.deb ... Unpacking python3.11-minimal (3.11.2-6+deb12u5) ... Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ... Setting up libexpat1:amd64 (2.5.0-1+deb12u1) ... Setting up python3.11-minimal (3.11.2-6+deb12u5) ... Selecting previously unselected package python3-minimal. (Reading database ... 11095 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_amd64.deb ... Unpacking python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.0.0_all.deb ... Unpacking media-types (10.0.0) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../2-libncursesw6_6.4-4_amd64.deb ... Unpacking libncursesw6:amd64 (6.4-4) ... Selecting previously unselected package readline-common. Preparing to unpack .../3-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../4-libreadline8_8.2-1.3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1.3) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../5-libsqlite3-0_3.40.1-2+deb12u1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Selecting previously unselected package libpython3.11-stdlib:amd64. Preparing to unpack .../6-libpython3.11-stdlib_3.11.2-6+deb12u5_amd64.deb ... Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ... Selecting previously unselected package python3.11. Preparing to unpack .../7-python3.11_3.11.2-6+deb12u5_amd64.deb ... Unpacking python3.11 (3.11.2-6+deb12u5) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../8-libpython3-stdlib_3.11.2-1+b1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package python3. (Reading database ... 11546 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ... Unpacking python3 (3.11.2-1+b1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.44-3_amd64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../03-libmagic1_1%3a5.44-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.44-3_amd64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.21-12_amd64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.22.4-10_amd64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.38.1-5+deb12u3_amd64.deb ... Unpacking bsdextrautils (2.38.1-5+deb12u3) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.11.2-2_amd64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../16-libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../17-libstdlib-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../18-ocaml-base_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-base (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../19-libfindlib-ocaml_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../20-libzarith-ocaml_1.14-1+ocaml20250313_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+ocaml20250313) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../21-libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../22-libstdlib-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-interp (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../25-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../26-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../27-libzstd-dev_1.5.4+dfsg2-5_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.4+dfsg2-5) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+ocaml20250313) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking coq (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.7-7~deb12u1_all.deb ... Unpacking libtool (2.4.7-7~deb12u1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../35-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../36-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../37-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../38-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../39-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../40-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../41-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Selecting previously unselected package gettext. Preparing to unpack .../42-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../43-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../44-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../45-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package dh-coq. Preparing to unpack .../46-dh-coq_0.14+ocaml20250313_all.deb ... Unpacking dh-coq (0.14+ocaml20250313) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../47-libconfig-tiny-perl_2.28-2_all.deb ... Unpacking libconfig-tiny-perl (2.28-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../48-dh-ocaml_2.4+ocaml20250313_all.deb ... Unpacking dh-ocaml (2.4+ocaml20250313) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../49-libfindlib-ocaml-dev_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../50-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../51-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../52-libgmp3-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../53-libzarith-ocaml-dev_1.14-1+ocaml20250313_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+ocaml20250313) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../54-libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml20250313_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml20250313) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../55-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (10.0.0) ... Setting up libpipeline1:amd64 (1.5.7-1) ... Setting up libicu72:amd64 (72.1-3) ... Setting up libzstd-dev:amd64 (1.5.4+dfsg2-5) ... Setting up bsdextrautils (2.38.1-5+deb12u3) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up dh-coq (0.14+ocaml20250313) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Setting up libmagic1:amd64 (1:5.44-3) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up file (1:5.44-3) ... Setting up libconfig-tiny-perl (2.28-2) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.20.1+dfsg-1+ocaml20250313) ... Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up libncurses6:amd64 (6.4-4) ... Setting up libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Setting up autopoint (0.21-12) ... Setting up ocaml-base (5.3.0-2+ocaml20250313) ... Setting up libncursesw6:amd64 (6.4-4) ... Setting up autoconf (2.71-3) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libsub-override-perl (0.09-4) ... Setting up libelf1:amd64 (0.188-2.1) ... Setting up readline-common (8.2-1.3) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libncurses-dev:amd64 (6.4-4) ... Setting up gettext (0.21-12) ... Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up libtool (2.4.7-7~deb12u1) ... Setting up libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ... Setting up libreadline8:amd64 (8.2-1.3) ... Setting up dh-ocaml (2.4+ocaml20250313) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Setting up libzarith-ocaml (1.14-1+ocaml20250313) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ... Setting up ocaml-interp (5.3.0-2+ocaml20250313) ... Setting up ocaml-findlib (1.9.8-1+ocaml20250313) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up libcoq-core-ocaml (8.20.1+dfsg-1+ocaml20250313) ... Setting up groff-base (1.22.4-10) ... Setting up libgmp3-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ... Setting up ocaml (5.3.0-2+ocaml20250313) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ... Setting up libzarith-ocaml-dev (1.14-1+ocaml20250313) ... Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3.11 (3.11.2-6+deb12u5) ... Setting up debhelper (13.11.4) ... Setting up python3 (3.11.2-1+b1) ... Setting up coq (8.20.1+dfsg-1+ocaml20250313) ... Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1+ocaml20250313) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... +------------------------------------------------------------------------------+ | Check architectures Thu, 13 Mar 2025 10:06:28 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Thu, 13 Mar 2025 10:06:28 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.17-1 (2025-03-01) amd64 (x86_64) Toolchain package versions: binutils_2.40-2 dpkg-dev_1.21.22 g++-12_12.2.0-14 gcc-12_12.2.0-14 libc6-dev_2.36-9+deb12u9 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 linux-libc-dev_6.1.123-1 Package versions: adduser_3.134 apt_2.6.1 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-12 autotools-dev_20220109.1 base-files_12.4+deb12u9 base-passwd_3.6.1 bash_5.2.15-2+b7 binutils_2.40-2 binutils-common_2.40-2 binutils-x86-64-linux-gnu_2.40-2 bsdextrautils_2.38.1-5+deb12u3 bsdutils_1:2.38.1-5+deb12u3 build-essential_12.9 bzip2_1.0.8-5+b1 coq_8.20.1+dfsg-1+ocaml20250313 coreutils_9.1-1 cpp_4:12.2.0-3 cpp-12_12.2.0-14 dash_0.5.12-2 debconf_1.5.82 debhelper_13.11.4 debian-archive-keyring_2023.3+deb12u1 debianutils_5.7-0.5~deb12u1 dh-autoreconf_20 dh-coq_0.14+ocaml20250313 dh-ocaml_2.4+ocaml20250313 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.8-4 dpkg_1.21.22 dpkg-dev_1.21.22 dwz_0.15-1 file_1:5.44-3 findutils_4.9.0-4 g++_4:12.2.0-3 g++-12_12.2.0-14 gcc_4:12.2.0-3 gcc-12_12.2.0-14 gcc-12-base_12.2.0-14 gettext_0.21-12 gettext-base_0.21-12 gpgv_2.2.40-1.1 grep_3.8-5 groff-base_1.22.4-10 gzip_1.12-1 hostname_3.23+nmu1 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 libacl1_2.3.1-3 libapt-pkg6.0_2.6.1 libarchive-zip-perl_1.68-1 libasan8_12.2.0-14 libatomic1_12.2.0-14 libattr1_1:2.5.1-4 libaudit-common_1:3.0.9-1 libaudit1_1:3.0.9-1 libbinutils_2.40-2 libblkid1_2.38.1-5+deb12u3 libbz2-1.0_1.0.8-5+b1 libc-bin_2.36-9+deb12u9 libc-dev-bin_2.36-9+deb12u9 libc6_2.36-9+deb12u9 libc6-dev_2.36-9+deb12u9 libcap-ng0_0.8.3-1+b3 libcap2_1:2.66-4 libcc1-0_12.2.0-14 libcom-err2_1.47.0-2 libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313 libconfig-tiny-perl_2.28-2 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml20250313 libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313 libcrypt-dev_1:4.4.33-2 libcrypt1_1:4.4.33-2 libctf-nobfd0_2.40-2 libctf0_2.40-2 libdb5.3_5.3.28+dfsg2-1 libdebconfclient0_0.270 libdebhelper-perl_13.11.4 libdpkg-perl_1.21.22 libelf1_0.188-2.1 libexpat1_2.5.0-1+deb12u1 libffi8_3.4.4-1 libfile-find-rule-perl_0.34-3 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.8-1+ocaml20250313 libfindlib-ocaml-dev_1.9.8-1+ocaml20250313 libgcc-12-dev_12.2.0-14 libgcc-s1_12.2.0-14 libgcrypt20_1.10.1-3 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libgmp-dev_2:6.2.1+dfsg1-1.1 libgmp10_2:6.2.1+dfsg1-1.1 libgmp3-dev_2:6.2.1+dfsg1-1.1 libgmpxx4ldbl_2:6.2.1+dfsg1-1.1 libgnutls30_3.7.9-2+deb12u3 libgomp1_12.2.0-14 libgpg-error0_1.46-1 libgprofng0_2.40-2 libgssapi-krb5-2_1.20.1-2+deb12u2 libhogweed6_3.8.1-2 libicu72_72.1-3 libidn2-0_2.3.3-1+b1 libisl23_0.25-1.1 libitm1_12.2.0-14 libjansson4_2.14-2 libk5crypto3_1.20.1-2+deb12u2 libkeyutils1_1.6.3-2 libkrb5-3_1.20.1-2+deb12u2 libkrb5support0_1.20.1-2+deb12u2 liblsan0_12.2.0-14 liblz4-1_1.9.4-1 liblzma5_5.4.1-0.2 libmagic-mgc_1:5.44-3 libmagic1_1:5.44-3 libmd0_1.0.4-2 libmount1_2.38.1-5+deb12u3 libmpc3_1.3.1-1 libmpfr6_4.2.0-1 libncurses-dev_6.4-4 libncurses6_6.4-4 libncursesw6_6.4-4 libnettle8_3.8.1-2 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnumber-compare-perl_0.03-3 libp11-kit0_0.24.1-2 libpam-modules_1.5.2-6+deb12u1 libpam-modules-bin_1.5.2-6+deb12u1 libpam-runtime_1.5.2-6+deb12u1 libpam0g_1.5.2-6+deb12u1 libpcre2-8-0_10.42-1 libperl5.36_5.36.0-7+deb12u1 libpipeline1_1.5.7-1 libpython3-stdlib_3.11.2-1+b1 libpython3.11-minimal_3.11.2-6+deb12u5 libpython3.11-stdlib_3.11.2-6+deb12u5 libquadmath0_12.2.0-14 libreadline8_8.2-1.3 libseccomp2_2.5.4-1+deb12u1 libselinux1_3.4-1+b6 libsemanage-common_3.4-1 libsemanage2_3.4-1+b5 libsepol2_3.4-2.1 libsmartcols1_2.38.1-5+deb12u3 libsqlite3-0_3.40.1-2+deb12u1 libssl3_3.0.15-1~deb12u1 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 libstdlib-ocaml_5.3.0-2+ocaml20250313 libstdlib-ocaml-dev_5.3.0-2+ocaml20250313 libsub-override-perl_0.09-4 libsystemd0_252.33-1~deb12u1 libtasn1-6_4.19.0-2 libtext-glob-perl_0.11-3 libtinfo6_6.4-4 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-7~deb12u1 libtsan2_12.2.0-14 libubsan1_12.2.0-14 libuchardet0_0.0.7-1 libudev1_252.33-1~deb12u1 libunistring2_1.0-2 libuuid1_2.38.1-5+deb12u3 libxml2_2.9.14+dfsg-1.3~deb12u1 libxxhash0_0.8.1-1 libzarith-ocaml_1.14-1+ocaml20250313 libzarith-ocaml-dev_1.14-1+ocaml20250313 libzstd-dev_1.5.4+dfsg2-5 libzstd1_1.5.4+dfsg2-5 linux-libc-dev_6.1.123-1 login_1:4.13+dfsg1-1+b1 m4_1.4.19-3 make_4.3-4.1 man-db_2.11.2-2 mawk_1.3.4.20200120-3.1 media-types_10.0.0 ncurses-base_6.4-4 ncurses-bin_6.4-4 ocaml_5.3.0-2+ocaml20250313 ocaml-base_5.3.0-2+ocaml20250313 ocaml-findlib_1.9.8-1+ocaml20250313 ocaml-interp_5.3.0-2+ocaml20250313 passwd_1:4.13+dfsg1-1+b1 patch_2.7.6-7 perl_5.36.0-7+deb12u1 perl-base_5.36.0-7+deb12u1 perl-modules-5.36_5.36.0-7+deb12u1 po-debconf_1.0.21+nmu1 python3_3.11.2-1+b1 python3-minimal_3.11.2-1+b1 python3.11_3.11.2-6+deb12u5 python3.11-minimal_3.11.2-6+deb12u5 readline-common_8.2-1.3 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.17+nmu1 sysvinit-utils_3.06-4 tar_1.34+dfsg-1.2+deb12u1 usrmerge_37~deb12u1 util-linux_2.38.1-5+deb12u3 util-linux-extra_2.38.1-5+deb12u3 xz-utils_5.4.1-0.2 zlib1g_1:1.2.13.dfsg-1 +------------------------------------------------------------------------------+ | Build Thu, 13 Mar 2025 10:06:28 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: any Version: 0.13.0-1+ocaml20250313 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/coq-community/coq-ext-lib Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib Package-List: libcoq-ext-lib deb ocaml optional arch=any Checksums-Sha1: 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz e638559cab4a8fdbfa248fda7b42820d7354d549 2464 coq-ext-lib_0.13.0-1+ocaml20250313.debian.tar.xz Checksums-Sha256: e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz ec74ac02e5d59840ba0e3e2c9ce847dec6e6766775cd54d7534eacf9fea76386 2464 coq-ext-lib_0.13.0-1+ocaml20250313.debian.tar.xz Files: 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz 73c893bd149a0313bd1394f516812311 2464 coq-ext-lib_0.13.0-1+ocaml20250313.debian.tar.xz dpkg-source: warning: extracting unsigned source package (coq-ext-lib_0.13.0-1+ocaml20250313.dsc) dpkg-source: info: extracting coq-ext-lib in /build/reproducible-path/coq-ext-lib-0.13.0 dpkg-source: info: unpacking coq-ext-lib_0.13.0.orig.tar.gz dpkg-source: info: unpacking coq-ext-lib_0.13.0-1+ocaml20250313.debian.tar.xz Can't exec "dpkg-buildtree": No such file or directory at /usr/libexec/sbuild-usernsexec line 604. Failed to exec: dpkg-buildtree: No such file or directory at /usr/libexec/sbuild-usernsexec line 605. Install fakeroot ---------------- Setup apt archive ----------------- Merged Build-Depends: fakeroot Filtered Build-Depends: fakeroot dpkg-deb: building package 'sbuild-build-depends-fakeroot-dummy' in '/build/reproducible-path/resolver-g0EPFQ/apt_archive/sbuild-build-depends-fakeroot-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ Release [615 B] Ign:3 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ Sources [1249 B] Get:5 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ Packages [1315 B] Fetched 3179 B in 0s (0 B/s) Reading package lists... Reading package lists... Install fakeroot build dependencies (apt-based resolver) -------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: fakeroot libfakeroot The following NEW packages will be installed: fakeroot libfakeroot sbuild-build-depends-fakeroot-dummy 0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 96.1 kB of archives. After this operation, 360 kB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-g0EPFQ/apt_archive ./ sbuild-build-depends-fakeroot-dummy 0.invalid.0 [832 B] Get:2 http://localhost:9999/debian bookworm/main amd64 libfakeroot amd64 1.31-1.2 [28.3 kB] Get:3 http://localhost:9999/debian bookworm/main amd64 fakeroot amd64 1.31-1.2 [66.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 96.1 kB in 1s (131 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... 23004 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.31-1.2_amd64.deb ... Unpacking libfakeroot:amd64 (1.31-1.2) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.31-1.2_amd64.deb ... Unpacking fakeroot (1.31-1.2) ... Selecting previously unselected package sbuild-build-depends-fakeroot-dummy. Preparing to unpack .../sbuild-build-depends-fakeroot-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-fakeroot-dummy (0.invalid.0) ... Setting up libfakeroot:amd64 (1.31-1.2) ... Setting up fakeroot (1.31-1.2) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up sbuild-build-depends-fakeroot-dummy (0.invalid.0) ... Processing triggers for man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Processing triggers for libc-bin (2.36-9+deb12u9) ... Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=1 HOME=/sbuild-nonexistent LANG=fr_FR.UTF-8 LC_ALL=C.UTF-8 LOGNAME=sbuild MAKEFLAGS= PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -sa dpkg-buildpackage: info: source package coq-ext-lib dpkg-buildpackage: info: source version 0.13.0-1+ocaml20250313 dpkg-buildpackage: info: source distribution bookworm-backports-ocaml dpkg-buildpackage: info: source changed by Anonymous Builder dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml,coq debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0' make clean make[2]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0' if [ -e Makefile.coq ] ; then make -f Makefile.coq cleanall ; fi make -C examples clean make[3]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0/examples' if [ -e Makefile.coq ] ; then make -f Makefile.coq cleanall ; fi rm -f Makefile.coq Makefile.coq.conf make[3]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0/examples' make[2]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0' make[1]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0' dh_ocamlclean dh_clean dpkg-source -b . dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building coq-ext-lib using existing ./coq-ext-lib_0.13.0.orig.tar.gz dpkg-source: info: building coq-ext-lib in coq-ext-lib_0.13.0-1+ocaml20250313.debian.tar.xz dpkg-source: info: building coq-ext-lib in coq-ext-lib_0.13.0-1+ocaml20250313.dsc debian/rules binary dh binary --with ocaml,coq dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure dh_auto_build make -j1 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0' coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq make[2]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0' COQDEP VFILES COQC theories/Core/RelDec.v COQC theories/ExtLib.v COQC theories/Tactics/Consider.v COQC theories/Tactics/Cases.v COQC theories/Tactics/Injection.v COQC theories/Tactics/Forward.v COQC theories/Structures/EqDep.v COQC theories/Tactics/EqDep.v COQC theories/Tactics.v COQC theories/Core/Any.v COQC theories/Core/CmpDec.v COQC theories/Core/EquivDec.v COQC theories/Core/Decision.v COQC theories/Structures/Functor.v COQC theories/Structures/Applicative.v COQC theories/Structures/BinOps.v COQC theories/Structures/CoFunctor.v COQC theories/Structures/CoMonad.v COQC theories/Structures/CoMonadLaws.v COQC theories/Structures/Monoid.v COQC theories/Structures/Foldable.v COQC theories/Data/PreFun.v COQC theories/Data/Fun.v COQC theories/Structures/FunctorLaws.v COQC theories/Structures/Monad.v File "./theories/Structures/Monad.v", line 58, characters 2-39: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope monad_scope.". [undeclared-scope,deprecated-since-8.10,deprecated,default] COQC theories/Structures/IXMonad.v File "./theories/Structures/IXMonad.v", line 14, characters 2-43: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope ixmonad_scope.". [undeclared-scope,deprecated-since-8.10,deprecated,default] COQC theories/Structures/Reducible.v COQC theories/Structures/Maps.v COQC theories/Structures/MonadCont.v COQC theories/Structures/MonadExc.v COQC theories/Structures/MonadFix.v COQC theories/Structures/MonadZero.v COQC theories/Structures/MonadPlus.v COQC theories/Structures/MonadReader.v COQC theories/Structures/MonadWriter.v COQC theories/Structures/MonadState.v COQC theories/Structures/MonadTrans.v COQC theories/Structures/Monads.v COQC theories/Data/Unit.v COQC theories/Structures/MonadLaws.v COQC theories/Structures/Sets.v COQC theories/Structures/Traversable.v COQC theories/Data/Bool.v COQC theories/Data/Char.v COQC theories/Data/Checked.v COQC theories/Data/Eq/UIP_trans.v COQC theories/Data/Eq.v COQC theories/Data/Fin.v File "./theories/Data/Fin.v", line 103, characters 2-29: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Data/Fin.v", line 106, characters 2-29: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] COQC theories/Data/SigT.v COQC theories/Data/ListNth.v COQC theories/Data/Option.v COQC theories/Data/Member.v COQC theories/Data/HList.v File "./theories/Data/HList.v", line 462, characters 26-43: Warning: Notation app_assoc_reverse is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/HList.v", line 462, characters 26-43: Warning: Notation app_assoc_reverse is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] COQC theories/Data/LazyList.v COQC theories/Data/Lazy.v COQC theories/Data/ListFirstnSkipn.v COQC theories/Data/Nat.v COQC theories/Data/List.v COQC theories/Data/N.v COQC theories/Data/Pair.v COQC theories/Data/Positive.v COQC theories/Data/Prop.v COQC theories/Data/Stream.v COQC theories/Data/String.v File "./theories/Data/String.v", line 33, characters 6-14: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 33, characters 24-32: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 33, characters 42-50: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 33, characters 60-68: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 34, characters 6-14: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 34, characters 24-32: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 34, characters 42-50: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 34, characters 60-68: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 59, characters 6-15: Warning: Notation ascii_cmp is deprecated since 8.15. Use Ascii.compare instead. [deprecated-syntactic-definition-since-8.15,deprecated-since-8.15,deprecated-syntactic-definition,deprecated,default] COQC theories/Data/Map/FMapPositive.v COQC theories/Data/SumN.v COQC theories/Data/Sum.v COQC theories/Data/Tuple.v COQC theories/Data/Vector.v COQC theories/Data/Z.v File "./theories/Data/Z.v", line 33, characters 2-59: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Data/Z.v", line 41, characters 2-56: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Data/Z.v", line 49, characters 2-55: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Data/Z.v", line 57, characters 2-56: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] COQC theories/Data/POption.v COQC theories/Data/PPair.v COQC theories/Data/PList.v COQC theories/Generic/Func.v COQC theories/Generic/Data.v COQC theories/Generic/DerivingData.v COQC theories/Programming/Injection.v COQC theories/Programming/Show.v File "./theories/Programming/Show.v", line 63, characters 2-37: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope show_scope.". [undeclared-scope,deprecated-since-8.10,deprecated,default] COQC theories/Data/Monads/IdentityMonad.v COQC theories/Generic/Ind.v = "-(5,-(6,-(7,-())))" : string COQC theories/Programming/Eqv.v COQC theories/Programming/Extras.v File "./theories/Programming/Extras.v", line 37, characters 4-9: Warning: Notation curry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 37, characters 11-18: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 39, characters 9-14: Warning: Notation curry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 39, characters 16-23: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 47, characters 4-11: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 47, characters 13-18: Warning: Notation curry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 49, characters 9-16: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 49, characters 18-23: Warning: Notation curry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 97, characters 16-23: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] COQC theories/Programming/Le.v COQC theories/Programming/With.v File "./theories/Programming/With.v", line 59, characters 0-39: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope struct_scope.". [undeclared-scope,deprecated-since-8.10,deprecated,default] COQC theories/Recur/Facts.v COQC theories/Recur/GenRec.v COQC theories/Recur/Measure.v COQC theories/Relations/TransitiveClosure.v COQC theories/Recur/Relation.v COQC theories/Relations/Compose.v COQC theories/Tactics/BoolTac.v COQC theories/Tactics/Equality.v COQC theories/Tactics/MonadTac.v COQC theories/Tactics/Parametric.v COQC theories/Tactics/Reify.v COQC theories/Tactics/Hide.v COQC theories/Data/Monads/StateMonad.v COQC theories/Data/Graph/BuildGraph.v COQC theories/Data/Monads/WriterMonad.v COQC theories/Data/Graph/Graph.v COQC theories/Data/Graph/GraphAdjList.v COQC theories/Data/Monads/FuelMonad.v COQC theories/Data/Graph/GraphAlgos.v COQC theories/Data/Monads/OptionMonad.v COQC theories/Data/Map/FMapAList.v File "./theories/Data/Map/FMapAList.v", line 77, characters 31-38: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] COQC theories/Data/Map/FMapTwoThreeK.v COQC theories/Data/Monads/ContMonad.v COQC theories/Data/Monads/EitherMonad.v COQC theories/Data/Monads/FuelMonadLaws.v COQC theories/Data/Monads/IdentityMonadLaws.v COQC theories/Data/Monads/IStateMonad.v COQC theories/Data/Monads/OptionMonadLaws.v COQC theories/Data/Monads/ReaderMonad.v COQC theories/Data/Monads/ReaderMonadLaws.v COQC theories/Data/Set/ListSet.v COQC theories/Data/Set/SetMap.v COQC theories/Data/Set/TwoThreeTrees.v make[2]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0' make -C examples make[2]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0/examples' coq_makefile -f _CoqProject -o Makefile.coq Warning: ../theories (used in -R or -Q) is not a subdirectory of the current directory Warning: No common logical root. Warning: In this case the -docroot option should be given. Warning: Otherwise the install-doc target is going to install files Warning: in orphan_ExtLib_ExtLibExamples make -f Makefile.coq make[3]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0/examples' COQDEP VFILES COQC ConsiderDemo.v COQC EvalWithExc.v = inr (Int 3) : string + value = inl "expected integer got bool"%string : string + value COQC MonadReasoning.v COQC Printing.v = (tt, ?ST 1 (string -> string) String {| Monoid.monoid_plus := fun (g f : string -> string) (x : string) => g (f x); Monoid.monoid_unit := fun x : string => x |} (?ST0@{u:=tt} 2 (string -> string) String {| Monoid.monoid_plus := fun (g f : string -> string) (x : string) => g (f x); Monoid.monoid_unit := fun x : string => x |} ""%string)) : unit * string where ?ST : [ |- Show nat] ?ST0 : [u : unit |- Show nat] = (tt, String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii true false true false false true true false) (String (...) (...)))))))))))))))))))))))) : unit * string where ?ST : [u : unit |- Show nat] = (tt, String (Ascii.Ascii false false false true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii false false false false false true false false) (?ST@{u:=tt} 2 (string -> string) String {| Monoid.monoid_plus := fun (g f : string -> string) (x : string) => g (f x); Monoid.monoid_unit := fun x : string => x |} ""%string))))))) : unit * string where ?ST : [u : unit |- Show nat] COQC UsingSets.v = false : bool = ?Foldable_set (list ?V) cons nil ((let (_, _, _, _, _, _, _, _, add, _) := ?DSet in add) true ((let (_, _, _, _, _, _, _, _, add, _) := ?DSet0 in add) true (let (_, empty, _, _, _, _, _, _, _, _) := ?DSet1 in empty))) : list ?V where ?V : [ |- Type] ?set : [ |- Type] ?Foldable_set : [ |- Foldable ?set ?V] ?DSet : [ |- DSet ?set bool] ?DSet0 : [ |- DSet ?set bool] ?T : [ |- Type] ?DSet1 : [ |- DSet ?set ?T] = (let (fmap) := ?Functor in fmap) bool bool (fun b : bool => if b then false else true) ((let (_, _, _, _, _, _, _, _, add, _) := ?DSet in add) true (let (_, empty, _, _, _, _, _, _, _, _) := ?DSet0 in empty)) : ?F bool where ?F : [ |- Set -> Type] ?Functor : [ |- Functor ?F] ?DSet : [ |- DSet (?F bool) bool] ?T : [ |- Type] ?DSet0 : [ |- DSet (?F bool) ?T] COQC WithDemo.v = {| a := true; b := 1; c := false |} : RTest = RTest -> false = false : Prop COQC Notations.v COQC StateTMonad.v make[3]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0/examples' make[2]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0/examples' make[1]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0' dh_auto_test create-stamp debian/debhelper-build-stamp dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0' make install DESTDIR=/build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp make[2]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0' make -f Makefile.coq install make[3]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0' INSTALL theories/ExtLib.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib/ INSTALL theories/Tactics.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib/ INSTALL theories/Core/Any.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/CmpDec.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/EquivDec.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/RelDec.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/Decision.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Structures/Applicative.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/BinOps.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoFunctor.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonadLaws.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/EqDep.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Foldable.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/FunctorLaws.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Functor.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/IXMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Maps.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadCont.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadExc.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadFix.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadLaws.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadPlus.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadReader.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadState.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monads.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadTrans.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadWriter.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadZero.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monoid.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Reducible.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Sets.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Traversable.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Data/Bool.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Char.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Checked.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq/UIP_trans.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Eq INSTALL theories/Data/Fin.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Fun.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/HList.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/LazyList.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Lazy.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListFirstnSkipn.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListNth.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/List.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Member.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Nat.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/N.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Option.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Pair.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Positive.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PreFun.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Prop.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SigT.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Stream.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/String.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SumN.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Sum.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Tuple.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Unit.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Vector.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Z.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/POption.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PList.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PPair.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Generic/Data.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/DerivingData.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Func.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Ind.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Programming/Eqv.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Extras.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Injection.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Le.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Show.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/With.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Recur/Facts.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/GenRec.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Measure.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Relation.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Relations/Compose.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Relations INSTALL theories/Relations/TransitiveClosure.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Relations INSTALL theories/Tactics/BoolTac.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Cases.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Consider.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/EqDep.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Equality.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Forward.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Injection.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/MonadTac.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Parametric.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Reify.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Hide.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Data/Graph/BuildGraph.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAdjList.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAlgos.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/Graph.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Map/FMapAList.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapPositive.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapTwoThreeK.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Monads/ContMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/EitherMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonadLaws.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonadLaws.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IStateMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonadLaws.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonadLaws.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/StateMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/WriterMonad.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Set/ListSet.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/SetMap.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/TwoThreeTrees.vo /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set INSTALL theories/ExtLib.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib/ INSTALL theories/Tactics.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib/ INSTALL theories/Core/Any.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/CmpDec.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/EquivDec.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/RelDec.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/Decision.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Structures/Applicative.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/BinOps.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoFunctor.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonadLaws.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/EqDep.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Foldable.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/FunctorLaws.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Functor.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/IXMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Maps.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadCont.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadExc.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadFix.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadLaws.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadPlus.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadReader.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadState.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monads.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadTrans.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadWriter.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadZero.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monoid.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Reducible.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Sets.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Traversable.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Data/Bool.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Char.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Checked.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq/UIP_trans.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Eq INSTALL theories/Data/Fin.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Fun.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/HList.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/LazyList.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Lazy.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListFirstnSkipn.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListNth.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/List.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Member.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Nat.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/N.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Option.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Pair.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Positive.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PreFun.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Prop.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SigT.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Stream.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/String.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SumN.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Sum.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Tuple.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Unit.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Vector.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Z.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/POption.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PList.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PPair.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Generic/Data.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/DerivingData.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Func.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Ind.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Programming/Eqv.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Extras.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Injection.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Le.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Show.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/With.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Recur/Facts.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/GenRec.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Measure.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Relation.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Relations/Compose.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Relations INSTALL theories/Relations/TransitiveClosure.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Relations INSTALL theories/Tactics/BoolTac.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Cases.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Consider.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/EqDep.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Equality.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Forward.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Injection.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/MonadTac.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Parametric.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Reify.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Hide.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Data/Graph/BuildGraph.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAdjList.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAlgos.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/Graph.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Map/FMapAList.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapPositive.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapTwoThreeK.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Monads/ContMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/EitherMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonadLaws.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonadLaws.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IStateMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonadLaws.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonadLaws.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/StateMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/WriterMonad.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Set/ListSet.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/SetMap.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/TwoThreeTrees.v /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set INSTALL theories/ExtLib.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib/ INSTALL theories/Tactics.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib/ INSTALL theories/Core/Any.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/CmpDec.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/EquivDec.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/RelDec.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Core/Decision.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Core INSTALL theories/Structures/Applicative.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/BinOps.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoFunctor.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonadLaws.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/EqDep.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Foldable.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/FunctorLaws.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Functor.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/IXMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Maps.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadCont.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadExc.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadFix.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadLaws.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadPlus.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadReader.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadState.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monads.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadTrans.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadWriter.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadZero.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monoid.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Reducible.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Sets.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Traversable.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Structures INSTALL theories/Data/Bool.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Char.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Checked.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq/UIP_trans.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Eq INSTALL theories/Data/Fin.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Fun.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/HList.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/LazyList.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Lazy.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListFirstnSkipn.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListNth.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/List.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Member.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Nat.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/N.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Option.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Pair.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Positive.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PreFun.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Prop.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SigT.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Stream.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/String.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SumN.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Sum.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Tuple.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Unit.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Vector.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Z.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/POption.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PList.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PPair.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data INSTALL theories/Generic/Data.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/DerivingData.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Func.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Ind.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Generic INSTALL theories/Programming/Eqv.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Extras.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Injection.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Le.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Show.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/With.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Programming INSTALL theories/Recur/Facts.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/GenRec.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Measure.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Relation.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Recur INSTALL theories/Relations/Compose.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Relations INSTALL theories/Relations/TransitiveClosure.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Relations INSTALL theories/Tactics/BoolTac.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Cases.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Consider.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/EqDep.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Equality.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Forward.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Injection.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/MonadTac.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Parametric.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Reify.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Hide.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Tactics INSTALL theories/Data/Graph/BuildGraph.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAdjList.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAlgos.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/Graph.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Map/FMapAList.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapPositive.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapTwoThreeK.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Monads/ContMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/EitherMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonadLaws.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonadLaws.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IStateMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonadLaws.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonadLaws.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/StateMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/WriterMonad.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Set/ListSet.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/SetMap.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/TwoThreeTrees.glob /build/reproducible-path/coq-ext-lib-0.13.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq//user-contrib/ExtLib//Data/Set make[4]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0' make[4]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0' make[3]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0' make[2]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0' make[1]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0' dh_install dh_ocamldoc dh_installdocs dh_installchangelogs dh_installexamples 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_ocaml dh_coq dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'libcoq-ext-lib' in '../libcoq-ext-lib_0.13.0-1+ocaml20250313_amd64.deb'. dpkg-genbuildinfo -O../coq-ext-lib_0.13.0-1+ocaml20250313_amd64.buildinfo dpkg-genchanges -sa -O../coq-ext-lib_0.13.0-1+ocaml20250313_amd64.changes dpkg-genchanges: info: including full source code in upload dpkg-source --after-build . dpkg-buildpackage: info: full upload (original source is included) -------------------------------------------------------------------------------- Build finished at 2025-03-13T10:07:10Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Thu, 13 Mar 2025 10:07:10 +0000 | +------------------------------------------------------------------------------+ coq-ext-lib_0.13.0-1+ocaml20250313_amd64.changes: ------------------------------------------------- Format: 1.8 Date: Thu, 13 Mar 2025 11:04:42 +0100 Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: source amd64 Version: 0.13.0-1+ocaml20250313 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: libcoq-ext-lib - Collection of theories and plugins for Coq Changes: coq-ext-lib (0.13.0-1+ocaml20250313) bookworm-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.3.0 Checksums-Sha1: fc8c37bd890d1e744c1c87ccb3b9297db83a0449 1237 coq-ext-lib_0.13.0-1+ocaml20250313.dsc 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz 1af153de9befee7eff4535e6ac59c788394737ea 2460 coq-ext-lib_0.13.0-1+ocaml20250313.debian.tar.xz 1fd8dec8b776b77039ba4e426910a251920d9a8b 6839 coq-ext-lib_0.13.0-1+ocaml20250313_amd64.buildinfo 0fdb7003545af902b37f07c605cf389ccbf31d1c 762556 libcoq-ext-lib_0.13.0-1+ocaml20250313_amd64.deb Checksums-Sha256: 801a7d4d8e563c13bdc7cddd9b316bc2e12fb08920f48aa2c8e0310c064323a0 1237 coq-ext-lib_0.13.0-1+ocaml20250313.dsc e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz 0a03dbf112d8eb14bb06d6c234f75d959b14fde49c3a5ae38cfd9f54671e8481 2460 coq-ext-lib_0.13.0-1+ocaml20250313.debian.tar.xz 2dc735736ebe275261525ef0f3ad83da3ee70f1799995218dfc035c0451095f5 6839 coq-ext-lib_0.13.0-1+ocaml20250313_amd64.buildinfo 83f59d58d3cabfa92685d22f2f589f82f37cd9c5392a4f87459ff9e02b2a10a4 762556 libcoq-ext-lib_0.13.0-1+ocaml20250313_amd64.deb Files: ae9e5462f273d7cb05653b5eb117f59e 1237 ocaml optional coq-ext-lib_0.13.0-1+ocaml20250313.dsc 0393eb00e923631c5316bfd49144c95b 85306 ocaml optional coq-ext-lib_0.13.0.orig.tar.gz 6172d1150c12a406015f447d18924f79 2460 ocaml optional coq-ext-lib_0.13.0-1+ocaml20250313.debian.tar.xz b948030d4c30b7faf5cbc774b238a7ca 6839 ocaml optional coq-ext-lib_0.13.0-1+ocaml20250313_amd64.buildinfo a075a41f6265d0e6ef4bb8b031d5a377 762556 ocaml optional libcoq-ext-lib_0.13.0-1+ocaml20250313_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Thu, 13 Mar 2025 10:07:11 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: amd64 source Version: 0.13.0-1+ocaml20250313 Checksums-Md5: ae9e5462f273d7cb05653b5eb117f59e 1237 coq-ext-lib_0.13.0-1+ocaml20250313.dsc a075a41f6265d0e6ef4bb8b031d5a377 762556 libcoq-ext-lib_0.13.0-1+ocaml20250313_amd64.deb Checksums-Sha1: fc8c37bd890d1e744c1c87ccb3b9297db83a0449 1237 coq-ext-lib_0.13.0-1+ocaml20250313.dsc 0fdb7003545af902b37f07c605cf389ccbf31d1c 762556 libcoq-ext-lib_0.13.0-1+ocaml20250313_amd64.deb Checksums-Sha256: 801a7d4d8e563c13bdc7cddd9b316bc2e12fb08920f48aa2c8e0310c064323a0 1237 coq-ext-lib_0.13.0-1+ocaml20250313.dsc 83f59d58d3cabfa92685d22f2f589f82f37cd9c5392a4f87459ff9e02b2a10a4 762556 libcoq-ext-lib_0.13.0-1+ocaml20250313_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Thu, 13 Mar 2025 10:07:10 +0000 Build-Path: /build/reproducible-path/coq-ext-lib-0.13.0 Build-Tainted-By: merged-usr-via-aliased-dirs Installed-Build-Depends: autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-12), autotools-dev (= 20220109.1), base-files (= 12.4+deb12u9), base-passwd (= 3.6.1), bash (= 5.2.15-2+b7), binutils (= 2.40-2), binutils-common (= 2.40-2), binutils-x86-64-linux-gnu (= 2.40-2), bsdextrautils (= 2.38.1-5+deb12u3), bsdutils (= 1:2.38.1-5+deb12u3), build-essential (= 12.9), bzip2 (= 1.0.8-5+b1), coq (= 8.20.1+dfsg-1+ocaml20250313), coreutils (= 9.1-1), cpp (= 4:12.2.0-3), cpp-12 (= 12.2.0-14), dash (= 0.5.12-2), debconf (= 1.5.82), debhelper (= 13.11.4), debianutils (= 5.7-0.5~deb12u1), dh-autoreconf (= 20), dh-coq (= 0.14+ocaml20250313), dh-ocaml (= 2.4+ocaml20250313), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.8-4), dpkg (= 1.21.22), dpkg-dev (= 1.21.22), dwz (= 0.15-1), file (= 1:5.44-3), findutils (= 4.9.0-4), g++ (= 4:12.2.0-3), g++-12 (= 12.2.0-14), gcc (= 4:12.2.0-3), gcc-12 (= 12.2.0-14), gcc-12-base (= 12.2.0-14), gettext (= 0.21-12), gettext-base (= 0.21-12), grep (= 3.8-5), groff-base (= 1.22.4-10), gzip (= 1.12-1), hostname (= 3.23+nmu1), init-system-helpers (= 1.65.2), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.1-3), libarchive-zip-perl (= 1.68-1), libasan8 (= 12.2.0-14), libatomic1 (= 12.2.0-14), libattr1 (= 1:2.5.1-4), libaudit-common (= 1:3.0.9-1), libaudit1 (= 1:3.0.9-1), libbinutils (= 2.40-2), libblkid1 (= 2.38.1-5+deb12u3), libbz2-1.0 (= 1.0.8-5+b1), libc-bin (= 2.36-9+deb12u9), libc-dev-bin (= 2.36-9+deb12u9), libc6 (= 2.36-9+deb12u9), libc6-dev (= 2.36-9+deb12u9), libcap-ng0 (= 0.8.3-1+b3), libcap2 (= 1:2.66-4), libcc1-0 (= 12.2.0-14), libcom-err2 (= 1.47.0-2), libcompiler-libs-ocaml-dev (= 5.3.0-2+ocaml20250313), libconfig-tiny-perl (= 2.28-2), libcoq-core-ocaml (= 8.20.1+dfsg-1+ocaml20250313), libcoq-core-ocaml-dev (= 8.20.1+dfsg-1+ocaml20250313), libcoq-stdlib (= 8.20.1+dfsg-1+ocaml20250313), libcrypt-dev (= 1:4.4.33-2), libcrypt1 (= 1:4.4.33-2), libctf-nobfd0 (= 2.40-2), libctf0 (= 2.40-2), libdb5.3 (= 5.3.28+dfsg2-1), libdebconfclient0 (= 0.270), libdebhelper-perl (= 13.11.4), libdpkg-perl (= 1.21.22), libelf1 (= 0.188-2.1), libexpat1 (= 2.5.0-1+deb12u1), libffi8 (= 3.4.4-1), libfile-find-rule-perl (= 0.34-3), libfile-stripnondeterminism-perl (= 1.13.1-1), libfindlib-ocaml (= 1.9.8-1+ocaml20250313), libfindlib-ocaml-dev (= 1.9.8-1+ocaml20250313), libgcc-12-dev (= 12.2.0-14), libgcc-s1 (= 12.2.0-14), libgcrypt20 (= 1.10.1-3), libgdbm-compat4 (= 1.23-3), libgdbm6 (= 1.23-3), libgmp-dev (= 2:6.2.1+dfsg1-1.1), libgmp10 (= 2:6.2.1+dfsg1-1.1), libgmp3-dev (= 2:6.2.1+dfsg1-1.1), libgmpxx4ldbl (= 2:6.2.1+dfsg1-1.1), libgomp1 (= 12.2.0-14), libgpg-error0 (= 1.46-1), libgprofng0 (= 2.40-2), libgssapi-krb5-2 (= 1.20.1-2+deb12u2), libicu72 (= 72.1-3), libisl23 (= 0.25-1.1), libitm1 (= 12.2.0-14), libjansson4 (= 2.14-2), libk5crypto3 (= 1.20.1-2+deb12u2), libkeyutils1 (= 1.6.3-2), libkrb5-3 (= 1.20.1-2+deb12u2), libkrb5support0 (= 1.20.1-2+deb12u2), liblsan0 (= 12.2.0-14), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.1-0.2), libmagic-mgc (= 1:5.44-3), libmagic1 (= 1:5.44-3), libmd0 (= 1.0.4-2), libmount1 (= 2.38.1-5+deb12u3), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.0-1), libncurses-dev (= 6.4-4), libncurses6 (= 6.4-4), libncursesw6 (= 6.4-4), libnsl-dev (= 1.3.0-2), libnsl2 (= 1.3.0-2), libnumber-compare-perl (= 0.03-3), libpam-modules (= 1.5.2-6+deb12u1), libpam-modules-bin (= 1.5.2-6+deb12u1), libpam-runtime (= 1.5.2-6+deb12u1), libpam0g (= 1.5.2-6+deb12u1), libpcre2-8-0 (= 10.42-1), libperl5.36 (= 5.36.0-7+deb12u1), libpipeline1 (= 1.5.7-1), libpython3-stdlib (= 3.11.2-1+b1), libpython3.11-minimal (= 3.11.2-6+deb12u5), libpython3.11-stdlib (= 3.11.2-6+deb12u5), libquadmath0 (= 12.2.0-14), libreadline8 (= 8.2-1.3), libseccomp2 (= 2.5.4-1+deb12u1), libselinux1 (= 3.4-1+b6), libsmartcols1 (= 2.38.1-5+deb12u3), libsqlite3-0 (= 3.40.1-2+deb12u1), libssl3 (= 3.0.15-1~deb12u1), libstdc++-12-dev (= 12.2.0-14), libstdc++6 (= 12.2.0-14), libstdlib-ocaml (= 5.3.0-2+ocaml20250313), libstdlib-ocaml-dev (= 5.3.0-2+ocaml20250313), libsub-override-perl (= 0.09-4), libsystemd0 (= 252.33-1~deb12u1), libtext-glob-perl (= 0.11-3), libtinfo6 (= 6.4-4), libtirpc-common (= 1.3.3+ds-1), libtirpc-dev (= 1.3.3+ds-1), libtirpc3 (= 1.3.3+ds-1), libtool (= 2.4.7-7~deb12u1), libtsan2 (= 12.2.0-14), libubsan1 (= 12.2.0-14), libuchardet0 (= 0.0.7-1), libudev1 (= 252.33-1~deb12u1), libunistring2 (= 1.0-2), libuuid1 (= 2.38.1-5+deb12u3), libxml2 (= 2.9.14+dfsg-1.3~deb12u1), libzarith-ocaml (= 1.14-1+ocaml20250313), libzarith-ocaml-dev (= 1.14-1+ocaml20250313), libzstd-dev (= 1.5.4+dfsg2-5), libzstd1 (= 1.5.4+dfsg2-5), linux-libc-dev (= 6.1.123-1), login (= 1:4.13+dfsg1-1+b1), m4 (= 1.4.19-3), make (= 4.3-4.1), man-db (= 2.11.2-2), mawk (= 1.3.4.20200120-3.1), media-types (= 10.0.0), ncurses-base (= 6.4-4), ncurses-bin (= 6.4-4), ocaml (= 5.3.0-2+ocaml20250313), ocaml-base (= 5.3.0-2+ocaml20250313), ocaml-findlib (= 1.9.8-1+ocaml20250313), ocaml-interp (= 5.3.0-2+ocaml20250313), patch (= 2.7.6-7), perl (= 5.36.0-7+deb12u1), perl-base (= 5.36.0-7+deb12u1), perl-modules-5.36 (= 5.36.0-7+deb12u1), po-debconf (= 1.0.21+nmu1), python3 (= 3.11.2-1+b1), python3-minimal (= 3.11.2-1+b1), python3.11 (= 3.11.2-6+deb12u5), python3.11-minimal (= 3.11.2-6+deb12u5), readline-common (= 8.2-1.3), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-1), sensible-utils (= 0.0.17+nmu1), sysvinit-utils (= 3.06-4), tar (= 1.34+dfsg-1.2+deb12u1), usrmerge (= 37~deb12u1), util-linux (= 2.38.1-5+deb12u3), util-linux-extra (= 2.38.1-5+deb12u3), xz-utils (= 5.4.1-0.2), zlib1g (= 1:1.2.13.dfsg-1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="fr_FR.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1741860282" +------------------------------------------------------------------------------+ | Package contents Thu, 13 Mar 2025 10:07:11 +0000 | +------------------------------------------------------------------------------+ libcoq-ext-lib_0.13.0-1+ocaml20250313_amd64.deb ----------------------------------------------- new Debian package, version 2.0. size 762556 bytes: control archive=9376 bytes. 557 bytes, 16 lines control 41485 bytes, 364 lines md5sums Package: libcoq-ext-lib Source: coq-ext-lib Version: 0.13.0-1+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 2816 Depends: libcoq-stdlib-vqju6 Provides: libcoq-ext-lib-z53p4 Section: ocaml Priority: optional Homepage: https://github.com/coq-community/coq-ext-lib Description: Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. drwxr-xr-x root/root 0 2025-03-13 10:04 ./ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/ -rw-r--r-- root/root 421 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/Any.glob -rw-r--r-- root/root 373 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/Any.v -rw-r--r-- root/root 1804 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/Any.vo -rw-r--r-- root/root 7792 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/CmpDec.glob -rw-r--r-- root/root 1716 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/CmpDec.v -rw-r--r-- root/root 10888 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/CmpDec.vo -rw-r--r-- root/root 3808 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/Decision.glob -rw-r--r-- root/root 810 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/Decision.v -rw-r--r-- root/root 3679 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/Decision.vo -rw-r--r-- root/root 1274 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/EquivDec.glob -rw-r--r-- root/root 356 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/EquivDec.v -rw-r--r-- root/root 2502 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/EquivDec.vo -rw-r--r-- root/root 14313 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/RelDec.glob -rw-r--r-- root/root 4554 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/RelDec.v -rw-r--r-- root/root 12471 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Core/RelDec.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/ -rw-r--r-- root/root 838 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Bool.glob -rw-r--r-- root/root 470 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Bool.v -rw-r--r-- root/root 2460 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Bool.vo -rw-r--r-- root/root 1888 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Char.glob -rw-r--r-- root/root 902 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Char.v -rw-r--r-- root/root 4268 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Char.vo -rw-r--r-- root/root 3016 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Checked.glob -rw-r--r-- root/root 1146 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Checked.v -rw-r--r-- root/root 4947 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Checked.vo -rw-r--r-- root/root 8313 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Eq.glob -rw-r--r-- root/root 2950 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Eq.v -rw-r--r-- root/root 11681 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Eq.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Eq/ -rw-r--r-- root/root 11730 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.glob -rw-r--r-- root/root 2625 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.v -rw-r--r-- root/root 4190 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.vo -rw-r--r-- root/root 8824 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Fin.glob -rw-r--r-- root/root 3144 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Fin.v -rw-r--r-- root/root 16383 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Fin.vo -rw-r--r-- root/root 6062 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Fun.glob -rw-r--r-- root/root 1466 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Fun.v -rw-r--r-- root/root 6120 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Fun.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/ -rw-r--r-- root/root 5171 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.glob -rw-r--r-- root/root 1403 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.v -rw-r--r-- root/root 8130 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.vo -rw-r--r-- root/root 925 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/Graph.glob -rw-r--r-- root/root 288 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/Graph.v -rw-r--r-- root/root 2610 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/Graph.vo -rw-r--r-- root/root 7005 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.glob -rw-r--r-- root/root 1880 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.v -rw-r--r-- root/root 8652 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.vo -rw-r--r-- root/root 5858 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.glob -rw-r--r-- root/root 1630 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.v -rw-r--r-- root/root 6799 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.vo -rw-r--r-- root/root 121995 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/HList.glob -rw-r--r-- root/root 31820 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/HList.v -rw-r--r-- root/root 160790 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/HList.vo -rw-r--r-- root/root 2290 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Lazy.glob -rw-r--r-- root/root 810 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Lazy.v -rw-r--r-- root/root 3207 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Lazy.vo -rw-r--r-- root/root 1416 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/LazyList.glob -rw-r--r-- root/root 323 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/LazyList.v -rw-r--r-- root/root 3409 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/LazyList.vo -rw-r--r-- root/root 27255 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/List.glob -rw-r--r-- root/root 7152 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/List.v -rw-r--r-- root/root 33415 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/List.vo -rw-r--r-- root/root 9496 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/ListFirstnSkipn.glob -rw-r--r-- root/root 2278 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/ListFirstnSkipn.v -rw-r--r-- root/root 17531 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/ListFirstnSkipn.vo -rw-r--r-- root/root 7961 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/ListNth.glob -rw-r--r-- root/root 2464 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/ListNth.v -rw-r--r-- root/root 15025 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/ListNth.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/ -rw-r--r-- root/root 30037 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapAList.glob -rw-r--r-- root/root 7319 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapAList.v -rw-r--r-- root/root 33449 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapAList.vo -rw-r--r-- root/root 28274 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapPositive.glob -rw-r--r-- root/root 8876 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapPositive.v -rw-r--r-- root/root 56076 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapPositive.vo -rw-r--r-- root/root 23767 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapTwoThreeK.glob -rw-r--r-- root/root 6075 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapTwoThreeK.v -rw-r--r-- root/root 14420 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Map/FMapTwoThreeK.vo -rw-r--r-- root/root 12753 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Member.glob -rw-r--r-- root/root 3919 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Member.v -rw-r--r-- root/root 24049 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Member.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ -rw-r--r-- root/root 4631 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ContMonad.glob -rw-r--r-- root/root 1833 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ContMonad.v -rw-r--r-- root/root 5226 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ContMonad.vo -rw-r--r-- root/root 13551 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/EitherMonad.glob -rw-r--r-- root/root 2934 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/EitherMonad.v -rw-r--r-- root/root 14889 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/EitherMonad.vo -rw-r--r-- root/root 5482 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/FuelMonad.glob -rw-r--r-- root/root 1698 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/FuelMonad.v -rw-r--r-- root/root 7708 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/FuelMonad.vo -rw-r--r-- root/root 370 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/FuelMonadLaws.glob -rw-r--r-- root/root 5121 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/FuelMonadLaws.v -rw-r--r-- root/root 1019 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/FuelMonadLaws.vo -rw-r--r-- root/root 6656 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IStateMonad.glob -rw-r--r-- root/root 1212 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IStateMonad.v -rw-r--r-- root/root 7423 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IStateMonad.vo -rw-r--r-- root/root 1229 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IdentityMonad.glob -rw-r--r-- root/root 355 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IdentityMonad.v -rw-r--r-- root/root 3523 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IdentityMonad.vo -rw-r--r-- root/root 335 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IdentityMonadLaws.glob -rw-r--r-- root/root 1926 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IdentityMonadLaws.v -rw-r--r-- root/root 941 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/IdentityMonadLaws.vo -rw-r--r-- root/root 11559 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/OptionMonad.glob -rw-r--r-- root/root 3051 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/OptionMonad.v -rw-r--r-- root/root 13344 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/OptionMonad.vo -rw-r--r-- root/root 369 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/OptionMonadLaws.glob -rw-r--r-- root/root 12006 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/OptionMonadLaws.v -rw-r--r-- root/root 1019 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/OptionMonadLaws.vo -rw-r--r-- root/root 12776 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ReaderMonad.glob -rw-r--r-- root/root 2818 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ReaderMonad.v -rw-r--r-- root/root 14298 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ReaderMonad.vo -rw-r--r-- root/root 331 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ReaderMonadLaws.glob -rw-r--r-- root/root 2989 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ReaderMonadLaws.v -rw-r--r-- root/root 931 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/ReaderMonadLaws.vo -rw-r--r-- root/root 22125 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/StateMonad.glob -rw-r--r-- root/root 3885 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/StateMonad.v -rw-r--r-- root/root 19327 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/StateMonad.vo -rw-r--r-- root/root 26438 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/WriterMonad.glob -rw-r--r-- root/root 5993 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/WriterMonad.v -rw-r--r-- root/root 22059 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Monads/WriterMonad.vo -rw-r--r-- root/root 90 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/N.glob -rw-r--r-- root/root 23 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/N.v -rw-r--r-- root/root 555 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/N.vo -rw-r--r-- root/root 6527 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Nat.glob -rw-r--r-- root/root 2361 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Nat.v -rw-r--r-- root/root 14438 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Nat.vo -rw-r--r-- root/root 13804 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Option.glob -rw-r--r-- root/root 5318 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Option.v -rw-r--r-- root/root 23973 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Option.vo -rw-r--r-- root/root 22622 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PList.glob -rw-r--r-- root/root 7543 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PList.v -rw-r--r-- root/root 33364 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PList.vo -rw-r--r-- root/root 5974 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/POption.glob -rw-r--r-- root/root 2461 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/POption.v -rw-r--r-- root/root 7101 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/POption.vo -rw-r--r-- root/root 10381 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PPair.glob -rw-r--r-- root/root 2644 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PPair.v -rw-r--r-- root/root 12523 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PPair.vo -rw-r--r-- root/root 17706 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Pair.glob -rw-r--r-- root/root 3894 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Pair.v -rw-r--r-- root/root 33500 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Pair.vo -rw-r--r-- root/root 3437 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Positive.glob -rw-r--r-- root/root 1444 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Positive.v -rw-r--r-- root/root 5989 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Positive.vo -rw-r--r-- root/root 999 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PreFun.glob -rw-r--r-- root/root 361 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PreFun.v -rw-r--r-- root/root 1459 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/PreFun.vo -rw-r--r-- root/root 14262 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Prop.glob -rw-r--r-- root/root 2632 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Prop.v -rw-r--r-- root/root 9373 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Prop.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/ -rw-r--r-- root/root 8089 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/ListSet.glob -rw-r--r-- root/root 1892 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/ListSet.v -rw-r--r-- root/root 7022 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/ListSet.vo -rw-r--r-- root/root 144 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/SetMap.glob -rw-r--r-- root/root 745 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/SetMap.v -rw-r--r-- root/root 687 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/SetMap.vo -rw-r--r-- root/root 37017 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/TwoThreeTrees.glob -rw-r--r-- root/root 19479 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/TwoThreeTrees.v -rw-r--r-- root/root 23445 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Set/TwoThreeTrees.vo -rw-r--r-- root/root 4917 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/SigT.glob -rw-r--r-- root/root 1308 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/SigT.v -rw-r--r-- root/root 6645 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/SigT.vo -rw-r--r-- root/root 665 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Stream.glob -rw-r--r-- root/root 228 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Stream.v -rw-r--r-- root/root 1387 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Stream.vo -rw-r--r-- root/root 16306 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/String.glob -rw-r--r-- root/root 4677 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/String.v -rw-r--r-- root/root 16270 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/String.vo -rw-r--r-- root/root 10039 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Sum.glob -rw-r--r-- root/root 3171 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Sum.v -rw-r--r-- root/root 19493 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Sum.vo -rw-r--r-- root/root 16135 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/SumN.glob -rw-r--r-- root/root 4901 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/SumN.v -rw-r--r-- root/root 26211 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/SumN.vo -rw-r--r-- root/root 6818 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Tuple.glob -rw-r--r-- root/root 1597 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Tuple.v -rw-r--r-- root/root 11685 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Tuple.vo -rw-r--r-- root/root 469 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Unit.glob -rw-r--r-- root/root 308 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Unit.v -rw-r--r-- root/root 1955 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Unit.vo -rw-r--r-- root/root 22222 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Vector.glob -rw-r--r-- root/root 6398 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Vector.v -rw-r--r-- root/root 25088 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Vector.vo -rw-r--r-- root/root 2807 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Z.glob -rw-r--r-- root/root 1453 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Z.v -rw-r--r-- root/root 7975 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Data/Z.vo -rw-r--r-- root/root 91 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/ExtLib.glob -rw-r--r-- root/root 35 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/ExtLib.v -rw-r--r-- root/root 579 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/ExtLib.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/ -rw-r--r-- root/root 16253 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Data.glob -rw-r--r-- root/root 6271 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Data.v -rw-r--r-- root/root 16555 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Data.vo -rw-r--r-- root/root 10064 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/DerivingData.glob -rw-r--r-- root/root 2493 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/DerivingData.v -rw-r--r-- root/root 12036 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/DerivingData.vo -rw-r--r-- root/root 14547 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Func.glob -rw-r--r-- root/root 2788 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Func.v -rw-r--r-- root/root 10061 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Func.vo -rw-r--r-- root/root 22286 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Ind.glob -rw-r--r-- root/root 5240 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Ind.v -rw-r--r-- root/root 21643 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Generic/Ind.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/ -rw-r--r-- root/root 8108 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Eqv.glob -rw-r--r-- root/root 1869 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Eqv.v -rw-r--r-- root/root 9718 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Eqv.vo -rw-r--r-- root/root 15268 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Extras.glob -rw-r--r-- root/root 2691 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Extras.v -rw-r--r-- root/root 11741 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Extras.vo -rw-r--r-- root/root 1503 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Injection.glob -rw-r--r-- root/root 602 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Injection.v -rw-r--r-- root/root 2811 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Injection.vo -rw-r--r-- root/root 13901 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Le.glob -rw-r--r-- root/root 4439 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Le.v -rw-r--r-- root/root 21039 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Le.vo -rw-r--r-- root/root 18839 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Show.glob -rw-r--r-- root/root 5675 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Show.v -rw-r--r-- root/root 23447 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/Show.vo -rw-r--r-- root/root 9019 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/With.glob -rw-r--r-- root/root 1693 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/With.v -rw-r--r-- root/root 11906 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Programming/With.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/ -rw-r--r-- root/root 2590 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Facts.glob -rw-r--r-- root/root 439 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Facts.v -rw-r--r-- root/root 1691 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Facts.vo -rw-r--r-- root/root 6676 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/GenRec.glob -rw-r--r-- root/root 1233 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/GenRec.v -rw-r--r-- root/root 4232 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/GenRec.vo -rw-r--r-- root/root 4000 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Measure.glob -rw-r--r-- root/root 1164 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Measure.v -rw-r--r-- root/root 3166 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Measure.vo -rw-r--r-- root/root 1498 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Relation.glob -rw-r--r-- root/root 905 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Relation.v -rw-r--r-- root/root 3556 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Recur/Relation.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Relations/ -rw-r--r-- root/root 1004 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Relations/Compose.glob -rw-r--r-- root/root 160 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Relations/Compose.v -rw-r--r-- root/root 1225 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Relations/Compose.vo -rw-r--r-- root/root 22188 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Relations/TransitiveClosure.glob -rw-r--r-- root/root 4487 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Relations/TransitiveClosure.v -rw-r--r-- root/root 24299 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Relations/TransitiveClosure.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/ -rw-r--r-- root/root 4115 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Applicative.glob -rw-r--r-- root/root 1009 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Applicative.v -rw-r--r-- root/root 4532 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Applicative.vo -rw-r--r-- root/root 3905 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/BinOps.glob -rw-r--r-- root/root 683 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/BinOps.v -rw-r--r-- root/root 4665 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/BinOps.vo -rw-r--r-- root/root 2728 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoFunctor.glob -rw-r--r-- root/root 756 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoFunctor.v -rw-r--r-- root/root 4759 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoFunctor.vo -rw-r--r-- root/root 1701 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoMonad.glob -rw-r--r-- root/root 468 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoMonad.v -rw-r--r-- root/root 3522 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoMonad.vo -rw-r--r-- root/root 2164 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoMonadLaws.glob -rw-r--r-- root/root 587 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoMonadLaws.v -rw-r--r-- root/root 5659 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/CoMonadLaws.vo -rw-r--r-- root/root 4301 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/EqDep.glob -rw-r--r-- root/root 1218 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/EqDep.v -rw-r--r-- root/root 6331 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/EqDep.vo -rw-r--r-- root/root 6111 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Foldable.glob -rw-r--r-- root/root 1120 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Foldable.v -rw-r--r-- root/root 6434 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Foldable.vo -rw-r--r-- root/root 1445 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Functor.glob -rw-r--r-- root/root 478 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Functor.v -rw-r--r-- root/root 2617 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Functor.vo -rw-r--r-- root/root 1962 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/FunctorLaws.glob -rw-r--r-- root/root 444 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/FunctorLaws.v -rw-r--r-- root/root 3983 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/FunctorLaws.vo -rw-r--r-- root/root 4275 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/IXMonad.glob -rw-r--r-- root/root 1441 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/IXMonad.v -rw-r--r-- root/root 5855 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/IXMonad.vo -rw-r--r-- root/root 11766 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Maps.glob -rw-r--r-- root/root 2634 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Maps.v -rw-r--r-- root/root 17387 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Maps.vo -rw-r--r-- root/root 10113 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monad.glob -rw-r--r-- root/root 3131 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monad.v -rw-r--r-- root/root 9984 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monad.vo -rw-r--r-- root/root 971 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadCont.glob -rw-r--r-- root/root 206 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadCont.v -rw-r--r-- root/root 2092 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadCont.vo -rw-r--r-- root/root 1244 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadExc.glob -rw-r--r-- root/root 261 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadExc.v -rw-r--r-- root/root 2705 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadExc.vo -rw-r--r-- root/root 13697 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadFix.glob -rw-r--r-- root/root 1822 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadFix.v -rw-r--r-- root/root 8623 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadFix.vo -rw-r--r-- root/root 15583 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadLaws.glob -rw-r--r-- root/root 2620 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadLaws.v -rw-r--r-- root/root 28454 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadLaws.vo -rw-r--r-- root/root 2108 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadPlus.glob -rw-r--r-- root/root 498 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadPlus.v -rw-r--r-- root/root 3479 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadPlus.vo -rw-r--r-- root/root 4515 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadReader.glob -rw-r--r-- root/root 951 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadReader.v -rw-r--r-- root/root 3618 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadReader.vo -rw-r--r-- root/root 4761 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadState.glob -rw-r--r-- root/root 1027 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadState.v -rw-r--r-- root/root 4345 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadState.vo -rw-r--r-- root/root 570 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadTrans.glob -rw-r--r-- root/root 164 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadTrans.v -rw-r--r-- root/root 2066 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadTrans.vo -rw-r--r-- root/root 5359 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadWriter.glob -rw-r--r-- root/root 1165 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadWriter.v -rw-r--r-- root/root 5388 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadWriter.vo -rw-r--r-- root/root 1143 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadZero.glob -rw-r--r-- root/root 347 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadZero.v -rw-r--r-- root/root 2525 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/MonadZero.vo -rw-r--r-- root/root 531 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monads.glob -rw-r--r-- root/root 439 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monads.v -rw-r--r-- root/root 1857 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monads.vo -rw-r--r-- root/root 1688 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monoid.glob -rw-r--r-- root/root 632 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monoid.v -rw-r--r-- root/root 5558 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Monoid.vo -rw-r--r-- root/root 7812 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Reducible.glob -rw-r--r-- root/root 2011 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Reducible.v -rw-r--r-- root/root 6931 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Reducible.vo -rw-r--r-- root/root 16639 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Sets.glob -rw-r--r-- root/root 2806 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Sets.v -rw-r--r-- root/root 29478 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Sets.vo -rw-r--r-- root/root 3271 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Traversable.glob -rw-r--r-- root/root 768 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Traversable.v -rw-r--r-- root/root 3256 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Structures/Traversable.vo -rw-r--r-- root/root 260 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics.glob -rw-r--r-- root/root 194 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics.v -rw-r--r-- root/root 1061 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/ -rw-r--r-- root/root 4304 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/BoolTac.glob -rw-r--r-- root/root 1955 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/BoolTac.v -rw-r--r-- root/root 7441 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/BoolTac.vo -rw-r--r-- root/root 319 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Cases.glob -rw-r--r-- root/root 2767 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Cases.v -rw-r--r-- root/root 8326 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Cases.vo -rw-r--r-- root/root 15407 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Consider.glob -rw-r--r-- root/root 4492 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Consider.v -rw-r--r-- root/root 16254 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Consider.vo -rw-r--r-- root/root 4187 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/EqDep.glob -rw-r--r-- root/root 2629 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/EqDep.v -rw-r--r-- root/root 12311 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/EqDep.vo -rw-r--r-- root/root 97 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Equality.glob -rw-r--r-- root/root 319 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Equality.v -rw-r--r-- root/root 1361 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Equality.vo -rw-r--r-- root/root 1664 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Forward.glob -rw-r--r-- root/root 1449 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Forward.v -rw-r--r-- root/root 5037 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Forward.vo -rw-r--r-- root/root 468 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Hide.glob -rw-r--r-- root/root 704 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Hide.v -rw-r--r-- root/root 2267 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Hide.vo -rw-r--r-- root/root 832 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Injection.glob -rw-r--r-- root/root 911 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Injection.v -rw-r--r-- root/root 3801 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Injection.vo -rw-r--r-- root/root 152 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/MonadTac.glob -rw-r--r-- root/root 934 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/MonadTac.v -rw-r--r-- root/root 653 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/MonadTac.vo -rw-r--r-- root/root 14775 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Parametric.glob -rw-r--r-- root/root 3795 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Parametric.v -rw-r--r-- root/root 18171 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Parametric.vo -rw-r--r-- root/root 2836 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Reify.glob -rw-r--r-- root/root 670 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Reify.v -rw-r--r-- root/root 5379 2025-03-13 10:04 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ExtLib/Tactics/Reify.vo drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/share/doc/libcoq-ext-lib/ -rw-r--r-- root/root 699 2025-03-13 10:04 ./usr/share/doc/libcoq-ext-lib/changelog.Debian.gz -rw-r--r-- root/root 1526 2024-12-26 20:36 ./usr/share/doc/libcoq-ext-lib/copyright drwxr-xr-x root/root 0 2025-03-13 10:04 ./usr/share/doc/libcoq-ext-lib/examples/ -rw-r--r-- root/root 735 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/ConsiderDemo.v -rw-r--r-- root/root 2798 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/EvalWithExc.v -rw-r--r-- root/root 1408 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/MonadReasoning.v -rw-r--r-- root/root 624 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/Notations.v -rw-r--r-- root/root 1205 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/Printing.v -rw-r--r-- root/root 1593 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/StateGame.v -rw-r--r-- root/root 418 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/StateTMonad.v -rw-r--r-- root/root 852 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/UsingSets.v -rw-r--r-- root/root 669 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/WithDemo.v -rw-r--r-- root/root 506 2024-12-05 15:38 ./usr/share/doc/libcoq-ext-lib/examples/indexedstate.v drwxr-xr-x root/root 0 2025-03-13 10:04 ./var/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./var/lib/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./var/lib/coq/ drwxr-xr-x root/root 0 2025-03-13 10:04 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2025-03-13 10:04 ./var/lib/coq/md5sums/libcoq-ext-lib.checksum +------------------------------------------------------------------------------+ | Post Build Thu, 13 Mar 2025 10:07:13 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Thu, 13 Mar 2025 10:07:13 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Thu, 13 Mar 2025 10:07:14 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 12400 Build-Time: 34 Distribution: unstable Host Architecture: amd64 Install-Time: 93 Job: /tmp/tmp.ben.transition-scripts.DHbQNmc014/coq-ext-lib_0.13.0-1+ocaml20250313.dsc Machine Architecture: amd64 Package: coq-ext-lib Package-Time: 148 Source-Version: 0.13.0-1+ocaml20250313 Space: 12400 Status: successful Version: 0.13.0-1+ocaml20250313 -------------------------------------------------------------------------------- Finished at 2025-03-13T10:07:10Z Build needed 00:02:28, 12400k disk space