Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/coq-elpi/coq-elpi_1.13.0-7_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/coq-elpi-1.13.0-7xdxlz41p/coq-elpi_1.13.0-7_amd64.buildinfo Get source package info: coq-elpi=1.13.0-7 Source URL: http://snapshot.notset.fr/mr/package/coq-elpi/1.13.0-7/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-6 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.38-4 bsdutils=1:2.38-2 build-essential=12.9 bzip2=1.0.8-5 camlp5=8.00.03-1 coq=8.15.1+dfsg-1 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.2.0-19 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.7 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.7 dpkg-dev=1.21.7 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-19 gcc=4:11.2.0-2 gcc-11=11.2.0-19 gcc-11-base=11.2.0-19 gcc-12-base=12-20220319-1 gettext=0.21-6 gettext-base=0.21-6 grep=3.7-1 groff-base=1.22.4-8 gzip=1.12-1 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-19 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.38-2 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+b2 libcap2=1:2.44-1 libcc1-0=12-20220319-1 libcom-err2=1.46.5-2 libcoq-core-ocaml=8.15.1+dfsg-1 libcoq-core-ocaml-dev=8.15.1+dfsg-1 libcoq-stdlib=8.15.1+dfsg-1 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.7 libdpkg-perl=1.21.7 libelf1=0.186-1 libelpi-ocaml=1.14.3-1 libelpi-ocaml-dev=1.14.3-1 libexpat1=2.4.8-1 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libfindlib-ocaml=1.9.3-1 libgcc-11-dev=11.2.0-19 libgcc-s1=12-20220319-1 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp-dev=2:6.2.1+dfsg-3 libgmp10=2:6.2.1+dfsg-3 libgmp3-dev=2:6.2.1+dfsg-3 libgmpxx4ldbl=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.1 libmagic-mgc=1:5.41-3 libmagic1=1:5.41-3 libmount1=2.38-2 libmpc3=1.2.1-2 libmpdec3=2.5.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-4 libpcre3=2:8.39-14 libperl5.34=5.34.0-4 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 libpython3-stdlib=3.10.4-1 libpython3.10-minimal=3.10.4-3 libpython3.10-stdlib=3.10.4-3 libquadmath0=12-20220319-1 libre-ocaml-dev=1.10.3-1+b1 libreadline8=8.1.2-1.2 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.38-2 libsqlite3-0=3.38.2-1 libssl1.1=1.1.1n-1 libstdc++-11-dev=11.2.0-19 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-3 libtsan0=11.2.0-19 libubsan1=12-20220319-1 libuchardet0=0.0.7-1 libudev1=250.4-1 libunistring2=1.0-1 libuuid1=2.38-2 libxml2=2.9.13+dfsg-1 libzarith-ocaml=1.12-1+b1 libzarith-ocaml-dev=1.12-1+b1 libzstd1=1.5.2+dfsg-1 linux-libc-dev=5.16.18-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 media-types=7.1.0 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-findlib=1.9.3-1 ocaml-interp=4.13.1-3 ocaml-nox=4.13.1-3 patch=2.7.6-7 perl=5.34.0-4 perl-base=5.34.0-4 perl-modules-5.34=5.34.0-4 po-debconf=1.0.21+nmu1 python3=3.10.4-1 python3-minimal=3.10.4-1 python3.10=3.10.4-3 python3.10-minimal=3.10.4-3 readline-common=8.1.2-1.2 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.38-2 util-linux-extra=2.38-2 xz-utils=5.2.5-2.1 zlib1g=1:1.2.11.dfsg-4 --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/20220422T030701Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220422T030701Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220420T025302Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220413T211711Z/ 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 coq-elpi=1.13.0-7 && mkdir -p /build/coq-elpi-0f1v0e && dpkg-source --no-check -x /*.dsc /build/coq-elpi-0f1v0e/coq-elpi-1.13.0 && chown -R builduser:builduser /build/coq-elpi-0f1v0e" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-elpi-0f1v0e/coq-elpi-1.13.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1650196122" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/coq-elpi-0f1v0e /tmp/coq-elpi-1.13.0-7xdxlz41p bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220413T211711Z 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.r5ZBO80_Sg 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.r5ZBO80_Sg Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-2). 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/20220413T211711Z unstable/main amd64 libfakeroot amd64 1.28-1 [48.2 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220413T211711Z 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 (1079 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 ... 4700 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/20220422T030701Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220422T030701Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220420T025302Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220413T211711Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.r5ZBO80_Sg Get:1 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm InRelease [130 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220420T025302Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220413T211711Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main Sources [12.0 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main amd64 Packages [11.4 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220420T025302Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220420T025302Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220420T025302Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220420T025302Z unstable/main amd64 Packages [12.4 MB] Fetched 36.1 MB in 29s (1226 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.r5ZBO80_Sg I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d coq-elpi=1.13.0-7 && mkdir -p /build/coq-elpi-0f1v0e && dpkg-source --no-check -x /*.dsc /build/coq-elpi-0f1v0e/coq-elpi-1.13.0 && chown -R builduser:builduser /build/coq-elpi-0f1v0e"' exec /tmp/mmdebstrap.r5ZBO80_Sg Reading package lists... NOTICE: 'coq-elpi' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/coq-elpi.git Please use: git clone https://salsa.debian.org/ocaml-team/coq-elpi.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 365 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main coq-elpi 1.13.0-7 (dsc) [2142 B] Get:2 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main coq-elpi 1.13.0-7 (tar) [360 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main coq-elpi 1.13.0-7 (diff) [3052 B] Fetched 365 kB in 0s (937 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'coq-elpi_1.13.0-7.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting coq-elpi in /build/coq-elpi-0f1v0e/coq-elpi-1.13.0 dpkg-source: info: unpacking coq-elpi_1.13.0.orig.tar.gz dpkg-source: info: unpacking coq-elpi_1.13.0-7.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-elpi-0f1v0e/coq-elpi-1.13.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1650196122" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.r5ZBO80_Sg dpkg-buildpackage: info: source package coq-elpi dpkg-buildpackage: info: source version 1.13.0-7 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 debian/rules override_dh_auto_clean make[1]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' Clean target is fragile make[1]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' 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/coq-elpi-0f1v0e/coq-elpi-1.13.0' /usr/bin/make build make[2]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' Using coq found in /usr/bin, from COQBIN or PATH echo "(* Automatically generated from elpi/coq-HOAS.elpi, don't edit *)" > src/coq_elpi_builtins_HOAS.ml echo "let code = {|" >> src/coq_elpi_builtins_HOAS.ml cat elpi/coq-HOAS.elpi >> src/coq_elpi_builtins_HOAS.ml echo "|}" >> src/coq_elpi_builtins_HOAS.ml echo "let elpi_dir = \"/usr/lib/ocaml/elpi\";;" > src/coq_elpi_config.ml COQDEP VFILES COQPP src/coq_elpi_vernacular_syntax.mlg COQPP src/coq_elpi_arg_syntax.mlg CAMLDEP src/coq_elpi_builtins.mli CAMLDEP src/coq_elpi_arg_HOAS.mli CAMLDEP src/coq_elpi_glob_quotation.mli CAMLDEP src/coq_elpi_HOAS.mli CAMLDEP src/coq_elpi_utils.mli CAMLDEP src/coq_elpi_vernacular.mli OCAMLLIBDEP src/elpi_plugin.mlpack CAMLDEP src/coq_elpi_config.ml CAMLDEP src/coq_elpi_builtins.ml CAMLDEP src/coq_elpi_builtins_HOAS.ml CAMLDEP src/coq_elpi_arg_HOAS.ml CAMLDEP src/coq_elpi_glob_quotation.ml CAMLDEP src/coq_elpi_name_quotation.ml CAMLDEP src/coq_elpi_HOAS.ml CAMLDEP src/coq_elpi_utils.ml CAMLDEP src/coq_elpi_vernacular.ml CAMLDEP src/coq_elpi_arg_syntax.ml CAMLDEP src/coq_elpi_vernacular_syntax.ml FILL .merlin echo "PKG camlp5" >> .merlin echo "S /usr/lib/ocaml/elpi" >> .merlin echo "B /usr/lib/ocaml/elpi" >> .merlin if [ "/usr/lib/ocaml/elpi" != "elpi/findlib/elpi" ]; then\ echo "PKG elpi" >> .merlin;\ fi Using coq found in /usr/bin, from COQBIN or PATH ########################## building plugin ########################## CAMLC -c src/coq_elpi_utils.mli CAMLC -c src/coq_elpi_HOAS.mli CAMLC -c src/coq_elpi_arg_HOAS.mli CAMLC -c src/coq_elpi_vernacular.mli CAMLC -c src/coq_elpi_glob_quotation.mli CAMLC -c src/coq_elpi_arg_syntax.ml CAMLC -c src/coq_elpi_vernacular_syntax.ml CAMLC -c src/coq_elpi_config.ml CAMLC -c src/coq_elpi_builtins.mli CAMLC -c src/coq_elpi_vernacular.ml CAMLC -c src/coq_elpi_utils.ml CAMLC -c src/coq_elpi_HOAS.ml CAMLC -c src/coq_elpi_name_quotation.ml CAMLC -c src/coq_elpi_glob_quotation.ml CAMLC -c src/coq_elpi_arg_HOAS.ml CAMLC -c src/coq_elpi_builtins_HOAS.ml CAMLC -c src/coq_elpi_builtins.ml CAMLC -pack -o src/elpi_plugin.cmo CAMLC -a -o src/elpi_plugin.cma CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_config.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_utils.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_HOAS.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_glob_quotation.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_name_quotation.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_arg_HOAS.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_arg_syntax.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_builtins_HOAS.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_builtins.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_vernacular.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_vernacular_syntax.ml CAMLOPT -pack -o src/elpi_plugin.cmx CAMLOPT -a -o src/elpi_plugin.cmxa CAMLOPT -shared -o src/elpi_plugin.cmxs COQC theories/elpi.v COQC theories/wip/memoization.v hit app [global (indt «or»), global (indt «False»), global (indt «True»)] hit app [global (indt «or»), global (indt «False»), global (indt «True»)] hit app [global (indt «or»), global (indt «False»), global (indt «True»)] hit app [global (indt «or»), global (indt «False»), global (indt «True»)] hit app [global (indt «or»), global (indt «False»), global (indt «True»)] hit app [global (indt «or»), global (indt «False»), global (indt «True»)] Finished transaction in 0.007 secs (0.007u,0.s) (successful) ########################## building APPS ############################ make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/derive' Using coq found in /usr/bin/, from COQBIN or PATH Warning: ../../theories (used in -R or -Q) is not a subdirectory of the current directory COQDEP VFILES FILL .merlin COQC theories/derive/eq.v COQC theories/derive/isK.v COQC theories/derive/map.v COQC theories/derive/projK.v COQC theories/derive/param1.v COQC theories/derive/param1_congr.v COQC theories/derive/param1_inhab.v COQC theories/derive/param1_trivial.v COQC theories/derive/invert.v COQC theories/derive/param1_functor.v COQC theories/derive/idx2inv.v COQC theories/derive/induction.v COQC theories/derive/bcongr.v COQC theories/derive/eqK.v COQC theories/derive/eqcorrect.v COQC theories/derive/eqOK.v COQC theories/derive/param2.v COQC theories/derive/lens.v COQC theories/derive/lens_laws.v COQC theories/derive.v COQC theories/derive/cast.v make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/derive' make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/eltac' Using coq found in /usr/bin/, from COQBIN or PATH Warning: ../../theories (used in -R or -Q) is not a subdirectory of the current directory COQDEP VFILES FILL .merlin COQC theories/assumption.v COQC theories/constructor.v COQC theories/intro.v COQC theories/clear.v COQC theories/fail.v COQC theories/discriminate.v COQC theories/injection.v COQC theories/case.v COQC theories/generalize.v COQC theories/cycle.v COQC theories/tactics.v make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/eltac' make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/NES' Using coq found in /usr/bin/, from COQBIN or PATH Warning: ../../theories (used in -R or -Q) is not a subdirectory of the current directory COQDEP VFILES FILL .merlin COQC theories/NES.v make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/NES' make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/locker' Using coq found in /usr/bin/, from COQBIN or PATH Warning: ../../theories (used in -R or -Q) is not a subdirectory of the current directory COQDEP VFILES FILL .merlin COQC theories/locker.v make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/locker' make[2]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' make[1]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' 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/coq-elpi-0f1v0e/coq-elpi-1.13.0' dh_auto_install make -j10 install DESTDIR=/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[2]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' Using coq found in /usr/bin, from COQBIN or PATH ########################## installing plugin ############################ make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' make[3]: /usr/lib/ocaml/coq: Permission denied make[3]: /usr/lib/ocaml/coq: Permission denied make[3]: /usr/lib/ocaml/coq: Permission denied make[3]: /usr/lib/ocaml/coq: Permission denied make[3]: /usr/lib/ocaml/coq: Permission denied make[3]: /usr/lib/ocaml/coq: Permission denied INSTALL theories/elpi.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ INSTALL theories/elpi.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ INSTALL theories/elpi.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ INSTALL src/elpi_plugin.cmi /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ INSTALL src/elpi_plugin.cmxs /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ INSTALL src/elpi_plugin.cmxs /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ INSTALL src/elpi_plugin.cmxa /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ INSTALL src/elpi_plugin.cmx /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ make[4]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' df="`"/usr/bin///coq_makefile" -destination-of theories/elpi.vo -I src -Q examples elpi.examples -Q tests elpi.tests -Q src elpi -Q apps/derive/tests elpi.apps.derive.tests -Q tests elpi.tests -Q elpi elpi -R theories elpi -R apps/derive/theories elpi.apps -R apps/derive/tests elpi.apps.derive.tests -R apps/derive/examples elpi.apps.derive.examples -R apps/NES/theories elpi.apps -R apps/NES/tests elpi.apps.NES.tests -R apps/NES/examples elpi.apps.NES.examples -R apps/eltac/theories elpi.apps.eltac -R apps/eltac/tests elpi.apps.eltac.tests -R apps/eltac/examples elpi.apps.eltac.examples`";\ install -m 0644 elpi-builtin.elpi "/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/$df";\ install -m 0644 coq-builtin.elpi "/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/$df";\ install -m 0644 elpi/coq-lib.elpi "/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/$df";\ install -m 0644 elpi/elpi-elaborator.elpi "/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/$df" make[4]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' INSTALL src/elpi_plugin.cmo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ INSTALL src/elpi_plugin.cma /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/ make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' cp etc/coq-elpi.lang /usr/lib/ocaml/coq//ide/ cp: cannot create regular file '/usr/lib/ocaml/coq//ide/': Not a directory make[2]: [Makefile:97: install] Error 1 (ignored) ########################## installing APPS ############################ make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/derive' Using coq found in /usr/bin/, from COQBIN or PATH make[4]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/derive' make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied INSTALL theories/derive.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ INSTALL theories/derive/bcongr.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/cast.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eq.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqcorrect.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqK.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqOK.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/map.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/isK.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/idx2inv.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/invert.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/projK.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_functor.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_congr.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_inhab.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_trivial.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param2.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/induction.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/lens.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/lens_laws.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ INSTALL theories/derive/bcongr.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/cast.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eq.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqcorrect.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqK.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqOK.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/map.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/isK.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/idx2inv.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/invert.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/projK.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_functor.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_congr.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_inhab.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_trivial.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param2.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/induction.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/lens.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/lens_laws.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ INSTALL theories/derive/bcongr.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/cast.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eq.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqcorrect.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqK.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/eqOK.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/map.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/isK.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/idx2inv.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/invert.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/projK.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_functor.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_congr.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_inhab.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param1_trivial.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/param2.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/induction.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/lens.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive INSTALL theories/derive/lens_laws.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps//derive make[5]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/derive' make[5]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/derive' make[4]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/derive' make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/derive' make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/eltac' Using coq found in /usr/bin/, from COQBIN or PATH make[4]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/eltac' make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied INSTALL theories/assumption.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/constructor.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/intro.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/clear.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/fail.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/discriminate.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/injection.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/case.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/generalize.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/cycle.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/tactics.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/assumption.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/constructor.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/intro.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/clear.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/fail.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/discriminate.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/injection.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/case.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/generalize.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/cycle.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/tactics.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/assumption.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/constructor.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/intro.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/clear.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/fail.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/discriminate.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/injection.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/case.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/generalize.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/cycle.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ INSTALL theories/tactics.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/eltac/ make[5]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/eltac' make[5]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/eltac' make[4]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/eltac' make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/eltac' make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/NES' Using coq found in /usr/bin/, from COQBIN or PATH make[4]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/NES' make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied INSTALL theories/NES.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ INSTALL theories/NES.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ INSTALL theories/NES.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ make[5]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/NES' make[5]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/NES' make[4]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/NES' make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/NES' make[3]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/locker' Using coq found in /usr/bin/, from COQBIN or PATH make[4]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/locker' make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied make[4]: /usr/lib/ocaml/coq: Permission denied INSTALL theories/locker.vo /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ INSTALL theories/locker.v /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ INSTALL theories/locker.glob /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/elpi/apps/ make[5]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/locker' make[5]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/locker' make[4]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/locker' make[3]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0/apps/locker' ########################## installing doc ############################ mkdir -p /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp/usr/lib/ocaml/coq/../../share/doc/coq-elpi/ cp doc/* /build/coq-elpi-0f1v0e/coq-elpi-1.13.0/debian/tmp/usr/lib/ocaml/coq/../../share/doc/coq-elpi/ cp: cannot stat 'doc/*': No such file or directory make[2]: [Makefile:102: install] Error 1 (ignored) ########################## installed ############################ make[2]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' cp src/elpi_plugin.a debian/tmp/usr/lib/ocaml/coq/user-contrib/elpi/ find debian/tmp -regextype posix-awk \ -regex '.*\.(v|vo|vos|glob)$' \ >> debian/libcoq-elpi.install find debian/tmp -regextype posix-awk \ -regex '.*\.(a|cmi|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$' \ >> debian/libcoq-elpi-ocaml-dev.install make[1]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_lintian -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 debian/rules override_dh_ocaml make[1]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' dh_ocaml --nodefined-map=libcoq-elpi-ocaml-dev:Extfun,Gramext,Versdep,Fstream,Pretty,Token,Grammar,Ploc,Plexing,Plexer,Eprinter,Diff,Stdpp,Pprintf,Extfold,Elpi__Ptmap,Elpi__Util,Elpi__Builtin,Elpi__Data,Elpi__Ast,Elpi__Builtin_map,Elpi__Builtin,Elpi__Builtin_checker,Elpi__Builtin_stdlib,Elpi__API,Elpi__Runtime,Trace_ppx_runtime__Runtime,Elpi__Runtime_trace_on,Elpi__parser,Trace_ppx_runtime,Elpi__exported,Elpi,Elpi__Runtime_trace_off,Elpi__Builtin_set,Elpi__exported,Elpi__Parser,Elpi__Compiler,Elpi__,Ppx_deriving_runtime,Re__,Re__Fmt,Re__Category,Re__Group,Re__str,Re__Pcre,Re,Re__Str,Re__str,Re__Posix,Re__Automata,Re__Emacs,Re__Core,Re__Cset,Re__Color,Re__Perl,Re__Color_map,Re__Glob,Re_str,Re__Pmark,Result W: libcoq-elpi-ocaml-dev/libcoq-elpi-ocaml v1.13.0-7 doesn't resolve dependency on unit Longident W: libcoq-elpi-ocaml-dev/libcoq-elpi-ocaml v1.13.0-7 doesn't resolve dependency on unit Parsetree W: libcoq-elpi-ocaml-dev/libcoq-elpi-ocaml v1.13.0-7 doesn't resolve dependency on unit Location W: libcoq-elpi-ocaml-dev/libcoq-elpi-ocaml v1.13.0-7 doesn't resolve dependency on unit Warnings W: libcoq-elpi-ocaml-dev/libcoq-elpi-ocaml v1.13.0-7 doesn't resolve dependency on unit Asttypes make[1]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' debian/rules override_dh_gencontrol make[1]: Entering directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' dh_gencontrol -- -VF:CoqABI="8.15.1+4.13.1" make[1]: Leaving directory '/build/coq-elpi-0f1v0e/coq-elpi-1.13.0' dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-elpi' in '../libcoq-elpi_1.13.0-7_amd64.deb'. dpkg-deb: building package 'libcoq-elpi-ocaml-dbgsym' in '../libcoq-elpi-ocaml-dbgsym_1.13.0-7_amd64.deb'. dpkg-deb: building package 'libcoq-elpi-ocaml-dev' in '../libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb'. dpkg-deb: building package 'libcoq-elpi-ocaml' in '../libcoq-elpi-ocaml_1.13.0-7_amd64.deb'. dpkg-genbuildinfo --build=any -O../coq-elpi_1.13.0-7_amd64.buildinfo dpkg-genchanges --build=any -O../coq-elpi_1.13.0-7_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/coq-elpi-0f1v0e /tmp/coq-elpi-1.13.0-7xdxlz41p I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.r5ZBO80_Sg... I: success in 1408.3362 seconds md5: libcoq-elpi-ocaml-dbgsym_1.13.0-7_amd64.deb: OK md5: libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb: OK md5: libcoq-elpi-ocaml_1.13.0-7_amd64.deb: OK md5: libcoq-elpi_1.13.0-7_amd64.deb: OK sha1: libcoq-elpi-ocaml-dbgsym_1.13.0-7_amd64.deb: OK sha1: libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb: OK sha1: libcoq-elpi-ocaml_1.13.0-7_amd64.deb: OK sha1: libcoq-elpi_1.13.0-7_amd64.deb: OK sha256: libcoq-elpi-ocaml-dbgsym_1.13.0-7_amd64.deb: OK sha256: libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb: OK sha256: libcoq-elpi-ocaml_1.13.0-7_amd64.deb: OK sha256: libcoq-elpi_1.13.0-7_amd64.deb: OK Checksums: OK