Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/e/elpi/elpi_1.14.3-1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/elpi-1.14.3-12pms0ggc/elpi_1.14.3-1_amd64.buildinfo Get source package info: elpi=1.14.3-1 Source URL: http://snapshot.notset.fr/mr/package/elpi/1.14.3-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.3 autopoint=0.21-4 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6 binutils=2.38-3 binutils-common=2.38-3 binutils-x86-64-linux-gnu=2.38-3 bsdextrautils=2.37.3-1+b1 bsdutils=1:2.37.3-1+b1 build-essential=12.9 bzip2=1.0.8-5 camlp5=8.00.03-1 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.2.0-18 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.6 debianutils=5.7-0.1 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.2 dpkg-dev=1.21.2 dwz=0.14-1 file=1:5.41-3 findutils=4.9.0-2 g++=4:11.2.0-2 g++-11=11.2.0-18 gcc=4:11.2.0-2 gcc-11=11.2.0-18 gcc-11-base=11.2.0-18 gcc-12-base=12-20220319-1 gettext=0.21-4 gettext-base=0.21-4 grep=3.7-1 groff-base=1.22.4-8 gzip=1.10-4 hostname=3.23 init-system-helpers=1.62 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-18 libatomic1=12-20220319-1 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38-3 libblkid1=2.37.3-1+b1 libbz2-1.0=1.0.8-5 libc-bin=2.33-7 libc-dev-bin=2.33-7 libc6=2.33-7 libc6-dev=2.33-7 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=12-20220319-1 libcom-err2=1.46.5-2 libcrypt-dev=1:4.4.27-1.1 libcrypt1=1:4.4.27-1.1 libctf-nobfd0=2.38-3 libctf0=2.38-3 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.261 libdebhelper-perl=13.6 libdpkg-perl=1.21.2 libelf1=0.186-1 libfile-stripnondeterminism-perl=1.13.0-1 libfindlib-ocaml=1.9.3-1 libgcc-11-dev=11.2.0-18 libgcc-s1=12-20220319-1 libgcrypt20=1.9.4-5 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp10=2:6.2.1+dfsg-3 libgomp1=12-20220319-1 libgpg-error0=1.43-3 libgssapi-krb5-2=1.19.2-2+b1 libicu67=67.1-7 libisl23=0.24-2 libitm1=12-20220319-1 libk5crypto3=1.19.2-2+b1 libkeyutils1=1.6.1-3 libkrb5-3=1.19.2-2+b1 libkrb5support0=1.19.2-2+b1 liblsan0=12-20220319-1 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.41-3 libmagic1=1:5.41-3 libmount1=2.37.3-1+b1 libmpc3=1.2.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3-2 libncurses5-dev=6.3-2 libncurses6=6.3-2 libncursesw6=6.3-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libocaml-compiler-libs-ocaml-dev=0.12.4-1+b1 libpam-modules=1.4.0-11 libpam-modules-bin=1.4.0-11 libpam-runtime=1.4.0-11 libpam0g=1.4.0-11 libpcre2-8-0=10.39-3 libpcre3=2:8.39-13 libperl5.34=5.34.0-3 libpipeline1=1.5.5-1 libppx-derivers-ocaml-dev=1.2.1-1+b3 libppx-deriving-ocaml=5.2.1-1 libppx-deriving-ocaml-dev=5.2.1-1 libppxlib-ocaml-dev=0.24.0-1 libquadmath0=12-20220319-1 libre-ocaml-dev=1.10.3-1+b1 libresult-ocaml=1.5-1+b2 libresult-ocaml-dev=1.5-1+b2 libseccomp2=2.5.3-2 libselinux1=3.3-1+b2 libsexplib0-ocaml=0.14.0-1+b2 libsexplib0-ocaml-dev=0.14.0-1+b2 libsigsegv2=2.14-1 libsmartcols1=2.37.3-1+b1 libssl1.1=1.1.1n-1 libstdc++-11-dev=11.2.0-18 libstdc++6=12-20220319-1 libsub-override-perl=0.09-2 libsystemd0=250.4-1 libtinfo6=6.3-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-1 libtsan0=11.2.0-18 libubsan1=12-20220319-1 libuchardet0=0.0.7-1 libudev1=250.4-1 libunistring2=1.0-1 libuuid1=2.37.3-1+b1 libxml2=2.9.13+dfsg-1 libzstd1=1.4.9+dfsg-1 linux-libc-dev=5.16.14-1 login=1:4.11.1+dfsg1-2 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3+b1 ncurses-base=6.3-2 ncurses-bin=6.3-2 ocaml=4.13.1-3 ocaml-base=4.13.1-3 ocaml-compiler-libs=4.13.1-3 ocaml-dune=2.9.1-1+b1 ocaml-findlib=1.9.3-1 ocaml-interp=4.13.1-3 patch=2.7.6-7 perl=5.34.0-3 perl-base=5.34.0-3 perl-modules-5.34=5.34.0-3 po-debconf=1.0.21+nmu1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.01-1 tar=1.34+dfsg-1 util-linux=2.37.3-1+b1 xz-utils=5.2.5-2 zlib1g=1:1.2.11.dfsg-3 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220330T025932Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220330T025932Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220324T214913Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d elpi=1.14.3-1 && mkdir -p /build/elpi-x55ekJ && dpkg-source --no-check -x /*.dsc /build/elpi-x55ekJ/elpi-1.14.3 && chown -R builduser:builduser /build/elpi-x55ekJ" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/elpi-x55ekJ/elpi-1.14.3 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1648190844" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/elpi-x55ekJ /tmp/elpi-1.14.3-12pms0ggc bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220324T214913Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.fO2HzZgYHV as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.fO2HzZgYHV Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.3-1+b1). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 135 kB of archives. After this operation, 406 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220324T214913Z unstable/main amd64 libfakeroot amd64 1.28-1 [48.2 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220324T214913Z unstable/main amd64 fakeroot amd64 1.28-1 [87.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 135 kB in 0s (1023 kB/s) Selecting previously unselected package libfakeroot:amd64. (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 ... 4702 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.28-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.28-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.28-1_amd64.deb ... Unpacking fakeroot (1.28-1) ... Setting up libfakeroot:amd64 (1.28-1) ... Setting up fakeroot (1.28-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-7) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220330T025932Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220330T025932Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220324T214913Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.fO2HzZgYHV Get:1 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm InRelease [130 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220324T214913Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main Sources [11.9 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main amd64 Packages [11.3 MB] Fetched 23.4 MB in 20s (1176 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.fO2HzZgYHV I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d elpi=1.14.3-1 && mkdir -p /build/elpi-x55ekJ && dpkg-source --no-check -x /*.dsc /build/elpi-x55ekJ/elpi-1.14.3 && chown -R builduser:builduser /build/elpi-x55ekJ"' exec /tmp/mmdebstrap.fO2HzZgYHV Reading package lists... NOTICE: 'elpi' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/elpi.git Please use: git clone https://salsa.debian.org/ocaml-team/elpi.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 1550 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main elpi 1.14.3-1 (dsc) [2121 B] Get:2 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main elpi 1.14.3-1 (tar) [1545 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220330T025932Z bookworm/main elpi 1.14.3-1 (diff) [3388 B] Fetched 1550 kB in 1s (1210 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'elpi_1.14.3-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting elpi in /build/elpi-x55ekJ/elpi-1.14.3 dpkg-source: info: unpacking elpi_1.14.3.orig.tar.gz dpkg-source: info: unpacking elpi_1.14.3-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/elpi-x55ekJ/elpi-1.14.3 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1648190844" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.fO2HzZgYHV dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 1.14.3-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml dh_auto_clean make -j10 clean make[1]: Entering directory '/build/elpi-x55ekJ/elpi-1.14.3' rm -rf _build make[1]: Leaving directory '/build/elpi-x55ekJ/elpi-1.14.3' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/build/elpi-x55ekJ/elpi-1.14.3' sed -e 's/%%VERSION_NUM%%/1.14.3/g' -i elpi_REPL.ml sed -e 's/%%VERSION_NUM%%/1.14.3/g' -i src/compiler.ml dune build @all File "src/ast.ml", line 245, characters 19-37: 245 | data_compare = Pervasives.compare (*Float.compare*); ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ast.ml", line 245, characters 19-37: 245 | data_compare = Pervasives.compare (*Float.compare*); ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/data.ml", line 647, characters 14-28: 647 | (Obj.(extension_name (extension_constructor x))) ^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_name use Obj.Extension_constructor.name File "src/data.ml", line 647, characters 30-51: 647 | (Obj.(extension_name (extension_constructor x))) ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_constructor use Obj.Extension_constructor.of_val File "src/data.ml", line 648, characters 14-28: 648 | (Obj.(extension_name (extension_constructor (Unify(dummy,dummy))))) ^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_name use Obj.Extension_constructor.name File "src/data.ml", line 648, characters 30-51: 648 | (Obj.(extension_name (extension_constructor (Unify(dummy,dummy))))) ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_constructor use Obj.Extension_constructor.of_val File "src/data.ml", line 649, characters 14-28: 649 | (Obj.(extension_name (extension_constructor (RawGoal dummy))))) ^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_name use Obj.Extension_constructor.name File "src/data.ml", line 649, characters 30-51: 649 | (Obj.(extension_name (extension_constructor (RawGoal dummy))))) ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_constructor use Obj.Extension_constructor.of_val File "src/data.ml", line 647, characters 14-28: 647 | (Obj.(extension_name (extension_constructor x))) ^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_name use Obj.Extension_constructor.name File "src/data.ml", line 647, characters 30-51: 647 | (Obj.(extension_name (extension_constructor x))) ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_constructor use Obj.Extension_constructor.of_val File "src/data.ml", line 648, characters 14-28: 648 | (Obj.(extension_name (extension_constructor (Unify(dummy,dummy))))) ^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_name use Obj.Extension_constructor.name File "src/data.ml", line 648, characters 30-51: 648 | (Obj.(extension_name (extension_constructor (Unify(dummy,dummy))))) ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_constructor use Obj.Extension_constructor.of_val File "src/data.ml", line 649, characters 14-28: 649 | (Obj.(extension_name (extension_constructor (RawGoal dummy))))) ^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_name use Obj.Extension_constructor.name File "src/data.ml", line 649, characters 30-51: 649 | (Obj.(extension_name (extension_constructor (RawGoal dummy))))) ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Obj.extension_constructor use Obj.Extension_constructor.of_val File "src/API.ml", line 355, characters 80-98: 355 | let float = snd @@ RawOpaqueData.conversion_of_cdata ~name:"float" ~compare:Pervasives.compare (*Float.compare*) ~pp:(fun fmt x -> Util.CData.pp fmt (ED.C.float.Util.CData.cin x)) ED.C.float ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/API.ml", line 400, characters 8-20: 400 | R.Pp.uppterm d [] d ED.empty_env fmt t); ^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 458, characters 8-20: 458 | R.Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0) ^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 1087, characters 4-16: 1087 | R.Pp.uppterm depth [] 0 ED.empty_env fmt t ^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 1098, characters 6-17: 1098 | R.Pp.ppterm depth [] 0 ED.empty_env fmt t ^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 355, characters 80-98: 355 | let float = snd @@ RawOpaqueData.conversion_of_cdata ~name:"float" ~compare:Pervasives.compare (*Float.compare*) ~pp:(fun fmt x -> Util.CData.pp fmt (ED.C.float.Util.CData.cin x)) ED.C.float ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/API.ml", line 400, characters 8-20: 400 | R.Pp.uppterm d [] d ED.empty_env fmt t); ^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 458, characters 8-20: 458 | R.Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0) ^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 1087, characters 4-16: 1087 | R.Pp.uppterm depth [] 0 ED.empty_env fmt t ^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 1098, characters 6-17: 1098 | R.Pp.ppterm depth [] 0 ED.empty_env fmt t ^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1708, characters 14-31: 1708 | match eta_contract_flex depth adepth bdepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1728, characters 14-31: 1728 | match eta_contract_flex depth bdepth bdepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1774, characters 15-22: 1774 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1790, characters 28-35: 1790 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1803, characters 15-22: 1803 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1846, characters 8-25: 1846 | match eta_contract_flex depth adepth adepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1856, characters 8-25: 1856 | match eta_contract_flex depth bdepth adepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3495, characters 21-32: 3495 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3499, characters 21-32: 3499 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3538, characters 19-25: 3538 | | false -> T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs] ^^^^^^ Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1708, characters 14-31: 1708 | match eta_contract_flex depth adepth bdepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1728, characters 14-31: 1728 | match eta_contract_flex depth bdepth bdepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1774, characters 15-22: 1774 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1790, characters 28-35: 1790 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1803, characters 15-22: 1803 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1846, characters 8-25: 1846 | match eta_contract_flex depth adepth adepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1856, characters 8-25: 1856 | match eta_contract_flex depth bdepth adepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3495, characters 21-32: 3495 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3499, characters 21-32: 3499 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3538, characters 19-25: 3538 | | false -> T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs] ^^^^^^ Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function. File "src/runtime.ml", line 1708, characters 14-31: 1708 | match eta_contract_flex depth adepth bdepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1728, characters 14-31: 1728 | match eta_contract_flex depth bdepth bdepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1774, characters 15-22: 1774 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1790, characters 28-35: 1790 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1803, characters 15-22: 1803 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1846, characters 8-25: 1846 | match eta_contract_flex depth adepth adepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1856, characters 8-25: 1856 | match eta_contract_flex depth bdepth adepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 3495, characters 21-32: 3495 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 3499, characters 21-32: 3499 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 3538, characters 19-25: 3538 | | false -> T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs] ^^^^^^ Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function. File "src/runtime.ml", line 1708, characters 14-31: 1708 | match eta_contract_flex depth adepth bdepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1728, characters 14-31: 1728 | match eta_contract_flex depth bdepth bdepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1774, characters 15-22: 1774 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1790, characters 28-35: 1790 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1803, characters 15-22: 1803 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1846, characters 8-25: 1846 | match eta_contract_flex depth adepth adepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1856, characters 8-25: 1856 | match eta_contract_flex depth bdepth adepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 3495, characters 21-32: 3495 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 3499, characters 21-32: 3499 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 3538, characters 19-25: 3538 | | false -> T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs] ^^^^^^ Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function. make[1]: Leaving directory '/build/elpi-x55ekJ/elpi-1.14.3' dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/elpi-x55ekJ/elpi-1.14.3' dune install --destdir=/build/elpi-x55ekJ/elpi-1.14.3/debian/tmp --prefix=/usr --libdir=../usr/lib/ocaml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ast.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ast.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ast.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_map.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_map.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_set.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_set.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_stdlib.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_stdlib.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Data.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Data.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Parser.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Parser.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Parser.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Util.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Util.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Util.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/API.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/API.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/META Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/ast.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/ast.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/builtin.elpi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/builtin.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/builtin.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/builtin_checker.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/builtin_map.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/builtin_set.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/builtin_stdlib.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/compiler.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/compiler.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/data.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/dune-package Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi-quoted_syntax.elpi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi.a Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi.cma Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi.cmxa Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi2html.elpi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__API.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__API.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__API.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__API.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Ast.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_map.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_set.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_stdlib.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Compiler.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Data.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Parser.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Ptmap.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Runtime.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Runtime_trace_off.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi__Util.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/opam Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/parser.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/parser.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/ptmap.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/ptmap.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/runtime.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/runtime.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/runtime_trace_off.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/runtime_trace_off.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.a Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cma Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmxa Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/runtime.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/runtime.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.a Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cma Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmxa Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/util.ml Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/util.mli Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/elpi.cmxs Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/ppx.exe Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmxs Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmxs Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/bin/elpi Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/doc/elpi/CHANGES.md Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/doc/elpi/LICENSE Installing /build/elpi-x55ekJ/elpi-1.14.3/debian/tmp/usr/doc/elpi/README.md # drop excess LICENSE files find debian/tmp -name "LICENSE*" -delete # we detect what to ship find debian/tmp -regextype posix-awk \ -regex '.*\.(cma|cmxs)$' \ >> debian/libelpi-ocaml.install find debian/tmp -regextype posix-awk \ -regex '.*\.(a|cmi|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$' \ >> debian/libelpi-ocaml-dev.install make[1]: Leaving directory '/build/elpi-x55ekJ/elpi-1.14.3' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Ident W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Clflags W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Compmisc W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Types W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Asttypes W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Subst W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Path W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Misc W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Outcometree W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Type_immediacy W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Build_path_prefix_map W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Env W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Cmi_format W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Primitive W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Warnings W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Parsetree W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Identifiable W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Load_path W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Longident W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Location W: libelpi-ocaml-dev/libelpi-ocaml v1.14.3-1 doesn't resolve dependency on unit Profile dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package libelpi-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libelpi-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_1.14.3-1_amd64.deb'. dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_1.14.3-1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_1.14.3-1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_1.14.3-1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_1.14.3-1_amd64.deb'. dpkg-deb: building package 'elpi' in '../elpi_1.14.3-1_amd64.deb'. dpkg-genbuildinfo --build=any -O../elpi_1.14.3-1_amd64.buildinfo dpkg-genchanges --build=any -O../elpi_1.14.3-1_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/elpi-x55ekJ /tmp/elpi-1.14.3-12pms0ggc I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.fO2HzZgYHV... I: success in 568.7390 seconds md5: elpi-dbgsym_1.14.3-1_amd64.deb: OK md5: elpi_1.14.3-1_amd64.deb: OK md5: libelpi-ocaml-dbgsym_1.14.3-1_amd64.deb: OK md5: libelpi-ocaml-dev-dbgsym_1.14.3-1_amd64.deb: OK md5: libelpi-ocaml-dev_1.14.3-1_amd64.deb: OK md5: libelpi-ocaml_1.14.3-1_amd64.deb: OK sha1: elpi-dbgsym_1.14.3-1_amd64.deb: OK sha1: elpi_1.14.3-1_amd64.deb: OK sha1: libelpi-ocaml-dbgsym_1.14.3-1_amd64.deb: OK sha1: libelpi-ocaml-dev-dbgsym_1.14.3-1_amd64.deb: OK sha1: libelpi-ocaml-dev_1.14.3-1_amd64.deb: OK sha1: libelpi-ocaml_1.14.3-1_amd64.deb: OK sha256: elpi-dbgsym_1.14.3-1_amd64.deb: OK sha256: elpi_1.14.3-1_amd64.deb: OK sha256: libelpi-ocaml-dbgsym_1.14.3-1_amd64.deb: OK sha256: libelpi-ocaml-dev-dbgsym_1.14.3-1_amd64.deb: OK sha256: libelpi-ocaml-dev_1.14.3-1_amd64.deb: OK sha256: libelpi-ocaml_1.14.3-1_amd64.deb: OK Checksums: OK