Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/coq-dpdgraph/coq-dpdgraph_1.0+8.15-2_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/coq-dpdgraph-1.0+8.15-2kwl6cqn4/coq-dpdgraph_1.0+8.15-2_amd64.buildinfo Get source package info: coq-dpdgraph=1.0+8.15-2 Source URL: http://snapshot.notset.fr/mr/package/coq-dpdgraph/1.0+8.15-2/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.1 binutils=2.38.50.20220707-1 binutils-common=2.38.50.20220707-1 binutils-x86-64-linux-gnu=2.38.50.20220707-1 bsdextrautils=2.38-5 bsdutils=1:2.38-4 build-essential=12.9 bzip2=1.0.8-5 coq=8.15.2+dfsg-2 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.3.0-4 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.8 debianutils=5.7-0.2 dh-autoreconf=20 dh-coq=0.3 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.9 dpkg-dev=1.21.9 dwz=0.14-1 file=1:5.41-4 findutils=4.9.0-3 g++=4:11.2.0-2 g++-11=11.3.0-4 gcc=4:11.2.0-2 gcc-11=11.3.0-4 gcc-11-base=11.3.0-4 gcc-12-base=12.1.0-5 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.64 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.3.0-4 libatomic1=12.1.0-5 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38.50.20220707-1 libblkid1=2.38-4 libbz2-1.0=1.0.8-5 libc-bin=2.33-8 libc-dev-bin=2.33-8 libc6=2.33-8 libc6-dev=2.33-8 libcap-ng0=0.8.3-1 libcap2=1:2.44-1 libcc1-0=12.1.0-5 libcom-err2=1.46.5-2 libcoq-core-ocaml=8.15.2+dfsg-2 libcoq-core-ocaml-dev=8.15.2+dfsg-2 libcoq-stdlib=8.15.2+dfsg-2 libcrypt-dev=1:4.4.28-2 libcrypt1=1:4.4.28-2 libctf-nobfd0=2.38.50.20220707-1 libctf0=2.38.50.20220707-1 libdb5.3=5.3.28+dfsg1-0.10 libdebconfclient0=0.263 libdebhelper-perl=13.8 libdpkg-perl=1.21.9 libelf1=0.187-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.3.0-4 libgcc-s1=12.1.0-5 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp-dev=2:6.2.1+dfsg1-1 libgmp10=2:6.2.1+dfsg1-1 libgmp3-dev=2:6.2.1+dfsg1-1 libgmpxx4ldbl=2:6.2.1+dfsg1-1 libgomp1=12.1.0-5 libgpg-error0=1.45-2 libgprofng0=2.38.50.20220707-1 libgssapi-krb5-2=1.19.2-2+b2 libicu71=71.1-3 libisl23=0.24-2 libitm1=12.1.0-5 libk5crypto3=1.19.2-2+b2 libkeyutils1=1.6.3-1 libkrb5-3=1.19.2-2+b2 libkrb5support0=1.19.2-2+b2 liblsan0=12.1.0-5 liblz4-1=1.9.3-2 liblzma5=5.2.5-2.1 libmagic-mgc=1:5.41-4 libmagic1=1:5.41-4 libmount1=2.38-4 libmpc3=1.2.1-2 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3+20220423-2 libncurses5-dev=6.3+20220423-2 libncurses6=6.3+20220423-2 libncursesw6=6.3+20220423-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libocamlgraph-ocaml-dev=2.0.0-3+b1 libpam-modules=1.4.0-13 libpam-modules-bin=1.4.0-13 libpam-runtime=1.4.0-13 libpam0g=1.4.0-13 libpcre2-8-0=10.40-1 libpcre3=2:8.39-14 libperl5.34=5.34.0-5 libpipeline1=1.5.6-1 libpython3-stdlib=3.10.4-1+b1 libpython3.10-minimal=3.10.5-1 libpython3.10-stdlib=3.10.5-1 libquadmath0=12.1.0-5 libreadline8=8.1.2-1.2 libseccomp2=2.5.4-1 libselinux1=3.4-1 libsigsegv2=2.14-1 libsmartcols1=2.38-4 libsqlite3-0=3.39.1-1 libssl3=3.0.4-2 libstdc++-11-dev=11.3.0-4 libstdc++6=12.1.0-5 libsub-override-perl=0.09-3 libsystemd0=251.2-8 libtinfo6=6.3+20220423-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-4 libtsan0=11.3.0-4 libubsan1=12.1.0-5 libuchardet0=0.0.7-1 libudev1=251.2-8 libunistring2=1.0-1 libuuid1=2.38-4 libxml2=2.9.14+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.18.5-1 login=1:4.11.1+dfsg1-2 lsb-base=11.2 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3.1 media-types=8.0.0 ncurses-base=6.3+20220423-2 ncurses-bin=6.3+20220423-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-5 perl-base=5.34.0-5 perl-modules-5.34=5.34.0-5 po-debconf=1.0.21+nmu1 python3=3.10.4-1+b1 python3-minimal=3.10.4-1+b1 python3.10=3.10.5-1 python3.10-minimal=3.10.5-1 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.03-1 tar=1.34+dfsg-1 util-linux=2.38-4 util-linux-extra=2.38-4 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/20220718T031307Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220718T031307Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220722T150935Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220713T220842Z/ 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-dpdgraph=1.0+8.15-2 && mkdir -p /build/coq-dpdgraph-lr54vP && dpkg-source --no-check -x /*.dsc /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15 && chown -R builduser:builduser /build/coq-dpdgraph-lr54vP" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1657966552" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/coq-dpdgraph-lr54vP /tmp/coq-dpdgraph-1.0+8.15-2kwl6cqn4 bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220713T220842Z 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.qfqwqKqUnK 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.qfqwqKqUnK Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-4). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 136 kB of archives. After this operation, 401 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220713T220842Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220713T220842Z unstable/main amd64 fakeroot amd64 1.29-1 [87.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (1074 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 ... 4623 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.29-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.29-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.29-1_amd64.deb ... Unpacking fakeroot (1.29-1) ... Setting up libfakeroot:amd64 (1.29-1) ... Setting up fakeroot (1.29-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-8) ... 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/20220718T031307Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220718T031307Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220722T150935Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220713T220842Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.qfqwqKqUnK Get:1 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm InRelease [130 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220722T150935Z unstable InRelease [192 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220713T220842Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main Sources [12.1 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main amd64 Packages [11.5 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220722T150935Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220722T150935Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220722T150935Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220722T150935Z unstable/main amd64 Packages [12.6 MB] Fetched 36.5 MB in 29s (1246 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.qfqwqKqUnK I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d coq-dpdgraph=1.0+8.15-2 && mkdir -p /build/coq-dpdgraph-lr54vP && dpkg-source --no-check -x /*.dsc /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15 && chown -R builduser:builduser /build/coq-dpdgraph-lr54vP"' exec /tmp/mmdebstrap.qfqwqKqUnK Reading package lists... NOTICE: 'coq-dpdgraph' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/coq-dpdgraph.git Please use: git clone https://salsa.debian.org/ocaml-team/coq-dpdgraph.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 69.4 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main coq-dpdgraph 1.0+8.15-2 (dsc) [2359 B] Get:2 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main coq-dpdgraph 1.0+8.15-2 (tar) [64.2 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220718T031307Z bookworm/main coq-dpdgraph 1.0+8.15-2 (diff) [2840 B] Fetched 69.4 kB in 0s (864 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'coq-dpdgraph_1.0+8.15-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting coq-dpdgraph in /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15 dpkg-source: info: unpacking coq-dpdgraph_1.0+8.15.orig.tar.gz dpkg-source: info: unpacking coq-dpdgraph_1.0+8.15-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying ignore_warning_70.patch dpkg-source: info: applying use_install.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1657966552" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.qfqwqKqUnK dpkg-buildpackage: info: source package coq-dpdgraph dpkg-buildpackage: info: source version 1.0+8.15-2 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 coq,ocaml dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with coq,ocaml dh_update_autotools_config -a dh_autoreconf -a configure.ac:225: warning: AC_OUTPUT should be used without arguments. configure.ac:225: You should run autoupdate. dh_ocamlinit -a dh_auto_configure -a ./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking configure: coq-dpdgraph version 1.0-8.15 configure: ~~~~~~~~~~~~~~~~~~~~ configure: ~~ OCaml compilers configure: ~~~~~~~~~~~~~~~~~~~~ checking for ocamlc... ocamlc checking ocamlc version... 4.13.1 checking ocamlc -safe-string option... yes checking ocaml library path... /usr/lib/ocaml checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... ocamldoc.opt configure: ~~~~~~~~~~~~~~~ configure: ~~ ocamlgraph configure: ~~~~~~~~~~~~~~~ checking for ocamlfind... ocamlfind checking ocamlfind compatibility... yes checking ocamlgraph package... /usr/lib/ocaml/ocamlgraph configure: ~~~~~~~~ configure: ~~ Coq configure: ~~~~~~~~ checking for coqc... coqc checking coq version... 8.15.2 checking for coq_makefile... coq_makefile configure: ~~~~~~~~~~~~~~~~~~~~~~ configure: ~~ creating Makefile configure: ~~~~~~~~~~~~~~~~~~~~~~ configure: creating ./config.status config.status: creating Makefile dh_auto_build -a make -j10 make[1]: Entering directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' * build version.ml * build dpd_parse.ml ocamlyacc dpd_parse.mly * build dpd_lex.ml ocamllex.opt dpd_lex.mll 29 states, 495 transitions, table size 2154 bytes * build .depend ocamldep version.ml dpd_compute.ml dpd_dot.ml dpd_parse.ml dpd_lex.ml dpd2dot.ml dpdusage.ml *.mli > .depend * build Make_coq coq_makefile -f Make -o Make_coq * build version.cmo ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c version.ml * build dpd_compute.cmo ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_compute.ml File "version.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. * build dpdgraph.vo make -f Make_coq dpdgraph.vo make[2]: Entering directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' File "dpd_compute.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. COQDEP VFILES * build dpd_dot.cmo ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_dot.ml * build dpd_parse.cmi ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_parse.mli COQPP searchdepend.mlg COQPP graphdepend.mlg OCAMLLIBDEP dpdgraph.mllib * build dpd_parse.cmo CAMLDEP graphdepend.ml CAMLDEP searchdepend.ml * build dpd_lex.cmo ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_parse.ml ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_lex.ml File "dpd_dot.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. File "dpd_lex.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. * build dpdusage.cmo ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpdusage.ml File "dpdusage.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. * build dpd2dot.cmo * build dpdusage ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd2dot.ml ocamlc.opt -g -I /usr/lib/ocaml/ocamlgraph -o dpdusage graph.cma version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpdusage.cmo File "dpd2dot.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. CAMLOPT -c searchdepend.ml * build dpd2dot ocamlc.opt -g -I /usr/lib/ocaml/ocamlgraph -o dpd2dot graph.cma version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpd2dot.cmo CAMLOPT -c graphdepend.ml CAMLOPT -a -o dpdgraph.cmxa CAMLOPT -shared -o dpdgraph.cmxs COQC dpdgraph.v make[2]: Leaving directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' make[1]: Leaving directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' 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-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' DESTDIR=/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp make install make[2]: Entering directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' make -f Make_coq install make[3]: Entering directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' INSTALL dpdgraph.vo /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ INSTALL dpdgraph.v /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ INSTALL dpdgraph.glob /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ INSTALL searchdepend.cmi /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ INSTALL graphdepend.cmi /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ INSTALL dpdgraph.cmxs /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ INSTALL dpdgraph.cmxa /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ INSTALL searchdepend.cmx /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ INSTALL graphdepend.cmx /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/ make[4]: Entering directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' make[4]: Leaving directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' make[3]: Leaving directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' install -D -t /build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15/debian/tmp/usr/bin dpd2dot dpdusage make[2]: Leaving directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' make[1]: Leaving directory '/build/coq-dpdgraph-lr54vP/coq-dpdgraph-1.0+8.15' 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_coq -a dh_ocaml -a W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_compute W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_parse W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_lex W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_dot W: coq-dpdgraph-tools doesn't resolve dependency on unit Version W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd2dot W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpdusage dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-dpdgraph-ocaml-dbgsym' in '../libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-2_amd64.deb'. dpkg-deb: building package 'libcoq-dpdgraph' in '../libcoq-dpdgraph_1.0+8.15-2_amd64.deb'. dpkg-deb: building package 'coq-dpdgraph-tools' in '../coq-dpdgraph-tools_1.0+8.15-2_amd64.deb'. dpkg-deb: building package 'libcoq-dpdgraph-ocaml' in '../libcoq-dpdgraph-ocaml_1.0+8.15-2_amd64.deb'. dpkg-deb: building package 'libcoq-dpdgraph-ocaml-dev' in '../libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_amd64.deb'. dpkg-genbuildinfo --build=any -O../coq-dpdgraph_1.0+8.15-2_amd64.buildinfo dpkg-genchanges --build=any -O../coq-dpdgraph_1.0+8.15-2_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-dpdgraph-lr54vP /tmp/coq-dpdgraph-1.0+8.15-2kwl6cqn4 I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.qfqwqKqUnK... I: success in 527.2134 seconds md5: coq-dpdgraph-tools_1.0+8.15-2_amd64.deb: OK md5: libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-2_amd64.deb: OK md5: libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_amd64.deb: OK md5: libcoq-dpdgraph-ocaml_1.0+8.15-2_amd64.deb: OK md5: libcoq-dpdgraph_1.0+8.15-2_amd64.deb: OK sha1: coq-dpdgraph-tools_1.0+8.15-2_amd64.deb: OK sha1: libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-2_amd64.deb: OK sha1: libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_amd64.deb: OK sha1: libcoq-dpdgraph-ocaml_1.0+8.15-2_amd64.deb: OK sha1: libcoq-dpdgraph_1.0+8.15-2_amd64.deb: OK sha256: coq-dpdgraph-tools_1.0+8.15-2_amd64.deb: OK sha256: libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-2_amd64.deb: OK sha256: libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_amd64.deb: OK sha256: libcoq-dpdgraph-ocaml_1.0+8.15-2_amd64.deb: OK sha256: libcoq-dpdgraph_1.0+8.15-2_amd64.deb: OK Checksums: OK