Fri Sep 13 19:41:59 UTC 2024 I: starting to build lem/unstable/arm64 on jenkins on '2024-09-13 19:41' Fri Sep 13 19:41:59 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/arm64_16/27646/console.log Fri Sep 13 19:41:59 UTC 2024 I: Downloading source for unstable/lem=2022-12-10+dfsg2-1 --2024-09-13 19:41:59-- http://deb.debian.org/debian/pool/main/l/lem/lem_2022-12-10%2bdfsg2-1.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2110 (2.1K) [text/prs.lines.tag] Saving to: ‘lem_2022-12-10+dfsg2-1.dsc’ 0K .. 100% 293M=0s 2024-09-13 19:41:59 (293 MB/s) - ‘lem_2022-12-10+dfsg2-1.dsc’ saved [2110/2110] Fri Sep 13 19:41:59 UTC 2024 I: lem_2022-12-10+dfsg2-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: lem Binary: lem, liblem-ocaml-dev Architecture: any Version: 2022-12-10+dfsg2-1 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 45606b6b6d83c6599488c18732bc57ace48ab67e 7280 lem_2022-12-10+dfsg2-1.debian.tar.xz Checksums-Sha256: 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz 4611426350ff970164210fe32e8ae138892dd122e325ad0c3f9fbc089809e2af 7280 lem_2022-12-10+dfsg2-1.debian.tar.xz Files: 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz e14dcf0aa62c673f1feedf77a7baa8be 7280 lem_2022-12-10+dfsg2-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbd2rAACgkQ808JdE6f XdkWxhAAgKeOHVUa+XvT0OLKCdm9Zf0AzcoPE/DT/59Kkp3G32OezUhx+MHKf8VF cHFK4QeolGtqUN44YHsGQtD2BXkUv9ZB2tkWtlRIaM+/qJU/zVU1exfGVfDWEzyf o0JCY+ljwPZlIL9o7c9qhWWp0uXDWX+GKyxK1jg9YX6pOZ+xzS4ylPDEJbYmuTcd bhJEfh1at0tAnBzvgo2UfcCz7ESCTfPFR9nKpiePkhI8l6gHTIVAHsLEg6jv7GJ9 PJrVMKfmCbjkR8RLOEq2lT2nPj2aWQ0QGKY2s/pFVdd1/afueEOsrCXUsZlTr01U tY4JT/eHEEp2zxcbp3vfqLRCf3mi8fvZnfvAlPCFRW7AQoUu1dNiq/XkbtrVfKbZ jNJQTo4U9/hMKcOEcqOuyCHk5mBgm9qhXhUdC9yadAkN2oHaJKNFzJ38Qanyqhxz KkfMntyVDv1XSaE0TjCGCSev1u0TogRlSxPTIHD+DEvydr34Cwz6LB/nJ/5NOXrB NK97ltQLrGponOUw84YXUfov1Je5NMAxW1ryu2xOiks9GNNxAH0rPt/ijDU/9m5M 0KmC7HDbNAXubNmVF2iQJgCI1QE/xfeFKKEFrYoxpgxIYphhxjEIhrQM8JowgKTG l66ohjz4uHVouSu2XwmYY2RTVB4J4aBZ5adV6JIrMpyCpLCsfXs= =hMqG -----END PGP SIGNATURE----- Fri Sep 13 19:41:59 UTC 2024 I: Checking whether the package is not for us Fri Sep 13 19:41:59 UTC 2024 I: Starting 1st build on remote node codethink02-arm64.debian.net. Fri Sep 13 19:41:59 UTC 2024 I: Preparing to do remote build '1' on codethink02-arm64.debian.net. Fri Sep 13 19:43:46 UTC 2024 I: Deleting $TMPDIR on codethink02-arm64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Fri Sep 13 07:42:02 -12 2024 I: pbuilder-time-stamp: 1726256522 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [lem_2022-12-10+dfsg2-1.dsc] I: copying [./lem_2022-12-10+dfsg2.orig.tar.xz] I: copying [./lem_2022-12-10+dfsg2-1.debian.tar.xz] I: Extracting source gpgv: Signature made Sun Sep 8 17:11:12 2024 gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./lem_2022-12-10+dfsg2-1.dsc: no acceptable signature found dpkg-source: info: extracting lem in 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-1.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 I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/1817670/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='arm64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' DISTRIBUTION='unstable' HOME='/root' HOST_ARCH='arm64' IFS=' ' INVOCATION_ID='8d3be81c133e489fb7e670ff2af0d32c' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='1817670' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.gVdTMPwx/pbuilderrc_WW65 --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.gVdTMPwx/b1 --logfile b1/build.log lem_2022-12-10+dfsg2-1.dsc' SUDO_GID='109' SUDO_UID='104' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://192.168.101.4:3128' I: uname -a Linux codethink02-arm64 6.1.0-25-cloud-arm64 #1 SMP Debian 6.1.106-3 (2024-08-26) aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 4 21:30 /bin -> usr/bin I: user script /srv/workspace/pbuilder/1817670/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: arm64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper-compat (= 13), ocaml, ocaml-dune (>= 2.2.0), dh-ocaml (>= 1.2), libzarith-ocaml-dev, libnum-ocaml-dev, ocaml-findlib, ocamlbuild, help2man dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19891 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on ocaml; however: Package ocaml is not installed. pbuilder-satisfydepends-dummy depends on ocaml-dune (>= 2.2.0); however: Package ocaml-dune is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml (>= 1.2); however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on libzarith-ocaml-dev; however: Package libzarith-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libnum-ocaml-dev; however: Package libnum-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on ocaml-findlib; however: Package ocaml-findlib is not installed. pbuilder-satisfydepends-dummy depends on ocamlbuild; however: Package ocamlbuild is not installed. pbuilder-satisfydepends-dummy depends on help2man; however: Package help2man is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} help2man{a} intltool-debian{a} libarchive-zip-perl{a} libcompiler-libs-ocaml-dev{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libicu72{a} liblocale-gettext-perl{a} libmagic-mgc{a} libmagic1t64{a} libncurses-dev{a} libncurses6{a} libnum-ocaml{a} libnum-ocaml-dev{a} libpipeline1{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libtool{a} libuchardet0{a} libxml2{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} libzstd-dev{a} m4{a} man-db{a} ocaml{a} ocaml-base{a} ocaml-dune{a} ocaml-findlib{a} ocaml-interp{a} ocamlbuild{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl ledit libarchive-cpio-perl libfindlib-ocaml-dev libgpm2 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap wget 0 packages upgraded, 52 newly installed, 0 to remove and 0 not upgraded. Need to get 116 MB of archives. After unpacking 378 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main arm64 liblocale-gettext-perl arm64 1.07-7 [14.8 kB] Get: 2 http://deb.debian.org/debian unstable/main arm64 sensible-utils all 0.0.24 [24.8 kB] Get: 3 http://deb.debian.org/debian unstable/main arm64 libmagic-mgc arm64 1:5.45-3 [314 kB] Get: 4 http://deb.debian.org/debian unstable/main arm64 libmagic1t64 arm64 1:5.45-3 [100 kB] Get: 5 http://deb.debian.org/debian unstable/main arm64 file arm64 1:5.45-3 [43.0 kB] Get: 6 http://deb.debian.org/debian unstable/main arm64 gettext-base arm64 0.22.5-2 [198 kB] Get: 7 http://deb.debian.org/debian unstable/main arm64 libuchardet0 arm64 0.0.8-1+b1 [69.0 kB] Get: 8 http://deb.debian.org/debian unstable/main arm64 groff-base arm64 1.23.0-5 [1129 kB] Get: 9 http://deb.debian.org/debian unstable/main arm64 bsdextrautils arm64 2.40.2-8 [96.6 kB] Get: 10 http://deb.debian.org/debian unstable/main arm64 libpipeline1 arm64 1.5.8-1 [40.2 kB] Get: 11 http://deb.debian.org/debian unstable/main arm64 man-db arm64 2.13.0-1 [1404 kB] Get: 12 http://deb.debian.org/debian unstable/main arm64 m4 arm64 1.4.19-4 [277 kB] Get: 13 http://deb.debian.org/debian unstable/main arm64 autoconf all 2.72-3 [493 kB] Get: 14 http://deb.debian.org/debian unstable/main arm64 autotools-dev all 20220109.1 [51.6 kB] Get: 15 http://deb.debian.org/debian unstable/main arm64 automake all 1:1.16.5-1.3 [823 kB] Get: 16 http://deb.debian.org/debian unstable/main arm64 autopoint all 0.22.5-2 [723 kB] Get: 17 http://deb.debian.org/debian unstable/main arm64 libdebhelper-perl all 13.20 [89.7 kB] Get: 18 http://deb.debian.org/debian unstable/main arm64 libtool all 2.4.7-7 [517 kB] Get: 19 http://deb.debian.org/debian unstable/main arm64 dh-autoreconf all 20 [17.1 kB] Get: 20 http://deb.debian.org/debian unstable/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 21 http://deb.debian.org/debian unstable/main arm64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 22 http://deb.debian.org/debian unstable/main arm64 dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 23 http://deb.debian.org/debian unstable/main arm64 libelf1t64 arm64 0.191-2 [188 kB] Get: 24 http://deb.debian.org/debian unstable/main arm64 dwz arm64 0.15-1+b1 [102 kB] Get: 25 http://deb.debian.org/debian unstable/main arm64 libicu72 arm64 72.1-5 [9224 kB] Get: 26 http://deb.debian.org/debian unstable/main arm64 libxml2 arm64 2.12.7+dfsg-3+b1 [609 kB] Get: 27 http://deb.debian.org/debian unstable/main arm64 gettext arm64 0.22.5-2 [1532 kB] Get: 28 http://deb.debian.org/debian unstable/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 29 http://deb.debian.org/debian unstable/main arm64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 30 http://deb.debian.org/debian unstable/main arm64 debhelper all 13.20 [915 kB] Get: 31 http://deb.debian.org/debian unstable/main arm64 dh-ocaml all 2.2 [69.5 kB] Get: 32 http://deb.debian.org/debian unstable/main arm64 help2man arm64 1.49.3 [198 kB] Get: 33 http://deb.debian.org/debian unstable/main arm64 libstdlib-ocaml arm64 5.2.0-3 [571 kB] Get: 34 http://deb.debian.org/debian unstable/main arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] Get: 35 http://deb.debian.org/debian unstable/main arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.1 MB] Get: 36 http://deb.debian.org/debian unstable/main arm64 ocaml-base arm64 5.2.0-3 [443 kB] Get: 37 http://deb.debian.org/debian unstable/main arm64 libfindlib-ocaml arm64 1.9.6-3 [181 kB] Get: 38 http://deb.debian.org/debian unstable/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-2+b1 [329 kB] Get: 39 http://deb.debian.org/debian unstable/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-2+b1 [619 kB] Get: 40 http://deb.debian.org/debian unstable/main arm64 libgmp3-dev arm64 2:6.3.0+dfsg-2+b1 [322 kB] Get: 41 http://deb.debian.org/debian unstable/main arm64 libncurses6 arm64 6.5-2 [95.7 kB] Get: 42 http://deb.debian.org/debian unstable/main arm64 libncurses-dev arm64 6.5-2 [337 kB] Get: 43 http://deb.debian.org/debian unstable/main arm64 libnum-ocaml arm64 1.5-1+b1 [183 kB] Get: 44 http://deb.debian.org/debian unstable/main arm64 ocaml-interp arm64 5.2.0-3 [6851 kB] Get: 45 http://deb.debian.org/debian unstable/main arm64 libzstd-dev arm64 1.5.6+dfsg-1 [330 kB] Get: 46 http://deb.debian.org/debian unstable/main arm64 ocaml arm64 5.2.0-3 [20.1 MB] Get: 47 http://deb.debian.org/debian unstable/main arm64 libnum-ocaml-dev arm64 1.5-1+b1 [145 kB] Get: 48 http://deb.debian.org/debian unstable/main arm64 libzarith-ocaml arm64 1.14-1 [115 kB] Get: 49 http://deb.debian.org/debian unstable/main arm64 libzarith-ocaml-dev arm64 1.14-1 [141 kB] Get: 50 http://deb.debian.org/debian unstable/main arm64 ocaml-dune arm64 3.16.0-2+b1 [5534 kB] Get: 51 http://deb.debian.org/debian unstable/main arm64 ocaml-findlib arm64 1.9.6-3 [621 kB] Get: 52 http://deb.debian.org/debian unstable/main arm64 ocamlbuild arm64 0.15.0-2+b1 [1268 kB] Fetched 116 MB in 1s (226 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package liblocale-gettext-perl. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19891 files and directories currently installed.) Preparing to unpack .../00-liblocale-gettext-perl_1.07-7_arm64.deb ... Unpacking liblocale-gettext-perl (1.07-7) ... 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_arm64.deb ... Unpacking libmagic-mgc (1:5.45-3) ... Selecting previously unselected package libmagic1t64:arm64. Preparing to unpack .../03-libmagic1t64_1%3a5.45-3_arm64.deb ... Unpacking libmagic1t64:arm64 (1:5.45-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.45-3_arm64.deb ... Unpacking file (1:5.45-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.22.5-2_arm64.deb ... Unpacking gettext-base (0.22.5-2) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../06-libuchardet0_0.0.8-1+b1_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.23.0-5_arm64.deb ... Unpacking groff-base (1.23.0-5) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.40.2-8_arm64.deb ... Unpacking bsdextrautils (2.40.2-8) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../09-libpipeline1_1.5.8-1_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.13.0-1_arm64.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-4_arm64.deb ... Unpacking m4 (1.4.19-4) ... 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-2_all.deb ... Unpacking autopoint (0.22.5-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../16-libdebhelper-perl_13.20_all.deb ... Unpacking libdebhelper-perl (13.20) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... 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:arm64. Preparing to unpack .../22-libelf1t64_0.191-2_arm64.deb ... Unpacking libelf1t64:arm64 (0.191-2) ... Selecting previously unselected package dwz. Preparing to unpack .../23-dwz_0.15-1+b1_arm64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libicu72:arm64. Preparing to unpack .../24-libicu72_72.1-5_arm64.deb ... Unpacking libicu72:arm64 (72.1-5) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../25-libxml2_2.12.7+dfsg-3+b1_arm64.deb ... Unpacking libxml2:arm64 (2.12.7+dfsg-3+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../26-gettext_0.22.5-2_arm64.deb ... Unpacking gettext (0.22.5-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../27-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 .../28-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../29-debhelper_13.20_all.deb ... Unpacking debhelper (13.20) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../30-dh-ocaml_2.2_all.deb ... Unpacking dh-ocaml (2.2) ... Selecting previously unselected package help2man. Preparing to unpack .../31-help2man_1.49.3_arm64.deb ... Unpacking help2man (1.49.3) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../32-libstdlib-ocaml_5.2.0-3_arm64.deb ... Unpacking libstdlib-ocaml (5.2.0-3) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../33-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... Unpacking libstdlib-ocaml-dev (5.2.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../34-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../35-ocaml-base_5.2.0-3_arm64.deb ... Unpacking ocaml-base (5.2.0-3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../36-libfindlib-ocaml_1.9.6-3_arm64.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package libgmpxx4ldbl:arm64. Preparing to unpack .../37-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b1_arm64.deb ... Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libgmp-dev:arm64. Preparing to unpack .../38-libgmp-dev_2%3a6.3.0+dfsg-2+b1_arm64.deb ... Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libgmp3-dev:arm64. Preparing to unpack .../39-libgmp3-dev_2%3a6.3.0+dfsg-2+b1_arm64.deb ... Unpacking libgmp3-dev:arm64 (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libncurses6:arm64. Preparing to unpack .../40-libncurses6_6.5-2_arm64.deb ... Unpacking libncurses6:arm64 (6.5-2) ... Selecting previously unselected package libncurses-dev:arm64. Preparing to unpack .../41-libncurses-dev_6.5-2_arm64.deb ... Unpacking libncurses-dev:arm64 (6.5-2) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../42-libnum-ocaml_1.5-1+b1_arm64.deb ... Unpacking libnum-ocaml (1.5-1+b1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../43-ocaml-interp_5.2.0-3_arm64.deb ... Unpacking ocaml-interp (5.2.0-3) ... Selecting previously unselected package libzstd-dev:arm64. Preparing to unpack .../44-libzstd-dev_1.5.6+dfsg-1_arm64.deb ... Unpacking libzstd-dev:arm64 (1.5.6+dfsg-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../45-ocaml_5.2.0-3_arm64.deb ... Unpacking ocaml (5.2.0-3) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../46-libnum-ocaml-dev_1.5-1+b1_arm64.deb ... Unpacking libnum-ocaml-dev (1.5-1+b1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../47-libzarith-ocaml_1.14-1_arm64.deb ... Unpacking libzarith-ocaml (1.14-1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../48-libzarith-ocaml-dev_1.14-1_arm64.deb ... Unpacking libzarith-ocaml-dev (1.14-1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../49-ocaml-dune_3.16.0-2+b1_arm64.deb ... Unpacking ocaml-dune (3.16.0-2+b1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../50-ocaml-findlib_1.9.6-3_arm64.deb ... Unpacking ocaml-findlib (1.9.6-3) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../51-ocamlbuild_0.15.0-2+b1_arm64.deb ... Unpacking ocamlbuild (0.15.0-2+b1) ... Setting up libpipeline1:arm64 (1.5.8-1) ... Setting up libicu72:arm64 (72.1-5) ... Setting up libzstd-dev:arm64 (1.5.6+dfsg-1) ... Setting up bsdextrautils (2.40.2-8) ... Setting up libmagic-mgc (1:5.45-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.20) ... Setting up libmagic1t64:arm64 (1:5.45-3) ... Setting up dh-ocaml (2.2) ... Setting up gettext-base (0.22.5-2) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-3) ... Setting up libelf1t64:arm64 (0.191-2) ... Setting up ocaml-dune (3.16.0-2+b1) ... Setting up autotools-dev (20220109.1) ... Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2+b1) ... Setting up libncurses6:arm64 (6.5-2) ... Setting up libstdlib-ocaml (5.2.0-3) ... Setting up autopoint (0.22.5-2) ... Setting up ocaml-base (5.2.0-3) ... Setting up autoconf (2.72-3) ... Setting up libnum-ocaml (1.5-1+b1) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:arm64 (0.0.8-1+b1) ... Setting up libxml2:arm64 (2.12.7+dfsg-3+b1) ... Setting up liblocale-gettext-perl (1.07-7) ... 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:arm64 (6.5-2) ... Setting up gettext (0.22.5-2) ... Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-2+b1) ... Setting up libtool (2.4.7-7) ... Setting up libstdlib-ocaml-dev (5.2.0-3) ... Setting up libfindlib-ocaml (1.9.6-3) ... Setting up libzarith-ocaml (1.14-1) ... 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.2.0-3) ... Setting up ocaml-interp (5.2.0-3) ... Setting up ocaml-findlib (1.9.6-3) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up groff-base (1.23.0-5) ... Setting up libgmp3-dev:arm64 (2:6.3.0+dfsg-2+b1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up ocaml (5.2.0-3) ... 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) ... Setting up libnum-ocaml-dev (1.5-1+b1) ... Setting up debhelper (13.20) ... Setting up ocamlbuild (0.15.0-2+b1) ... Processing triggers for libc-bin (2.40-2) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: Running cd /build/reproducible-path/lem-2022-12-10+dfsg2/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../lem_2022-12-10+dfsg2-1_source.changes dpkg-buildpackage: info: source package lem dpkg-buildpackage: info: source version 2022-12-10+dfsg2-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Bo YU dpkg-source --before-build . dpkg-buildpackage: info: host architecture arm64 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 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:20: 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 -j12 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:20: warning: ignoring old recipe for target 'clean' 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:20: warning: ignoring old recipe for target 'clean' ocamlfind remove -destdir /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp lem ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa 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 /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/META 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:20: warning: ignoring old recipe for target 'clean' make[3]: Entering directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' ocamlfind remove -destdir /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp lem_num 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_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'` 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/big_int_impl.mli 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/rational_impl.mli 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.cmx 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/nat_big_num.mli 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.mli 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/rational.mli 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_zarith/rational.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_num/big_int_impl.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_num/rational_impl.mli 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_num/rational_impl.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/vector.mli 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_zarith/vector.cmi 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_zarith/bit.mli 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_num/nat_big_num.mli 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_num/nat_big_num.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_num/nat_num.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/nat_num.cmx 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_zarith/nat_big_num.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_zarith/xstring.cmx 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_zarith/lem.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_num/pset.mli 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_num/pset.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/either.cmi 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_zarith/either.cmx 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_zarith/lem_basic_classes.cmi 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_zarith/lem_basic_classes.cmx 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_zarith/lem_function.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_num/bit.mli 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_num/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/lem_maybe.cmx 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_zarith/lem_num.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_zarith/lem_num.cmx 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_zarith/lem_tuple.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_zarith/lem_tuple.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_num/nat_big_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_num/xstring.cmx 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/lem_assert_extra.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_zarith/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_zarith/lem_string.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_num/lem_bool.cmi 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_num/lem_bool.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_num/either.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_num/either.cmx 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_set.cmi 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_zarith/lem_set.cmx 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_num/lem_basic_classes.cmx 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_either.cmi 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_zarith/lem_either.cmx 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_zarith/lem_word.cmi 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_zarith/lem_word.cmx 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_num/lem_maybe.cmi 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_num/lem_maybe.cmx 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_list_extra.cmx 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_zarith/lem_machine_word.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_zarith/lem_machine_word.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_num/lem_tuple.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_num/lem_tuple.cmx 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_maybe_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_zarith/lem_num_extra.cmi 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_zarith/lem_num_extra.cmx 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_zarith/lem_pervasives.cmi 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_string.cmi 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_num/lem_string.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_num/lem_show.cmi 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_num/lem_show.cmx 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/lem_relation.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_zarith/lem_set_extra.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_zarith/lem_set_extra.cmx 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_zarith/lem_show_extra.cmi 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_num/lem_set.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/lem_string_extra.cmx 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_zarith/vector.cmx 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_zarith/bit.cmx 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_either.cmi 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_num/lem_either.cmx 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_zarith/lem_pervasives_extra.cmx 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_zarith/lem_debug.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_zarith/lem_debug.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/lem_list_extra.cmi 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_machine_word.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/lem_map_extra.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_maybe_extra.cmi 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_num_extra.cmi 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_pervasives.cmi 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_num/lem_pervasives.cmx 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_num/lem_sorting.cmi 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_relation.cmi 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 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_set_extra.cmi 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/lem_show_extra.cmi 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_string_extra.cmi 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/vector.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 touch /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_zarith/META 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/lem_debug.cmi Installed /build/reproducible-path/lem-2022-12-10+dfsg2/debian/tmp/lem_num/lem_debug.cmx make[3]: Leaving directory '/build/reproducible-path/lem-2022-12-10+dfsg2/ocaml-lib' 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[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: /lib/ld-linux-aarch64.so.1 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib/ld-linux-aarch64.so.1.usr-is-merged dh_installdeb dh_ocaml dh_gencontrol dpkg-gencontrol: warning: Depends field of package liblem-ocaml-dev: substitution variable ${shlibs:Depends} 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 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 dh_md5sums dh_builddeb dpkg-deb: building package 'lem' in '../lem_2022-12-10+dfsg2-1_arm64.deb'. dpkg-deb: building package 'lem-dbgsym' in '../lem-dbgsym_2022-12-10+dfsg2-1_arm64.deb'. dpkg-deb: building package 'liblem-ocaml-dev' in '../liblem-ocaml-dev_2022-12-10+dfsg2-1_arm64.deb'. dpkg-genbuildinfo --build=binary -O../lem_2022-12-10+dfsg2-1_arm64.buildinfo dpkg-genchanges --build=binary -O../lem_2022-12-10+dfsg2-1_arm64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/1817670 and its subdirectories I: Current time: Fri Sep 13 07:43:45 -12 2024 I: pbuilder-time-stamp: 1726256625 Fri Sep 13 19:43:47 UTC 2024 I: 1st build successful. Starting 2nd build on remote node codethink01-arm64.debian.net. Fri Sep 13 19:43:47 UTC 2024 I: Preparing to do remote build '2' on codethink01-arm64.debian.net. Fri Sep 13 19:45:34 UTC 2024 I: Deleting $TMPDIR on codethink01-arm64.debian.net. Fri Sep 13 19:45:35 UTC 2024 I: lem_2022-12-10+dfsg2-1_arm64.changes: Format: 1.8 Date: Sun, 23 Jun 2024 07:39:43 +0800 Source: lem Binary: lem lem-dbgsym liblem-ocaml-dev Architecture: arm64 Version: 2022-12-10+dfsg2-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Bo YU Description: lem - Tool merging math and logic for executable definitions (tool) liblem-ocaml-dev - Tool merging math and logic for executable definitions (developme Closes: 1065658 Changes: lem (2022-12-10+dfsg2-1) unstable; urgency=low . * Initial release. (Closes: #1065658) Checksums-Sha1: 7cdbb660cd77baeacdee2a9a01b6669479dc7841 399496 lem-dbgsym_2022-12-10+dfsg2-1_arm64.deb 92a640e597f7a6b18a1df45822f65943cd9b5c05 5913 lem_2022-12-10+dfsg2-1_arm64.buildinfo dd2b6ea77bccc7f6fb34a2f912d9faf91f080d63 1524948 lem_2022-12-10+dfsg2-1_arm64.deb 7719f61df3518e117b7e842c4a7ce1f7aa76a283 560996 liblem-ocaml-dev_2022-12-10+dfsg2-1_arm64.deb Checksums-Sha256: e21326efedab22902148840d59b9c8dbe08b66674383ba06393c854e8cdd2ee6 399496 lem-dbgsym_2022-12-10+dfsg2-1_arm64.deb ef561a7b734da7cec8bd50b405c0795576bd77dd1b48207139ae4613705211ca 5913 lem_2022-12-10+dfsg2-1_arm64.buildinfo 13e73168c8726bdd57e2d4a257b7792d05271a6cdee9b396d66c5f8e5c0d8c8a 1524948 lem_2022-12-10+dfsg2-1_arm64.deb f61ad41a1d25d1aae8d39070637023e78b6cc44e8a4531807a7c779e14764e0f 560996 liblem-ocaml-dev_2022-12-10+dfsg2-1_arm64.deb Files: 4f0df26abe8ad5ba067e565b190d12f1 399496 debug optional lem-dbgsym_2022-12-10+dfsg2-1_arm64.deb d497fd7c6cc3cbd17c690347653da2bf 5913 ocaml optional lem_2022-12-10+dfsg2-1_arm64.buildinfo 76743852c7d08a9e94222b43396c1406 1524948 ocaml optional lem_2022-12-10+dfsg2-1_arm64.deb cbc0eda28ab3b60405a922ba35045bfe 560996 ocaml optional liblem-ocaml-dev_2022-12-10+dfsg2-1_arm64.deb Fri Sep 13 19:45:36 UTC 2024 I: diffoscope 277 will be used to compare the two builds: Running as unit: rb-diffoscope-arm64_16-27646.service # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.gVdTMPwx/lem_2022-12-10+dfsg2-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.gVdTMPwx/lem_2022-12-10+dfsg2-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.gVdTMPwx/lem_2022-12-10+dfsg2-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.gVdTMPwx/b1/lem_2022-12-10+dfsg2-1_arm64.changes /srv/reproducible-results/rbuild-debian/r-b-build.gVdTMPwx/b2/lem_2022-12-10+dfsg2-1_arm64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.460s) 0.460s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.044s) 0.044s 12 calls diffoscope.comparators.binary.FilesystemFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Finished with result: success Main processes terminated with: code=exited/status=0 Service runtime: 821ms CPU time consumed: 820ms Fri Sep 13 19:45:37 UTC 2024 I: diffoscope 277 found no differences in the changes files, and a .buildinfo file also exists. Fri Sep 13 19:45:37 UTC 2024 I: lem from unstable built successfully and reproducibly on arm64. Fri Sep 13 19:45:38 UTC 2024 I: Submitting .buildinfo files to external archives: Fri Sep 13 19:45:38 UTC 2024 I: Submitting 8.0K b1/lem_2022-12-10+dfsg2-1_arm64.buildinfo.asc Fri Sep 13 19:45:39 UTC 2024 I: Submitting 8.0K b2/lem_2022-12-10+dfsg2-1_arm64.buildinfo.asc Fri Sep 13 19:45:40 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Fri Sep 13 19:45:40 UTC 2024 I: Done submitting .buildinfo files. Fri Sep 13 19:45:40 UTC 2024 I: Removing signed lem_2022-12-10+dfsg2-1_arm64.buildinfo.asc files: removed './b1/lem_2022-12-10+dfsg2-1_arm64.buildinfo.asc' removed './b2/lem_2022-12-10+dfsg2-1_arm64.buildinfo.asc'