sbuild (Debian sbuild) 0.88.5 (01 March 2025) on derowd.up7.fr +==============================================================================+ | lem 2022-12-10+dfsg2-4+ocaml20250313 (amd64) Thu, 13 Mar 2025 07:51:52 +0000 | +==============================================================================+ Package: lem Version: 2022-12-10+dfsg2-4+ocaml20250313 Source Version: 2022-12-10+dfsg2-4+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.xBDnVngeVk... 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 07:52:09 +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 [139 kB] Get:5 http://localhost:9999/debian bookworm InRelease [151 kB] Get:6 http://localhost:9999/debian bookworm/non-free amd64 Packages [97.3 kB] Get:7 http://localhost:9999/debian bookworm/non-free-firmware amd64 Packages [6240 B] Get:8 http://localhost:9999/debian bookworm/contrib amd64 Packages [54.1 kB] Get:9 http://localhost:9999/debian bookworm/main amd64 Packages [8792 kB] Fetched 9101 kB in 1s (10.5 MB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Thu, 13 Mar 2025 07:52:11 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.rmX6VK9C2j/lem_2022-12-10+dfsg2-4+ocaml20250313.dsc exists in /tmp/tmp.ben.transition-scripts.rmX6VK9C2j; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Thu, 13 Mar 2025 07:52:11 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), ocaml, ocaml-dune (>= 2.2.0), dh-ocaml (>= 1.2), libzarith-ocaml-dev, libnum-ocaml-dev, ocaml-findlib, ocamlbuild, help2man, build-essential Filtered Build-Depends: debhelper-compat (= 13), ocaml, ocaml-dune (>= 2.2.0), dh-ocaml (>= 1.2), libzarith-ocaml-dev, libnum-ocaml-dev, ocaml-findlib, ocamlbuild, help2man, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-4v7fvL/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ Sources [725 B] Get:5 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ Packages [764 B] Fetched 2098 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 debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base help2man intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 liblocale-gettext-perl libmagic-mgc libmagic1 libncurses-dev libncurses6 libncursesw6 libnum-ocaml libnum-ocaml-dev libpipeline1 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db ocaml ocaml-base ocaml-dune ocaml-findlib ocaml-interp ocamlbuild po-debconf sensible-utils Suggested packages: autoconf-archive gnu-standards autoconf-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 Recommended packages: curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base help2man intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 liblocale-gettext-perl libmagic-mgc libmagic1 libncurses-dev libncurses6 libncursesw6 libnum-ocaml libnum-ocaml-dev libpipeline1 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db ocaml ocaml-base ocaml-dune ocaml-findlib ocaml-interp ocamlbuild po-debconf sbuild-build-depends-main-dummy sensible-utils 0 upgraded, 56 newly installed, 0 to remove and 0 not upgraded. Need to get 21.2 MB/111 MB of archives. After this operation, 351 MB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [916 B] Get:2 file:/rebuilt ./ dh-ocaml 2.4+ocaml20250313 [68.7 kB] Get:3 file:/rebuilt ./ libstdlib-ocaml 5.3.0-2+ocaml20250313 [602 kB] Get:4 http://localhost:9999/debian bookworm/main amd64 liblocale-gettext-perl amd64 1.07-5 [15.4 kB] Get:5 http://localhost:9999/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get:6 http://localhost:9999/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get:7 http://localhost:9999/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get:8 http://localhost:9999/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get:9 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-2+ocaml20250313 [7886 kB] Get:10 http://localhost:9999/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get:11 http://localhost:9999/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get:12 http://localhost:9999/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get:13 http://localhost:9999/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+deb12u3 [87.0 kB] Get:14 http://localhost:9999/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get:15 http://localhost:9999/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get:16 http://localhost:9999/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:17 http://localhost:9999/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get:18 http://localhost:9999/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get:19 http://localhost:9999/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get:20 http://localhost:9999/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get:21 http://localhost:9999/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get:22 http://localhost:9999/debian bookworm/main amd64 libtool all 2.4.7-7~deb12u1 [517 kB] Get:23 http://localhost:9999/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get:24 http://localhost:9999/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:25 http://localhost:9999/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get:26 http://localhost:9999/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get:27 http://localhost:9999/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get:28 http://localhost:9999/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get:29 http://localhost:9999/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get:30 http://localhost:9999/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get:31 http://localhost:9999/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.3~deb12u1 [687 kB] Get:32 http://localhost:9999/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get:33 http://localhost:9999/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:34 http://localhost:9999/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:35 http://localhost:9999/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get:36 http://localhost:9999/debian bookworm/main amd64 libconfig-tiny-perl all 2.28-2 [16.4 kB] Get:37 http://localhost:9999/debian bookworm/main amd64 help2man amd64 1.49.3 [198 kB] Get:38 http://localhost:9999/debian bookworm/main amd64 libgmpxx4ldbl amd64 2:6.2.1+dfsg1-1.1 [338 kB] Get:39 http://localhost:9999/debian bookworm/main amd64 libgmp-dev amd64 2:6.2.1+dfsg1-1.1 [641 kB] Get:40 http://localhost:9999/debian bookworm/main amd64 libgmp3-dev amd64 2:6.2.1+dfsg1-1.1 [331 kB] Get:41 http://localhost:9999/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get:42 http://localhost:9999/debian bookworm/main amd64 libncursesw6 amd64 6.4-4 [134 kB] Get:43 http://localhost:9999/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get:44 http://localhost:9999/debian bookworm/main amd64 libzstd-dev amd64 1.5.4+dfsg2-5 [354 kB] Get:45 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-2+ocaml20250313 [48.2 MB] Get:46 file:/rebuilt ./ ocaml-base 5.3.0-2+ocaml20250313 [493 kB] Get:47 file:/rebuilt ./ libfindlib-ocaml 1.9.8-1+ocaml20250313 [214 kB] Get:48 file:/rebuilt ./ libnum-ocaml 1.5-1+ocaml20250313 [181 kB] Get:49 file:/rebuilt ./ ocaml-interp 5.3.0-2+ocaml20250313 [7106 kB] Get:50 file:/rebuilt ./ ocaml 5.3.0-2+ocaml20250313 [18.0 MB] Get:51 file:/rebuilt ./ libnum-ocaml-dev 1.5-1+ocaml20250313 [146 kB] Get:52 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml20250313 [116 kB] Get:53 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml20250313 [142 kB] Get:54 file:/rebuilt ./ ocaml-dune 3.17.2-1+ocaml20250313 [4837 kB] Get:55 file:/rebuilt ./ ocaml-findlib 1.9.8-1+ocaml20250313 [583 kB] Get:56 file:/rebuilt ./ ocamlbuild 0.16.1-1+ocaml20250313 [1144 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 21.2 MB in 0s (56.5 MB/s) Selecting previously unselected package liblocale-gettext-perl. (Reading database ... 10779 files and directories currently installed.) Preparing to unpack .../00-liblocale-gettext-perl_1.07-5_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-5) ... 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 libdebhelper-perl. Preparing to unpack .../16-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.4.7-7~deb12u1_all.deb ... Unpacking libtool (2.4.7-7~deb12u1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../18-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../19-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 .../20-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 .../21-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 .../22-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 .../23-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../25-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../26-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 .../27-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../28-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 .../29-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../30-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../31-libconfig-tiny-perl_2.28-2_all.deb ... Unpacking libconfig-tiny-perl (2.28-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../32-dh-ocaml_2.4+ocaml20250313_all.deb ... Unpacking dh-ocaml (2.4+ocaml20250313) ... Selecting previously unselected package help2man. Preparing to unpack .../33-help2man_1.49.3_amd64.deb ... Unpacking help2man (1.49.3) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../34-libstdlib-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../35-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 .../36-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-base. Preparing to unpack .../37-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 .../38-libfindlib-ocaml_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../39-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 .../40-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 .../41-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 libncurses6:amd64. Preparing to unpack .../42-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../43-libncursesw6_6.4-4_amd64.deb ... Unpacking libncursesw6:amd64 (6.4-4) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../44-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../45-libnum-ocaml_1.5-1+ocaml20250313_amd64.deb ... Unpacking libnum-ocaml (1.5-1+ocaml20250313) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../46-ocaml-interp_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-interp (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../47-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 .../48-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../49-libnum-ocaml-dev_1.5-1+ocaml20250313_amd64.deb ... Unpacking libnum-ocaml-dev (1.5-1+ocaml20250313) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../50-libzarith-ocaml_1.14-1+ocaml20250313_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+ocaml20250313) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../51-libzarith-ocaml-dev_1.14-1+ocaml20250313_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+ocaml20250313) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../52-ocaml-dune_3.17.2-1+ocaml20250313_amd64.deb ... Unpacking ocaml-dune (3.17.2-1+ocaml20250313) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../53-ocaml-findlib_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+ocaml20250313) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../54-ocamlbuild_0.16.1-1+ocaml20250313_amd64.deb ... Unpacking ocamlbuild (0.16.1-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 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 libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.4) ... 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 ocaml-dune (3.17.2-1+ocaml20250313) ... Setting up autotools-dev (20220109.1) ... 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 libnum-ocaml (1.5-1+ocaml20250313) ... 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 libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Setting up liblocale-gettext-perl (1.07-5) ... 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 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 help2man (1.49.3) ... 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 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 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 libzarith-ocaml-dev (1.14-1+ocaml20250313) ... Setting up libnum-ocaml-dev (1.5-1+ocaml20250313) ... Setting up debhelper (13.11.4) ... Setting up ocamlbuild (0.16.1-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 07:52:48 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Thu, 13 Mar 2025 07:52:48 +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 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-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 help2man_1.49.3 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 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 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 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 liblocale-gettext-perl_1.07-5 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 libnum-ocaml_1.5-1+ocaml20250313 libnum-ocaml-dev_1.5-1+ocaml20250313 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 libquadmath0_12.2.0-14 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 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 ncurses-base_6.4-4 ncurses-bin_6.4-4 ocaml_5.3.0-2+ocaml20250313 ocaml-base_5.3.0-2+ocaml20250313 ocaml-dune_3.17.2-1+ocaml20250313 ocaml-findlib_1.9.8-1+ocaml20250313 ocaml-interp_5.3.0-2+ocaml20250313 ocamlbuild_0.16.1-1+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 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 07:52:48 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: lem Binary: lem, liblem-ocaml-dev Architecture: any Version: 2022-12-10+dfsg2-4+ocaml20250313 Maintainer: Debian OCaml Maintainers Uploaders: Bo YU Homepage: https://github.com/rems-project/lem Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/lem Vcs-Git: https://salsa.debian.org/ocaml-team/lem.git Build-Depends: debhelper-compat (= 13), ocaml, ocaml-dune (>= 2.2.0), dh-ocaml (>= 1.2), libzarith-ocaml-dev, libnum-ocaml-dev, ocaml-findlib, ocamlbuild, help2man Package-List: lem deb ocaml optional arch=any liblem-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: 99aaa1b0bc08a4bff4a07f6f10da25eab9fcfeb8 500444 lem_2022-12-10+dfsg2.orig.tar.xz 4a6fbd7d9f3a0ec4f1fe3e6e8581c6057f8dc121 9076 lem_2022-12-10+dfsg2-4+ocaml20250313.debian.tar.xz Checksums-Sha256: 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz f0a5e543893990e4239f2b5d9cea28f141b0ed2e1920d3a0c8d7097c5d91e320 9076 lem_2022-12-10+dfsg2-4+ocaml20250313.debian.tar.xz Files: 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz 47761290ec0c93b5791b1d701b6a7fa4 9076 lem_2022-12-10+dfsg2-4+ocaml20250313.debian.tar.xz dpkg-source: warning: extracting unsigned source package (lem_2022-12-10+dfsg2-4+ocaml20250313.dsc) dpkg-source: info: extracting lem in /build/reproducible-path/lem-2022-12-10+dfsg2 dpkg-source: info: unpacking lem_2022-12-10+dfsg2.orig.tar.xz dpkg-source: info: unpacking lem_2022-12-10+dfsg2-4+ocaml20250313.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 0003-fix-spell-wrong.patch dpkg-source: info: applying 0002-change-lem-lib-install-path.patch dpkg-source: info: applying 0001-change-lem-install-path.patch dpkg-source: info: applying 0004-Fix-build-on-bytecode-architectures.patch 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-4v7fvL/apt_archive/sbuild-build-depends-fakeroot-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ Release [615 B] Ign:3 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ Sources [1313 B] Get:5 copy:/build/reproducible-path/resolver-4v7fvL/apt_archive ./ Packages [1379 B] Fetched 3307 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-4v7fvL/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 0s (2145 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... 15519 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 lem dpkg-buildpackage: info: source version 2022-12-10+dfsg2-4+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 debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2' rm -rf bin/lem rm -rf lem rm -rf src/main.native rm -rf src/_build rm -rf src/version.ml rm -rf src/share_directory.ml rm -rf coq-lib/lem_*.v rm -rf library/ocaml-build-dir* rm -rf ocaml-lib/lem_*.ml rm -rf ocaml-lib/_build_num rm -rf ocaml-lib/_build_zarith rm -rf hol-lib/lemTheory.sml rm -rf hol-lib/lem_*.sml rm -rf html-lib/*.html rm -rf isabelle-lib/Lem_*.thy rm -rf tex-lib/lem-libs*.tex dh_clean make[1]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2' dh_ocamlclean dh_clean dpkg-source -b . dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building lem using existing ./lem_2022-12-10+dfsg2.orig.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: building lem in lem_2022-12-10+dfsg2-4+ocaml20250313.debian.tar.xz dpkg-source: info: building lem in lem_2022-12-10+dfsg2-4+ocaml20250313.dsc debian/rules binary dh binary --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2' /usr/bin/make make[2]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2' echo "(* Generated file -- do not edit. *)" > src/version.ml echo 'let v="2022-12-10"' >> src/version.ml echo "(* Generated file -- do not edit. *)" > src/share_directory.ml echo let d=\"/share/lem\" >> src/share_directory.ml /usr/bin/make -C src all make[3]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/src' ocamlbuild -use-ocamlfind -cflags -g main.native + ocamlfind ocamlc -config + ocamlfind ocamldep -package zarith -modules main.ml > main.ml.depends + ocamlfind ocamldep -package zarith -modules main.mli > main.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o main.cmi main.mli + ocamlfind ocamldep -package zarith -modules ast.ml > ast.ml.depends + ocamlfind ocamldep -package zarith -modules ulib/ulib.ml > ulib/ulib.ml.depends + ocamlfind ocamldep -package zarith -modules ulib/batText.mli > ulib/batText.mli.depends + ocamlfind ocamldep -package zarith -modules ulib/batUChar.mli > ulib/batUChar.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batUChar.cmi ulib/batUChar.mli + ocamlfind ocamldep -package zarith -modules ulib/batUTF8.mli > ulib/batUTF8.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batText.cmi ulib/batText.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmi ulib/batUTF8.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/ulib.cmo ulib/ulib.ml + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ast.cmo ast.ml + ocamlfind ocamldep -package zarith -modules ulib/batText.ml > ulib/batText.ml.depends + ocamlfind ocamldep -package zarith -modules ulib/batReturn.ml > ulib/batReturn.ml.depends + ocamlfind ocamldep -package zarith -modules ulib/batReturn.mli > ulib/batReturn.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batReturn.cmi ulib/batReturn.mli + ocamlfind ocamldep -package zarith -modules ulib/batUChar.ml > ulib/batUChar.ml.depends + ocamlfind ocamldep -package zarith -modules ulib/batUTF8.ml > ulib/batUTF8.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batUChar.cmx ulib/batUChar.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batReturn.cmx ulib/batReturn.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmx ulib/batUTF8.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batText.cmx ulib/batText.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/ulib.cmx ulib/ulib.ml + ocamlfind ocamldep -package zarith -modules ast_util.ml > ast_util.ml.depends + ocamlfind ocamldep -package zarith -modules ast_util.mli > ast_util.mli.depends + ocamlfind ocamldep -package zarith -modules name.mli > name.mli.depends + ocamlfind ocamldep -package zarith -modules output.mli > output.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o output.cmi output.mli + ocamlfind ocamldep -package zarith -modules path.mli > path.mli.depends + ocamlfind ocamldep -package zarith -modules ident.mli > ident.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o name.cmi name.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ident.cmi ident.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o path.cmi path.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ast_util.cmi ast_util.mli + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ast.cmx ast.ml + ocamlfind ocamldep -package zarith -modules ident.ml > ident.ml.depends + ocamlfind ocamldep -package zarith -modules name.ml > name.ml.depends + ocamlfind ocamldep -package zarith -modules output.ml > output.ml.depends + ocamlfind ocamldep -package zarith -modules reporting_basic.ml > reporting_basic.ml.depends + ocamlfind ocamldep -package zarith -modules reporting_basic.mli > reporting_basic.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o reporting_basic.cmi reporting_basic.mli + ocamlfind ocamldep -package zarith -modules pp.ml > pp.ml.depends + ocamlfind ocamldep -package zarith -modules pp.mli > pp.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pp.cmi pp.mli + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pp.cmx pp.ml + ocamlfind ocamldep -package zarith -modules util.ml > util.ml.depends + ocamlfind ocamldep -package zarith -modules util.mli > util.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o util.cmi util.mli + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting_basic.cmx reporting_basic.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o util.cmx util.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o output.cmx output.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o output.cmx output.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o name.cmx name.ml + ocamlfind ocamldep -package zarith -modules path.ml > path.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ident.cmx ident.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o path.cmx path.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o path.cmx path.ml File "path.ml", lines 109-119, characters 2-20: 109 | ..match p with 110 | | Path_list -> 0 111 | | Path_bool -> 1 112 | | Path_nat -> 2 113 | | Path_numeral -> 3 ... 116 | | Path_vector -> 6 117 | | Path_char -> 7 118 | | Path_string -> 8 119 | | Path_unit -> 9 Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Path_def (_, _) + ocamlfind ocamldep -package zarith -modules backend.ml > backend.ml.depends + ocamlfind ocamldep -package zarith -modules backend.mli > backend.mli.depends + ocamlfind ocamldep -package zarith -modules typed_ast.mli > typed_ast.mli.depends + ocamlfind ocamldep -package zarith -modules finite_map.ml > finite_map.ml.depends + ocamlfind ocamldep -package zarith -modules nvar.mli > nvar.mli.depends + ocamlfind ocamldep -package zarith -modules seplist.mli > seplist.mli.depends + ocamlfind ocamldep -package zarith -modules target.mli > target.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o finite_map.cmo finite_map.ml + ocamlfind ocamldep -package zarith -modules types.mli > types.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o nvar.cmi nvar.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o seplist.cmi seplist.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target.cmi target.mli + ocamlfind ocamldep -package zarith -modules tyvar.mli > tyvar.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o tyvar.cmi tyvar.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o types.cmi types.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o types.cmi types.mli File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typed_ast.cmi typed_ast.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o backend.cmi backend.mli + ocamlfind ocamldep -package zarith -modules backend_common.ml > backend_common.ml.depends + ocamlfind ocamldep -package zarith -modules backend_common.mli > backend_common.mli.depends + ocamlfind ocamldep -package zarith -modules macro_expander.mli > macro_expander.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o macro_expander.cmi macro_expander.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o backend_common.cmi backend_common.mli + ocamlfind ocamldep -package zarith -modules pattern_syntax.ml > pattern_syntax.ml.depends + ocamlfind ocamldep -package zarith -modules pattern_syntax.mli > pattern_syntax.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pattern_syntax.cmi pattern_syntax.mli + ocamlfind ocamldep -package zarith -modules seplist.ml > seplist.ml.depends + ocamlfind ocamldep -package zarith -modules target.ml > target.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o finite_map.cmx finite_map.ml + ocamlfind ocamldep -package zarith -modules typed_ast.ml > typed_ast.ml.depends + ocamlfind ocamldep -package zarith -modules nvar.ml > nvar.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o seplist.cmx seplist.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target.cmx target.ml + ocamlfind ocamldep -package zarith -modules types.ml > types.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o nvar.cmx nvar.ml + ocamlfind ocamldep -package zarith -modules tyvar.ml > tyvar.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o tyvar.cmx tyvar.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o types.cmx types.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o types.cmx types.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). File "types.ml", line 1615, characters 12-28: 1615 | let rec walk_constraints = function ^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable walk_constraints. + ocamlfind ocamldep -package zarith -modules typed_ast_syntax.ml > typed_ast_syntax.ml.depends + ocamlfind ocamldep -package zarith -modules typed_ast_syntax.mli > typed_ast_syntax.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmi typed_ast_syntax.mli + ocamlfind ocamldep -package zarith -modules external_constants.ml > external_constants.ml.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o external_constants.cmo external_constants.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml File "typed_ast.ml", lines 2496-2512, characters 4-13: 2496 | ....match t.term with 2497 | | Typ_wild _ | Typ_var _ | Typ_paren _ | Typ_len _ -> t (*TODO Check that parens aren't needed *) 2498 | | Typ_fn _ -> 2499 | if ctxt = TC_fn_right then 2500 | t ... 2509 | if ctxt = TC_app then 2510 | mk_tparen Ast.Unknown None t None (Some(t.typ)) 2511 | else 2512 | t Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Typ_with_sort (_, _) + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o external_constants.cmx external_constants.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml File "typed_ast_syntax.ml", lines 968-976, characters 2-52: 968 | ..match t.term with 969 | | Typ_wild _ -> ue 970 | | Typ_var _ -> ue 971 | | Typ_len _ -> ue 972 | | Typ_fn (t1, _, t2) -> add_src_t_entities (add_src_t_entities ue t1) t2 973 | | Typ_tup sp -> Seplist.fold_left (fun t ue -> add_src_t_entities ue t) ue sp 974 | | Typ_app (id, args) -> List.fold_left add_src_t_entities (used_entities_add_type ue id.descr) args 975 | | Typ_backend (_, args) -> List.fold_left add_src_t_entities ue args 976 | | Typ_paren (_, t, _) -> add_src_t_entities ue t Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Typ_with_sort (_, _) + ocamlfind ocamldep -package zarith -modules precedence.ml > precedence.ml.depends + ocamlfind ocamldep -package zarith -modules precedence.mli > precedence.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o precedence.cmi precedence.mli + ocamlfind ocamldep -package zarith -modules share_directory.ml > share_directory.ml.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o share_directory.cmo share_directory.ml + ocamlfind ocamldep -package zarith -modules target_binding.ml > target_binding.ml.depends + ocamlfind ocamldep -package zarith -modules target_binding.mli > target_binding.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_binding.cmi target_binding.mli + ocamlfind ocamldep -package zarith -modules macro_expander.ml > macro_expander.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pattern_syntax.cmx pattern_syntax.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o precedence.cmx precedence.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o precedence.cmx precedence.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). File "precedence.ml", line 85, characters 14-15: 85 | | P_special _ -> -1 ^ Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o share_directory.cmx share_directory.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_binding.cmx target_binding.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o macro_expander.cmx macro_expander.ml + ocamlfind ocamldep -package zarith -modules coq_backend.ml > coq_backend.ml.depends + ocamlfind ocamldep -package zarith -modules coq_backend_utils.ml > coq_backend_utils.ml.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend_utils.cmo coq_backend_utils.ml + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend_common.cmx backend_common.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend_common.cmx backend_common.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend_utils.cmx coq_backend_utils.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). + ocamlfind ocamldep -package zarith -modules debug.ml > debug.ml.depends + ocamlfind ocamldep -package zarith -modules pcombinators.mli > pcombinators.mli.depends + ocamlfind ocamldep -package zarith -modules syntactic_tests.mli > syntactic_tests.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pcombinators.cmi pcombinators.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o syntactic_tests.cmi syntactic_tests.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o debug.cmo debug.ml + ocamlfind ocamldep -package zarith -modules pcombinators.ml > pcombinators.ml.depends + ocamlfind ocamldep -package zarith -modules syntactic_tests.ml > syntactic_tests.ml.depends + ocamlfind ocamldep -package zarith -modules reporting.ml > reporting.ml.depends + ocamlfind ocamldep -package zarith -modules reporting.mli > reporting.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o reporting.cmi reporting.mli + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend.cmx backend.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend.cmx backend.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). File "backend.ml", lines 1643-1650, characters 2-35: 1643 | ..match c_id_string with 1644 | | "AilSyntax.Plus" -> false 1645 | | "AilSyntax.Minus" -> false 1646 | | "AilSyntax.Bnot" -> false 1647 | | "AilSyntax.Address" -> false 1648 | | "AilSyntax.Indirection" -> false 1649 | | "AilSyntax.PostfixIncr" -> true 1650 | | "AilSyntax.PostfixDecr" -> true Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: "" File "backend.ml", lines 1943-1948, characters 14-17: 1943 | ..............begin 1944 | match ppc (c_id_string',[]), ail_unary_is_postfix c_id_string' with 1945 | | (kind,(Some op_output)), true -> Ail, Some [pparg e; (concat emp op_output) ] 1946 | | (kind,(Some op_output)), false -> Ail, Some [pparg_flip_lskip (concat emp op_output) e ] 1947 | | (kind,None), true -> Ail, Some [pparg op; pparg e;] 1948 | end Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: ((_, None), false) File "backend.ml", lines 1940-1950, characters 8-11: 1940 | ........begin 1941 | match deconstruct_arg op with 1942 | | Some (c_id_string',[]) -> 1943 | begin 1944 | match ppc (c_id_string',[]), ail_unary_is_postfix c_id_string' with ... 1947 | | (kind,None), true -> Ail, Some [pparg op; pparg e;] 1948 | end 1949 | | None -> Ail, Some [pparg op; pparg e;] 1950 | end Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (c_id_string', _::_) File "backend.ml", lines 2915-2954, characters 40-73: 2915 | ........................................match t.term with 2916 | | Typ_wild(sk) -> t 2917 | | Typ_var(sk,tv) -> t 2918 | | Typ_len(n) -> t 2919 | | Typ_fn(t1,sk,t2) -> ... 2951 | { t with term = Typ_backend(id, List.map (hol_strip_args_t type_names) ts) } 2952 | end 2953 | | Typ_paren(sk1,t,sk2) -> 2954 | { t with term = Typ_paren(sk1,hol_strip_args_t type_names t, sk2) } Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Typ_with_sort (_, _) File "backend.ml", line 2170, characters 9-16: 2170 | let (c_descr : Typed_ast.const_descr) = c_env_lookup Ast.Unknown A.env.c_env cd.descr in ^^^^^^^ Warning 26 [unused-var]: unused variable c_descr. File "backend.ml", line 3751, characters 64-67: 3751 | | Val_def ((Let_def(s1, targets,(p, name_map, topt,sk, e)) as def)) -> ^^^ Warning 26 [unused-var]: unused variable def. File "backend.ml", line 3762, characters 58-61: 3762 | | Val_def ((Fun_def (s1, rec_flag, targets, clauses) as def)) -> ^^^ Warning 26 [unused-var]: unused variable def. + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting.cmx reporting.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pcombinators.cmx pcombinators.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). File "syntactic_tests.ml", line 165, characters 10-70: 165 | List.map (fun x -> check_decidable_equality_def' env x true) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 5 [ignored-partial-application]: this function application is partial, maybe some arguments are missing. + ocamlfind ocamldep -package zarith -modules initial_env.ml > initial_env.ml.depends + ocamlfind ocamldep -package zarith -modules initial_env.mli > initial_env.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o initial_env.cmi initial_env.mli + ocamlfind ocamldep -package zarith -modules process_file.ml > process_file.ml.depends + ocamlfind ocamldep -package zarith -modules process_file.mli > process_file.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o process_file.cmi process_file.mli + /usr/bin/ocamllex.opt -q lexer.mll + ocamlfind ocamldep -package zarith -modules lexer.ml > lexer.ml.depends + /usr/bin/ocamlyacc parser.mly + /usr/bin/ocamlyacc parser.mly 5 rules never reduced 2 shift/reduce conflicts, 2 reduce/reduce conflicts. + ocamlfind ocamldep -package zarith -modules parser.mli > parser.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o parser.cmi parser.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o lexer.cmo lexer.ml + ocamlfind ocamldep -package zarith -modules parser.ml > parser.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o parser.cmx parser.ml + ocamlfind ocamldep -package zarith -modules trans.ml > trans.ml.depends + ocamlfind ocamldep -package zarith -modules trans.mli > trans.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o trans.cmi trans.mli + ocamlfind ocamldep -package zarith -modules patterns.ml > patterns.ml.depends + ocamlfind ocamldep -package zarith -modules patterns.mli > patterns.mli.depends + ocamlfind ocamldep -package zarith -modules def_trans.mli > def_trans.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o def_trans.cmi def_trans.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o patterns.cmi patterns.mli + ocamlfind ocamldep -package zarith -modules def_trans.ml > def_trans.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o def_trans.cmx def_trans.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o def_trans.cmx def_trans.ml File "def_trans.ml", line 129, characters 51-54: 129 | let remove_import_include _ env (((d,s),l,lenv) as def) = ^^^ Warning 26 [unused-var]: unused variable def. + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o patterns.cmx patterns.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o patterns.cmx patterns.ml File "patterns.ml", line 94, characters 35-77: 94 | let check_number_patterns env p = (for_all_subpat check_number_patterns_aux p; ()) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 10 [non-unit-statement]: this expression should have type unit. File "patterns.ml", line 2145, characters 6-21: 2145 | let new_list_wc_pat = matrix_compile_mk_pwild list_ty in ^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable new_list_wc_pat. File "patterns.ml", line 2146, characters 6-21: 2146 | let new_elem_wc_pat = matrix_compile_mk_pwild elem_ty in ^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable new_elem_wc_pat. File "patterns.ml", line 2190, characters 6-14: 2190 | let nil_pats = ^^^^^^^^ Warning 26 [unused-var]: unused variable nil_pats. File "patterns.ml", line 2192, characters 6-15: 2192 | let cons_pats = ^^^^^^^^^ Warning 26 [unused-var]: unused variable cons_pats. File "patterns.ml", line 2346, characters 6-19: 2346 | let case_fun_else p ee = ^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable case_fun_else. File "patterns.ml", line 2348, characters 6-18: 2348 | let dest_in_else e = [] in ^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable dest_in_else. File "patterns.ml", line 2349, characters 6-20: 2349 | let restr_pat_else _ = matrix_compile_mk_pwild p_ty in ^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable restr_pat_else. File "patterns.ml", line 2351, characters 6-10: 2351 | let nall = List.length all_args in ^^^^ Warning 26 [unused-var]: unused variable nall. + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o lexer.cmx lexer.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o trans.cmx trans.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o process_file.cmx process_file.ml + ocamlfind ocamldep -package zarith -modules module_dependencies.ml > module_dependencies.ml.depends + ocamlfind ocamldep -package zarith -modules module_dependencies.mli > module_dependencies.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o module_dependencies.cmi module_dependencies.mli + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ast_util.cmx ast_util.ml + ocamlfind ocamldep -package zarith -modules rename_top_level.ml > rename_top_level.ml.depends + ocamlfind ocamldep -package zarith -modules rename_top_level.mli > rename_top_level.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o rename_top_level.cmi rename_top_level.mli + ocamlfind ocamldep -package zarith -modules target_trans.ml > target_trans.ml.depends + ocamlfind ocamldep -package zarith -modules target_trans.mli > target_trans.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_trans.cmi target_trans.mli + ocamlfind ocamldep -package zarith -modules convert_relations.ml > convert_relations.ml.depends + ocamlfind ocamldep -package zarith -modules typecheck_ctxt.mli > typecheck_ctxt.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typecheck_ctxt.cmi typecheck_ctxt.mli + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml File "convert_relations.ml", lines 1494-1496, characters 6-45: 1494 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in 1495 | let c_args = sep_no_skips (List.map t_to_src_t c_args) in 1496 | (mk_name_l c_name, c_ref, None, c_args) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: None File "convert_relations.ml", lines 2014-2019, characters 6-55: 2014 | ......let ([output], equalities) = 2015 | extract_patterns env avoid [v] [true] in 2016 | let bound = Nmap.domain (pat_to_bound output) in 2017 | LET(output, u, 2018 | build_code (Nset.union bound known) indconds 2019 | sideconds2 (equalities@eqconds2) usefuleqs) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: ({typ={ _ }; rest={ _ }; _ }::{typ={ _ }; rest={ _ }; _ }::_, _) File "convert_relations.ml", line 1870, characters 6-10: 1870 | let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in ^^^^ Warning 26 [unused-var]: unused variable vars. + ocamlfind ocamldep -package zarith -modules typecheck_ctxt.ml > typecheck_ctxt.ml.depends + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck_ctxt.cmx typecheck_ctxt.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o rename_top_level.cmx rename_top_level.ml + ocamlfind ocamldep -package zarith -modules target_syntax.ml > target_syntax.ml.depends + ocamlfind ocamldep -package zarith -modules target_syntax.mli > target_syntax.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_syntax.cmi target_syntax.mli + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml File "convert_relations.ml", lines 1494-1496, characters 6-45: 1494 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in 1495 | let c_args = sep_no_skips (List.map t_to_src_t c_args) in 1496 | (mk_name_l c_name, c_ref, None, c_args) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: None File "convert_relations.ml", lines 2014-2019, characters 6-55: 2014 | ......let ([output], equalities) = 2015 | extract_patterns env avoid [v] [true] in 2016 | let bound = Nmap.domain (pat_to_bound output) in 2017 | LET(output, u, 2018 | build_code (Nset.union bound known) indconds 2019 | sideconds2 (equalities@eqconds2) usefuleqs) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: ({typ={ _ }; rest={ _ }; _ }::{typ={ _ }; rest={ _ }; _ }::_, _) File "convert_relations.ml", line 1870, characters 6-10: 1870 | let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in ^^^^ Warning 26 [unused-var]: unused variable vars. + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_syntax.cmx target_syntax.ml + ocamlfind ocamldep -package zarith -modules typecheck.ml > typecheck.ml.depends + ocamlfind ocamldep -package zarith -modules typecheck.mli > typecheck.mli.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typecheck.cmi typecheck.mli + ocamlfind ocamldep -package zarith -modules version.ml > version.ml.depends + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o version.cmo version.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o debug.cmx debug.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o initial_env.cmx initial_env.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o initial_env.cmx initial_env.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o module_dependencies.cmx module_dependencies.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_trans.cmx target_trans.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck.cmx typecheck.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck.cmx typecheck.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o version.cmx version.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o main.cmx main.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o main.cmx main.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). + ocamlfind ocamlopt -linkpkg -I +str str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native make[3]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/src' ln -sf src/main.native lem cat lem.sh >lem chmod a+x lem mkdir -p bin cd bin && ln -sf ../src/main.native lem /usr/bin/make -C library make[3]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/library' /usr/bin/make -C .. build-lem make[4]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2' echo "(* Generated file -- do not edit. *)" > src/version.ml echo 'let v="2022-12-10"' >> src/version.ml echo "(* Generated file -- do not edit. *)" > src/share_directory.ml echo let d=\"/share/lem\" >> src/share_directory.ml /usr/bin/make -C src all make[5]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/src' ocamlbuild -use-ocamlfind -cflags -g main.native + ocamlfind ocamlc -config + ocamlfind ocamlopt -linkpkg -I +str str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native make[5]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/src' ln -sf src/main.native lem make[4]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2' ../lem -ocaml -outdir ../ocaml-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output ../lem -hol -hol_remove_matches -outdir ../hol-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output ../lem -isa -outdir ../isabelle-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output ../lem -coq -outdir ../coq-lib -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output ../lem -tex_all ../tex-lib/lem-libs.tex -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem ../lem -html -outdir ../html-lib -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem make[3]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/library' /usr/bin/make ocaml-libs make[3]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2' /usr/bin/make -C ocaml-lib all make[4]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:27: warning: ignoring old recipe for target 'clean' ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa + ocamlfind ocamlc -config + ocamlfind ocamldep -package zarith -modules num_impl_zarith/big_int_impl.mli > num_impl_zarith/big_int_impl.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmi num_impl_zarith/big_int_impl.mli + ocamlfind ocamldep -package zarith -modules num_impl_zarith/big_int_impl.ml > num_impl_zarith/big_int_impl.ml.depends + ocamlfind ocamldep -package zarith -modules num_impl_zarith/rational_impl.mli > num_impl_zarith/rational_impl.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmi num_impl_zarith/rational_impl.mli + ocamlfind ocamldep -package zarith -modules num_impl_zarith/rational_impl.ml > num_impl_zarith/rational_impl.ml.depends + ocamlfind ocamldep -package zarith -modules nat_big_num.mli > nat_big_num.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_big_num.cmi nat_big_num.mli + ocamlfind ocamldep -package zarith -modules nat_big_num.ml > nat_big_num.ml.depends + ocamlfind ocamldep -package zarith -modules nat_num.mli > nat_num.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_num.cmi nat_num.mli + ocamlfind ocamldep -package zarith -modules nat_num.ml > nat_num.ml.depends + ocamlfind ocamldep -package zarith -modules rational.mli > rational.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o rational.cmi rational.mli + ocamlfind ocamldep -package zarith -modules rational.ml > rational.ml.depends + ocamlfind ocamldep -package zarith -modules pset.mli > pset.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pset.cmi pset.mli + ocamlfind ocamldep -package zarith -modules pset.ml > pset.ml.depends + ocamlfind ocamldep -package zarith -modules pmap.mli > pmap.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pmap.cmi pmap.mli + ocamlfind ocamldep -package zarith -modules pmap.ml > pmap.ml.depends + ocamlfind ocamldep -package zarith -modules vector.mli > vector.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o vector.cmi vector.mli + ocamlfind ocamldep -package zarith -modules vector.ml > vector.ml.depends + ocamlfind ocamldep -package zarith -modules bit.mli > bit.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o bit.cmi bit.mli + ocamlfind ocamldep -package zarith -modules bit.ml > bit.ml.depends + ocamlfind ocamldep -package zarith -modules xstring.mli > xstring.mli.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o xstring.cmi xstring.mli + ocamlfind ocamldep -package zarith -modules xstring.ml > xstring.ml.depends + ocamlfind ocamldep -package zarith -modules either.ml > either.ml.depends + ocamlfind ocamldep -package zarith -modules lem.ml > lem.ml.depends + ocamlfind ocamldep -package zarith -modules lem_assert_extra.ml > lem_assert_extra.ml.depends + ocamlfind ocamldep -package zarith -modules lem_basic_classes.ml > lem_basic_classes.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem.cmo lem.ml + ocamlfind ocamldep -package zarith -modules lem_bool.ml > lem_bool.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_bool.cmo lem_bool.ml + ocamlfind ocamldep -package zarith -modules lem_either.ml > lem_either.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o either.cmo either.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_basic_classes.cmo lem_basic_classes.ml + ocamlfind ocamldep -package zarith -modules lem_list.ml > lem_list.ml.depends + ocamlfind ocamldep -package zarith -modules lem_function.ml > lem_function.ml.depends + ocamlfind ocamldep -package zarith -modules lem_maybe.ml > lem_maybe.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_function.cmo lem_function.ml + ocamlfind ocamldep -package zarith -modules lem_num.ml > lem_num.ml.depends + ocamlfind ocamldep -package zarith -modules lem_tuple.ml > lem_tuple.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_maybe.cmo lem_maybe.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_num.cmo lem_num.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_tuple.cmo lem_tuple.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_list.cmo lem_list.ml + ocamlfind ocamldep -package zarith -modules lem_function_extra.ml > lem_function_extra.ml.depends + ocamlfind ocamldep -package zarith -modules lem_list_extra.ml > lem_list_extra.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_assert_extra.cmo lem_assert_extra.ml + ocamlfind ocamldep -package zarith -modules lem_machine_word.ml > lem_machine_word.ml.depends + ocamlfind ocamldep -package zarith -modules lem_show.ml > lem_show.ml.depends + ocamlfind ocamldep -package zarith -modules lem_string.ml > lem_string.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_string.cmo lem_string.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_show.cmo lem_show.ml + ocamlfind ocamldep -package zarith -modules lem_map.ml > lem_map.ml.depends + ocamlfind ocamldep -package zarith -modules lem_set.ml > lem_set.ml.depends + ocamlfind ocamldep -package zarith -modules lem_set_helpers.ml > lem_set_helpers.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set_helpers.cmo lem_set_helpers.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set.cmo lem_set.ml + ocamlfind ocamldep -package zarith -modules lem_map_extra.ml > lem_map_extra.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_map.cmo lem_map.ml + ocamlfind ocamldep -package zarith -modules lem_maybe_extra.ml > lem_maybe_extra.ml.depends + ocamlfind ocamldep -package zarith -modules lem_num_extra.ml > lem_num_extra.ml.depends + ocamlfind ocamldep -package zarith -modules lem_pervasives.ml > lem_pervasives.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_either.cmo lem_either.ml + ocamlfind ocamldep -package zarith -modules lem_word.ml > lem_word.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_word.cmo lem_word.ml + ocamlfind ocamldep -package zarith -modules lem_pervasives_extra.ml > lem_pervasives_extra.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_function_extra.cmo lem_function_extra.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_list_extra.cmo lem_list_extra.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_machine_word.cmo lem_machine_word.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_map_extra.cmo lem_map_extra.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_maybe_extra.cmo lem_maybe_extra.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_num_extra.cmo lem_num_extra.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_pervasives.cmo lem_pervasives.ml + ocamlfind ocamldep -package zarith -modules lem_set_extra.ml > lem_set_extra.ml.depends + ocamlfind ocamldep -package zarith -modules lem_sorting.ml > lem_sorting.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_sorting.cmo lem_sorting.ml + ocamlfind ocamldep -package zarith -modules lem_show_extra.ml > lem_show_extra.ml.depends + ocamlfind ocamldep -package zarith -modules lem_relation.ml > lem_relation.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_relation.cmo lem_relation.ml + ocamlfind ocamldep -package zarith -modules lem_string_extra.ml > lem_string_extra.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set_extra.cmo lem_set_extra.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_show_extra.cmo lem_show_extra.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_string_extra.cmo lem_string_extra.ml + ocamlfind ocamldep -package zarith -modules lem_debug.ml > lem_debug.ml.depends + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmo num_impl_zarith/big_int_impl.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmo num_impl_zarith/rational_impl.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_big_num.cmo nat_big_num.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_num.cmo nat_num.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o rational.cmo rational.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pset.cmo pset.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pmap.cmo pmap.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o vector.cmo vector.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o bit.cmo bit.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o xstring.cmo xstring.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_pervasives_extra.cmo lem_pervasives_extra.ml + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_debug.cmo lem_debug.ml + ocamlfind ocamlc -a -package zarith -I num_impl_zarith num_impl_zarith/big_int_impl.cmo num_impl_zarith/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo lem_debug.cmo -o extract.cma + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmx num_impl_zarith/big_int_impl.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmx num_impl_zarith/rational_impl.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o pset.cmx pset.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o nat_num.cmx nat_num.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o nat_big_num.cmx nat_big_num.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o xstring.cmx xstring.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem.cmx lem.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_bool.cmx lem_bool.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o either.cmx either.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_basic_classes.cmx lem_basic_classes.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_function.cmx lem_function.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o rational.cmx rational.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_maybe.cmx lem_maybe.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_num.cmx lem_num.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_tuple.cmx lem_tuple.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_list.cmx lem_list.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_assert_extra.cmx lem_assert_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_string.cmx lem_string.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_show.cmx lem_show.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set_helpers.cmx lem_set_helpers.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o pmap.cmx pmap.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set.cmx lem_set.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_map.cmx lem_map.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_either.cmx lem_either.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_word.cmx lem_word.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_function_extra.cmx lem_function_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_list_extra.cmx lem_list_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_machine_word.cmx lem_machine_word.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_map_extra.cmx lem_map_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_maybe_extra.cmx lem_maybe_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_num_extra.cmx lem_num_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_pervasives.cmx lem_pervasives.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_sorting.cmx lem_sorting.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_relation.cmx lem_relation.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set_extra.cmx lem_set_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_show_extra.cmx lem_show_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_string_extra.cmx lem_string_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o vector.cmx vector.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o bit.cmx bit.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_pervasives_extra.cmx lem_pervasives_extra.ml + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_debug.cmx lem_debug.ml + ocamlfind ocamlopt -a -package zarith -I num_impl_zarith num_impl_zarith/big_int_impl.cmx num_impl_zarith/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx lem_debug.cmx -o extract.cmxa ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa + ocamlfind ocamlc -config + ocamlfind ocamldep -package num -modules num_impl_num/big_int_impl.mli > num_impl_num/big_int_impl.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmi num_impl_num/big_int_impl.mli + ocamlfind ocamldep -package num -modules num_impl_num/big_int_impl.ml > num_impl_num/big_int_impl.ml.depends + ocamlfind ocamldep -package num -modules num_impl_num/rational_impl.mli > num_impl_num/rational_impl.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmi num_impl_num/rational_impl.mli + ocamlfind ocamldep -package num -modules num_impl_num/rational_impl.ml > num_impl_num/rational_impl.ml.depends + ocamlfind ocamldep -package num -modules nat_big_num.mli > nat_big_num.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmi nat_big_num.mli + ocamlfind ocamldep -package num -modules nat_big_num.ml > nat_big_num.ml.depends + ocamlfind ocamldep -package num -modules nat_num.mli > nat_num.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmi nat_num.mli + ocamlfind ocamldep -package num -modules nat_num.ml > nat_num.ml.depends + ocamlfind ocamldep -package num -modules rational.mli > rational.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmi rational.mli + ocamlfind ocamldep -package num -modules rational.ml > rational.ml.depends + ocamlfind ocamldep -package num -modules pset.mli > pset.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmi pset.mli + ocamlfind ocamldep -package num -modules pset.ml > pset.ml.depends + ocamlfind ocamldep -package num -modules pmap.mli > pmap.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmi pmap.mli + ocamlfind ocamldep -package num -modules pmap.ml > pmap.ml.depends + ocamlfind ocamldep -package num -modules vector.mli > vector.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmi vector.mli + ocamlfind ocamldep -package num -modules vector.ml > vector.ml.depends + ocamlfind ocamldep -package num -modules bit.mli > bit.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmi bit.mli + ocamlfind ocamldep -package num -modules bit.ml > bit.ml.depends + ocamlfind ocamldep -package num -modules xstring.mli > xstring.mli.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmi xstring.mli + ocamlfind ocamldep -package num -modules xstring.ml > xstring.ml.depends + ocamlfind ocamldep -package num -modules either.ml > either.ml.depends + ocamlfind ocamldep -package num -modules lem.ml > lem.ml.depends + ocamlfind ocamldep -package num -modules lem_assert_extra.ml > lem_assert_extra.ml.depends + ocamlfind ocamldep -package num -modules lem_basic_classes.ml > lem_basic_classes.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem.cmo lem.ml + ocamlfind ocamldep -package num -modules lem_bool.ml > lem_bool.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_bool.cmo lem_bool.ml + ocamlfind ocamldep -package num -modules lem_either.ml > lem_either.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o either.cmo either.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_basic_classes.cmo lem_basic_classes.ml + ocamlfind ocamldep -package num -modules lem_list.ml > lem_list.ml.depends + ocamlfind ocamldep -package num -modules lem_function.ml > lem_function.ml.depends + ocamlfind ocamldep -package num -modules lem_maybe.ml > lem_maybe.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function.cmo lem_function.ml + ocamlfind ocamldep -package num -modules lem_num.ml > lem_num.ml.depends + ocamlfind ocamldep -package num -modules lem_tuple.ml > lem_tuple.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe.cmo lem_maybe.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num.cmo lem_num.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_tuple.cmo lem_tuple.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list.cmo lem_list.ml + ocamlfind ocamldep -package num -modules lem_function_extra.ml > lem_function_extra.ml.depends + ocamlfind ocamldep -package num -modules lem_list_extra.ml > lem_list_extra.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_assert_extra.cmo lem_assert_extra.ml + ocamlfind ocamldep -package num -modules lem_machine_word.ml > lem_machine_word.ml.depends + ocamlfind ocamldep -package num -modules lem_show.ml > lem_show.ml.depends + ocamlfind ocamldep -package num -modules lem_string.ml > lem_string.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string.cmo lem_string.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show.cmo lem_show.ml + ocamlfind ocamldep -package num -modules lem_map.ml > lem_map.ml.depends + ocamlfind ocamldep -package num -modules lem_set.ml > lem_set.ml.depends + ocamlfind ocamldep -package num -modules lem_set_helpers.ml > lem_set_helpers.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_helpers.cmo lem_set_helpers.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set.cmo lem_set.ml + ocamlfind ocamldep -package num -modules lem_map_extra.ml > lem_map_extra.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map.cmo lem_map.ml + ocamlfind ocamldep -package num -modules lem_maybe_extra.ml > lem_maybe_extra.ml.depends + ocamlfind ocamldep -package num -modules lem_num_extra.ml > lem_num_extra.ml.depends + ocamlfind ocamldep -package num -modules lem_pervasives.ml > lem_pervasives.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_either.cmo lem_either.ml + ocamlfind ocamldep -package num -modules lem_word.ml > lem_word.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_word.cmo lem_word.ml + ocamlfind ocamldep -package num -modules lem_pervasives_extra.ml > lem_pervasives_extra.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function_extra.cmo lem_function_extra.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list_extra.cmo lem_list_extra.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_machine_word.cmo lem_machine_word.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map_extra.cmo lem_map_extra.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe_extra.cmo lem_maybe_extra.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num_extra.cmo lem_num_extra.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives.cmo lem_pervasives.ml + ocamlfind ocamldep -package num -modules lem_set_extra.ml > lem_set_extra.ml.depends + ocamlfind ocamldep -package num -modules lem_sorting.ml > lem_sorting.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_sorting.cmo lem_sorting.ml + ocamlfind ocamldep -package num -modules lem_show_extra.ml > lem_show_extra.ml.depends + ocamlfind ocamldep -package num -modules lem_relation.ml > lem_relation.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_relation.cmo lem_relation.ml + ocamlfind ocamldep -package num -modules lem_string_extra.ml > lem_string_extra.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_extra.cmo lem_set_extra.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show_extra.cmo lem_show_extra.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string_extra.cmo lem_string_extra.ml + ocamlfind ocamldep -package num -modules lem_debug.ml > lem_debug.ml.depends + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmo num_impl_num/big_int_impl.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmo num_impl_num/rational_impl.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmo nat_big_num.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmo nat_num.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmo rational.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmo pset.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmo pmap.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmo vector.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmo bit.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmo xstring.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives_extra.cmo lem_pervasives_extra.ml + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_debug.cmo lem_debug.ml + ocamlfind ocamlc -a -package num -I num_impl_num num_impl_num/big_int_impl.cmo num_impl_num/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo lem_debug.cmo -o extract.cma + ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmx num_impl_num/big_int_impl.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmx num_impl_num/rational_impl.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o pset.cmx pset.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_num.cmx nat_num.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_big_num.cmx nat_big_num.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o xstring.cmx xstring.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem.cmx lem.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_bool.cmx lem_bool.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o either.cmx either.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_basic_classes.cmx lem_basic_classes.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function.cmx lem_function.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o rational.cmx rational.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe.cmx lem_maybe.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num.cmx lem_num.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_tuple.cmx lem_tuple.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list.cmx lem_list.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_assert_extra.cmx lem_assert_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string.cmx lem_string.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show.cmx lem_show.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_helpers.cmx lem_set_helpers.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o pmap.cmx pmap.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set.cmx lem_set.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map.cmx lem_map.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_either.cmx lem_either.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_word.cmx lem_word.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function_extra.cmx lem_function_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list_extra.cmx lem_list_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_machine_word.cmx lem_machine_word.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map_extra.cmx lem_map_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe_extra.cmx lem_maybe_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num_extra.cmx lem_num_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives.cmx lem_pervasives.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_sorting.cmx lem_sorting.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_relation.cmx lem_relation.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_extra.cmx lem_set_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show_extra.cmx lem_show_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string_extra.cmx lem_string_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o vector.cmx vector.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o bit.cmx bit.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives_extra.cmx lem_pervasives_extra.ml + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_debug.cmx lem_debug.ml + ocamlfind ocamlopt -a -package num -I num_impl_num num_impl_num/big_int_impl.cmx num_impl_num/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx lem_debug.cmx -o extract.cmxa make[4]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' /usr/bin/make -C library ocaml-lib-tests make[4]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/library' lem_basic_classesAuxiliary.ml lem_boolAuxiliary.ml lem_eitherAuxiliary.ml lem_function_extraAuxiliary.ml lem_listAuxiliary.ml lem_list_extraAuxiliary.ml lem_machine_wordAuxiliary.ml lem_mapAuxiliary.ml lem_map_extraAuxiliary.ml lem_maybeAuxiliary.ml lem_numAuxiliary.ml lem_num_extraAuxiliary.ml lem_relationAuxiliary.ml lem_setAuxiliary.ml lem_set_extraAuxiliary.ml lem_sortingAuxiliary.ml lem_stringAuxiliary.ml lem_string_extraAuxiliary.ml lem_tupleAuxiliary.ml lem_wordAuxiliary.ml *************************************************** * Testing lem_basic_classes *************************************************** ordering_cases_0: ok ordering_cases_1: ok ordering_cases_2: ok ordering_match_1: ok ordering_match_2: ok ordering_match_3: ok ordering_match_4: ok ordering_match_5: ok ordering_match_6: ok *************************************************** * Testing lem_bool *************************************************** not_1: ok not_2: ok and_1: ok and_2: ok and_3: ok and_4: ok or_1: ok or_2: ok or_3: ok or_4: ok imp_1: ok imp_2: ok imp_3: ok imp_4: ok equiv_1: ok equiv_2: ok equiv_3: ok equiv_4: ok xor_1: ok xor_2: ok xor_3: ok xor_4: ok *************************************************** * Testing lem_either *************************************************** either_equal_1: ok either_equal_2: ok either_equal_3: ok either_equal_4: ok either_equal_5: ok either_equal_6: ok either_equal_7: ok either_pattern_1: ok either_pattern_2: ok either_pattern_3: ok either_pattern_4: ok isLeft_1: ok isLeft_2: ok isRight_1: ok isRight_2: ok either_1: ok either_2: ok either_3: ok either_4: ok partitionEither_1: ok lefts_1: ok rights_1: ok *************************************************** * Testing lem_function_extra *************************************************** id_0: ok id_1: ok id_2: ok const_0: ok const_1: ok const_2: ok comb_0: ok comb_1: ok apply_0: ok apply_1: ok flip_0: ok flip_1: ok *************************************************** * Testing lem_list *************************************************** null_simple_1: ok null_simple_2: ok null_simple_3: ok length_0: ok length_1: ok length_2: ok list_ord_1: ok list_ord_2: ok list_ord_3: ok list_ord_4: ok list_ord_5: ok list_ord_6: ok list_ord_7: ok list_ord_8: ok list_ord_9: ok append_1: ok snoc_1: ok snoc_2: ok snoc_3: ok reverseAppend_1: ok reverse_nil: ok reverse_1: ok reverse_2: ok reverse_5: ok map_nil: ok map_1: ok map_2: ok map_3: ok map_4: ok map_5: ok map_6: ok foldl_0: ok foldl_1: ok foldl_4: ok foldr_0: ok foldr_1: ok foldr_4: ok concat_nil: ok concat_1: ok concat_2: ok concat_3: ok concatMap_nil: ok concatMap_1: ok concatMap_2: ok concatMap_3: ok all_0: ok all_4: ok all_4_neg: ok any_0: ok any_4: ok any_4_neg: ok dest_init_0: ok dest_init_1: ok dest_init_2: ok index_0: ok index_1: ok index_2: ok index_3: ok index_4: ok index_5: ok index_6: ok findIndices_1: ok findIndices_2: ok findIndices_3: ok find_index0: ok find_index1: ok find_index2: ok elemIndices_0: ok elemIndices_1: ok elemIndices_2: ok elemIndex_0: ok elemIndex_1: ok elemIndex_2: ok genlist_0: ok genlist_1: ok genlist_2: ok genlist_3: ok replicate_0: ok replicate_1: ok replicate_2: ok replicate_3: ok splitAt_1: ok splitAt_2: ok splitAt_3: ok take_1: ok take_2: ok take_3: ok drop_1: ok drop_2: ok drop_3: ok splitWhile_1: ok splitWhile_2: ok dropWhile_0: ok dropWhile_1: ok dropWhile_2: ok dropWhile_3: ok takeWhile_0: ok takeWhile_1: ok takeWhile_2: ok takeWhile_3: ok isPrefixOf_0: ok isPrefixOf_1: ok isPrefixOf_2: ok isPrefixOf_3: ok isPrefixOf_4: ok list_update_1: ok list_update_2: ok list_update_3: ok list_update_4: ok list_update_5: ok elem_1: ok elem_2: ok elem_3: ok elem_4: ok find_1: ok find_2: ok find_3: ok find_4: ok lookup_1: ok lookup_2: ok lookup_3: ok filter_0: ok filter_1: ok partition_0: ok partition_1: ok deleteFirst_1: ok deleteFirst_2: ok deleteFirst_3: ok delete_1: ok delete_2: ok delete_3: ok delete_4: ok zip_1: ok zip_2: ok unzip_1: ok unzip_2: ok *************************************************** * Testing lem_list_extra *************************************************** head_simple_1: ok head_simple_2: ok tail_simple_1: ok tail_simple_2: ok tail_simple_3: ok last_simple_1: ok last_simple_2: ok init_simple_1: ok init_simple_2: ok init_simple_3: ok nth_0: ok nth_1: ok nth_2: ok nth_3: ok nth_4: ok nth_5: ok zipSameLength_1: ok *************************************************** * Testing lem_machine_word *************************************************** size_test: ok size_itself_test: ok length_test: ok signedIntFromword_test: ok wordFromBitlist_test: ok bitlistFromWord_test: ok wordFromBitlist_bitListFromWord_test: ok extract_concat_test: ok update_test: ok setBit_test1: ok setBit_test2: ok setBit_test3: ok getBit_test: ok msb_test1: ok msb_test2: ok lsb_test1: ok lsb_test2: ok shift_test1: ok shift_test2: ok shift_test3: ok shift_test4: ok and_test: ok or_test: ok xor_test: ok not_test: ok rotateR_test: ok rotateL_test: ok zext_test_0: ok zext_test_1: ok wordFromInteger_nat_test1: ok wordFromInteger_nat_test2: ok plus_test: ok minus_test: ok times_test: ok udiv_test: ok sdiv_test: ok signedLess_test_1: ok signedLess_test_2: ok signedLess_test_3: ok signedLessEq_test_1: ok signedLessEq_test_2: ok signedLessEq_test_3: ok unsignedLess_test_1: ok unsignedLess_test_2: ok unsignedLess_test_3: ok unsignedLessEq_test_1: ok unsignedLessEq_test_2: ok unsignedLessEq_test_3: ok signed_shift_test1: ok sext_test_0: ok sext_test_1: ok *************************************************** * Testing lem_map *************************************************** insert_equal_singleton: ok commutative_insert_1: ok commutative_insert_2: ok empty_null: ok lookup_insert_1: ok lookup_insert_2: ok lookup_insert_3: ok lookup_empty_0: ok find_insert_0: ok fromList_0: ok fromList_1: ok toSet_0: ok toSet_1: ok toSet_2: ok domain_0: ok domain_1: ok domain_2: ok range_0: ok range_1: ok range_2: ok member_insert_1: ok member_insert_2: ok member_insert_3: ok any_0: ok any_1: ok any_2: ok any_3: ok all_0: ok all_1: ok all_2: ok all_3: ok delete_insert_1: ok delete_insert_2: ok delete_delete: ok map_0: ok empty_size: ok singleton_size: ok *************************************************** * Testing lem_map_extra *************************************************** find_insert_1: ok find_insert_2: ok *************************************************** * Testing lem_maybe *************************************************** maybe_eq_1: ok maybe_eq_2: ok maybe_eq_3: ok maybe_eq_4: ok maybe_1: ok maybe_2: ok maybe_3: ok maybe_4: ok isJust_1: ok isJust_2: ok isNothing_1: ok isNothing_2: ok fromMaybe_1: ok fromMaybe_2: ok fromMaybe_3: ok fromMaybe_4: ok map_1: ok map_2: ok map_3: ok bind_1: ok bind_2: ok bind_3: ok bind_4: ok *************************************************** * Testing lem_num *************************************************** nat_test1: ok nat_test2: ok nat_test3: ok nat_test4: ok nat_test5: ok nat_test6: ok nat_test7: ok nat_test8: ok nat_test9: ok nat_test10: ok nat_test11: ok nat_test12: ok nat_test13: ok nat_test14: ok nat_test15: ok nat_test16: ok nat_test17: ok nat_test18: ok nat_test19: ok nat_test20: ok nat_test21: ok nat_test22: ok nat_test23: ok nat_test24: ok nat_test25: ok nat_test26: ok nat_test27: ok nat_test28a: ok nat_test28b: ok nat_test29: ok natural_test1: ok natural_test2: ok natural_test3: ok natural_test4: ok natural_test5: ok natural_test6: ok natural_test7: ok natural_test8: ok natural_test9: ok natural_test10: ok natural_test11: ok natural_test12: ok natural_test13: ok natural_test14: ok natural_test15: ok natural_test16: ok natural_test17: ok natural_test18: ok natural_test19: ok natural_test20: ok natural_test21: ok natural_test22: ok natural_test23: ok natural_test24: ok natural_test25: ok natural_test26: ok natural_test27: ok natural_test28a: ok natural_test28b: ok natural_test29: ok int_test1: ok int_test2: ok int_test3: ok int_test4: ok int_test5: ok int_test6: ok int_test6a: ok int_test7: ok int_test7a: ok int_test8: ok int_test8at: ok int_test9: ok int_test10: ok int_test11: ok int_test12: ok int_test13: ok int_test14: ok int_test15: ok int_test16: ok int_test17: ok int_test18: ok int_test19: ok int_test20: ok int_test21: ok int_test22: ok int_test23: ok int_test24: ok int_test25: ok int_test26: ok int_test27: ok int_test28: ok int_test29: ok int32_test1: ok int32_test2: ok int32_test3: ok int32_test4: ok int32_test5: ok int32_test6: ok int32_test7: ok int32_test8: ok int32_test9: ok int32_test10: ok int32_test11: ok int32_test12: ok int32_test13: ok int32_test13a: ok int32_test14: ok int32_test15: ok int32_test16: ok int32_test17: ok int32_test18: ok int32_test19: ok int32_test20: ok int32_test21: ok int32_test22: ok int32_test23: ok int32_test24: ok int32_test25: ok int32_test26: ok int32_test27: ok int32_test28: ok int64_test1: ok int64_test2: ok int64_test3: ok int64_test4: ok int64_test5: ok int64_test6: ok int64_test7: ok int64_test8: ok int64_test9: ok int64_test10: ok int64_test11: ok int64_test12: ok int64_test13: ok int64_test13a: ok int64_test14: ok int64_test15: ok int64_test16: ok int64_test17: ok int64_test18: ok int64_test19: ok int64_test20: ok int64_test21: ok int64_test22: ok int64_test23: ok int64_test24: ok int64_test25: ok int64_test26: ok int64_test27: ok int64_test28: ok integer_test1: ok integer_test2: ok integer_test3: ok integer_test4: ok integer_test5: ok integer_test6: ok integer_test6a: ok integer_test7: ok integer_test7a: ok integer_test8: ok integer_test8a: ok integer_test9: ok integer_test10: ok integer_test11: ok integer_test12: ok integer_test13: ok integer_test14: ok integer_test15: ok integer_test16: ok integer_test17: ok integer_test18: ok integer_test19: ok integer_test20: ok integer_test21: ok integer_test22: ok integer_test23: ok integer_test24: ok integer_test25: ok integer_test26: ok integer_test27: ok integer_test28: ok integer_test29: ok integer_test30: ok rational_test1: ok rational_test2: ok rational_test3: ok rational_test4: ok rational_test5: ok rational_test5a: ok rational_test5b: ok rational_test5c: ok rational_test6: ok rational_test6a: ok rational_test7: ok rational_test8: ok rational_test9: ok rational_test10: ok rational_test11: ok rational_test12: ok rational_test13: ok rational_test14: ok rational_test15: ok rational_test16: ok rational_test17: ok rational_test18: ok rational_test19: ok rational_test20: ok rational_test21: ok rational_test22: ok rational_test23: ok rational_test24: ok rational_test25: ok rational_test26: ok rational_test27: ok rational_test28: ok rational_test29: ok real_test1: ok real_test2: ok real_test3: ok real_test4: ok real_test5: ok real_test5a: ok real_test5b: ok real_test5c: ok real_test6: ok real_test6a: ok real_test7: ok real_test8: ok real_test9: ok real_test10: ok real_test11: ok real_test12: ok real_test13: ok real_test14: ok real_test15: ok real_test16: ok real_test17: ok real_test18: ok real_test19: ok real_test20: ok real_test21: ok real_test22: ok real_test23: ok real_test24: ok real_test25: ok real_test26: ok real_test27: ok real_test28: ok real_test29: ok real_test30: ok real_test31: ok real_test32: ok real_test33: ok integer_from_int_0: ok integer_from_int_1: ok integer_from_int_2: ok integer_from_nat_0: ok integer_from_nat_1: ok integer_from_nat_2: ok integerFromNatural_0: ok integerFromNatural_1: ok integerFromNatural_2: ok integer_from_int32_0: ok integer_from_int32_1: ok integer_from_int32_2: ok integer_from_int32_3: ok integer_from_int32_4: ok integer_from_int32_5: ok integer_from_int64_0: ok integer_from_int64_1: ok integer_from_int64_2: ok integer_from_int64_3: ok integer_from_int64_4: ok integer_from_int64_5: ok natural_from_nat_0: ok natural_from_nat_1: ok natural_from_nat_2: ok natural_from_integer_0: ok natural_from_integer_1: ok natural_from_integer_2: ok int_from_integer_0: ok int_from_integer_1: ok int_from_integer_2: ok int_from_nat_0: ok int_from_nat_1: ok int_from_nat_2: ok nat_from_natural_0: ok nat_from_natural_1: ok nat_from_natural_2: ok nat_from_int_0: ok nat_from_int_1: ok nat_from_int_2: ok int32_from_nat_0: ok int32_from_nat_1: ok int32_from_nat_2: ok int32_from_natural_0: ok int32_from_natural_1: ok int32_from_natural_2: ok int32_from_integer_0: ok int32_from_integer_1: ok int32_from_integer_2: ok int32_from_integer_3: ok int32_from_integer_4: ok int32_from_integer_5: ok int32_from_int_0: ok int32_from_int_1: ok int32_from_int_2: ok int32_from_int_3: ok int32_from_int_4: ok int32_from_int_5: ok int32_from_int_64_0: ok int32_from_int_64_1: ok int32_from_int_64_2: ok int32_from_int_64_3: ok int32_from_int_64_4: ok int32_from_int_64_5: ok int64_from_nat_0: ok int64_from_nat_1: ok int64_from_nat_2: ok int64_from_natural_0: ok int64_from_natural_1: ok int64_from_natural_2: ok int64_from_integer_0: ok int64_from_integer_1: ok int64_from_integer_2: ok int64_from_integer_3: ok int64_from_integer_4: ok int64_from_integer_5: ok int64_from_int_0: ok int64_from_int_1: ok int64_from_int_2: ok int64_from_int_3: ok int64_from_int_4: ok int64_from_int_5: ok int64_from_int_33_0: ok int64_from_int_32_1: ok int64_from_int_32_2: ok int64_from_int_32_3: ok int64_from_int_32_4: ok int64_from_int_32_5: ok natural_from_int_0: ok natural_from_int_1: ok natural_from_int_2: ok natural_from_int32_0: ok natural_from_int32_1: ok natural_from_int32_2: ok natural_from_int64_0: ok natural_from_int64_1: ok natural_from_int64_2: ok int_from_natural_0: ok int_from_natural_1: ok int_from_natural_2: ok int_from_int32_0: ok int_from_int32_1: ok int_from_int32_2: ok int_from_int64_0: ok int_from_int64_1: ok int_from_int64_2: ok nat_from_integer_0: ok nat_from_integer_1: ok nat_from_integer_2: ok nat_from_int32_0: ok nat_from_int32_1: ok nat_from_int32_2: ok nat_from_int64_0: ok nat_from_int64_1: ok nat_from_int64_2: ok *************************************************** * Testing lem_num_extra *************************************************** integerOfString_test_1: ok integerOfString_test_2: ok *************************************************** * Testing lem_relation *************************************************** rel_basic_0: ok rel_basic_1: ok rel_basic_2: ok in_rel_0: ok in_rel_1: ok in_rel_2: ok in_rel_3: ok relEmpty_0: ok relEmpty_1: ok relAdd_0: ok relAdd_1: ok relAdd_2: ok relAdd_3: ok rel_id_0: ok rel_id_1: ok rel_id_2: ok rel_id_3: ok rel_union_0: ok rel_inter_0: ok rel_comp_0: ok rel_restrict_0: ok rel_converse_0: ok rel_domain_0: ok rel_domain_1: ok rel_domain_2: ok rel_range_0: ok rel_range_1: ok rel_range_2: ok rel_field_0: ok rel_field_1: ok rel_field_2: ok rel_over_0: ok rel_over_1: ok rel_apply_0: ok rel_apply_1: ok is_subrel_0: ok is_subrel_1: ok is_subrel_2: ok is_subrel_3: ok is_reflexive_on_0: ok is_reflexive_on_1: ok is_reflexive_on_2: ok is_irreflexive_on_0: ok is_irreflexive_on_1: ok is_irreflexive_on_2: ok is_irreflexive_on_3: ok is_irreflexive_0: ok is_irreflexive_1: ok is_symmetric_on_0: ok is_symmetric_on_1: ok is_symmetric_on_2: ok is_symmetric_0: ok is_symmetric_1: ok is_antisymmetric_on_0: ok is_antisymmetric_on_1: ok is_antisymmetric_0: ok is_antisymmetric_1: ok is_transitive_on_0: ok is_transitive_on_1: ok is_transitive_0: ok is_transitive_1: ok is_total_on_0: ok is_total_on_1: ok is_trichotomous_on_0: ok is_trichotomous_on_1: ok is_single_valued_0: ok is_single_valued_1: ok is_equivalence_0: ok is_equivalence_1: ok is_equivalence_2: ok is_preorder_0: ok is_preorder_1: ok is_preorder_2: ok is_partialorder_0: ok is_partialorder_1: ok is_partialorder_2: ok is_partialorder_3: ok is_strict_partialorder_on_0: ok is_strict_partialorder_on_1: ok is_strict_partialorder_on_2: ok is_strict_partialorder_on_3: ok is_strict_partialorder_on_4: ok is_strict_partialorder_0: ok is_strict_partialorder_1: ok is_strict_partialorder_2: ok is_strict_partialorder_3: ok is_strict_partialorder_4: ok is_totalorder_on_0: ok is_totalorder_on_1: ok is_totalorder_on_2: ok is_strict_totalorder_on_0: ok is_strict_totalorder_on_1: ok transitive_closure_0: ok transitive_closure_1: ok transitive_closure_add_0: ok transitive_closure_add_1: ok transitive_closure_add_2: ok reflexive_transitive_closure_0: ok withoutTransitiveEdges_0: ok withoutTransitiveEdges_1: ok withoutTransitiveEdges_2: ok withoutTransitiveEdges_3: ok *************************************************** * Testing lem_set *************************************************** empty_0: ok empty_1: ok empty_2: ok empty_3: ok any_0: ok any_1: ok all_0: ok all_1: ok in_1: ok in_2: ok in_3: ok in_4: ok nin_1: ok nin_2: ok nin_3: ok nin_4: ok null_1: ok null_2: ok singleton_1: ok singleton_2: ok singleton_3: ok singleton_4: ok size_1: ok size_2: ok size_3: ok size_4: ok size_5: ok set_patterns_0: ok set_patterns_1: ok set_patterns_2: ok set_patterns_3: ok set_patterns_4: ok set_patterns_5: ok set_patterns_6: ok set_patterns_7: ok set_patterns_8: ok set_patterns_9: ok set_patterns_10: ok union_1: ok insert_1: ok insert_2: ok insert_3: ok filter_1: ok filter_2: ok split_simple: ok isSubsetOf_1: ok isSubsetOf_2: ok isSubsetOf_3: ok isProperSubsetOf_1: ok isProperSubsetOf_2: ok isProperSubsetOf_3: ok bigunion_0: ok bigunion_1: ok bigunion_2: ok bigunion_3: ok difference_1: ok intersection_1: ok map_1: ok map_2: ok bigunionmap_0: ok bigunionmap_1: ok fromList_1: ok fromList_2: ok fromList_3: ok Sigma_1: ok cross_1: ok lfp_empty_0: ok lfp_empty_1: ok lfp_saturate_neg_1: ok lfp_saturate_neg_2: ok lfp_saturate_mod_3: ok lfp_saturate_mod_4: ok lfp_saturate_mod_5: ok lfp_termination: ok *************************************************** * Testing lem_set_extra *************************************************** choose_0: ok choose_1: ok choose_2: ok choose_3: ok toList_0: ok toList_1: ok toList_2: ok toOrderedList_0: ok toOrderedList_1: ok toOrderedList_2: ok lfp_empty: ok lfp_saturate_neg: ok lfp_saturate_mod: ok *************************************************** * Testing lem_sorting *************************************************** perm_1: ok perm_2: ok perm_3: ok perm_4: ok perm_5: ok perm_6: ok isSorted_1: ok isSorted_2: ok isSorted_3: ok isSorted_4: ok isSorted_5: ok isSorted_6: ok sort_1: ok sort_2: ok sort_3: ok *************************************************** * Testing lem_string *************************************************** char_simple_0: ok char_simple_1: ok char_simple_2: ok char_simple_3: ok char_simple_4: ok char_simple_5: ok char_simple_6: ok string_simple_0: ok string_simple_1: ok string_simple_2: ok string_simple_3: ok toCharList_0: ok toCharList_1: ok toString_0: ok toString_1: ok makeString_0: ok makeString_1: ok makeString_2: ok stringLength_0: ok stringLength_1: ok stringLength_2: ok stringAppend_0: ok empty_string_0: ok empty_string_1: ok string_cons_0: ok string_cons_1: ok string_patterns_0: ok string_patterns_1: ok *************************************************** * Testing lem_string_extra *************************************************** stringFromNat_0: ok stringFromNat_1: ok stringFromNat_2: ok stringFromNatural_0: ok stringFromNatural_1: ok stringFromNatural_2: ok stringFromInt_0: ok stringFromInt_1: ok stringFromInt_2: ok stringFromInt_3: ok stringFromInteger_0: ok stringFromInteger_1: ok stringFromInteger_2: ok stringFromInteger_3: ok string_compare_1: ok string_compare_2: ok string_compare_3: ok *************************************************** * Testing lem_tuple *************************************************** fst_1: ok fst_2: ok snd_1: ok snd_2: ok curry_1: ok uncurry_1: ok swap_1: ok *************************************************** * Testing lem_word *************************************************** boolListFrombitSeq_0: ok boolListFrombitSeq_1: ok boolListFrombitSeq_2: ok bitSeqFromBoolList_0: ok bitSeqFromBoolList_1: ok bitSeqFromBoolList_2: ok cleanBitSeq_0: ok cleanBitSeq_1: ok cleanBitSeq_2: ok resizeBitSeq_0: ok resizeBitSeq_1: ok resizeBitSeq_2: ok resizeBitSeq_3: ok resizeBitSeq_4: ok bitSeqNot_0: ok integerFromBoolList_0: ok integerFromBoolList_1: ok integerFromBoolList_2: ok integerFromBoolList_3: ok integerFromBoolList_4: ok boolListFromInteger_0: ok boolListFromInteger_1: ok boolListFromInteger_2: ok boolListFromInteger_3: ok boolListFromInteger_4: ok bitSeqFromInteger_0: ok bitSeqFromInteger_1: ok bitSeqFromInteger_2: ok bitSeqFromInteger_3: ok bitSeqFromInteger_4: ok bitSeqFromInteger_5: ok integerFromBitSeq_0: ok integerFromBitSeq_1: ok integerFromBitSeq_2: ok integerFromBitSeq_3: ok integerFromBitSeq_inv_0: ok integerFromBitSeq_inv_1: ok integerFromBitSeq_inv_2: ok bitSequence_test1: ok bitSequence_test2: ok bitSequence_test3: ok bitSequence_test4: ok bitSequence_test5: ok bitSequence_test6: ok bitSequence_test6a: ok bitSequence_test7: ok bitSequence_test7a: ok bitSequence_test8: ok bitSequence_test8a: ok bitSequence_test9: ok bitSequence_test10: ok bitSequence_test11: ok bitSequence_test12: ok bitSequence_test13: ok bitSequence_test14: ok bitSequence_test15: ok bitSequence_test16: ok bitSequence_test17: ok bitSequence_test18: ok bitSequence_test19: ok bitSequence_test20: ok bitSequence_test21: ok bitSequence_test22: ok bitSequence_test23: ok bitSequence_test24: ok bitSequence_test25: ok bitSequence_test26: ok bitSequence_bittest1: ok bitSequence_bittest2: ok bitSequence_bittest3: ok bitSequence_bittest4: ok bitSequence_bittest5: ok bitSequence_bittest6: ok bitSequence_bittest7: ok bitSequence_bittest8: ok bitSequence_bittest9: ok bitSequence_bittest10: ok bitSequence_bittest11: ok bitSequence_bittest12: ok bitSequence_bittest13: ok bitSequence_bittest14: ok bitSequence_bittest15: ok bitSequence_bittest16: ok bitSequence_bittest17: ok bitSequence_bittest18: ok bitSequence_bittest19: ok bitSequence_bittest20: ok bitSequence_bittest21: ok bitSequence_bittest22: ok bitSequence_bittest23: ok bitSequence_bittest24: ok int32_bittest1: ok int32_bittest2: ok int32_bittest3: ok int32_bittest4: ok int32_bittest5: ok int32_bittest6: ok int32_bittest7: ok int32_bittest8: ok int32_bittest9: ok int32_bittest10: ok int32_bittest11: ok int32_bittest12: ok int32_bittest13: ok int32_bittest14: ok int32_bittest15: ok int32_bittest16: ok int32_bittest17: ok int32_bittest18: ok int32_bittest19: ok int32_bittest20: ok int32_bittest21: ok int32_bittest22: ok int32_bittest23: ok int32_bittest24: ok int64_bittest1: ok int64_bittest2: ok int64_bittest3: ok int64_bittest4: ok int64_bittest5: ok int64_bittest6: ok int64_bittest7: ok int64_bittest8: ok int64_bittest9: ok int64_bittest10: ok int64_bittest11: ok int64_bittest12: ok int64_bittest13: ok int64_bittest14: ok int64_bittest15: ok int64_bittest16: ok int64_bittest17: ok int64_bittest18: ok int64_bittest19: ok int64_bittest20: ok int64_bittest21: ok int64_bittest22: ok int64_bittest23: ok int64_bittest24: ok integer_bittest1: ok integer_bittest2: ok integer_bittest3: ok integer_bittest4: ok integer_bittest5: ok integer_bittest6: ok integer_bittest7: ok integer_bittest8: ok integer_bittest9: ok integer_bittest10: ok integer_bittest11: ok integer_bittest12: ok integer_bittest13: ok integer_bittest14: ok integer_bittest15: ok integer_bittest16: ok integer_bittest17: ok integer_bittest18: ok integer_bittest19: ok integer_bittest20: ok integer_bittest22: ok integer_bittest24: ok int_bittest1: ok int_bittest2: ok int_bittest3: ok int_bittest4: ok int_bittest5: ok int_bittest6: ok int_bittest7: ok int_bittest8: ok int_bittest9: ok int_bittest10: ok int_bittest11: ok int_bittest12: ok int_bittest17: ok int_bittest18: ok int_bittest19: ok int_bittest20: ok int_bittest22: ok int_bittest24: ok natural_bittest1: ok natural_bittest2: ok natural_bittest3: ok natural_bittest4: ok natural_bittest5: ok natural_bittest6: ok natural_bittest9: ok natural_bittest10: ok natural_bittest11: ok natural_bittest12: ok natural_bittest13: ok natural_bittest14: ok natural_bittest15: ok natural_bittest16: ok natural_bittest17: ok natural_bittest18: ok natural_bittest19: ok natural_bittest20: ok nat_bittest1: ok nat_bittest2: ok nat_bittest3: ok nat_bittest4: ok nat_bittest5: ok nat_bittest6: ok nat_bittest9: ok nat_bittest10: ok nat_bittest11: ok nat_bittest12: ok nat_bittest17: ok nat_bittest18: ok nat_bittest19: ok nat_bittest20: ok make[4]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/library' make[3]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2' make[2]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2' make[1]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2' dh_auto_test create-stamp debian/debhelper-build-stamp dh_prep dh_auto_install make -j1 install DESTDIR=/build/reproducible-path/lem-2022-12-10\+dfsg2/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2' mkdir -p /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/bin rm -f /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/bin/lem cp src/main.native /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/bin/lem rm -rf /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/share/lem mkdir -p /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/share/lem/library cp library/*.lem /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/share/lem/library cp library/*_constants /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/share/lem/library make -C ocaml-lib install make[2]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:27: warning: ignoring old recipe for target 'clean' ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa + ocamlfind ocamlc -config make /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/META make[3]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:27: warning: ignoring old recipe for target 'clean' ocamlfind remove -destdir /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp lem_zarith ocamlfind: [WARNING] No such file: /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/META ocamlfind install -destdir /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp -patch-version "" lem_zarith num_impl_zarith/META _build_zarith/extract.cma _build_zarith/extract.cmxa _build_zarith/extract.a `find _build_zarith -name '*.cmi' -o -name '*.cmx' -o -name '*.mli'` Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/nat_big_num.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_list_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_sorting.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/nat_num.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_show_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_maybe_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_string.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_relation.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_string_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_map_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_num.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_list.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_assert_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_pervasives_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/rational.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_debug.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/bit.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_maybe.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/nat_num.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_word.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/xstring.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_either.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_assert_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/rational.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/pset.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_map.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_bool.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_tuple.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_function.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_show_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_bool.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_set.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_maybe_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_relation.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/nat_big_num.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/nat_num.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_either.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/vector.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/either.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_function_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_debug.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_num_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_function_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/pmap.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_map.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_list_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_num_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/pmap.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_pervasives.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_show.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_string.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_machine_word.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_string_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/pset.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/vector.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_set.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_basic_classes.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_function.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/bit.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_pervasives_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/xstring.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_word.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_set_helpers.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/nat_big_num.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_basic_classes.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_sorting.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_pervasives.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_set_helpers.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_maybe.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_set_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_tuple.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/big_int_impl.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/rational_impl.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/big_int_impl.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/rational_impl.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/rational_impl.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/big_int_impl.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_map_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_list.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_machine_word.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/bit.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_num.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/pmap.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/xstring.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/rational.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/either.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_show.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/lem_set_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/vector.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/pset.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/extract.a Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/extract.cmxa Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/extract.cma Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/META touch /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/META make[3]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa + ocamlfind ocamlc -config make /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/META make[3]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:27: warning: ignoring old recipe for target 'clean' ocamlfind remove -destdir /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp lem_num ocamlfind: [WARNING] No such file: /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/META ocamlfind install -destdir /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp -patch-version "" lem_num num_impl_num/META _build_num/extract.cma _build_num/extract.cmxa _build_num/extract.a `find _build_num -name '*.cmi' -o -name '*.cmx' -o -name '*.mli'` Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/nat_big_num.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_list_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_sorting.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/nat_num.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_show_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_maybe_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_string.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_relation.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_string_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_map_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_num.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_list.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_assert_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_pervasives_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/rational.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_debug.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/bit.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_maybe.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/nat_num.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_word.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/xstring.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_either.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_assert_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/rational.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/pset.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_map.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_bool.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/big_int_impl.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/rational_impl.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/big_int_impl.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/rational_impl.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/rational_impl.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/big_int_impl.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_tuple.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_function.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_show_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_bool.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_set.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_maybe_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_relation.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/nat_big_num.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/nat_num.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_either.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/vector.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/either.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_function_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_debug.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_num_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_function_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/pmap.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_map.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_list_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_num_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/pmap.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_pervasives.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_show.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_string.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_machine_word.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_string_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/pset.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/vector.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_set.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_basic_classes.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_function.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/bit.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_pervasives_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/xstring.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_word.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_set_helpers.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/nat_big_num.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_basic_classes.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_sorting.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_pervasives.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_set_helpers.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_maybe.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_set_extra.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_tuple.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_map_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_list.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_machine_word.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/bit.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_num.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/pmap.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/xstring.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/rational.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/either.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_show.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_set_extra.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/vector.mli Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/pset.cmx Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/extract.a Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/extract.cmxa Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/extract.cma Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/META touch /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/META make[3]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' make /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem/META make[3]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:27: warning: ignoring old recipe for target 'clean' ocamlfind remove -destdir /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp lem ocamlfind: [WARNING] No such file: /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem/META ocamlfind install -destdir /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp -patch-version "" lem META Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem/META touch /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem/META make[3]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' make[2]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' cp -R coq-lib /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/share/lem cp -R hol-lib /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/share/lem cp -R isabelle-lib /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/share/lem make[1]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2' debian/rules execute_after_dh_auto_install make[1]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2' cp /build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib/_build_num/*.ml /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/ cp /build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib/_build_zarith/*.ml /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/ help2man /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/bin/lem --name="Tool merging math and logic for executable definitions" --version-string=2022-12-10+dfsg2 > debian/lem.1 make[1]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2' dh_install dh_ocamldoc dh_installdocs dh_installchangelogs dh_installexamples dh_installman dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_ocaml dh_gencontrol dpkg-gencontrol: warning: Depends field of package lem: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Provides field of package lem: substitution variable ${ocaml:Provides} used, but is not defined dpkg-gencontrol: warning: Depends field of package lem: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Provides field of package lem: substitution variable ${ocaml:Provides} used, but is not defined dpkg-gencontrol: warning: Depends field of package liblem-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums dh_builddeb dpkg-deb: building package 'lem' in '../lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb'. dpkg-deb: building package 'lem-dbgsym' in '../lem-dbgsym_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb'. dpkg-deb: building package 'liblem-ocaml-dev' in '../liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb'. dpkg-genbuildinfo -O../lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.buildinfo dpkg-genchanges -sa -O../lem_2022-12-10+dfsg2-4+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-13T07:53:32Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Thu, 13 Mar 2025 07:53:33 +0000 | +------------------------------------------------------------------------------+ lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.changes: --------------------------------------------------- Format: 1.8 Date: Thu, 13 Mar 2025 08:51:52 +0100 Source: lem Binary: lem lem-dbgsym liblem-ocaml-dev Architecture: source amd64 Version: 2022-12-10+dfsg2-4+ocaml20250313 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: lem - Tool merging math and logic for executable definitions (tool) liblem-ocaml-dev - Tool merging math and logic for executable definitions (developme Changes: lem (2022-12-10+dfsg2-4+ocaml20250313) bookworm-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.3.0 Checksums-Sha1: e3ea0019f15c4b148aef84c06d00239ab8d7a10a 1283 lem_2022-12-10+dfsg2-4+ocaml20250313.dsc 99aaa1b0bc08a4bff4a07f6f10da25eab9fcfeb8 500444 lem_2022-12-10+dfsg2.orig.tar.xz 6843f5847c8527a42584acf8a7b6493581ab56b3 9080 lem_2022-12-10+dfsg2-4+ocaml20250313.debian.tar.xz 02e8491061f9eff8e7bb5f7ef8ac0a2437020637 438936 lem-dbgsym_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb d862597b3d1a9d67da446dd49f98e58d16707172 7046 lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.buildinfo dfd45e282087655a3d8182a8dd914b92353853d2 1377196 lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb efeb67ad0f21111028b3efdd524ab1aa25bd1b4e 562092 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb Checksums-Sha256: a5e1b15fefc2d7bc797f0c27a8831c4de31017f0388f93bdc6855bdeff80150b 1283 lem_2022-12-10+dfsg2-4+ocaml20250313.dsc 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz 5f46cc0423e47e832a0a404ed29493905b5e1f448690a5ff0c0a3f75585fe81a 9080 lem_2022-12-10+dfsg2-4+ocaml20250313.debian.tar.xz 56f7bc67bb97fce77bc6b1824b19ebd894a6f45b2bc6fb550a3e05cf031e3fab 438936 lem-dbgsym_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb 84fb414b7c0e1efc46a6e36072cbbbabd233c25dfa21700fdbdd3d16fd706982 7046 lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.buildinfo 3611cd4086f1c372a7c133a467f10de0509f61c65c0d30116be4f894ee3fcc47 1377196 lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb 55b8dc7be83f998db9b54a6f2b362dc3b15057a449fde2c288ec0eb1f9573a38 562092 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb Files: 322edccc80ecfa2ee9d2f7fcb84bc000 1283 ocaml optional lem_2022-12-10+dfsg2-4+ocaml20250313.dsc 10e8eca9382d758d7641df0be88af534 500444 ocaml optional lem_2022-12-10+dfsg2.orig.tar.xz 16ecc8442702a41187d91129d8228d60 9080 ocaml optional lem_2022-12-10+dfsg2-4+ocaml20250313.debian.tar.xz e2b3f9f5f1cade00e0a7f0453fc0ecd0 438936 debug optional lem-dbgsym_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb 74cdeced0e31d3e0762e56f90d83e2d8 7046 ocaml optional lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.buildinfo 35a9b5c6bf2fba2d7a6e8c1a304fac93 1377196 ocaml optional lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb 0d506786542689721b8edc2fe44b6d74 562092 ocaml optional liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Thu, 13 Mar 2025 07:53:33 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: lem Binary: lem lem-dbgsym liblem-ocaml-dev Architecture: amd64 source Version: 2022-12-10+dfsg2-4+ocaml20250313 Checksums-Md5: 322edccc80ecfa2ee9d2f7fcb84bc000 1283 lem_2022-12-10+dfsg2-4+ocaml20250313.dsc e2b3f9f5f1cade00e0a7f0453fc0ecd0 438936 lem-dbgsym_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb 35a9b5c6bf2fba2d7a6e8c1a304fac93 1377196 lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb 0d506786542689721b8edc2fe44b6d74 562092 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb Checksums-Sha1: e3ea0019f15c4b148aef84c06d00239ab8d7a10a 1283 lem_2022-12-10+dfsg2-4+ocaml20250313.dsc 02e8491061f9eff8e7bb5f7ef8ac0a2437020637 438936 lem-dbgsym_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb dfd45e282087655a3d8182a8dd914b92353853d2 1377196 lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb efeb67ad0f21111028b3efdd524ab1aa25bd1b4e 562092 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb Checksums-Sha256: a5e1b15fefc2d7bc797f0c27a8831c4de31017f0388f93bdc6855bdeff80150b 1283 lem_2022-12-10+dfsg2-4+ocaml20250313.dsc 56f7bc67bb97fce77bc6b1824b19ebd894a6f45b2bc6fb550a3e05cf031e3fab 438936 lem-dbgsym_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb 3611cd4086f1c372a7c133a467f10de0509f61c65c0d30116be4f894ee3fcc47 1377196 lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb 55b8dc7be83f998db9b54a6f2b362dc3b15057a449fde2c288ec0eb1f9573a38 562092 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Thu, 13 Mar 2025 07:53:32 +0000 Build-Path: /build/reproducible-path/lem-2022-12-10+dfsg2 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), 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-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), help2man (= 1.49.3), 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), 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), libfile-find-rule-perl (= 0.34-3), libfile-stripnondeterminism-perl (= 1.13.1-1), libfindlib-ocaml (= 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), liblocale-gettext-perl (= 1.07-5), 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), libnum-ocaml (= 1.5-1+ocaml20250313), libnum-ocaml-dev (= 1.5-1+ocaml20250313), 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), libquadmath0 (= 12.2.0-14), libseccomp2 (= 2.5.4-1+deb12u1), libselinux1 (= 3.4-1+b6), libsmartcols1 (= 2.38.1-5+deb12u3), 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), ncurses-base (= 6.4-4), ncurses-bin (= 6.4-4), ocaml (= 5.3.0-2+ocaml20250313), ocaml-base (= 5.3.0-2+ocaml20250313), ocaml-dune (= 3.17.2-1+ocaml20250313), ocaml-findlib (= 1.9.8-1+ocaml20250313), ocaml-interp (= 5.3.0-2+ocaml20250313), ocamlbuild (= 0.16.1-1+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), 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="1741852312" +------------------------------------------------------------------------------+ | Package contents Thu, 13 Mar 2025 07:53:33 +0000 | +------------------------------------------------------------------------------+ lem-dbgsym_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb ----------------------------------------------------- new Debian package, version 2.0. size 438936 bytes: control archive=540 bytes. 395 bytes, 12 lines control 106 bytes, 1 lines md5sums Package: lem-dbgsym Source: lem Version: 2022-12-10+dfsg2-4+ocaml20250313 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 1164 Depends: lem (= 2022-12-10+dfsg2-4+ocaml20250313) Section: debug Priority: optional Description: debug symbols for lem Build-Ids: a17a6c7c26dab1b54722d9303223a813fa6f769c drwxr-xr-x root/root 0 2025-03-13 07:51 ./ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/debug/.build-id/a1/ -rw-r--r-- root/root 1180720 2025-03-13 07:51 ./usr/lib/debug/.build-id/a1/7a6c7c26dab1b54722d9303223a813fa6f769c.debug drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-03-13 07:51 ./usr/share/doc/lem-dbgsym -> lem lem_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb ---------------------------------------------- new Debian package, version 2.0. size 1377196 bytes: control archive=944 bytes. 854 bytes, 19 lines control 308 bytes, 5 lines md5sums Package: lem Version: 2022-12-10+dfsg2-4+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 5281 Depends: libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg1) Suggests: ocaml-findlib Section: ocaml Priority: optional Homepage: https://github.com/rems-project/lem Description: Tool merging math and logic for executable definitions (tool) Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL). . It is also intended as an intermediate language for generating definitions from domain-specific tools, and for porting definitions between interactive theorem proving systems. drwxr-xr-x root/root 0 2025-03-13 07:51 ./ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/bin/ -rwxr-xr-x root/root 5385064 2025-03-13 07:51 ./usr/bin/lem drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/doc/lem/ -rw-r--r-- root/root 647 2024-10-14 09:25 ./usr/share/doc/lem/README.Debian -rw-r--r-- root/root 473 2025-03-13 07:51 ./usr/share/doc/lem/changelog.Debian.gz -rw-r--r-- root/root 8658 2024-10-14 09:25 ./usr/share/doc/lem/copyright drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/man/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/man/man1/ -rw-r--r-- root/root 1818 2025-03-13 07:51 ./usr/share/man/man1/lem.1.gz liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml20250313_amd64.deb ----------------------------------------------------------- new Debian package, version 2.0. size 562092 bytes: control archive=9648 bytes. 1073 bytes, 23 lines control 38906 bytes, 442 lines md5sums Package: liblem-ocaml-dev Source: lem Version: 2022-12-10+dfsg2-4+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 5398 Depends: libnum-ocaml-dev-vwyu2, libstdlib-ocaml-dev-fxjy5, libzarith-ocaml-dev-f1se9, ocaml-5.3.0, libnum-ocaml-dev, libstdlib-ocaml-dev, libzarith-ocaml-dev Suggests: ocaml-findlib Provides: liblem-ocaml-dev-1c1f5 Section: ocaml Priority: optional Homepage: https://github.com/rems-project/lem Description: Tool merging math and logic for executable definitions (development) Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL). . It is also intended as an intermediate language for generating definitions from domain-specific tools, and for porting definitions between interactive theorem proving systems. . This package contains the development files. drwxr-xr-x root/root 0 2025-03-13 07:51 ./ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem/ -rw-r--r-- root/root 116 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem/META drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/ -rw-r--r-- root/root 256 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/META -rw-r--r-- root/root 2371 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/big_int_impl.cmi -rw-r--r-- root/root 5719 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/big_int_impl.cmx -rw-r--r-- root/root 2936 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/big_int_impl.mli -rw-r--r-- root/root 553 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/bit.cmi -rw-r--r-- root/root 600 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/bit.cmx -rw-r--r-- root/root 502 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/bit.ml -rw-r--r-- root/root 189 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/bit.mli -rw-r--r-- root/root 623 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/either.cmi -rw-r--r-- root/root 288 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/either.cmx -rw-r--r-- root/root 590 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/either.ml -rw-r--r-- root/root 812856 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/extract.a -rw-r--r-- root/root 150591 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/extract.cma -rw-r--r-- root/root 32835 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/extract.cmxa -rw-r--r-- root/root 4051 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem.cmi -rw-r--r-- root/root 6808 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem.cmx -rw-r--r-- root/root 8284 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem.ml -rw-r--r-- root/root 341 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_assert_extra.cmi -rw-r--r-- root/root 428 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_assert_extra.cmx -rw-r--r-- root/root 675 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_assert_extra.ml -rw-r--r-- root/root 5663 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_basic_classes.cmi -rw-r--r-- root/root 17571 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_basic_classes.cmx -rw-r--r-- root/root 29187 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_basic_classes.ml -rw-r--r-- root/root 188 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_bool.cmi -rw-r--r-- root/root 172 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_bool.cmx -rw-r--r-- root/root 1336 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_bool.ml -rw-r--r-- root/root 190 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_debug.cmi -rw-r--r-- root/root 173 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_debug.cmx -rw-r--r-- root/root 543 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_debug.ml -rw-r--r-- root/root 1432 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_either.cmi -rw-r--r-- root/root 1968 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_either.cmx -rw-r--r-- root/root 3014 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_either.ml -rw-r--r-- root/root 1035 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function.cmi -rw-r--r-- root/root 1213 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function.cmx -rw-r--r-- root/root 1542 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function.ml -rw-r--r-- root/root 922 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function_extra.cmi -rw-r--r-- root/root 896 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function_extra.cmx -rw-r--r-- root/root 274 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function_extra.ml -rw-r--r-- root/root 3714 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list.cmi -rw-r--r-- root/root 5690 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list.cmx -rw-r--r-- root/root 25871 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list.ml -rw-r--r-- root/root 1488 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list_extra.cmi -rw-r--r-- root/root 1371 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list_extra.cmx -rw-r--r-- root/root 2999 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list_extra.ml -rw-r--r-- root/root 12722 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_machine_word.cmi -rw-r--r-- root/root 11655 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_machine_word.cmx -rw-r--r-- root/root 35568 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_machine_word.ml -rw-r--r-- root/root 1817 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map.cmi -rw-r--r-- root/root 2221 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map.cmx -rw-r--r-- root/root 8244 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map.ml -rw-r--r-- root/root 1400 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map_extra.cmi -rw-r--r-- root/root 1296 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map_extra.cmx -rw-r--r-- root/root 2624 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map_extra.ml -rw-r--r-- root/root 1097 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe.cmi -rw-r--r-- root/root 2367 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe.cmx -rw-r--r-- root/root 3452 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe.ml -rw-r--r-- root/root 906 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe_extra.cmi -rw-r--r-- root/root 1095 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe_extra.cmx -rw-r--r-- root/root 339 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe_extra.ml -rw-r--r-- root/root 5511 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num.cmi -rw-r--r-- root/root 19301 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num.cmx -rw-r--r-- root/root 29831 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num.ml -rw-r--r-- root/root 1283 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num_extra.cmi -rw-r--r-- root/root 1236 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num_extra.cmx -rw-r--r-- root/root 1532 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num_extra.ml -rw-r--r-- root/root 21550 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives.cmi -rw-r--r-- root/root 59029 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives.cmx -rw-r--r-- root/root 312 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives.ml -rw-r--r-- root/root 36564 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives_extra.cmi -rw-r--r-- root/root 72736 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives_extra.cmx -rw-r--r-- root/root 337 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives_extra.ml -rw-r--r-- root/root 3617 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_relation.cmi -rw-r--r-- root/root 4397 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_relation.cmx -rw-r--r-- root/root 20599 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_relation.ml -rw-r--r-- root/root 1791 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set.cmi -rw-r--r-- root/root 2029 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set.cmx -rw-r--r-- root/root 11344 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set.ml -rw-r--r-- root/root 1483 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_extra.cmi -rw-r--r-- root/root 1670 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_extra.cmx -rw-r--r-- root/root 4410 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_extra.ml -rw-r--r-- root/root 916 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_helpers.cmi -rw-r--r-- root/root 893 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_helpers.cmx -rw-r--r-- root/root 1484 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_helpers.ml -rw-r--r-- root/root 1724 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show.cmi -rw-r--r-- root/root 2239 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show.cmx -rw-r--r-- root/root 1719 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show.ml -rw-r--r-- root/root 1778 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show_extra.cmi -rw-r--r-- root/root 1840 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show_extra.cmx -rw-r--r-- root/root 1946 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show_extra.ml -rw-r--r-- root/root 1438 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_sorting.cmi -rw-r--r-- root/root 1282 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_sorting.cmx -rw-r--r-- root/root 2549 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_sorting.ml -rw-r--r-- root/root 1026 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string.cmi -rw-r--r-- root/root 1008 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string.cmx -rw-r--r-- root/root 1433 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string.ml -rw-r--r-- root/root 1639 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string_extra.cmi -rw-r--r-- root/root 2062 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string_extra.cmx -rw-r--r-- root/root 2913 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string_extra.ml -rw-r--r-- root/root 672 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_tuple.cmi -rw-r--r-- root/root 655 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_tuple.cmx -rw-r--r-- root/root 914 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_tuple.ml -rw-r--r-- root/root 5887 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_word.cmi -rw-r--r-- root/root 12615 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_word.cmx -rw-r--r-- root/root 25281 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_word.ml -rw-r--r-- root/root 2146 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_big_num.cmi -rw-r--r-- root/root 4870 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_big_num.cmx -rw-r--r-- root/root 1797 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_big_num.ml -rw-r--r-- root/root 2189 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_big_num.mli -rw-r--r-- root/root 705 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_num.cmi -rw-r--r-- root/root 2197 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_num.cmx -rw-r--r-- root/root 682 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_num.ml -rw-r--r-- root/root 329 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_num.mli -rw-r--r-- root/root 2071 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pmap.cmi -rw-r--r-- root/root 5021 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pmap.cmx -rw-r--r-- root/root 9947 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pmap.ml -rw-r--r-- root/root 8065 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pmap.mli -rw-r--r-- root/root 3095 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pset.cmi -rw-r--r-- root/root 5739 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pset.cmx -rw-r--r-- root/root 14867 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pset.ml -rw-r--r-- root/root 7487 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pset.mli -rw-r--r-- root/root 1118 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational.cmi -rw-r--r-- root/root 2635 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational.cmx -rw-r--r-- root/root 430 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational.ml -rw-r--r-- root/root 579 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational.mli -rw-r--r-- root/root 1098 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational_impl.cmi -rw-r--r-- root/root 2676 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational_impl.cmx -rw-r--r-- root/root 870 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational_impl.mli -rw-r--r-- root/root 1083 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/vector.cmi -rw-r--r-- root/root 2033 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/vector.cmx -rw-r--r-- root/root 1026 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/vector.ml -rw-r--r-- root/root 670 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/vector.mli -rw-r--r-- root/root 459 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/xstring.cmi -rw-r--r-- root/root 905 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/xstring.cmx -rw-r--r-- root/root 546 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/xstring.ml -rw-r--r-- root/root 174 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/xstring.mli drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/ -rw-r--r-- root/root 163 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/META -rw-r--r-- root/root 2418 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/big_int_impl.cmi -rw-r--r-- root/root 8769 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/big_int_impl.cmx -rw-r--r-- root/root 2597 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/big_int_impl.mli -rw-r--r-- root/root 553 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/bit.cmi -rw-r--r-- root/root 600 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/bit.cmx -rw-r--r-- root/root 502 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/bit.ml -rw-r--r-- root/root 189 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/bit.mli -rw-r--r-- root/root 623 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/either.cmi -rw-r--r-- root/root 288 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/either.cmx -rw-r--r-- root/root 590 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/either.ml -rw-r--r-- root/root 814406 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/extract.a -rw-r--r-- root/root 153641 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/extract.cma -rw-r--r-- root/root 33885 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/extract.cmxa -rw-r--r-- root/root 4090 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem.cmi -rw-r--r-- root/root 6771 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem.cmx -rw-r--r-- root/root 8284 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem.ml -rw-r--r-- root/root 341 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_assert_extra.cmi -rw-r--r-- root/root 428 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_assert_extra.cmx -rw-r--r-- root/root 675 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_assert_extra.ml -rw-r--r-- root/root 5706 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_basic_classes.cmi -rw-r--r-- root/root 17614 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_basic_classes.cmx -rw-r--r-- root/root 29187 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_basic_classes.ml -rw-r--r-- root/root 188 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_bool.cmi -rw-r--r-- root/root 172 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_bool.cmx -rw-r--r-- root/root 1336 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_bool.ml -rw-r--r-- root/root 190 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_debug.cmi -rw-r--r-- root/root 173 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_debug.cmx -rw-r--r-- root/root 543 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_debug.ml -rw-r--r-- root/root 1425 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_either.cmi -rw-r--r-- root/root 1961 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_either.cmx -rw-r--r-- root/root 3014 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_either.ml -rw-r--r-- root/root 1078 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function.cmi -rw-r--r-- root/root 1256 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function.cmx -rw-r--r-- root/root 1542 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function.ml -rw-r--r-- root/root 915 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function_extra.cmi -rw-r--r-- root/root 889 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function_extra.cmx -rw-r--r-- root/root 274 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function_extra.ml -rw-r--r-- root/root 3707 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list.cmi -rw-r--r-- root/root 5683 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list.cmx -rw-r--r-- root/root 25871 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list.ml -rw-r--r-- root/root 1481 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list_extra.cmi -rw-r--r-- root/root 1364 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list_extra.cmx -rw-r--r-- root/root 2999 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list_extra.ml -rw-r--r-- root/root 12799 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_machine_word.cmi -rw-r--r-- root/root 11648 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_machine_word.cmx -rw-r--r-- root/root 35568 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_machine_word.ml -rw-r--r-- root/root 1810 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map.cmi -rw-r--r-- root/root 2214 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map.cmx -rw-r--r-- root/root 8244 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map.ml -rw-r--r-- root/root 1393 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map_extra.cmi -rw-r--r-- root/root 1289 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map_extra.cmx -rw-r--r-- root/root 2624 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map_extra.ml -rw-r--r-- root/root 1140 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe.cmi -rw-r--r-- root/root 2410 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe.cmx -rw-r--r-- root/root 3452 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe.ml -rw-r--r-- root/root 949 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe_extra.cmi -rw-r--r-- root/root 1138 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe_extra.cmx -rw-r--r-- root/root 339 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe_extra.ml -rw-r--r-- root/root 5502 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num.cmi -rw-r--r-- root/root 18634 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num.cmx -rw-r--r-- root/root 29831 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num.ml -rw-r--r-- root/root 1276 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num_extra.cmi -rw-r--r-- root/root 1229 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num_extra.cmx -rw-r--r-- root/root 1532 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num_extra.ml -rw-r--r-- root/root 21542 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives.cmi -rw-r--r-- root/root 58298 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives.cmx -rw-r--r-- root/root 312 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives.ml -rw-r--r-- root/root 36557 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives_extra.cmi -rw-r--r-- root/root 71985 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives_extra.cmx -rw-r--r-- root/root 337 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives_extra.ml -rw-r--r-- root/root 3610 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_relation.cmi -rw-r--r-- root/root 4390 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_relation.cmx -rw-r--r-- root/root 20599 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_relation.ml -rw-r--r-- root/root 1784 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set.cmi -rw-r--r-- root/root 2022 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set.cmx -rw-r--r-- root/root 11344 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set.ml -rw-r--r-- root/root 1476 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_extra.cmi -rw-r--r-- root/root 1663 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_extra.cmx -rw-r--r-- root/root 4410 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_extra.ml -rw-r--r-- root/root 909 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_helpers.cmi -rw-r--r-- root/root 886 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_helpers.cmx -rw-r--r-- root/root 1484 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_helpers.ml -rw-r--r-- root/root 1717 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show.cmi -rw-r--r-- root/root 2232 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show.cmx -rw-r--r-- root/root 1719 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show.ml -rw-r--r-- root/root 1771 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show_extra.cmi -rw-r--r-- root/root 1813 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show_extra.cmx -rw-r--r-- root/root 1946 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show_extra.ml -rw-r--r-- root/root 1431 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_sorting.cmi -rw-r--r-- root/root 1275 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_sorting.cmx -rw-r--r-- root/root 2549 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_sorting.ml -rw-r--r-- root/root 1019 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string.cmi -rw-r--r-- root/root 1001 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string.cmx -rw-r--r-- root/root 1433 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string.ml -rw-r--r-- root/root 1632 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string_extra.cmi -rw-r--r-- root/root 2055 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string_extra.cmx -rw-r--r-- root/root 2913 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string_extra.ml -rw-r--r-- root/root 715 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_tuple.cmi -rw-r--r-- root/root 698 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_tuple.cmx -rw-r--r-- root/root 914 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_tuple.ml -rw-r--r-- root/root 5866 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_word.cmi -rw-r--r-- root/root 12544 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_word.cmx -rw-r--r-- root/root 25281 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_word.ml -rw-r--r-- root/root 2194 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_big_num.cmi -rw-r--r-- root/root 3944 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_big_num.cmx -rw-r--r-- root/root 1797 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_big_num.ml -rw-r--r-- root/root 2189 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_big_num.mli -rw-r--r-- root/root 705 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_num.cmi -rw-r--r-- root/root 2197 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_num.cmx -rw-r--r-- root/root 682 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_num.ml -rw-r--r-- root/root 329 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_num.mli -rw-r--r-- root/root 2071 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pmap.cmi -rw-r--r-- root/root 5021 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pmap.cmx -rw-r--r-- root/root 9947 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pmap.ml -rw-r--r-- root/root 8065 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pmap.mli -rw-r--r-- root/root 3095 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pset.cmi -rw-r--r-- root/root 5739 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pset.cmx -rw-r--r-- root/root 14867 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pset.ml -rw-r--r-- root/root 7487 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pset.mli -rw-r--r-- root/root 1388 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational.cmi -rw-r--r-- root/root 1923 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational.cmx -rw-r--r-- root/root 430 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational.ml -rw-r--r-- root/root 579 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational.mli -rw-r--r-- root/root 2560 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational_impl.cmi -rw-r--r-- root/root 4138 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational_impl.cmx -rw-r--r-- root/root 1740 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational_impl.mli -rw-r--r-- root/root 1083 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/vector.cmi -rw-r--r-- root/root 2033 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/vector.cmx -rw-r--r-- root/root 1026 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/vector.ml -rw-r--r-- root/root 670 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/vector.mli -rw-r--r-- root/root 459 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/xstring.cmi -rw-r--r-- root/root 905 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/xstring.cmx -rw-r--r-- root/root 546 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/xstring.ml -rw-r--r-- root/root 174 2025-03-13 07:51 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/xstring.mli drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/doc/liblem-ocaml-dev/ -rw-r--r-- root/root 473 2025-03-13 07:51 ./usr/share/doc/liblem-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 8658 2024-10-14 09:25 ./usr/share/doc/liblem-ocaml-dev/copyright drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/doc/liblem-ocaml-dev/examples/ -rw-r--r-- root/root 919 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/0README drwxr-xr-x root/root 0 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/cpp/ -rw-r--r-- root/root 92 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/cpp/0README -rw-r--r-- root/root 83362 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/cpp/cmm.lem drwxr-xr-x root/root 0 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/ -rw-r--r-- root/root 148 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/0README -rw-r--r-- root/root 229 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/Makefile -rw-r--r-- root/root 150619 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef.lem -rw-r--r-- root/root 26754 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_reduction.ott -rw-r--r-- root/root 91566 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_syntax.ott -rw-r--r-- root/root 48151 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_typing.ott drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/lem/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/lem/coq-lib/ -rw-r--r-- root/root 232 2025-03-13 07:51 ./usr/share/lem/coq-lib/coq_makefile.in -rw-r--r-- root/root 20269 2025-03-13 07:51 ./usr/share/lem/coq-lib/coqharness.v -rw-r--r-- root/root 652 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_assert_extra.v -rw-r--r-- root/root 212 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_assert_extra_auxiliary.v -rw-r--r-- root/root 21058 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_basic_classes.v -rw-r--r-- root/root 1214 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_basic_classes_auxiliary.v -rw-r--r-- root/root 1233 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_bool.v -rw-r--r-- root/root 2035 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_bool_auxiliary.v -rw-r--r-- root/root 429 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_debug.v -rw-r--r-- root/root 204 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_debug_auxiliary.v -rw-r--r-- root/root 2675 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_either.v -rw-r--r-- root/root 2833 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_either_auxiliary.v -rw-r--r-- root/root 1702 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_function.v -rw-r--r-- root/root 623 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_function_auxiliary.v -rw-r--r-- root/root 564 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_function_extra.v -rw-r--r-- root/root 1470 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_function_extra_auxiliary.v -rw-r--r-- root/root 14508 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_list.v -rw-r--r-- root/root 26874 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_list_auxiliary.v -rw-r--r-- root/root 2513 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_list_extra.v -rw-r--r-- root/root 3095 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_list_extra_auxiliary.v -rw-r--r-- root/root 37904 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_machine_word.v -rw-r--r-- root/root 211 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_machine_word_auxiliary.v -rw-r--r-- root/root 4313 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_map.v -rw-r--r-- root/root 8444 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_map_auxiliary.v -rw-r--r-- root/root 1922 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_map_extra.v -rw-r--r-- root/root 455 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_map_extra_auxiliary.v -rw-r--r-- root/root 3319 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_maybe.v -rw-r--r-- root/root 2903 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_maybe_auxiliary.v -rw-r--r-- root/root 580 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_maybe_extra.v -rw-r--r-- root/root 211 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_maybe_extra_auxiliary.v -rw-r--r-- root/root 31516 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_num.v -rw-r--r-- root/root 63281 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_num_auxiliary.v -rw-r--r-- root/root 2195 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_num_extra.v -rw-r--r-- root/root 208 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_num_extra_auxiliary.v -rw-r--r-- root/root 1039 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_pervasives.v -rw-r--r-- root/root 210 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_pervasives_auxiliary.v -rw-r--r-- root/root 1010 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_pervasives_extra.v -rw-r--r-- root/root 215 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_pervasives_extra_auxiliary.v -rw-r--r-- root/root 14394 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_relation.v -rw-r--r-- root/root 26626 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_relation_auxiliary.v -rw-r--r-- root/root 8526 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_set.v -rw-r--r-- root/root 15966 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_set_auxiliary.v -rw-r--r-- root/root 2273 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_set_extra.v -rw-r--r-- root/root 2156 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_set_extra_auxiliary.v -rw-r--r-- root/root 1487 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_set_helpers.v -rw-r--r-- root/root 212 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_set_helpers_auxiliary.v -rw-r--r-- root/root 2170 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_show.v -rw-r--r-- root/root 203 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_show_auxiliary.v -rw-r--r-- root/root 2094 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_show_extra.v -rw-r--r-- root/root 209 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_show_extra_auxiliary.v -rw-r--r-- root/root 2649 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_sorting.v -rw-r--r-- root/root 3628 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_sorting_auxiliary.v -rw-r--r-- root/root 1650 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_string.v -rw-r--r-- root/root 2960 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_string_auxiliary.v -rw-r--r-- root/root 3411 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_string_extra.v -rw-r--r-- root/root 1667 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_string_extra_auxiliary.v -rw-r--r-- root/root 882 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_tuple.v -rw-r--r-- root/root 1639 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_tuple_auxiliary.v -rw-r--r-- root/root 25377 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_word.v -rw-r--r-- root/root 39095 2025-03-13 07:51 ./usr/share/lem/coq-lib/lem_word_auxiliary.v drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/lem/hol-lib/ -rw-r--r-- root/root 378 2025-03-13 07:51 ./usr/share/lem/hol-lib/Holmakefile -rw-r--r-- root/root 5038 2025-03-13 07:51 ./usr/share/lem/hol-lib/lemLib.sml -rw-r--r-- root/root 12053 2025-03-13 07:51 ./usr/share/lem/hol-lib/lemScript.sml -rw-r--r-- root/root 1073 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_assert_extraScript.sml -rw-r--r-- root/root 26474 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_basic_classesScript.sml -rw-r--r-- root/root 1437 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_boolScript.sml -rw-r--r-- root/root 797 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_debugScript.sml -rw-r--r-- root/root 2906 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_eitherScript.sml -rw-r--r-- root/root 1821 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_functionScript.sml -rw-r--r-- root/root 563 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_function_extraScript.sml -rw-r--r-- root/root 28887 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_listScript.sml -rw-r--r-- root/root 3518 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_list_extraScript.sml -rw-r--r-- root/root 10135 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_machine_wordScript.sml -rw-r--r-- root/root 7125 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_mapScript.sml -rw-r--r-- root/root 2852 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_map_extraScript.sml -rw-r--r-- root/root 3557 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_maybeScript.sml -rw-r--r-- root/root 534 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_maybe_extraScript.sml -rw-r--r-- root/root 30505 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_numScript.sml -rw-r--r-- root/root 2236 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_num_extraScript.sml -rw-r--r-- root/root 562 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_pervasivesScript.sml -rw-r--r-- root/root 637 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_pervasives_extraScript.sml -rw-r--r-- root/root 15992 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_relationScript.sml -rw-r--r-- root/root 11220 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_setScript.sml -rw-r--r-- root/root 4815 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_set_extraScript.sml -rw-r--r-- root/root 1724 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_set_helpersScript.sml -rw-r--r-- root/root 2647 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_showScript.sml -rw-r--r-- root/root 1854 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_show_extraScript.sml -rw-r--r-- root/root 3296 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_sortingScript.sml -rw-r--r-- root/root 1952 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_stringScript.sml -rw-r--r-- root/root 4085 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_string_extraScript.sml -rw-r--r-- root/root 1073 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_tupleScript.sml -rw-r--r-- root/root 29426 2025-03-13 07:51 ./usr/share/lem/hol-lib/lem_wordScript.sml drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/ -rw-r--r-- root/root 5864 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem.thy -rw-r--r-- root/root 39956 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/LemExtraDefs.thy -rw-r--r-- root/root 1772 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_assert_extra.thy -rw-r--r-- root/root 44399 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_basic_classes.thy -rw-r--r-- root/root 2504 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_bool.thy -rw-r--r-- root/root 1054 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_debug.thy -rw-r--r-- root/root 4415 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_either.thy -rw-r--r-- root/root 3351 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_function.thy -rw-r--r-- root/root 760 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_function_extra.thy -rw-r--r-- root/root 44151 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_list.thy -rw-r--r-- root/root 5912 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_list_extra.thy -rw-r--r-- root/root 23400 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_machine_word.thy -rw-r--r-- root/root 10280 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_map.thy -rw-r--r-- root/root 4368 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_map_extra.thy -rw-r--r-- root/root 5527 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_maybe.thy -rw-r--r-- root/root 700 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_maybe_extra.thy -rw-r--r-- root/root 49792 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_num.thy -rw-r--r-- root/root 2961 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_num_extra.thy -rw-r--r-- root/root 556 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_pervasives.thy -rw-r--r-- root/root 637 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_pervasives_extra.thy -rw-r--r-- root/root 27078 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_relation.thy -rw-r--r-- root/root 18228 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_set.thy -rw-r--r-- root/root 6692 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_set_extra.thy -rw-r--r-- root/root 2182 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_set_helpers.thy -rw-r--r-- root/root 4108 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_show.thy -rw-r--r-- root/root 2739 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_show_extra.thy -rw-r--r-- root/root 4853 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_sorting.thy -rw-r--r-- root/root 3058 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_string.thy -rw-r--r-- root/root 6690 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_string_extra.thy -rw-r--r-- root/root 1907 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_tuple.thy -rw-r--r-- root/root 50989 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/Lem_word.thy -rw-r--r-- root/root 164 2025-03-13 07:51 ./usr/share/lem/isabelle-lib/ROOT drwxr-xr-x root/root 0 2025-03-13 07:51 ./usr/share/lem/library/ -rw-r--r-- root/root 1341 2025-03-13 07:51 ./usr/share/lem/library/assert_extra.lem -rw-r--r-- root/root 21322 2025-03-13 07:51 ./usr/share/lem/library/basic_classes.lem -rw-r--r-- root/root 4173 2025-03-13 07:51 ./usr/share/lem/library/bool.lem -rw-r--r-- root/root 885 2025-03-13 07:51 ./usr/share/lem/library/coq_constants -rw-r--r-- root/root 757 2025-03-13 07:51 ./usr/share/lem/library/debug.lem -rw-r--r-- root/root 6265 2025-03-13 07:51 ./usr/share/lem/library/either.lem -rw-r--r-- root/root 2214 2025-03-13 07:51 ./usr/share/lem/library/function.lem -rw-r--r-- root/root 1308 2025-03-13 07:51 ./usr/share/lem/library/function_extra.lem -rw-r--r-- root/root 6256 2025-03-13 07:51 ./usr/share/lem/library/hol_constants -rw-r--r-- root/root 3817 2025-03-13 07:51 ./usr/share/lem/library/isabelle_constants -rw-r--r-- root/root 44239 2025-03-13 07:51 ./usr/share/lem/library/list.lem -rw-r--r-- root/root 6990 2025-03-13 07:51 ./usr/share/lem/library/list_extra.lem -rw-r--r-- root/root 57421 2025-03-13 07:51 ./usr/share/lem/library/machine_word.lem -rw-r--r-- root/root 15816 2025-03-13 07:51 ./usr/share/lem/library/map.lem -rw-r--r-- root/root 4217 2025-03-13 07:51 ./usr/share/lem/library/map_extra.lem -rw-r--r-- root/root 6764 2025-03-13 07:51 ./usr/share/lem/library/maybe.lem -rw-r--r-- root/root 977 2025-03-13 07:51 ./usr/share/lem/library/maybe_extra.lem -rw-r--r-- root/root 90751 2025-03-13 07:51 ./usr/share/lem/library/num.lem -rw-r--r-- root/root 2749 2025-03-13 07:51 ./usr/share/lem/library/num_extra.lem -rw-r--r-- root/root 35 2025-03-13 07:51 ./usr/share/lem/library/ocaml_constants -rw-r--r-- root/root 188 2025-03-13 07:51 ./usr/share/lem/library/pervasives.lem -rw-r--r-- root/root 244 2025-03-13 07:51 ./usr/share/lem/library/pervasives_extra.lem -rw-r--r-- root/root 32972 2025-03-13 07:51 ./usr/share/lem/library/relation.lem -rw-r--r-- root/root 25482 2025-03-13 07:51 ./usr/share/lem/library/set.lem -rw-r--r-- root/root 7375 2025-03-13 07:51 ./usr/share/lem/library/set_extra.lem -rw-r--r-- root/root 2068 2025-03-13 07:51 ./usr/share/lem/library/set_helpers.lem -rw-r--r-- root/root 1375 2025-03-13 07:51 ./usr/share/lem/library/show.lem -rw-r--r-- root/root 1117 2025-03-13 07:51 ./usr/share/lem/library/show_extra.lem -rw-r--r-- root/root 6431 2025-03-13 07:51 ./usr/share/lem/library/sorting.lem -rw-r--r-- root/root 6321 2025-03-13 07:51 ./usr/share/lem/library/string.lem -rw-r--r-- root/root 5880 2025-03-13 07:51 ./usr/share/lem/library/string_extra.lem -rw-r--r-- root/root 8754 2025-03-13 07:51 ./usr/share/lem/library/transform.lem -rw-r--r-- root/root 2908 2025-03-13 07:51 ./usr/share/lem/library/tuple.lem -rw-r--r-- root/root 39458 2025-03-13 07:51 ./usr/share/lem/library/word.lem drwxr-xr-x root/root 0 2025-03-13 07:51 ./var/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./var/lib/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2025-03-13 07:51 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 359 2025-03-13 07:51 ./var/lib/ocaml/lintian/liblem-ocaml-dev.info drwxr-xr-x root/root 0 2025-03-13 07:51 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 12870 2025-03-13 07:51 ./var/lib/ocaml/md5sums/liblem-ocaml-dev.md5sums +------------------------------------------------------------------------------+ | Post Build Thu, 13 Mar 2025 07:53:35 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Thu, 13 Mar 2025 07:53:35 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Thu, 13 Mar 2025 07:53:35 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 89716 Build-Time: 40 Distribution: unstable Host Architecture: amd64 Install-Time: 37 Job: /tmp/tmp.ben.transition-scripts.rmX6VK9C2j/lem_2022-12-10+dfsg2-4+ocaml20250313.dsc Machine Architecture: amd64 Package: lem Package-Time: 100 Source-Version: 2022-12-10+dfsg2-4+ocaml20250313 Space: 89716 Status: successful Version: 2022-12-10+dfsg2-4+ocaml20250313 -------------------------------------------------------------------------------- Finished at 2025-03-13T07:53:32Z Build needed 00:01:40, 89716k disk space