sbuild (Debian sbuild) 0.88.1 (16 December 2024) on derowd.up7.fr +==============================================================================+ | lem 2022-12-10+dfsg2-4+ocaml1 (amd64) Wed, 15 Jan 2025 11:38:33 +0000 | +==============================================================================+ Package: lem Version: 2022-12-10+dfsg2-4+ocaml1 Source Version: 2022-12-10+dfsg2-4+ocaml1 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: No tarballs found in /home/steph/.cache/sbuild I: Unpacking /home/steph/ocaml-transitions/20250115/ocaml-5.3.0/ben/rootfs.tar.zst to /var/tmp/tmp.sbuild.ZoPiDo3iwF... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Wed, 15 Jan 2025 11:38:36 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/rebuilt ./ InRelease Get:2 file:/rebuilt ./ Release [1351 B] Get:2 file:/rebuilt ./ Release [1351 B] Ign:3 file:/rebuilt ./ Release.gpg Get:4 file:/rebuilt ./ Packages [106 kB] Get:5 http://localhost:9999/debian unstable InRelease [205 kB] Get:6 http://localhost:9999/debian unstable/contrib amd64 Packages [65.7 kB] Get:7 http://localhost:9999/debian unstable/non-free amd64 Packages [122 kB] Get:8 http://localhost:9999/debian unstable/main amd64 Packages [9979 kB] Get:9 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [6912 B] Fetched 10.4 MB in 1s (15.1 MB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Wed, 15 Jan 2025 11:38:37 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.Nh8HMZwuRB/lem_2022-12-10+dfsg2-4+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.Nh8HMZwuRB; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Wed, 15 Jan 2025 11:38:38 +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, fakeroot 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, fakeroot dpkg-deb: warning: root directory /build/reproducible-path/resolver-ikvLwx/sbuild-build-depends-main-dummy has unusual owner or group 998:999 dpkg-deb: Hint: you might need to pass --root-owner-group, see for further details dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-ikvLwx/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-ikvLwx/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-ikvLwx/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-ikvLwx/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-ikvLwx/apt_archive ./ Sources [742 B] Get:5 copy:/build/reproducible-path/resolver-ikvLwx/apt_archive ./ Packages [774 B] Fetched 2125 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 fakeroot file gettext gettext-base groff-base help2man intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libdebhelper-perl libelf1t64 libfakeroot libfile-stripnondeterminism-perl libfindlib-ocaml libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 liblocale-gettext-perl libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libnum-ocaml libnum-ocaml-dev libpipeline1 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 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 fakeroot file gettext gettext-base groff-base help2man intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libconfig-tiny-perl libdebhelper-perl libelf1t64 libfakeroot libfile-stripnondeterminism-perl libfindlib-ocaml libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 liblocale-gettext-perl libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6 libnum-ocaml libnum-ocaml-dev libpipeline1 libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5 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, 58 newly installed, 0 to remove and 0 not upgraded. Need to get 22.9 MB/113 MB of archives. After this operation, 356 MB of additional disk space will be used. Get:1 file:/rebuilt ./ dh-ocaml 2.4+ocaml1 [63.0 kB] Get:2 copy:/build/reproducible-path/resolver-ikvLwx/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [936 B] Get:3 file:/rebuilt ./ libstdlib-ocaml 5.3.0-1~exp2+ocaml1 [604 kB] Get:4 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-1~exp2+ocaml1 [7889 kB] Get:5 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-1~exp2+ocaml1 [48.2 MB] Get:6 http://localhost:9999/debian unstable/main amd64 liblocale-gettext-perl amd64 1.07-7+b1 [15.3 kB] Get:7 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB] Get:8 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB] Get:9 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB] Get:10 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB] Get:11 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 0.22.5-4 [200 kB] Get:12 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get:13 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB] Get:14 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.40.4-1 [92.2 kB] Get:15 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get:16 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB] Get:17 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.19-5 [294 kB] Get:18 http://localhost:9999/debian unstable/main amd64 autoconf all 2.72-3 [493 kB] Get:19 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get:20 http://localhost:9999/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get:21 http://localhost:9999/debian unstable/main amd64 autopoint all 0.22.5-4 [723 kB] Get:22 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 13.23 [90.6 kB] Get:23 http://localhost:9999/debian unstable/main amd64 libtool all 2.5.4-2 [539 kB] Get:24 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB] Get:25 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:26 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get:27 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get:28 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get:29 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get:30 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB] Get:31 http://localhost:9999/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB] Get:32 http://localhost:9999/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB] Get:33 http://localhost:9999/debian unstable/main amd64 gettext amd64 0.22.5-4 [1600 kB] Get:34 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:35 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:36 http://localhost:9999/debian unstable/main amd64 debhelper all 13.23 [919 kB] Get:37 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:38 http://localhost:9999/debian unstable/main amd64 libfakeroot amd64 1.36.2-1 [29.6 kB] Get:39 http://localhost:9999/debian unstable/main amd64 fakeroot amd64 1.36.2-1 [75.4 kB] Get:40 http://localhost:9999/debian unstable/main amd64 help2man amd64 1.49.3 [198 kB] Get:41 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB] Get:42 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB] Get:43 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB] Get:44 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB] Get:45 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.5-2+b1 [136 kB] Get:46 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB] Get:47 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [365 kB] Get:48 file:/rebuilt ./ ocaml-base 5.3.0-1~exp2+ocaml1 [494 kB] Get:49 file:/rebuilt ./ libfindlib-ocaml 1.9.6-3+ocaml1 [180 kB] Get:50 file:/rebuilt ./ libnum-ocaml 1.5-1+ocaml1 [181 kB] Get:51 file:/rebuilt ./ ocaml-interp 5.3.0-1~exp2+ocaml1 [7105 kB] Get:52 file:/rebuilt ./ ocaml 5.3.0-1~exp2+ocaml1 [18.0 MB] Get:53 file:/rebuilt ./ libnum-ocaml-dev 1.5-1+ocaml1 [147 kB] Get:54 file:/rebuilt ./ libzarith-ocaml 1.14-1+ocaml1 [117 kB] Get:55 file:/rebuilt ./ libzarith-ocaml-dev 1.14-1+ocaml1 [143 kB] Get:56 file:/rebuilt ./ ocaml-dune 3.17.1-2+ocaml1 [4836 kB] Get:57 file:/rebuilt ./ ocaml-findlib 1.9.6-3+ocaml1 [581 kB] Get:58 file:/rebuilt ./ ocamlbuild 0.15.0-2+ocaml1 [1143 kB] Preconfiguring packages ... Fetched 22.9 MB in 0s (71.2 MB/s) Selecting previously unselected package liblocale-gettext-perl. (Reading database ... 11791 files and directories currently installed.) Preparing to unpack .../00-liblocale-gettext-perl_1.07-7+b1_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-7+b1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.22.5-4_amd64.deb ... Unpacking gettext-base (0.22.5-4) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.23.0-7_amd64.deb ... Unpacking groff-base (1.23.0-7) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.40.4-1_amd64.deb ... Unpacking bsdextrautils (2.40.4-1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-5_amd64.deb ... Unpacking m4 (1.4.19-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.22.5-4_all.deb ... Unpacking autopoint (0.22.5-4) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../16-libdebhelper-perl_13.23_all.deb ... Unpacking libdebhelper-perl (13.23) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.5.4-2_all.deb ... Unpacking libtool (2.5.4-2) ... 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 libfile-stripnondeterminism-perl. Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../21-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../22-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../23-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../24-libunistring5_1.3-1_amd64.deb ... Unpacking libunistring5:amd64 (1.3-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../25-libicu72_72.1-6_amd64.deb ... Unpacking libicu72:amd64 (72.1-6) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../26-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../27-gettext_0.22.5-4_amd64.deb ... Unpacking gettext (0.22.5-4) ... 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.23_all.deb ... Unpacking debhelper (13.23) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../31-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../32-dh-ocaml_2.4+ocaml1_all.deb ... Unpacking dh-ocaml (2.4+ocaml1) ... Selecting previously unselected package libfakeroot:amd64. Preparing to unpack .../33-libfakeroot_1.36.2-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.36.2-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../34-fakeroot_1.36.2-1_amd64.deb ... Unpacking fakeroot (1.36.2-1) ... Selecting previously unselected package help2man. Preparing to unpack .../35-help2man_1.49.3_amd64.deb ... Unpacking help2man (1.49.3) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../36-libstdlib-ocaml_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../37-libstdlib-ocaml-dev_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../38-libcompiler-libs-ocaml-dev_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../39-ocaml-base_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking ocaml-base (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../40-libfindlib-ocaml_1.9.6-3+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3+ocaml1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../41-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../42-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../43-libgmp3-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../44-libncurses6_6.5-2+b1_amd64.deb ... Unpacking libncurses6:amd64 (6.5-2+b1) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../45-libncursesw6_6.5-2+b1_amd64.deb ... Unpacking libncursesw6:amd64 (6.5-2+b1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../46-libncurses-dev_6.5-2+b1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2+b1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../47-libnum-ocaml_1.5-1+ocaml1_amd64.deb ... Unpacking libnum-ocaml (1.5-1+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../48-ocaml-interp_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../49-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../50-ocaml_5.3.0-1~exp2+ocaml1_amd64.deb ... Unpacking ocaml (5.3.0-1~exp2+ocaml1) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../51-libnum-ocaml-dev_1.5-1+ocaml1_amd64.deb ... Unpacking libnum-ocaml-dev (1.5-1+ocaml1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../52-libzarith-ocaml_1.14-1+ocaml1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+ocaml1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../53-libzarith-ocaml-dev_1.14-1+ocaml1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+ocaml1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../54-ocaml-dune_3.17.1-2+ocaml1_amd64.deb ... Unpacking ocaml-dune (3.17.1-2+ocaml1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../55-ocaml-findlib_1.9.6-3+ocaml1_amd64.deb ... Unpacking ocaml-findlib (1.9.6-3+ocaml1) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../56-ocamlbuild_0.15.0-2+ocaml1_amd64.deb ... Unpacking ocamlbuild (0.15.0-2+ocaml1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../57-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.8-1) ... Setting up libicu72:amd64 (72.1-6) ... Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... Setting up bsdextrautils (2.40.4-1) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.23) ... Setting up libmagic1t64:amd64 (1:5.45-3+b1) ... Setting up gettext-base (0.22.5-4) ... Setting up m4 (1.4.19-5) ... Setting up file (1:5.45-3+b1) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libfakeroot:amd64 (1.36.2-1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up ocaml-dune (3.17.1-2+ocaml1) ... Setting up fakeroot (1.36.2-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up autotools-dev (20220109.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Setting up libncurses6:amd64 (6.5-2+b1) ... Setting up libstdlib-ocaml (5.3.0-1~exp2+ocaml1) ... Setting up libunistring5:amd64 (1.3-1) ... Setting up autopoint (0.22.5-4) ... Setting up ocaml-base (5.3.0-1~exp2+ocaml1) ... Setting up libncursesw6:amd64 (6.5-2+b1) ... Setting up autoconf (2.72-3) ... Setting up libnum-ocaml (1.5-1+ocaml1) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Setting up liblocale-gettext-perl (1.07-7+b1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.0-1) ... Setting up libncurses-dev:amd64 (6.5-2+b1) ... Setting up gettext (0.22.5-4) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libtool (2.5.4-2) ... Setting up libstdlib-ocaml-dev (5.3.0-1~exp2+ocaml1) ... Setting up dh-ocaml (2.4+ocaml1) ... Setting up libfindlib-ocaml (1.9.6-3+ocaml1) ... Setting up libzarith-ocaml (1.14-1+ocaml1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up help2man (1.49.3) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-1~exp2+ocaml1) ... Setting up ocaml-interp (5.3.0-1~exp2+ocaml1) ... Setting up ocaml-findlib (1.9.6-3+ocaml1) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up groff-base (1.23.0-7) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up ocaml (5.3.0-1~exp2+ocaml1) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libzarith-ocaml-dev (1.14-1+ocaml1) ... Setting up libnum-ocaml-dev (1.5-1+ocaml1) ... Setting up debhelper (13.23) ... Setting up ocamlbuild (0.15.0-2+ocaml1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.40-5) ... +------------------------------------------------------------------------------+ | Check architectures Wed, 15 Jan 2025 11:39:16 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Wed, 15 Jan 2025 11:39:16 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.6-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.6-1 (2024-12-21) amd64 (x86_64) Toolchain package versions: binutils_2.43.50.20250108-1 dpkg-dev_1.22.13 g++-14_14.2.0-13 gcc-14_14.2.0-13 libc6-dev_2.40-5 libstdc++-14-dev_14.2.0-13 libstdc++6_14.2.0-13 linux-libc-dev_6.12.9-1 Package versions: apt_2.9.22 autoconf_2.72-3 automake_1:1.16.5-1.3 autopoint_0.22.5-4 autotools-dev_20220109.1 base-files_13.6 base-passwd_3.6.6 bash_5.2.37-1 binutils_2.43.50.20250108-1 binutils-common_2.43.50.20250108-1 binutils-x86-64-linux-gnu_2.43.50.20250108-1 bsdextrautils_2.40.4-1 bsdutils_1:2.40.4-1 build-essential_12.12 bzip2_1.0.8-6 coreutils_9.5-1+b1 cpp_4:14.2.0-1 cpp-14_14.2.0-13 cpp-14-x86-64-linux-gnu_14.2.0-13 cpp-x86-64-linux-gnu_4:14.2.0-1 dash_0.5.12-11 debconf_1.5.89 debhelper_13.23 debian-archive-keyring_2023.4 debianutils_5.21 dh-autoreconf_20 dh-ocaml_2.4+ocaml1 dh-strip-nondeterminism_1.14.0-1 diffutils_1:3.10-2 dpkg_1.22.13 dpkg-dev_1.22.13 dwz_0.15-1+b1 fakeroot_1.36.2-1 file_1:5.45-3+b1 findutils_4.10.0-3 g++_4:14.2.0-1 g++-14_14.2.0-13 g++-14-x86-64-linux-gnu_14.2.0-13 g++-x86-64-linux-gnu_4:14.2.0-1 gcc_4:14.2.0-1 gcc-14_14.2.0-13 gcc-14-base_14.2.0-13 gcc-14-x86-64-linux-gnu_14.2.0-13 gcc-x86-64-linux-gnu_4:14.2.0-1 gettext_0.22.5-4 gettext-base_0.22.5-4 grep_3.11-4 groff-base_1.23.0-7 gzip_1.12-1.2 help2man_1.49.3 hostname_3.25 init-system-helpers_1.68 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b1 libapt-pkg6.0t64_2.9.22 libarchive-zip-perl_1.68-1 libasan8_14.2.0-13 libatomic1_14.2.0-13 libattr1_1:2.5.2-2 libaudit-common_1:4.0.2-2 libaudit1_1:4.0.2-2 libbinutils_2.43.50.20250108-1 libblkid1_2.40.4-1 libbz2-1.0_1.0.8-6 libc-bin_2.40-5 libc-dev-bin_2.40-5 libc6_2.40-5 libc6-dev_2.40-5 libcap-ng0_0.8.5-4 libcap2_1:2.66-5+b1 libcc1-0_14.2.0-13 libcompiler-libs-ocaml-dev_5.3.0-1~exp2+ocaml1 libconfig-tiny-perl_2.30-1 libcrypt-dev_1:4.4.36-5 libcrypt1_1:4.4.36-5 libctf-nobfd0_2.43.50.20250108-1 libctf0_2.43.50.20250108-1 libdb5.3t64_5.3.28+dfsg2-9 libdebconfclient0_0.277 libdebhelper-perl_13.23 libdpkg-perl_1.22.13 libelf1t64_0.192-4 libfakeroot_1.36.2-1 libfile-stripnondeterminism-perl_1.14.0-1 libfindlib-ocaml_1.9.6-3+ocaml1 libgcc-14-dev_14.2.0-13 libgcc-s1_14.2.0-13 libgdbm-compat4t64_1.24-2 libgdbm6t64_1.24-2 libgmp-dev_2:6.3.0+dfsg-3 libgmp10_2:6.3.0+dfsg-3 libgmp3-dev_2:6.3.0+dfsg-3 libgmpxx4ldbl_2:6.3.0+dfsg-3 libgomp1_14.2.0-13 libgprofng0_2.43.50.20250108-1 libhogweed6t64_3.10-1+b1 libhwasan0_14.2.0-13 libicu72_72.1-6 libisl23_0.27-1 libitm1_14.2.0-13 libjansson4_2.14-2+b3 liblocale-gettext-perl_1.07-7+b1 liblsan0_14.2.0-13 liblz4-1_1.9.4-4 liblzma5_5.6.3-1+b1 libmagic-mgc_1:5.45-3+b1 libmagic1t64_1:5.45-3+b1 libmd0_1.1.0-2+b1 libmount1_2.40.4-1 libmpc3_1.3.1-1+b3 libmpfr6_4.2.1-1+b2 libncurses-dev_6.5-2+b1 libncurses6_6.5-2+b1 libncursesw6_6.5-2+b1 libnettle8t64_3.10-1+b1 libnum-ocaml_1.5-1+ocaml1 libnum-ocaml-dev_1.5-1+ocaml1 libpam-modules_1.5.3-7+b1 libpam-modules-bin_1.5.3-7+b1 libpam-runtime_1.5.3-7 libpam0g_1.5.3-7+b1 libpcre2-8-0_10.44-5 libperl5.40_5.40.0-8 libpipeline1_1.5.8-1 libquadmath0_14.2.0-13 libseccomp2_2.5.5-2 libselinux1_3.7-3+b1 libsframe1_2.43.50.20250108-1 libsmartcols1_2.40.4-1 libssl3t64_3.4.0-2 libstdc++-14-dev_14.2.0-13 libstdc++6_14.2.0-13 libstdlib-ocaml_5.3.0-1~exp2+ocaml1 libstdlib-ocaml-dev_5.3.0-1~exp2+ocaml1 libsystemd0_257.2-1 libtinfo6_6.5-2+b1 libtool_2.5.4-2 libtsan2_14.2.0-13 libubsan1_14.2.0-13 libuchardet0_0.0.8-1+b2 libudev1_257.2-1 libunistring5_1.3-1 libuuid1_2.40.4-1 libxml2_2.12.7+dfsg+really2.9.14-0.2+b1 libxxhash0_0.8.3-2 libzarith-ocaml_1.14-1+ocaml1 libzarith-ocaml-dev_1.14-1+ocaml1 libzstd-dev_1.5.6+dfsg-2 libzstd1_1.5.6+dfsg-2 linux-libc-dev_6.12.9-1 m4_1.4.19-5 make_4.4.1-1 man-db_2.13.0-1 mawk_1.3.4.20240905-1 ncurses-base_6.5-2 ncurses-bin_6.5-2+b1 ocaml_5.3.0-1~exp2+ocaml1 ocaml-base_5.3.0-1~exp2+ocaml1 ocaml-dune_3.17.1-2+ocaml1 ocaml-findlib_1.9.6-3+ocaml1 ocaml-interp_5.3.0-1~exp2+ocaml1 ocamlbuild_0.15.0-2+ocaml1 openssl-provider-legacy_3.4.0-2 patch_2.7.6-7 perl_5.40.0-8 perl-base_5.40.0-8 perl-modules-5.40_5.40.0-8 po-debconf_1.0.21+nmu1 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.24 sqv_1.2.1-5 sysvinit-utils_3.13-1 tar_1.35+dfsg-3.1 util-linux_2.40.4-1 xz-utils_5.6.3-1+b1 zlib1g_1:1.3.dfsg+really1.3.1-1+b1 +------------------------------------------------------------------------------+ | Build Wed, 15 Jan 2025 11:39:16 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: lem Binary: lem, liblem-ocaml-dev Architecture: any Version: 2022-12-10+dfsg2-4+ocaml1 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 bd08f910a99774cfa68504d1fd1652f65ac00a8a 9064 lem_2022-12-10+dfsg2-4+ocaml1.debian.tar.xz Checksums-Sha256: 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz ec5cf11427fc4a097cba98c15b668d3c541f875d4e5cd4b07bf4443d06397467 9064 lem_2022-12-10+dfsg2-4+ocaml1.debian.tar.xz Files: 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz cef9ca9f24be424fbe7b274ce065c05b 9064 lem_2022-12-10+dfsg2-4+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (lem_2022-12-10+dfsg2-4+ocaml1.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+ocaml1.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 Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=1 HOME=/sbuild-nonexistent LANG=fr_FR.UTF-8 LC_ALL=C.UTF-8 LOGNAME=steph MAKEFLAGS= PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh USER=steph dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -sa dpkg-buildpackage: info: source package lem dpkg-buildpackage: info: source version 2022-12-10+dfsg2-4+ocaml1 dpkg-buildpackage: info: source distribution unstable-ocaml dpkg-buildpackage: info: source changed by Anonymous Builder dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with 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+ocaml1.debian.tar.xz dpkg-source: info: building lem in lem_2022-12-10+dfsg2-4+ocaml1.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 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 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 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 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 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 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 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 from: /lib64/ld-linux-x86-64.so.2 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib64/ld-linux-x86-64.so.2.usr-is-merged 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+ocaml1_amd64.deb'. dpkg-deb: building package 'lem-dbgsym' in '../lem-dbgsym_2022-12-10+dfsg2-4+ocaml1_amd64.deb'. dpkg-deb: building package 'liblem-ocaml-dev' in '../liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../lem_2022-12-10+dfsg2-4+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../lem_2022-12-10+dfsg2-4+ocaml1_amd64.changes dpkg-genchanges: info: including full source code in upload dpkg-source --after-build . dpkg-buildpackage: info: full upload (original source is included) -------------------------------------------------------------------------------- Build finished at 2025-01-15T11:40:02Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Wed, 15 Jan 2025 11:40:03 +0000 | +------------------------------------------------------------------------------+ lem_2022-12-10+dfsg2-4+ocaml1_amd64.changes: -------------------------------------------- Format: 1.8 Date: Wed, 15 Jan 2025 12:38:33 +0100 Source: lem Binary: lem lem-dbgsym liblem-ocaml-dev Architecture: source amd64 Version: 2022-12-10+dfsg2-4+ocaml1 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+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.3.0 Checksums-Sha1: cd7089f7021577684dc445daee5e17bc244818f6 1255 lem_2022-12-10+dfsg2-4+ocaml1.dsc 99aaa1b0bc08a4bff4a07f6f10da25eab9fcfeb8 500444 lem_2022-12-10+dfsg2.orig.tar.xz f5de2d0fb883e0533e85f51d4f66706739e596af 9064 lem_2022-12-10+dfsg2-4+ocaml1.debian.tar.xz 6b5ef96613376e403929288b3305f40423c81314 438852 lem-dbgsym_2022-12-10+dfsg2-4+ocaml1_amd64.deb 5f72d8482d4188e5874a1d9665694938189986e2 6442 lem_2022-12-10+dfsg2-4+ocaml1_amd64.buildinfo 31275b02d7460191a9b4f21e28febc72c96dd549 1378724 lem_2022-12-10+dfsg2-4+ocaml1_amd64.deb 6b67c1dd6035bba8d38de6cc4a231af7e4ce2417 562552 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml1_amd64.deb Checksums-Sha256: 6ceb5ff75a6e2a172592317b34c9e6dfb13044e669716148a43e82395f3eaf9e 1255 lem_2022-12-10+dfsg2-4+ocaml1.dsc 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz 80bfec8ea7bdcb39aade068cd109996b6f9c4f7c6f60e57b6f434f206acc98bf 9064 lem_2022-12-10+dfsg2-4+ocaml1.debian.tar.xz 4023e24b25809090f1b9d3ade2019af2400c200c4253b4d7f6897f17dd2c7b4d 438852 lem-dbgsym_2022-12-10+dfsg2-4+ocaml1_amd64.deb 80330cf594ca4b70b3c647e9270e29396f96559b89fd7086002d9571e68aa25d 6442 lem_2022-12-10+dfsg2-4+ocaml1_amd64.buildinfo 7e54173f10500d1ba283049c5bf7b38d81bf940e3c5025c7655470bb4567b1e7 1378724 lem_2022-12-10+dfsg2-4+ocaml1_amd64.deb dee44f7fb84e82d3bec321667dfc773722140444297cebe9985b10c6c58a7648 562552 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml1_amd64.deb Files: eaf1ffeb13e020caeabe6d9296193c16 1255 ocaml optional lem_2022-12-10+dfsg2-4+ocaml1.dsc 10e8eca9382d758d7641df0be88af534 500444 ocaml optional lem_2022-12-10+dfsg2.orig.tar.xz 2c635bb2f989894d13d5e04cea5b4198 9064 ocaml optional lem_2022-12-10+dfsg2-4+ocaml1.debian.tar.xz 7c4d18a3cd51faf1210a0f2cf41caab7 438852 debug optional lem-dbgsym_2022-12-10+dfsg2-4+ocaml1_amd64.deb 85d93aa3191eaac842d6101579fdf351 6442 ocaml optional lem_2022-12-10+dfsg2-4+ocaml1_amd64.buildinfo f7f921751823995d4a25fbdc7e288b1e 1378724 ocaml optional lem_2022-12-10+dfsg2-4+ocaml1_amd64.deb 714ef2ab27224a900bbe93f204881cec 562552 ocaml optional liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Wed, 15 Jan 2025 11:40:03 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: lem Binary: lem lem-dbgsym liblem-ocaml-dev Architecture: amd64 source Version: 2022-12-10+dfsg2-4+ocaml1 Checksums-Md5: eaf1ffeb13e020caeabe6d9296193c16 1255 lem_2022-12-10+dfsg2-4+ocaml1.dsc 7c4d18a3cd51faf1210a0f2cf41caab7 438852 lem-dbgsym_2022-12-10+dfsg2-4+ocaml1_amd64.deb f7f921751823995d4a25fbdc7e288b1e 1378724 lem_2022-12-10+dfsg2-4+ocaml1_amd64.deb 714ef2ab27224a900bbe93f204881cec 562552 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml1_amd64.deb Checksums-Sha1: cd7089f7021577684dc445daee5e17bc244818f6 1255 lem_2022-12-10+dfsg2-4+ocaml1.dsc 6b5ef96613376e403929288b3305f40423c81314 438852 lem-dbgsym_2022-12-10+dfsg2-4+ocaml1_amd64.deb 31275b02d7460191a9b4f21e28febc72c96dd549 1378724 lem_2022-12-10+dfsg2-4+ocaml1_amd64.deb 6b67c1dd6035bba8d38de6cc4a231af7e4ce2417 562552 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml1_amd64.deb Checksums-Sha256: 6ceb5ff75a6e2a172592317b34c9e6dfb13044e669716148a43e82395f3eaf9e 1255 lem_2022-12-10+dfsg2-4+ocaml1.dsc 4023e24b25809090f1b9d3ade2019af2400c200c4253b4d7f6897f17dd2c7b4d 438852 lem-dbgsym_2022-12-10+dfsg2-4+ocaml1_amd64.deb 7e54173f10500d1ba283049c5bf7b38d81bf940e3c5025c7655470bb4567b1e7 1378724 lem_2022-12-10+dfsg2-4+ocaml1_amd64.deb dee44f7fb84e82d3bec321667dfc773722140444297cebe9985b10c6c58a7648 562552 liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Wed, 15 Jan 2025 11:40:02 +0000 Build-Path: /build/reproducible-path/lem-2022-12-10+dfsg2 Installed-Build-Depends: autoconf (= 2.72-3), automake (= 1:1.16.5-1.3), autopoint (= 0.22.5-4), autotools-dev (= 20220109.1), base-files (= 13.6), base-passwd (= 3.6.6), bash (= 5.2.37-1), binutils (= 2.43.50.20250108-1), binutils-common (= 2.43.50.20250108-1), binutils-x86-64-linux-gnu (= 2.43.50.20250108-1), bsdextrautils (= 2.40.4-1), bsdutils (= 1:2.40.4-1), build-essential (= 12.12), bzip2 (= 1.0.8-6), coreutils (= 9.5-1+b1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-13), cpp-14-x86-64-linux-gnu (= 14.2.0-13), cpp-x86-64-linux-gnu (= 4:14.2.0-1), dash (= 0.5.12-11), debconf (= 1.5.89), debhelper (= 13.23), debianutils (= 5.21), dh-autoreconf (= 20), dh-ocaml (= 2.4+ocaml1), dh-strip-nondeterminism (= 1.14.0-1), diffutils (= 1:3.10-2), dpkg (= 1.22.13), dpkg-dev (= 1.22.13), dwz (= 0.15-1+b1), file (= 1:5.45-3+b1), findutils (= 4.10.0-3), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-13), g++-14-x86-64-linux-gnu (= 14.2.0-13), g++-x86-64-linux-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-13), gcc-14-base (= 14.2.0-13), gcc-14-x86-64-linux-gnu (= 14.2.0-13), gcc-x86-64-linux-gnu (= 4:14.2.0-1), gettext (= 0.22.5-4), gettext-base (= 0.22.5-4), grep (= 3.11-4), groff-base (= 1.23.0-7), gzip (= 1.12-1.2), help2man (= 1.49.3), hostname (= 3.25), init-system-helpers (= 1.68), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2+b1), libarchive-zip-perl (= 1.68-1), libasan8 (= 14.2.0-13), libatomic1 (= 14.2.0-13), libattr1 (= 1:2.5.2-2), libaudit-common (= 1:4.0.2-2), libaudit1 (= 1:4.0.2-2), libbinutils (= 2.43.50.20250108-1), libblkid1 (= 2.40.4-1), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.40-5), libc-dev-bin (= 2.40-5), libc6 (= 2.40-5), libc6-dev (= 2.40-5), libcap-ng0 (= 0.8.5-4), libcap2 (= 1:2.66-5+b1), libcc1-0 (= 14.2.0-13), libcompiler-libs-ocaml-dev (= 5.3.0-1~exp2+ocaml1), libconfig-tiny-perl (= 2.30-1), libcrypt-dev (= 1:4.4.36-5), libcrypt1 (= 1:4.4.36-5), libctf-nobfd0 (= 2.43.50.20250108-1), libctf0 (= 2.43.50.20250108-1), libdb5.3t64 (= 5.3.28+dfsg2-9), libdebconfclient0 (= 0.277), libdebhelper-perl (= 13.23), libdpkg-perl (= 1.22.13), libelf1t64 (= 0.192-4), libfile-stripnondeterminism-perl (= 1.14.0-1), libfindlib-ocaml (= 1.9.6-3+ocaml1), libgcc-14-dev (= 14.2.0-13), libgcc-s1 (= 14.2.0-13), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libgmp-dev (= 2:6.3.0+dfsg-3), libgmp10 (= 2:6.3.0+dfsg-3), libgmp3-dev (= 2:6.3.0+dfsg-3), libgmpxx4ldbl (= 2:6.3.0+dfsg-3), libgomp1 (= 14.2.0-13), libgprofng0 (= 2.43.50.20250108-1), libhwasan0 (= 14.2.0-13), libicu72 (= 72.1-6), libisl23 (= 0.27-1), libitm1 (= 14.2.0-13), libjansson4 (= 2.14-2+b3), liblocale-gettext-perl (= 1.07-7+b1), liblsan0 (= 14.2.0-13), liblzma5 (= 5.6.3-1+b1), libmagic-mgc (= 1:5.45-3+b1), libmagic1t64 (= 1:5.45-3+b1), libmd0 (= 1.1.0-2+b1), libmount1 (= 2.40.4-1), libmpc3 (= 1.3.1-1+b3), libmpfr6 (= 4.2.1-1+b2), libncurses-dev (= 6.5-2+b1), libncurses6 (= 6.5-2+b1), libncursesw6 (= 6.5-2+b1), libnum-ocaml (= 1.5-1+ocaml1), libnum-ocaml-dev (= 1.5-1+ocaml1), libpam-modules (= 1.5.3-7+b1), libpam-modules-bin (= 1.5.3-7+b1), libpam-runtime (= 1.5.3-7), libpam0g (= 1.5.3-7+b1), libpcre2-8-0 (= 10.44-5), libperl5.40 (= 5.40.0-8), libpipeline1 (= 1.5.8-1), libquadmath0 (= 14.2.0-13), libseccomp2 (= 2.5.5-2), libselinux1 (= 3.7-3+b1), libsframe1 (= 2.43.50.20250108-1), libsmartcols1 (= 2.40.4-1), libssl3t64 (= 3.4.0-2), libstdc++-14-dev (= 14.2.0-13), libstdc++6 (= 14.2.0-13), libstdlib-ocaml (= 5.3.0-1~exp2+ocaml1), libstdlib-ocaml-dev (= 5.3.0-1~exp2+ocaml1), libsystemd0 (= 257.2-1), libtinfo6 (= 6.5-2+b1), libtool (= 2.5.4-2), libtsan2 (= 14.2.0-13), libubsan1 (= 14.2.0-13), libuchardet0 (= 0.0.8-1+b2), libudev1 (= 257.2-1), libunistring5 (= 1.3-1), libuuid1 (= 2.40.4-1), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1), libzarith-ocaml (= 1.14-1+ocaml1), libzarith-ocaml-dev (= 1.14-1+ocaml1), libzstd-dev (= 1.5.6+dfsg-2), libzstd1 (= 1.5.6+dfsg-2), linux-libc-dev (= 6.12.9-1), m4 (= 1.4.19-5), make (= 4.4.1-1), man-db (= 2.13.0-1), mawk (= 1.3.4.20240905-1), ncurses-base (= 6.5-2), ncurses-bin (= 6.5-2+b1), ocaml (= 5.3.0-1~exp2+ocaml1), ocaml-base (= 5.3.0-1~exp2+ocaml1), ocaml-dune (= 3.17.1-2+ocaml1), ocaml-findlib (= 1.9.6-3+ocaml1), ocaml-interp (= 5.3.0-1~exp2+ocaml1), ocamlbuild (= 0.15.0-2+ocaml1), openssl-provider-legacy (= 3.4.0-2), patch (= 2.7.6-7), perl (= 5.40.0-8), perl-base (= 5.40.0-8), perl-modules-5.40 (= 5.40.0-8), po-debconf (= 1.0.21+nmu1), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.24), sysvinit-utils (= 3.13-1), tar (= 1.35+dfsg-3.1), util-linux (= 2.40.4-1), xz-utils (= 5.6.3-1+b1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1736941113" +------------------------------------------------------------------------------+ | Package contents Wed, 15 Jan 2025 11:40:03 +0000 | +------------------------------------------------------------------------------+ lem-dbgsym_2022-12-10+dfsg2-4+ocaml1_amd64.deb ---------------------------------------------- new Debian package, version 2.0. size 438852 bytes: control archive=536 bytes. 381 bytes, 12 lines control 106 bytes, 1 lines md5sums Package: lem-dbgsym Source: lem Version: 2022-12-10+dfsg2-4+ocaml1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 1569 Depends: lem (= 2022-12-10+dfsg2-4+ocaml1) Section: debug Priority: optional Description: debug symbols for lem Build-Ids: 77f922f387ac4e551491c6b23901168800350966 drwxr-xr-x root/root 0 2025-01-15 11:38 ./ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/debug/.build-id/77/ -rw-r--r-- root/root 1596048 2025-01-15 11:38 ./usr/lib/debug/.build-id/77/f922f387ac4e551491c6b23901168800350966.debug drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-01-15 11:38 ./usr/share/doc/lem-dbgsym -> lem lem_2022-12-10+dfsg2-4+ocaml1_amd64.deb --------------------------------------- new Debian package, version 2.0. size 1378724 bytes: control archive=940 bytes. 846 bytes, 19 lines control 308 bytes, 5 lines md5sums Package: lem Version: 2022-12-10+dfsg2-4+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 5293 Depends: libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg) 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-01-15 11:38 ./ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/bin/ -rwxr-xr-x root/root 5397352 2025-01-15 11:38 ./usr/bin/lem drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./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 456 2025-01-15 11:38 ./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-01-15 11:38 ./usr/share/man/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/man/man1/ -rw-r--r-- root/root 1820 2025-01-15 11:38 ./usr/share/man/man1/lem.1.gz liblem-ocaml-dev_2022-12-10+dfsg2-4+ocaml1_amd64.deb ---------------------------------------------------- new Debian package, version 2.0. size 562552 bytes: control archive=9640 bytes. 1066 bytes, 23 lines control 38906 bytes, 442 lines md5sums Package: liblem-ocaml-dev Source: lem Version: 2022-12-10+dfsg2-4+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 5397 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-01-15 11:38 ./ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem/ -rw-r--r-- root/root 116 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem/META drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/ -rw-r--r-- root/root 256 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/META -rw-r--r-- root/root 2371 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/big_int_impl.cmi -rw-r--r-- root/root 5719 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/big_int_impl.cmx -rw-r--r-- root/root 2936 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/big_int_impl.mli -rw-r--r-- root/root 553 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/bit.cmi -rw-r--r-- root/root 600 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/bit.cmx -rw-r--r-- root/root 502 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/bit.ml -rw-r--r-- root/root 189 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/bit.mli -rw-r--r-- root/root 623 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/either.cmi -rw-r--r-- root/root 288 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/either.cmx -rw-r--r-- root/root 590 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/either.ml -rw-r--r-- root/root 812704 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/extract.a -rw-r--r-- root/root 150591 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/extract.cma -rw-r--r-- root/root 32835 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/extract.cmxa -rw-r--r-- root/root 4051 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem.cmi -rw-r--r-- root/root 6808 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem.cmx -rw-r--r-- root/root 8284 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem.ml -rw-r--r-- root/root 341 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_assert_extra.cmi -rw-r--r-- root/root 428 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_assert_extra.cmx -rw-r--r-- root/root 675 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_assert_extra.ml -rw-r--r-- root/root 5663 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_basic_classes.cmi -rw-r--r-- root/root 17571 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_basic_classes.cmx -rw-r--r-- root/root 29187 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_basic_classes.ml -rw-r--r-- root/root 188 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_bool.cmi -rw-r--r-- root/root 172 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_bool.cmx -rw-r--r-- root/root 1336 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_bool.ml -rw-r--r-- root/root 190 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_debug.cmi -rw-r--r-- root/root 173 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_debug.cmx -rw-r--r-- root/root 543 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_debug.ml -rw-r--r-- root/root 1432 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_either.cmi -rw-r--r-- root/root 1968 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_either.cmx -rw-r--r-- root/root 3014 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_either.ml -rw-r--r-- root/root 1035 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function.cmi -rw-r--r-- root/root 1213 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function.cmx -rw-r--r-- root/root 1542 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function.ml -rw-r--r-- root/root 922 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function_extra.cmi -rw-r--r-- root/root 896 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function_extra.cmx -rw-r--r-- root/root 274 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_function_extra.ml -rw-r--r-- root/root 3714 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list.cmi -rw-r--r-- root/root 5690 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list.cmx -rw-r--r-- root/root 25871 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list.ml -rw-r--r-- root/root 1488 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list_extra.cmi -rw-r--r-- root/root 1371 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list_extra.cmx -rw-r--r-- root/root 2999 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_list_extra.ml -rw-r--r-- root/root 12722 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_machine_word.cmi -rw-r--r-- root/root 11655 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_machine_word.cmx -rw-r--r-- root/root 35568 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_machine_word.ml -rw-r--r-- root/root 1817 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map.cmi -rw-r--r-- root/root 2221 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map.cmx -rw-r--r-- root/root 8244 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map.ml -rw-r--r-- root/root 1400 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map_extra.cmi -rw-r--r-- root/root 1296 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map_extra.cmx -rw-r--r-- root/root 2624 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_map_extra.ml -rw-r--r-- root/root 1097 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe.cmi -rw-r--r-- root/root 2367 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe.cmx -rw-r--r-- root/root 3452 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe.ml -rw-r--r-- root/root 906 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe_extra.cmi -rw-r--r-- root/root 1095 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe_extra.cmx -rw-r--r-- root/root 339 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_maybe_extra.ml -rw-r--r-- root/root 5511 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num.cmi -rw-r--r-- root/root 19301 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num.cmx -rw-r--r-- root/root 29831 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num.ml -rw-r--r-- root/root 1283 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num_extra.cmi -rw-r--r-- root/root 1236 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num_extra.cmx -rw-r--r-- root/root 1532 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_num_extra.ml -rw-r--r-- root/root 21550 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives.cmi -rw-r--r-- root/root 59029 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives.cmx -rw-r--r-- root/root 312 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives.ml -rw-r--r-- root/root 36564 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives_extra.cmi -rw-r--r-- root/root 72736 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives_extra.cmx -rw-r--r-- root/root 337 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_pervasives_extra.ml -rw-r--r-- root/root 3617 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_relation.cmi -rw-r--r-- root/root 4397 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_relation.cmx -rw-r--r-- root/root 20599 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_relation.ml -rw-r--r-- root/root 1791 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set.cmi -rw-r--r-- root/root 2029 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set.cmx -rw-r--r-- root/root 11344 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set.ml -rw-r--r-- root/root 1483 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_extra.cmi -rw-r--r-- root/root 1670 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_extra.cmx -rw-r--r-- root/root 4410 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_extra.ml -rw-r--r-- root/root 916 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_helpers.cmi -rw-r--r-- root/root 893 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_helpers.cmx -rw-r--r-- root/root 1484 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_set_helpers.ml -rw-r--r-- root/root 1724 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show.cmi -rw-r--r-- root/root 2239 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show.cmx -rw-r--r-- root/root 1719 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show.ml -rw-r--r-- root/root 1778 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show_extra.cmi -rw-r--r-- root/root 1840 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show_extra.cmx -rw-r--r-- root/root 1946 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_show_extra.ml -rw-r--r-- root/root 1438 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_sorting.cmi -rw-r--r-- root/root 1282 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_sorting.cmx -rw-r--r-- root/root 2549 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_sorting.ml -rw-r--r-- root/root 1026 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string.cmi -rw-r--r-- root/root 1008 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string.cmx -rw-r--r-- root/root 1433 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string.ml -rw-r--r-- root/root 1639 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string_extra.cmi -rw-r--r-- root/root 2062 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string_extra.cmx -rw-r--r-- root/root 2913 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_string_extra.ml -rw-r--r-- root/root 672 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_tuple.cmi -rw-r--r-- root/root 655 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_tuple.cmx -rw-r--r-- root/root 914 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_tuple.ml -rw-r--r-- root/root 5887 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_word.cmi -rw-r--r-- root/root 12615 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_word.cmx -rw-r--r-- root/root 25281 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/lem_word.ml -rw-r--r-- root/root 2146 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_big_num.cmi -rw-r--r-- root/root 4870 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_big_num.cmx -rw-r--r-- root/root 1797 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_big_num.ml -rw-r--r-- root/root 2189 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_big_num.mli -rw-r--r-- root/root 705 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_num.cmi -rw-r--r-- root/root 2197 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_num.cmx -rw-r--r-- root/root 682 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_num.ml -rw-r--r-- root/root 329 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/nat_num.mli -rw-r--r-- root/root 2071 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pmap.cmi -rw-r--r-- root/root 5021 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pmap.cmx -rw-r--r-- root/root 9947 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pmap.ml -rw-r--r-- root/root 8065 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pmap.mli -rw-r--r-- root/root 3095 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pset.cmi -rw-r--r-- root/root 5739 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pset.cmx -rw-r--r-- root/root 14867 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pset.ml -rw-r--r-- root/root 7487 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/pset.mli -rw-r--r-- root/root 1118 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational.cmi -rw-r--r-- root/root 2635 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational.cmx -rw-r--r-- root/root 430 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational.ml -rw-r--r-- root/root 579 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational.mli -rw-r--r-- root/root 1098 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational_impl.cmi -rw-r--r-- root/root 2676 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational_impl.cmx -rw-r--r-- root/root 870 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/rational_impl.mli -rw-r--r-- root/root 1083 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/vector.cmi -rw-r--r-- root/root 2033 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/vector.cmx -rw-r--r-- root/root 1026 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/vector.ml -rw-r--r-- root/root 670 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/vector.mli -rw-r--r-- root/root 459 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/xstring.cmi -rw-r--r-- root/root 905 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/xstring.cmx -rw-r--r-- root/root 546 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/xstring.ml -rw-r--r-- root/root 174 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_num/xstring.mli drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/ -rw-r--r-- root/root 163 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/META -rw-r--r-- root/root 2418 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/big_int_impl.cmi -rw-r--r-- root/root 8769 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/big_int_impl.cmx -rw-r--r-- root/root 2597 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/big_int_impl.mli -rw-r--r-- root/root 553 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/bit.cmi -rw-r--r-- root/root 600 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/bit.cmx -rw-r--r-- root/root 502 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/bit.ml -rw-r--r-- root/root 189 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/bit.mli -rw-r--r-- root/root 623 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/either.cmi -rw-r--r-- root/root 288 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/either.cmx -rw-r--r-- root/root 590 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/either.ml -rw-r--r-- root/root 814214 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/extract.a -rw-r--r-- root/root 153641 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/extract.cma -rw-r--r-- root/root 33885 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/extract.cmxa -rw-r--r-- root/root 4090 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem.cmi -rw-r--r-- root/root 6771 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem.cmx -rw-r--r-- root/root 8284 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem.ml -rw-r--r-- root/root 341 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_assert_extra.cmi -rw-r--r-- root/root 428 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_assert_extra.cmx -rw-r--r-- root/root 675 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_assert_extra.ml -rw-r--r-- root/root 5706 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_basic_classes.cmi -rw-r--r-- root/root 17614 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_basic_classes.cmx -rw-r--r-- root/root 29187 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_basic_classes.ml -rw-r--r-- root/root 188 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_bool.cmi -rw-r--r-- root/root 172 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_bool.cmx -rw-r--r-- root/root 1336 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_bool.ml -rw-r--r-- root/root 190 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_debug.cmi -rw-r--r-- root/root 173 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_debug.cmx -rw-r--r-- root/root 543 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_debug.ml -rw-r--r-- root/root 1425 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_either.cmi -rw-r--r-- root/root 1961 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_either.cmx -rw-r--r-- root/root 3014 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_either.ml -rw-r--r-- root/root 1078 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function.cmi -rw-r--r-- root/root 1256 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function.cmx -rw-r--r-- root/root 1542 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function.ml -rw-r--r-- root/root 915 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function_extra.cmi -rw-r--r-- root/root 889 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function_extra.cmx -rw-r--r-- root/root 274 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_function_extra.ml -rw-r--r-- root/root 3707 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list.cmi -rw-r--r-- root/root 5683 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list.cmx -rw-r--r-- root/root 25871 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list.ml -rw-r--r-- root/root 1481 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list_extra.cmi -rw-r--r-- root/root 1364 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list_extra.cmx -rw-r--r-- root/root 2999 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_list_extra.ml -rw-r--r-- root/root 12799 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_machine_word.cmi -rw-r--r-- root/root 11648 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_machine_word.cmx -rw-r--r-- root/root 35568 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_machine_word.ml -rw-r--r-- root/root 1810 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map.cmi -rw-r--r-- root/root 2214 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map.cmx -rw-r--r-- root/root 8244 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map.ml -rw-r--r-- root/root 1393 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map_extra.cmi -rw-r--r-- root/root 1289 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map_extra.cmx -rw-r--r-- root/root 2624 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_map_extra.ml -rw-r--r-- root/root 1140 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe.cmi -rw-r--r-- root/root 2410 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe.cmx -rw-r--r-- root/root 3452 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe.ml -rw-r--r-- root/root 949 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe_extra.cmi -rw-r--r-- root/root 1138 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe_extra.cmx -rw-r--r-- root/root 339 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_maybe_extra.ml -rw-r--r-- root/root 5502 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num.cmi -rw-r--r-- root/root 18634 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num.cmx -rw-r--r-- root/root 29831 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num.ml -rw-r--r-- root/root 1276 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num_extra.cmi -rw-r--r-- root/root 1229 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num_extra.cmx -rw-r--r-- root/root 1532 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_num_extra.ml -rw-r--r-- root/root 21542 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives.cmi -rw-r--r-- root/root 58298 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives.cmx -rw-r--r-- root/root 312 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives.ml -rw-r--r-- root/root 36557 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives_extra.cmi -rw-r--r-- root/root 71985 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives_extra.cmx -rw-r--r-- root/root 337 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_pervasives_extra.ml -rw-r--r-- root/root 3610 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_relation.cmi -rw-r--r-- root/root 4390 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_relation.cmx -rw-r--r-- root/root 20599 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_relation.ml -rw-r--r-- root/root 1784 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set.cmi -rw-r--r-- root/root 2022 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set.cmx -rw-r--r-- root/root 11344 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set.ml -rw-r--r-- root/root 1476 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_extra.cmi -rw-r--r-- root/root 1663 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_extra.cmx -rw-r--r-- root/root 4410 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_extra.ml -rw-r--r-- root/root 909 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_helpers.cmi -rw-r--r-- root/root 886 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_helpers.cmx -rw-r--r-- root/root 1484 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_set_helpers.ml -rw-r--r-- root/root 1717 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show.cmi -rw-r--r-- root/root 2232 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show.cmx -rw-r--r-- root/root 1719 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show.ml -rw-r--r-- root/root 1771 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show_extra.cmi -rw-r--r-- root/root 1813 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show_extra.cmx -rw-r--r-- root/root 1946 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_show_extra.ml -rw-r--r-- root/root 1431 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_sorting.cmi -rw-r--r-- root/root 1275 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_sorting.cmx -rw-r--r-- root/root 2549 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_sorting.ml -rw-r--r-- root/root 1019 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string.cmi -rw-r--r-- root/root 1001 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string.cmx -rw-r--r-- root/root 1433 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string.ml -rw-r--r-- root/root 1632 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string_extra.cmi -rw-r--r-- root/root 2055 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string_extra.cmx -rw-r--r-- root/root 2913 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_string_extra.ml -rw-r--r-- root/root 715 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_tuple.cmi -rw-r--r-- root/root 698 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_tuple.cmx -rw-r--r-- root/root 914 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_tuple.ml -rw-r--r-- root/root 5866 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_word.cmi -rw-r--r-- root/root 12544 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_word.cmx -rw-r--r-- root/root 25281 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/lem_word.ml -rw-r--r-- root/root 2194 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_big_num.cmi -rw-r--r-- root/root 3944 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_big_num.cmx -rw-r--r-- root/root 1797 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_big_num.ml -rw-r--r-- root/root 2189 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_big_num.mli -rw-r--r-- root/root 705 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_num.cmi -rw-r--r-- root/root 2197 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_num.cmx -rw-r--r-- root/root 682 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_num.ml -rw-r--r-- root/root 329 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/nat_num.mli -rw-r--r-- root/root 2071 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pmap.cmi -rw-r--r-- root/root 5021 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pmap.cmx -rw-r--r-- root/root 9947 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pmap.ml -rw-r--r-- root/root 8065 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pmap.mli -rw-r--r-- root/root 3095 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pset.cmi -rw-r--r-- root/root 5739 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pset.cmx -rw-r--r-- root/root 14867 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pset.ml -rw-r--r-- root/root 7487 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/pset.mli -rw-r--r-- root/root 1388 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational.cmi -rw-r--r-- root/root 1923 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational.cmx -rw-r--r-- root/root 430 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational.ml -rw-r--r-- root/root 579 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational.mli -rw-r--r-- root/root 2560 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational_impl.cmi -rw-r--r-- root/root 4138 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational_impl.cmx -rw-r--r-- root/root 1740 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/rational_impl.mli -rw-r--r-- root/root 1083 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/vector.cmi -rw-r--r-- root/root 2033 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/vector.cmx -rw-r--r-- root/root 1026 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/vector.ml -rw-r--r-- root/root 670 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/vector.mli -rw-r--r-- root/root 459 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/xstring.cmi -rw-r--r-- root/root 905 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/xstring.cmx -rw-r--r-- root/root 546 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/xstring.ml -rw-r--r-- root/root 174 2025-01-15 11:38 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/lem_zarith/xstring.mli drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/doc/liblem-ocaml-dev/ -rw-r--r-- root/root 456 2025-01-15 11:38 ./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-01-15 11:38 ./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-01-15 11:38 ./usr/share/lem/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/lem/coq-lib/ -rw-r--r-- root/root 232 2025-01-15 11:38 ./usr/share/lem/coq-lib/coq_makefile.in -rw-r--r-- root/root 20269 2025-01-15 11:38 ./usr/share/lem/coq-lib/coqharness.v -rw-r--r-- root/root 652 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_assert_extra.v -rw-r--r-- root/root 212 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_assert_extra_auxiliary.v -rw-r--r-- root/root 21058 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_basic_classes.v -rw-r--r-- root/root 1214 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_basic_classes_auxiliary.v -rw-r--r-- root/root 1233 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_bool.v -rw-r--r-- root/root 2035 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_bool_auxiliary.v -rw-r--r-- root/root 429 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_debug.v -rw-r--r-- root/root 204 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_debug_auxiliary.v -rw-r--r-- root/root 2675 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_either.v -rw-r--r-- root/root 2833 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_either_auxiliary.v -rw-r--r-- root/root 1702 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_function.v -rw-r--r-- root/root 623 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_function_auxiliary.v -rw-r--r-- root/root 564 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_function_extra.v -rw-r--r-- root/root 1470 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_function_extra_auxiliary.v -rw-r--r-- root/root 14508 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_list.v -rw-r--r-- root/root 26874 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_list_auxiliary.v -rw-r--r-- root/root 2513 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_list_extra.v -rw-r--r-- root/root 3095 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_list_extra_auxiliary.v -rw-r--r-- root/root 37904 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_machine_word.v -rw-r--r-- root/root 211 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_machine_word_auxiliary.v -rw-r--r-- root/root 4313 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_map.v -rw-r--r-- root/root 8444 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_map_auxiliary.v -rw-r--r-- root/root 1922 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_map_extra.v -rw-r--r-- root/root 455 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_map_extra_auxiliary.v -rw-r--r-- root/root 3319 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_maybe.v -rw-r--r-- root/root 2903 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_maybe_auxiliary.v -rw-r--r-- root/root 580 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_maybe_extra.v -rw-r--r-- root/root 211 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_maybe_extra_auxiliary.v -rw-r--r-- root/root 31516 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_num.v -rw-r--r-- root/root 63281 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_num_auxiliary.v -rw-r--r-- root/root 2195 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_num_extra.v -rw-r--r-- root/root 208 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_num_extra_auxiliary.v -rw-r--r-- root/root 1039 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_pervasives.v -rw-r--r-- root/root 210 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_pervasives_auxiliary.v -rw-r--r-- root/root 1010 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_pervasives_extra.v -rw-r--r-- root/root 215 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_pervasives_extra_auxiliary.v -rw-r--r-- root/root 14394 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_relation.v -rw-r--r-- root/root 26626 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_relation_auxiliary.v -rw-r--r-- root/root 8526 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_set.v -rw-r--r-- root/root 15966 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_set_auxiliary.v -rw-r--r-- root/root 2273 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_set_extra.v -rw-r--r-- root/root 2156 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_set_extra_auxiliary.v -rw-r--r-- root/root 1487 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_set_helpers.v -rw-r--r-- root/root 212 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_set_helpers_auxiliary.v -rw-r--r-- root/root 2170 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_show.v -rw-r--r-- root/root 203 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_show_auxiliary.v -rw-r--r-- root/root 2094 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_show_extra.v -rw-r--r-- root/root 209 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_show_extra_auxiliary.v -rw-r--r-- root/root 2649 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_sorting.v -rw-r--r-- root/root 3628 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_sorting_auxiliary.v -rw-r--r-- root/root 1650 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_string.v -rw-r--r-- root/root 2960 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_string_auxiliary.v -rw-r--r-- root/root 3411 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_string_extra.v -rw-r--r-- root/root 1667 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_string_extra_auxiliary.v -rw-r--r-- root/root 882 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_tuple.v -rw-r--r-- root/root 1639 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_tuple_auxiliary.v -rw-r--r-- root/root 25377 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_word.v -rw-r--r-- root/root 39095 2025-01-15 11:38 ./usr/share/lem/coq-lib/lem_word_auxiliary.v drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/lem/hol-lib/ -rw-r--r-- root/root 378 2025-01-15 11:38 ./usr/share/lem/hol-lib/Holmakefile -rw-r--r-- root/root 5038 2025-01-15 11:38 ./usr/share/lem/hol-lib/lemLib.sml -rw-r--r-- root/root 12053 2025-01-15 11:38 ./usr/share/lem/hol-lib/lemScript.sml -rw-r--r-- root/root 1073 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_assert_extraScript.sml -rw-r--r-- root/root 26474 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_basic_classesScript.sml -rw-r--r-- root/root 1437 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_boolScript.sml -rw-r--r-- root/root 797 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_debugScript.sml -rw-r--r-- root/root 2906 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_eitherScript.sml -rw-r--r-- root/root 1821 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_functionScript.sml -rw-r--r-- root/root 563 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_function_extraScript.sml -rw-r--r-- root/root 28887 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_listScript.sml -rw-r--r-- root/root 3518 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_list_extraScript.sml -rw-r--r-- root/root 10135 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_machine_wordScript.sml -rw-r--r-- root/root 7125 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_mapScript.sml -rw-r--r-- root/root 2852 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_map_extraScript.sml -rw-r--r-- root/root 3557 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_maybeScript.sml -rw-r--r-- root/root 534 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_maybe_extraScript.sml -rw-r--r-- root/root 30505 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_numScript.sml -rw-r--r-- root/root 2236 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_num_extraScript.sml -rw-r--r-- root/root 562 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_pervasivesScript.sml -rw-r--r-- root/root 637 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_pervasives_extraScript.sml -rw-r--r-- root/root 15992 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_relationScript.sml -rw-r--r-- root/root 11220 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_setScript.sml -rw-r--r-- root/root 4815 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_set_extraScript.sml -rw-r--r-- root/root 1724 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_set_helpersScript.sml -rw-r--r-- root/root 2647 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_showScript.sml -rw-r--r-- root/root 1854 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_show_extraScript.sml -rw-r--r-- root/root 3296 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_sortingScript.sml -rw-r--r-- root/root 1952 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_stringScript.sml -rw-r--r-- root/root 4085 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_string_extraScript.sml -rw-r--r-- root/root 1073 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_tupleScript.sml -rw-r--r-- root/root 29426 2025-01-15 11:38 ./usr/share/lem/hol-lib/lem_wordScript.sml drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/ -rw-r--r-- root/root 5864 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem.thy -rw-r--r-- root/root 39956 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/LemExtraDefs.thy -rw-r--r-- root/root 1772 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_assert_extra.thy -rw-r--r-- root/root 44399 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_basic_classes.thy -rw-r--r-- root/root 2504 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_bool.thy -rw-r--r-- root/root 1054 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_debug.thy -rw-r--r-- root/root 4415 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_either.thy -rw-r--r-- root/root 3351 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_function.thy -rw-r--r-- root/root 760 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_function_extra.thy -rw-r--r-- root/root 44151 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_list.thy -rw-r--r-- root/root 5912 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_list_extra.thy -rw-r--r-- root/root 23400 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_machine_word.thy -rw-r--r-- root/root 10280 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_map.thy -rw-r--r-- root/root 4368 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_map_extra.thy -rw-r--r-- root/root 5527 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_maybe.thy -rw-r--r-- root/root 700 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_maybe_extra.thy -rw-r--r-- root/root 49792 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_num.thy -rw-r--r-- root/root 2961 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_num_extra.thy -rw-r--r-- root/root 556 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_pervasives.thy -rw-r--r-- root/root 637 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_pervasives_extra.thy -rw-r--r-- root/root 27078 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_relation.thy -rw-r--r-- root/root 18228 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_set.thy -rw-r--r-- root/root 6692 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_set_extra.thy -rw-r--r-- root/root 2182 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_set_helpers.thy -rw-r--r-- root/root 4108 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_show.thy -rw-r--r-- root/root 2739 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_show_extra.thy -rw-r--r-- root/root 4853 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_sorting.thy -rw-r--r-- root/root 3058 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_string.thy -rw-r--r-- root/root 6690 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_string_extra.thy -rw-r--r-- root/root 1907 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_tuple.thy -rw-r--r-- root/root 50989 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/Lem_word.thy -rw-r--r-- root/root 164 2025-01-15 11:38 ./usr/share/lem/isabelle-lib/ROOT drwxr-xr-x root/root 0 2025-01-15 11:38 ./usr/share/lem/library/ -rw-r--r-- root/root 1341 2025-01-15 11:38 ./usr/share/lem/library/assert_extra.lem -rw-r--r-- root/root 21322 2025-01-15 11:38 ./usr/share/lem/library/basic_classes.lem -rw-r--r-- root/root 4173 2025-01-15 11:38 ./usr/share/lem/library/bool.lem -rw-r--r-- root/root 885 2025-01-15 11:38 ./usr/share/lem/library/coq_constants -rw-r--r-- root/root 757 2025-01-15 11:38 ./usr/share/lem/library/debug.lem -rw-r--r-- root/root 6265 2025-01-15 11:38 ./usr/share/lem/library/either.lem -rw-r--r-- root/root 2214 2025-01-15 11:38 ./usr/share/lem/library/function.lem -rw-r--r-- root/root 1308 2025-01-15 11:38 ./usr/share/lem/library/function_extra.lem -rw-r--r-- root/root 6256 2025-01-15 11:38 ./usr/share/lem/library/hol_constants -rw-r--r-- root/root 3817 2025-01-15 11:38 ./usr/share/lem/library/isabelle_constants -rw-r--r-- root/root 44239 2025-01-15 11:38 ./usr/share/lem/library/list.lem -rw-r--r-- root/root 6990 2025-01-15 11:38 ./usr/share/lem/library/list_extra.lem -rw-r--r-- root/root 57421 2025-01-15 11:38 ./usr/share/lem/library/machine_word.lem -rw-r--r-- root/root 15816 2025-01-15 11:38 ./usr/share/lem/library/map.lem -rw-r--r-- root/root 4217 2025-01-15 11:38 ./usr/share/lem/library/map_extra.lem -rw-r--r-- root/root 6764 2025-01-15 11:38 ./usr/share/lem/library/maybe.lem -rw-r--r-- root/root 977 2025-01-15 11:38 ./usr/share/lem/library/maybe_extra.lem -rw-r--r-- root/root 90751 2025-01-15 11:38 ./usr/share/lem/library/num.lem -rw-r--r-- root/root 2749 2025-01-15 11:38 ./usr/share/lem/library/num_extra.lem -rw-r--r-- root/root 35 2025-01-15 11:38 ./usr/share/lem/library/ocaml_constants -rw-r--r-- root/root 188 2025-01-15 11:38 ./usr/share/lem/library/pervasives.lem -rw-r--r-- root/root 244 2025-01-15 11:38 ./usr/share/lem/library/pervasives_extra.lem -rw-r--r-- root/root 32972 2025-01-15 11:38 ./usr/share/lem/library/relation.lem -rw-r--r-- root/root 25482 2025-01-15 11:38 ./usr/share/lem/library/set.lem -rw-r--r-- root/root 7375 2025-01-15 11:38 ./usr/share/lem/library/set_extra.lem -rw-r--r-- root/root 2068 2025-01-15 11:38 ./usr/share/lem/library/set_helpers.lem -rw-r--r-- root/root 1375 2025-01-15 11:38 ./usr/share/lem/library/show.lem -rw-r--r-- root/root 1117 2025-01-15 11:38 ./usr/share/lem/library/show_extra.lem -rw-r--r-- root/root 6431 2025-01-15 11:38 ./usr/share/lem/library/sorting.lem -rw-r--r-- root/root 6321 2025-01-15 11:38 ./usr/share/lem/library/string.lem -rw-r--r-- root/root 5880 2025-01-15 11:38 ./usr/share/lem/library/string_extra.lem -rw-r--r-- root/root 8754 2025-01-15 11:38 ./usr/share/lem/library/transform.lem -rw-r--r-- root/root 2908 2025-01-15 11:38 ./usr/share/lem/library/tuple.lem -rw-r--r-- root/root 39458 2025-01-15 11:38 ./usr/share/lem/library/word.lem drwxr-xr-x root/root 0 2025-01-15 11:38 ./var/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./var/lib/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2025-01-15 11:38 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 352 2025-01-15 11:38 ./var/lib/ocaml/lintian/liblem-ocaml-dev.info drwxr-xr-x root/root 0 2025-01-15 11:38 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 11995 2025-01-15 11:38 ./var/lib/ocaml/md5sums/liblem-ocaml-dev.md5sums +------------------------------------------------------------------------------+ | Post Build Wed, 15 Jan 2025 11:40:04 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Wed, 15 Jan 2025 11:40:04 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Wed, 15 Jan 2025 11:40:05 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 89760 Build-Time: 45 Distribution: unstable Host Architecture: amd64 Install-Time: 38 Job: /tmp/tmp.ben.transition-scripts.Nh8HMZwuRB/lem_2022-12-10+dfsg2-4+ocaml1.dsc Machine Architecture: amd64 Package: lem Package-Time: 89 Source-Version: 2022-12-10+dfsg2-4+ocaml1 Space: 89760 Status: successful Version: 2022-12-10+dfsg2-4+ocaml1 -------------------------------------------------------------------------------- Finished at 2025-01-15T11:40:02Z Build needed 00:01:29, 89760k disk space