I: pbuilder: network access will be disabled during build
I: Current time: Sun Jun 23 15:04:51 -12 2024
I: pbuilder-time-stamp: 1719198291
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz]
I: copying local configuration
W: --override-config is not set; not updating apt.conf Read the manpage for details.
I: mounting /proc filesystem
I: mounting /sys filesystem
I: creating /{dev,run}/shm
I: mounting /dev/pts filesystem
I: redirecting /dev/ptmx to /dev/pts/ptmx
I: policy-rc.d already exists
I: using eatmydata during job
I: Copying source file
I: copying [coq-dpdgraph_1.0+8.16-2.dsc]
I: copying [./coq-dpdgraph_1.0+8.16.orig.tar.gz]
I: copying [./coq-dpdgraph_1.0+8.16-2.debian.tar.xz]
I: Extracting source
gpgv: Signature made Tue Jan 24 18:44:02 2023 -12
gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
gpgv: issuer "jpuydt@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./coq-dpdgraph_1.0+8.16-2.dsc: no acceptable signature found
dpkg-source: info: extracting coq-dpdgraph in coq-dpdgraph-1.0+8.16
dpkg-source: info: unpacking coq-dpdgraph_1.0+8.16.orig.tar.gz
dpkg-source: info: unpacking coq-dpdgraph_1.0+8.16-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: Not using root during the build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/113791/tmp/hooks/D02_print_environment starting
I: set
BUILDDIR='/build'
BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
BUILDUSERNAME='pbuilder1'
BUILD_ARCH='i386'
DEBIAN_FRONTEND='noninteractive'
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16 '
DISTRIBUTION='bookworm'
HOME='/root'
HOST_ARCH='i386'
IFS='
'
INVOCATION_ID='08f6288fb950455ab52143b5a11b070f'
LANG='C'
LANGUAGE='en_US:en'
LC_ALL='C'
LD_LIBRARY_PATH='/usr/lib/libeatmydata'
LD_PRELOAD='libeatmydata.so'
MAIL='/var/mail/root'
OPTIND='1'
PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games'
PBCURRENTCOMMANDLINEOPERATION='build'
PBUILDER_OPERATION='build'
PBUILDER_PKGDATADIR='/usr/share/pbuilder'
PBUILDER_PKGLIBDIR='/usr/lib/pbuilder'
PBUILDER_SYSCONFDIR='/etc'
PPID='113791'
PS1='# '
PS2='> '
PS4='+ '
PWD='/'
SHELL='/bin/bash'
SHLVL='2'
SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.fAgYAloq/pbuilderrc_MLpC --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.fAgYAloq/b1 --logfile b1/build.log coq-dpdgraph_1.0+8.16-2.dsc'
SUDO_GID='112'
SUDO_UID='107'
SUDO_USER='jenkins'
TERM='unknown'
TZ='/usr/share/zoneinfo/Etc/GMT+12'
USER='root'
_='/usr/bin/systemd-run'
http_proxy='http://85.184.249.68:3128'
I: uname -a
Linux ionos6-i386 5.10.0-23-amd64 #1 SMP Debian 5.10.179-1 (2023-05-12) x86_64 GNU/Linux
I: ls -l /bin
total 6036
-rwxr-xr-x 1 root root 1408088 Apr 23 2023 bash
-rwxr-xr-x 3 root root 38404 Sep 18 2022 bunzip2
-rwxr-xr-x 3 root root 38404 Sep 18 2022 bzcat
lrwxrwxrwx 1 root root 6 Sep 18 2022 bzcmp -> bzdiff
-rwxr-xr-x 1 root root 2225 Sep 18 2022 bzdiff
lrwxrwxrwx 1 root root 6 Sep 18 2022 bzegrep -> bzgrep
-rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe
lrwxrwxrwx 1 root root 6 Sep 18 2022 bzfgrep -> bzgrep
-rwxr-xr-x 1 root root 3775 Sep 18 2022 bzgrep
-rwxr-xr-x 3 root root 38404 Sep 18 2022 bzip2
-rwxr-xr-x 1 root root 17892 Sep 18 2022 bzip2recover
lrwxrwxrwx 1 root root 6 Sep 18 2022 bzless -> bzmore
-rwxr-xr-x 1 root root 1297 Sep 18 2022 bzmore
-rwxr-xr-x 1 root root 42920 Sep 20 2022 cat
-rwxr-xr-x 1 root root 79816 Sep 20 2022 chgrp
-rwxr-xr-x 1 root root 67496 Sep 20 2022 chmod
-rwxr-xr-x 1 root root 79816 Sep 20 2022 chown
-rwxr-xr-x 1 root root 162024 Sep 20 2022 cp
-rwxr-xr-x 1 root root 136916 Jan 5 2023 dash
-rwxr-xr-x 1 root root 137160 Sep 20 2022 date
-rwxr-xr-x 1 root root 100364 Sep 20 2022 dd
-rwxr-xr-x 1 root root 108940 Sep 20 2022 df
-rwxr-xr-x 1 root root 162152 Sep 20 2022 dir
-rwxr-xr-x 1 root root 87760 Mar 22 2023 dmesg
lrwxrwxrwx 1 root root 8 Dec 19 2022 dnsdomainname -> hostname
lrwxrwxrwx 1 root root 8 Dec 19 2022 domainname -> hostname
-rwxr-xr-x 1 root root 38760 Sep 20 2022 echo
-rwxr-xr-x 1 root root 41 Jan 24 2023 egrep
-rwxr-xr-x 1 root root 34664 Sep 20 2022 false
-rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep
-rwxr-xr-x 1 root root 84272 Mar 22 2023 findmnt
-rwsr-xr-x 1 root root 30240 Mar 22 2023 fusermount
-rwxr-xr-x 1 root root 218680 Jan 24 2023 grep
-rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip
-rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe
-rwxr-xr-x 1 root root 100952 Apr 9 2022 gzip
-rwxr-xr-x 1 root root 21916 Dec 19 2022 hostname
-rwxr-xr-x 1 root root 75756 Sep 20 2022 ln
-rwxr-xr-x 1 root root 55600 Mar 22 2023 login
-rwxr-xr-x 1 root root 162152 Sep 20 2022 ls
-rwxr-xr-x 1 root root 214568 Mar 22 2023 lsblk
-rwxr-xr-x 1 root root 96328 Sep 20 2022 mkdir
-rwxr-xr-x 1 root root 84008 Sep 20 2022 mknod
-rwxr-xr-x 1 root root 38792 Sep 20 2022 mktemp
-rwxr-xr-x 1 root root 63016 Mar 22 2023 more
-rwsr-xr-x 1 root root 58912 Mar 22 2023 mount
-rwxr-xr-x 1 root root 13856 Mar 22 2023 mountpoint
-rwxr-xr-x 1 root root 157932 Sep 20 2022 mv
lrwxrwxrwx 1 root root 8 Dec 19 2022 nisdomainname -> hostname
lrwxrwxrwx 1 root root 14 Apr 2 2023 pidof -> /sbin/killall5
-rwxr-xr-x 1 root root 38792 Sep 20 2022 pwd
lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash
-rwxr-xr-x 1 root root 51080 Sep 20 2022 readlink
-rwxr-xr-x 1 root root 75720 Sep 20 2022 rm
-rwxr-xr-x 1 root root 51080 Sep 20 2022 rmdir
-rwxr-xr-x 1 root root 22308 Nov 2 2022 run-parts
-rwxr-xr-x 1 root root 133224 Jan 5 2023 sed
lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash
-rwxr-xr-x 1 root root 38760 Sep 20 2022 sleep
-rwxr-xr-x 1 root root 87976 Sep 20 2022 stty
-rwsr-xr-x 1 root root 83492 Mar 22 2023 su
-rwxr-xr-x 1 root root 38792 Sep 20 2022 sync
-rwxr-xr-x 1 root root 598456 Apr 6 2023 tar
-rwxr-xr-x 1 root root 13860 Nov 2 2022 tempfile
-rwxr-xr-x 1 root root 120776 Sep 20 2022 touch
-rwxr-xr-x 1 root root 34664 Sep 20 2022 true
-rwxr-xr-x 1 root root 17892 Mar 22 2023 ulockmgr_server
-rwsr-xr-x 1 root root 30236 Mar 22 2023 umount
-rwxr-xr-x 1 root root 38760 Sep 20 2022 uname
-rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress
-rwxr-xr-x 1 root root 162152 Sep 20 2022 vdir
-rwxr-xr-x 1 root root 71216 Mar 22 2023 wdctl
lrwxrwxrwx 1 root root 8 Dec 19 2022 ypdomainname -> hostname
-rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat
-rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp
-rwxr-xr-x 1 root root 6460 Apr 9 2022 zdiff
-rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep
-rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep
-rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce
-rwxr-xr-x 1 root root 8103 Apr 9 2022 zgrep
-rwxr-xr-x 1 root root 2206 Apr 9 2022 zless
-rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore
-rwxr-xr-x 1 root root 4577 Apr 9 2022 znew
I: user script /srv/workspace/pbuilder/113791/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
Version: 0.invalid.0
Architecture: i386
Maintainer: Debian Pbuilder Team <pbuilder-maint@lists.alioth.debian.org>
Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder
This package was created automatically by pbuilder to satisfy the
build-dependencies of the package being currently built.
Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 19604 files and directories currently installed.)
Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ...
Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ...
dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested:
pbuilder-satisfydepends-dummy depends on coq; however:
Package coq is not installed.
pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however:
Package debhelper-compat is not installed.
pbuilder-satisfydepends-dummy depends on dh-coq; however:
Package dh-coq is not installed.
pbuilder-satisfydepends-dummy depends on dh-ocaml; however:
Package dh-ocaml is not installed.
pbuilder-satisfydepends-dummy depends on libcoq-core-ocaml-dev; however:
Package libcoq-core-ocaml-dev is not installed.
pbuilder-satisfydepends-dummy depends on libcoq-stdlib; however:
Package libcoq-stdlib is not installed.
pbuilder-satisfydepends-dummy depends on libocamlgraph-ocaml-dev; however:
Package libocamlgraph-ocaml-dev is not installed.
Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ...
Reading package lists...
Building dependency tree...
Reading state information...
Initializing package states...
Writing extended state information...
Building tag database...
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
The following NEW packages will be installed:
autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} coq{a} debhelper{a} dh-autoreconf{a} dh-coq{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libcoq-core-ocaml{a} libcoq-core-ocaml-dev{a} libcoq-stdlib{a} libdebhelper-perl{a} libelf1{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libicu72{a} libmagic-mgc{a} libmagic1{a} libncurses-dev{a} libncurses6{a} libocamlgraph-ocaml-dev{a} libpipeline1{a} libpython3-stdlib{a} libpython3.11-minimal{a} libpython3.11-stdlib{a} libreadline8{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libxml2{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} m4{a} man-db{a} media-types{a} ocaml{a} ocaml-base{a} ocaml-compiler-libs{a} ocaml-findlib{a} ocaml-interp{a} ocaml-nox{a} po-debconf{a} python3{a} python3-minimal{a} python3.11{a} python3.11-minimal{a} readline-common{a} sensible-utils{a}
The following packages are RECOMMENDED but will NOT be installed:
ca-certificates curl ledit libarchive-cpio-perl libgpm2 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap wget
0 packages upgraded, 63 newly installed, 0 to remove and 0 not upgraded.
Need to get 314 MB of archives. After unpacking 1266 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian bookworm/main i386 libpython3.11-minimal i386 3.11.2-6 [813 kB]
Get: 2 http://deb.debian.org/debian bookworm/main i386 libexpat1 i386 2.5.0-1 [103 kB]
Get: 3 http://deb.debian.org/debian bookworm/main i386 python3.11-minimal i386 3.11.2-6 [2130 kB]
Get: 4 http://deb.debian.org/debian bookworm/main i386 python3-minimal i386 3.11.2-1+b1 [26.3 kB]
Get: 5 http://deb.debian.org/debian bookworm/main i386 media-types all 10.0.0 [26.1 kB]
Get: 6 http://deb.debian.org/debian bookworm/main i386 readline-common all 8.2-1.3 [69.0 kB]
Get: 7 http://deb.debian.org/debian bookworm/main i386 libreadline8 i386 8.2-1.3 [171 kB]
Get: 8 http://deb.debian.org/debian bookworm/main i386 libpython3.11-stdlib i386 3.11.2-6 [1799 kB]
Get: 9 http://deb.debian.org/debian bookworm/main i386 python3.11 i386 3.11.2-6 [572 kB]
Get: 10 http://deb.debian.org/debian bookworm/main i386 libpython3-stdlib i386 3.11.2-1+b1 [9308 B]
Get: 11 http://deb.debian.org/debian bookworm/main i386 python3 i386 3.11.2-1+b1 [26.3 kB]
Get: 12 http://deb.debian.org/debian bookworm/main i386 sensible-utils all 0.0.17+nmu1 [19.0 kB]
Get: 13 http://deb.debian.org/debian bookworm/main i386 libmagic-mgc i386 1:5.44-3 [305 kB]
Get: 14 http://deb.debian.org/debian bookworm/main i386 libmagic1 i386 1:5.44-3 [114 kB]
Get: 15 http://deb.debian.org/debian bookworm/main i386 file i386 1:5.44-3 [42.5 kB]
Get: 16 http://deb.debian.org/debian bookworm/main i386 gettext-base i386 0.21-12 [162 kB]
Get: 17 http://deb.debian.org/debian bookworm/main i386 libuchardet0 i386 0.0.7-1 [67.9 kB]
Get: 18 http://deb.debian.org/debian bookworm/main i386 groff-base i386 1.22.4-10 [932 kB]
Get: 19 http://deb.debian.org/debian bookworm/main i386 bsdextrautils i386 2.38.1-5+b1 [90.3 kB]
Get: 20 http://deb.debian.org/debian bookworm/main i386 libpipeline1 i386 1.5.7-1 [40.0 kB]
Get: 21 http://deb.debian.org/debian bookworm/main i386 man-db i386 2.11.2-2 [1397 kB]
Get: 22 http://deb.debian.org/debian bookworm/main i386 m4 i386 1.4.19-3 [294 kB]
Get: 23 http://deb.debian.org/debian bookworm/main i386 autoconf all 2.71-3 [332 kB]
Get: 24 http://deb.debian.org/debian bookworm/main i386 autotools-dev all 20220109.1 [51.6 kB]
Get: 25 http://deb.debian.org/debian bookworm/main i386 automake all 1:1.16.5-1.3 [823 kB]
Get: 26 http://deb.debian.org/debian bookworm/main i386 autopoint all 0.21-12 [495 kB]
Get: 27 http://deb.debian.org/debian bookworm/main i386 libcoq-stdlib i386 8.16.1+dfsg-1+b2 [21.5 MB]
Get: 28 http://deb.debian.org/debian bookworm/main i386 ocaml-base i386 4.13.1-4 [677 kB]
Get: 29 http://deb.debian.org/debian bookworm/main i386 libfindlib-ocaml i386 1.9.6-1+b1 [165 kB]
Get: 30 http://deb.debian.org/debian bookworm/main i386 libzarith-ocaml i386 1.12-1+b1 [57.3 kB]
Get: 31 http://deb.debian.org/debian bookworm/main i386 libcoq-core-ocaml i386 8.16.1+dfsg-1+b2 [21.7 MB]
Get: 32 http://deb.debian.org/debian bookworm/main i386 ocaml-compiler-libs i386 4.13.1-4 [30.3 MB]
Get: 33 http://deb.debian.org/debian bookworm/main i386 ocaml-interp i386 4.13.1-4 [6159 kB]
Get: 34 http://deb.debian.org/debian bookworm/main i386 libncurses6 i386 6.4-4 [111 kB]
Get: 35 http://deb.debian.org/debian bookworm/main i386 libncurses-dev i386 6.4-4 [379 kB]
Get: 36 http://deb.debian.org/debian bookworm/main i386 ocaml i386 4.13.1-4 [71.3 MB]
Get: 37 http://deb.debian.org/debian bookworm/main i386 ocaml-nox all 4.13.1-4 [161 kB]
Get: 38 http://deb.debian.org/debian bookworm/main i386 ocaml-findlib i386 1.9.6-1+b1 [466 kB]
Get: 39 http://deb.debian.org/debian bookworm/main i386 coq i386 8.16.1+dfsg-1+b2 [87.5 MB]
Get: 40 http://deb.debian.org/debian bookworm/main i386 libdebhelper-perl all 13.11.4 [81.2 kB]
Get: 41 http://deb.debian.org/debian bookworm/main i386 libtool all 2.4.7-5 [517 kB]
Get: 42 http://deb.debian.org/debian bookworm/main i386 dh-autoreconf all 20 [17.1 kB]
Get: 43 http://deb.debian.org/debian bookworm/main i386 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 44 http://deb.debian.org/debian bookworm/main i386 libsub-override-perl all 0.09-4 [9304 B]
Get: 45 http://deb.debian.org/debian bookworm/main i386 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get: 46 http://deb.debian.org/debian bookworm/main i386 dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get: 47 http://deb.debian.org/debian bookworm/main i386 libelf1 i386 0.188-2.1 [179 kB]
Get: 48 http://deb.debian.org/debian bookworm/main i386 dwz i386 0.15-1 [118 kB]
Get: 49 http://deb.debian.org/debian bookworm/main i386 libicu72 i386 72.1-3 [9541 kB]
Get: 50 http://deb.debian.org/debian bookworm/main i386 libxml2 i386 2.9.14+dfsg-1.2 [720 kB]
Get: 51 http://deb.debian.org/debian bookworm/main i386 gettext i386 0.21-12 [1311 kB]
Get: 52 http://deb.debian.org/debian bookworm/main i386 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 53 http://deb.debian.org/debian bookworm/main i386 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 54 http://deb.debian.org/debian bookworm/main i386 debhelper all 13.11.4 [942 kB]
Get: 55 http://deb.debian.org/debian bookworm/main i386 dh-coq all 0.5 [7460 B]
Get: 56 http://deb.debian.org/debian bookworm/main i386 dh-ocaml all 1.1.3 [82.9 kB]
Get: 57 http://deb.debian.org/debian bookworm/main i386 libfindlib-ocaml-dev i386 1.9.6-1+b1 [160 kB]
Get: 58 http://deb.debian.org/debian bookworm/main i386 libgmpxx4ldbl i386 2:6.2.1+dfsg1-1.1 [339 kB]
Get: 59 http://deb.debian.org/debian bookworm/main i386 libgmp-dev i386 2:6.2.1+dfsg1-1.1 [661 kB]
Get: 60 http://deb.debian.org/debian bookworm/main i386 libgmp3-dev i386 2:6.2.1+dfsg1-1.1 [331 kB]
Get: 61 http://deb.debian.org/debian bookworm/main i386 libzarith-ocaml-dev i386 1.12-1+b1 [93.1 kB]
Get: 62 http://deb.debian.org/debian bookworm/main i386 libcoq-core-ocaml-dev i386 8.16.1+dfsg-1+b2 [42.4 MB]
Get: 63 http://deb.debian.org/debian bookworm/main i386 libocamlgraph-ocaml-dev i386 2.0.0-3+b1 [4463 kB]
Fetched 314 MB in 4s (71.6 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libpython3.11-minimal:i386.
(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 ... 19604 files and directories currently installed.)
Preparing to unpack .../libpython3.11-minimal_3.11.2-6_i386.deb ...
Unpacking libpython3.11-minimal:i386 (3.11.2-6) ...
Selecting previously unselected package libexpat1:i386.
Preparing to unpack .../libexpat1_2.5.0-1_i386.deb ...
Unpacking libexpat1:i386 (2.5.0-1) ...
Selecting previously unselected package python3.11-minimal.
Preparing to unpack .../python3.11-minimal_3.11.2-6_i386.deb ...
Unpacking python3.11-minimal (3.11.2-6) ...
Setting up libpython3.11-minimal:i386 (3.11.2-6) ...
Setting up libexpat1:i386 (2.5.0-1) ...
Setting up python3.11-minimal (3.11.2-6) ...
Selecting previously unselected package python3-minimal.
(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 ... 19920 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_i386.deb ...
Unpacking python3-minimal (3.11.2-1+b1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_10.0.0_all.deb ...
Unpacking media-types (10.0.0) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../2-readline-common_8.2-1.3_all.deb ...
Unpacking readline-common (8.2-1.3) ...
Selecting previously unselected package libreadline8:i386.
Preparing to unpack .../3-libreadline8_8.2-1.3_i386.deb ...
Unpacking libreadline8:i386 (8.2-1.3) ...
Selecting previously unselected package libpython3.11-stdlib:i386.
Preparing to unpack .../4-libpython3.11-stdlib_3.11.2-6_i386.deb ...
Unpacking libpython3.11-stdlib:i386 (3.11.2-6) ...
Selecting previously unselected package python3.11.
Preparing to unpack .../5-python3.11_3.11.2-6_i386.deb ...
Unpacking python3.11 (3.11.2-6) ...
Selecting previously unselected package libpython3-stdlib:i386.
Preparing to unpack .../6-libpython3-stdlib_3.11.2-1+b1_i386.deb ...
Unpacking libpython3-stdlib:i386 (3.11.2-1+b1) ...
Setting up python3-minimal (3.11.2-1+b1) ...
Selecting previously unselected package python3.
(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 ... 20354 files and directories currently installed.)
Preparing to unpack .../00-python3_3.11.2-1+b1_i386.deb ...
Unpacking python3 (3.11.2-1+b1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.17+nmu1_all.deb ...
Unpacking sensible-utils (0.0.17+nmu1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.44-3_i386.deb ...
Unpacking libmagic-mgc (1:5.44-3) ...
Selecting previously unselected package libmagic1:i386.
Preparing to unpack .../03-libmagic1_1%3a5.44-3_i386.deb ...
Unpacking libmagic1:i386 (1:5.44-3) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.44-3_i386.deb ...
Unpacking file (1:5.44-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.21-12_i386.deb ...
Unpacking gettext-base (0.21-12) ...
Selecting previously unselected package libuchardet0:i386.
Preparing to unpack .../06-libuchardet0_0.0.7-1_i386.deb ...
Unpacking libuchardet0:i386 (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.22.4-10_i386.deb ...
Unpacking groff-base (1.22.4-10) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.38.1-5+b1_i386.deb ...
Unpacking bsdextrautils (2.38.1-5+b1) ...
Selecting previously unselected package libpipeline1:i386.
Preparing to unpack .../09-libpipeline1_1.5.7-1_i386.deb ...
Unpacking libpipeline1:i386 (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.11.2-2_i386.deb ...
Unpacking man-db (2.11.2-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-3_i386.deb ...
Unpacking m4 (1.4.19-3) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.71-3_all.deb ...
Unpacking autoconf (2.71-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.21-12_all.deb ...
Unpacking autopoint (0.21-12) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb ...
Unpacking libcoq-stdlib (8.16.1+dfsg-1+b2) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../17-ocaml-base_4.13.1-4_i386.deb ...
Unpacking ocaml-base (4.13.1-4) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../18-libfindlib-ocaml_1.9.6-1+b1_i386.deb ...
Unpacking libfindlib-ocaml (1.9.6-1+b1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../19-libzarith-ocaml_1.12-1+b1_i386.deb ...
Unpacking libzarith-ocaml (1.12-1+b1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../20-libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb ...
Unpacking libcoq-core-ocaml (8.16.1+dfsg-1+b2) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../21-ocaml-compiler-libs_4.13.1-4_i386.deb ...
Unpacking ocaml-compiler-libs (4.13.1-4) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../22-ocaml-interp_4.13.1-4_i386.deb ...
Unpacking ocaml-interp (4.13.1-4) ...
Selecting previously unselected package libncurses6:i386.
Preparing to unpack .../23-libncurses6_6.4-4_i386.deb ...
Unpacking libncurses6:i386 (6.4-4) ...
Selecting previously unselected package libncurses-dev:i386.
Preparing to unpack .../24-libncurses-dev_6.4-4_i386.deb ...
Unpacking libncurses-dev:i386 (6.4-4) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../25-ocaml_4.13.1-4_i386.deb ...
Unpacking ocaml (4.13.1-4) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../26-ocaml-nox_4.13.1-4_all.deb ...
Unpacking ocaml-nox (4.13.1-4) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../27-ocaml-findlib_1.9.6-1+b1_i386.deb ...
Unpacking ocaml-findlib (1.9.6-1+b1) ...
Selecting previously unselected package coq.
Preparing to unpack .../28-coq_8.16.1+dfsg-1+b2_i386.deb ...
Unpacking coq (8.16.1+dfsg-1+b2) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../29-libdebhelper-perl_13.11.4_all.deb ...
Unpacking libdebhelper-perl (13.11.4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../30-libtool_2.4.7-5_all.deb ...
Unpacking libtool (2.4.7-5) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../31-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../32-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../33-libsub-override-perl_0.09-4_all.deb ...
Unpacking libsub-override-perl (0.09-4) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../34-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../35-dh-strip-nondeterminism_1.13.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.1-1) ...
Selecting previously unselected package libelf1:i386.
Preparing to unpack .../36-libelf1_0.188-2.1_i386.deb ...
Unpacking libelf1:i386 (0.188-2.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../37-dwz_0.15-1_i386.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package libicu72:i386.
Preparing to unpack .../38-libicu72_72.1-3_i386.deb ...
Unpacking libicu72:i386 (72.1-3) ...
Selecting previously unselected package libxml2:i386.
Preparing to unpack .../39-libxml2_2.9.14+dfsg-1.2_i386.deb ...
Unpacking libxml2:i386 (2.9.14+dfsg-1.2) ...
Selecting previously unselected package gettext.
Preparing to unpack .../40-gettext_0.21-12_i386.deb ...
Unpacking gettext (0.21-12) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../41-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../42-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../43-debhelper_13.11.4_all.deb ...
Unpacking debhelper (13.11.4) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../44-dh-coq_0.5_all.deb ...
Unpacking dh-coq (0.5) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../45-dh-ocaml_1.1.3_all.deb ...
Unpacking dh-ocaml (1.1.3) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../46-libfindlib-ocaml-dev_1.9.6-1+b1_i386.deb ...
Unpacking libfindlib-ocaml-dev (1.9.6-1+b1) ...
Selecting previously unselected package libgmpxx4ldbl:i386.
Preparing to unpack .../47-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_i386.deb ...
Unpacking libgmpxx4ldbl:i386 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp-dev:i386.
Preparing to unpack .../48-libgmp-dev_2%3a6.2.1+dfsg1-1.1_i386.deb ...
Unpacking libgmp-dev:i386 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp3-dev:i386.
Preparing to unpack .../49-libgmp3-dev_2%3a6.2.1+dfsg1-1.1_i386.deb ...
Unpacking libgmp3-dev:i386 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../50-libzarith-ocaml-dev_1.12-1+b1_i386.deb ...
Unpacking libzarith-ocaml-dev (1.12-1+b1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../51-libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb ...
Unpacking libcoq-core-ocaml-dev (8.16.1+dfsg-1+b2) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../52-libocamlgraph-ocaml-dev_2.0.0-3+b1_i386.deb ...
Unpacking libocamlgraph-ocaml-dev (2.0.0-3+b1) ...
Setting up media-types (10.0.0) ...
Setting up libpipeline1:i386 (1.5.7-1) ...
Setting up libicu72:i386 (72.1-3) ...
Setting up bsdextrautils (2.38.1-5+b1) ...
Setting up libmagic-mgc (1:5.44-3) ...
Setting up dh-coq (0.5) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.11.4) ...
Setting up dh-ocaml (1.1.3) ...
Setting up libmagic1:i386 (1:5.44-3) ...
Setting up gettext-base (0.21-12) ...
Setting up m4 (1.4.19-3) ...
Setting up file (1:5.44-3) ...
Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.16.1+dfsg-1+b2) ...
Setting up libgmpxx4ldbl:i386 (2:6.2.1+dfsg1-1.1) ...
Setting up libncurses6:i386 (6.4-4) ...
Setting up autopoint (0.21-12) ...
Setting up ocaml-base (4.13.1-4) ...
Setting up autoconf (2.71-3) ...
Setting up sensible-utils (0.0.17+nmu1) ...
Setting up libuchardet0:i386 (0.0.7-1) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libelf1:i386 (0.188-2.1) ...
Setting up readline-common (8.2-1.3) ...
Setting up libxml2:i386 (2.9.14+dfsg-1.2) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.13.1-1) ...
Setting up libncurses-dev:i386 (6.4-4) ...
Setting up gettext (0.21-12) ...
Setting up libgmp-dev:i386 (2:6.2.1+dfsg1-1.1) ...
Setting up libtool (2.4.7-5) ...
Setting up libreadline8:i386 (8.2-1.3) ...
Setting up libfindlib-ocaml (1.9.6-1+b1) ...
Setting up libzarith-ocaml (1.12-1+b1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up ocaml-findlib (1.9.6-1+b1) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up dwz (0.15-1) ...
Setting up libcoq-core-ocaml (8.16.1+dfsg-1+b2) ...
Setting up groff-base (1.22.4-10) ...
Setting up libgmp3-dev:i386 (2:6.2.1+dfsg1-1.1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libpython3.11-stdlib:i386 (3.11.2-6) ...
Setting up man-db (2.11.2-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libpython3-stdlib:i386 (3.11.2-1+b1) ...
Setting up python3.11 (3.11.2-6) ...
Setting up debhelper (13.11.4) ...
Setting up python3 (3.11.2-1+b1) ...
Setting up ocaml-compiler-libs (4.13.1-4) ...
Setting up ocaml-interp (4.13.1-4) ...
Setting up ocaml (4.13.1-4) ...
Setting up libfindlib-ocaml-dev (1.9.6-1+b1) ...
Setting up ocaml-nox (4.13.1-4) ...
Setting up coq (8.16.1+dfsg-1+b2) ...
Setting up libzarith-ocaml-dev (1.12-1+b1) ...
Setting up libocamlgraph-ocaml-dev (2.0.0-3+b1) ...
Setting up libcoq-core-ocaml-dev (8.16.1+dfsg-1+b2) ...
Processing triggers for libc-bin (2.36-9) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
-> Finished parsing the build-deps
I: Building the package
I: Running cd /build/coq-dpdgraph-1.0+8.16/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../coq-dpdgraph_1.0+8.16-2_source.changes
dpkg-buildpackage: info: source package coq-dpdgraph
dpkg-buildpackage: info: source version 1.0+8.16-2
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture i386
debian/rules clean
dh clean --with coq,ocaml
dh_ocamlclean
dh_clean
debian/rules binary
dh binary --with coq,ocaml
dh_update_autotools_config
dh_autoreconf
configure.ac:225: warning: AC_OUTPUT should be used without arguments.
configure.ac:225: You should run autoupdate.
dh_ocamlinit
dh_auto_configure
./configure --build=i686-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/i386-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking
configure: coq-dpdgraph version 1.0-8.16
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.16.1
checking for coq_makefile... coq_makefile
configure: ~~~~~~~~~~~~~~~~~~~~~~
configure: ~~ creating Makefile
configure: ~~~~~~~~~~~~~~~~~~~~~~
configure: creating ./config.status
config.status: creating Makefile
dh_auto_build
make -j16
make[1]: Entering directory '/build/coq-dpdgraph-1.0+8.16'
* 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.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c version.mli
* build dpd_compute.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_compute.mli
* build dpd2dot.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd2dot.mli
* build dpdgraph.vo
make -f Make_coq dpdgraph.vo
make[2]: Entering directory '/build/coq-dpdgraph-1.0+8.16'
* 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
* build dpd_dot.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_dot.mli
* build dpd_parse.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_parse.mli
* build dpdusage.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpdusage.mli
COQDEP VFILES
COQPP searchdepend.mlg
COQPP graphdepend.mlg
OCAMLLIBDEP dpdgraph.mllib
* build dpd_parse.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_parse.ml
CAMLDEP graphdepend.ml
* build dpd_lex.cmi
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_lex.mli
CAMLDEP searchdepend.ml
* 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_lex.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd_lex.ml
* build dpd2dot.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpd2dot.ml
* build dpdusage.cmo
ocamlc.opt -w +a -warn-error +a-70 -g -dtypes -I /usr/lib/ocaml/ocamlgraph -c dpdusage.ml
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
* build dpdusage
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
CAMLOPT -c graphdepend.ml
CAMLOPT -a -o dpdgraph.cmxa
CAMLOPT -shared -o dpdgraph.cmxs
COQC dpdgraph.v
make[2]: Leaving directory '/build/coq-dpdgraph-1.0+8.16'
make[1]: Leaving directory '/build/coq-dpdgraph-1.0+8.16'
dh_auto_test
make -j16 test "TESTSUITEFLAGS=-j16 --verbose" VERBOSE=1
make[1]: Entering directory '/build/coq-dpdgraph-1.0+8.16'
coqc -q -R . dpdgraph tests/Test.v
coqc -q -R . dpdgraph tests/Morph.v
coqc -q -R . dpdgraph tests/Polymorph.v
coqc -q -R . dpdgraph tests/PrimitiveProjections.v
./dpd2dot tests/attributes.err.dpd > tests/attributes.err.log 2>&1
./dpd2dot tests/double_node.err.dpd > tests/double_node.err.log 2>&1
./dpd2dot tests/lexing.err.dpd > tests/lexing.err.log 2>&1
./dpd2dot tests/missing_node.err.dpd > tests/missing_node.err.log 2>&1
./dpd2dot tests/parsing.err.dpd > tests/parsing.err.log 2>&1
./dpd2dot tests/unterminated_comment.err.dpd > tests/unterminated_comment.err.log 2>&1
./dpd2dot file_not_found.err.dpd > tests/file_not_found.err.log 2>&1
* build tests/attributes.err.ok
* build tests/double_node.err.ok
* build tests/lexing.err.ok
Bravo... Test [32mOk[0m
* build tests/missing_node.err.ok
Bravo... Test [32mOk[0m
* build tests/file_not_found.err.ok
Bravo... Test [32mOk[0m
* build tests/parsing.err.ok
* build tests/unterminated_comment.err.ok
Bravo... Test [32mOk[0m
Bravo... Test [32mOk[0m
Bravo... Test [32mOk[0m
Bravo... Test [32mOk[0m
File "./tests/PrimitiveProjections.v", line 6, characters 0-69:
Warning: Notation "{ _ : _ & _ }" was already used in scope type_scope.
[notation-overridden,parsing]
# cd to tests to generate .dpd file there.
# cd to tests to generate .dpd file there.
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Polymorph.cmd > /dev/null 2>&1
cd tests; coqtop -R .. dpdgraph -I .. < PrimitiveProjections.cmd > /dev/null 2>&1
cd tests; coqtop -R .. dpdgraph -I .. < PrimitiveProjections.cmd > /dev/null 2>&1
# cd to tests to generate .dpd file there.
# cd to tests to generate .dpd file there.
cd tests; coqtop -R .. dpdgraph -I .. < Morph.cmd > /dev/null 2>&1
cd tests; coqtop -R .. dpdgraph -I .. < Morph.cmd > /dev/null 2>&1
cp tests/Polymorph.dpd tests/Polymorph.dpd.log
./dpd2dot tests/Polymorph.dpd > /dev/null
cp tests/PrimitiveProjections.dpd tests/PrimitiveProjections.dpd.log
* build tests/Polymorph.dpd.ok
cp tests/PrimitiveProjections2.dpd tests/PrimitiveProjections2.dpd.log
./dpd2dot tests/PrimitiveProjections.dpd > /dev/null
./dpd2dot tests/PrimitiveProjections2.dpd > /dev/null
Bravo... Test [32mOk[0m
* build tests/PrimitiveProjections.dpd.ok
* build tests/PrimitiveProjections2.dpd.ok
cp tests/Polymorph.dot tests/Polymorph.dot.log
Bravo... Test [32mOk[0m
[31mDIFFERENCES[0m : diff tests/PrimitiveProjections2.dpd.oracle tests/PrimitiveProjections2.dpd.log
To force a new execution of the test:
rm tests/PrimitiveProjections2.dpd.log ; make tests/PrimitiveProjections2.dpd.ok
[31mTo accept the results[0m:
cp tests/PrimitiveProjections2.dpd.log tests/PrimitiveProjections2.dpd.oracle
cp tests/PrimitiveProjections2.dot tests/PrimitiveProjections2.dot.log
* build tests/Polymorph.dot.ok
cp tests/PrimitiveProjections.dot tests/PrimitiveProjections.dot.log
Bravo... Test [32mOk[0m
* build tests/PrimitiveProjections2.dot.ok
* build tests/PrimitiveProjections.dot.ok
[31mDIFFERENCES[0m : diff tests/PrimitiveProjections2.dot.oracle tests/PrimitiveProjections2.dot.log
To force a new execution of the test:
rm tests/PrimitiveProjections2.dot.log ; make tests/PrimitiveProjections2.dot.ok
[31mTo accept the results[0m:
cp tests/PrimitiveProjections2.dot.log tests/PrimitiveProjections2.dot.oracle
Bravo... Test [32mOk[0m
File "./tests/Test.v", line 30, characters 2-69:
Warning: Notation "_ :: _" was already used in scope list_scope.
[notation-overridden,parsing]
File "./tests/Test.v", line 79, characters 2-68:
Warning: Notation "_ ++ _" was already used in scope list_scope.
[notation-overridden,parsing]
File "./tests/Test.v", line 86, characters 0-67:
Warning: Notation "_ :: _" was already used in scope list_scope.
[notation-overridden,parsing]
File "./tests/Test.v", line 87, characters 0-66:
Warning: Notation "_ ++ _" was already used in scope list_scope.
[notation-overridden,parsing]
cp tests/Morph.dpd tests/Morph.dpd.log
./dpd2dot tests/Morph.dpd > /dev/null
cp tests/Morph_rw.dpd tests/Morph_rw.dpd.log
* build tests/Morph.dpd.ok
./dpd2dot tests/Morph_rw.dpd > /dev/null
* build tests/Morph_rw.dpd.ok
Bravo... Test [32mOk[0m
[31mDIFFERENCES[0m : diff tests/Morph_rw.dpd.oracle tests/Morph_rw.dpd.log
To force a new execution of the test:
rm tests/Morph_rw.dpd.log ; make tests/Morph_rw.dpd.ok
[31mTo accept the results[0m:
cp tests/Morph_rw.dpd.log tests/Morph_rw.dpd.oracle
cp tests/Morph.dot tests/Morph.dot.log
* build tests/Morph.dot.ok
Bravo... Test [32mOk[0m
cp tests/Morph_rw.dot tests/Morph_rw.dot.log
* build tests/Morph_rw.dot.ok
[31mDIFFERENCES[0m : diff tests/Morph_rw.dot.oracle tests/Morph_rw.dot.log
To force a new execution of the test:
rm tests/Morph_rw.dot.log ; make tests/Morph_rw.dot.ok
[31mTo accept the results[0m:
cp tests/Morph_rw.dot.log tests/Morph_rw.dot.oracle
File "./tests/Test.v", line 214, characters 2-23:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 415, characters 4-44:
Warning: Unused introduction pattern: hl [unused-intro-pattern,tactics]
File "./tests/Test.v", line 569, characters 46-55:
Warning: Notation gt_irrefl is deprecated since 8.16.
The Arith.Gt file is obsolete. Use Nat.lt_irrefl instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 569, characters 46-55:
Warning: Notation gt_irrefl is deprecated since 8.16.
The Arith.Gt file is obsolete. Use Nat.lt_irrefl instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 698, characters 15-24:
Warning: Notation minus_n_n is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_diag (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 698, characters 15-24:
Warning: Notation minus_n_n is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_diag (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 698, characters 15-24:
Warning: Notation minus_n_n is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_diag (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 701, characters 15-24:
Warning: Notation minus_n_n is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_diag (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 701, characters 15-24:
Warning: Notation minus_n_n is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_diag (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 701, characters 15-24:
Warning: Notation minus_n_n is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_diag (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 703, characters 13-39:
Warning: Notation minus_plus_simpl_l_reverse is deprecated since 8.16.
The Arith.Minus file is obsolete.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 703, characters 13-39:
Warning: Notation minus_plus_simpl_l_reverse is deprecated since 8.16.
The Arith.Minus file is obsolete.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 703, characters 13-39:
Warning: Notation minus_plus_simpl_l_reverse is deprecated since 8.16.
The Arith.Minus file is obsolete.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 705, characters 15-25:
Warning: Notation minus_Sn_m is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 705, characters 15-25:
Warning: Notation minus_Sn_m is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 705, characters 15-25:
Warning: Notation minus_Sn_m is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 705, characters 15-25:
Warning: Notation minus_Sn_m is deprecated since 8.16.
The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 789, characters 4-34:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 824, characters 4-68:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 879, characters 4-38:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1078, characters 2-32:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1451, characters 30-33:
Warning: Notation min is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 1554, characters 10-18:
Warning: Notation le_trans is deprecated since 8.16.
The Arith.Le file is obsolete. Use Nat.le_trans instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 1554, characters 10-18:
Warning: Notation le_trans is deprecated since 8.16.
The Arith.Le file is obsolete. Use Nat.le_trans instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 1594, characters 2-19:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1600, characters 2-25:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1606, characters 2-25:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1617, characters 2-27:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1623, characters 2-27:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1638, characters 2-25:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1646, characters 2-24:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./tests/Test.v", line 1688, characters 58-61:
Warning: Notation min is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min instead.
[deprecated-syntactic-definition,deprecated]
File "./tests/Test.v", line 1736, characters 2-20:
Warning: Interpreting this declaration as if a global declaration prefixed by
"Local", i.e. as a global declaration which shall not be available without
qualification when imported. [local-declaration,scope]
# cd to tests to generate .dpd file there.
# cd to tests to generate .dpd file there.
cat tests/search.cmd | coqtop -R . dpdgraph -I . 2> /dev/null \
| sed -e 's/Welcome to Coq.*/Welcome to Coq/' > tests/search.log
cd tests; coqtop -R .. dpdgraph -I .. < Test.cmd > /dev/null 2>&1
cd tests; coqtop -R .. dpdgraph -I .. < Test.cmd > /dev/null 2>&1
* build tests/search.ok
[31mDIFFERENCES[0m : diff tests/search.oracle tests/search.log
To force a new execution of the test:
rm tests/search.log ; make tests/search.ok
[31mTo accept the results[0m:
cp tests/search.log tests/search.oracle
cp tests/graph2.dpd tests/graph2.dpd.log
./dpd2dot tests/graph2.dpd > /dev/null
./dpd2dot -without-defs -o tests/graph.without.dot tests/graph.dpd > /dev/null
./dpdusage tests/graph2.dpd > tests/graph2.dpdusage.log
cp tests/graph.dpd tests/graph.dpd.log
./dpd2dot tests/graph.dpd > /dev/null
* build tests/graph2.dpd.ok
* build tests/graph.dpd.ok
[31mDIFFERENCES[0m : diff tests/graph2.dpd.oracle tests/graph2.dpd.log
To force a new execution of the test:
rm tests/graph2.dpd.log ; make tests/graph2.dpd.ok
[31mTo accept the results[0m:
cp tests/graph2.dpd.log tests/graph2.dpd.oracle
Bravo... Test [32mOk[0m
* build tests/graph2.dpdusage.ok
cp tests/graph2.dot tests/graph2.dot.log
Bravo... Test [32mOk[0m
* build tests/graph2.dot.ok
[31mDIFFERENCES[0m : diff tests/graph2.dot.oracle tests/graph2.dot.log
To force a new execution of the test:
rm tests/graph2.dot.log ; make tests/graph2.dot.ok
[31mTo accept the results[0m:
cp tests/graph2.dot.log tests/graph2.dot.oracle
cp tests/graph.without.dot tests/graph.without.dot.log
* build tests/graph.without.dot.ok
cp tests/graph.dot tests/graph.dot.log
Bravo... Test [32mOk[0m
* build tests/graph.dot.ok
Bravo... Test [32mOk[0m
rm tests/Morph.vo tests/Polymorph.vo
make[1]: Leaving directory '/build/coq-dpdgraph-1.0+8.16'
create-stamp debian/debhelper-build-stamp
dh_prep
dh_auto_install
make -j16 install DESTDIR=/build/coq-dpdgraph-1.0\+8.16/debian/tmp AM_UPDATE_INFO_DIR=no
make[1]: Entering directory '/build/coq-dpdgraph-1.0+8.16'
make -f Make_coq install
make[2]: Entering directory '/build/coq-dpdgraph-1.0+8.16'
INSTALL dpdgraph.vo /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/
INSTALL dpdgraph.v /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/
INSTALL dpdgraph.glob /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/
INSTALL dpdgraph.cmxs /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq//user-contrib/dpdgraph/
ocamlfind: [WARNING] No such file: /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq/../coq-core//../coq-dpdgraph/META
Installed /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq/../coq-core//../coq-dpdgraph/graphdepend.cmx
Installed /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq/../coq-core//../coq-dpdgraph/searchdepend.cmx
Installed /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq/../coq-core//../coq-dpdgraph/dpdgraph.cmxa
Installed /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq/../coq-core//../coq-dpdgraph/dpdgraph.cmxs
Installed /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq/../coq-core//../coq-dpdgraph/graphdepend.cmi
Installed /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq/../coq-core//../coq-dpdgraph/searchdepend.cmi
Installed /build/coq-dpdgraph-1.0+8.16/debian/tmp//usr/lib/ocaml/coq/../coq-core//../coq-dpdgraph/META
make[3]: Entering directory '/build/coq-dpdgraph-1.0+8.16'
make[3]: Leaving directory '/build/coq-dpdgraph-1.0+8.16'
make[2]: Leaving directory '/build/coq-dpdgraph-1.0+8.16'
install -D -t /build/coq-dpdgraph-1.0+8.16/debian/tmp/usr/bin dpd2dot dpdusage
make[1]: Leaving directory '/build/coq-dpdgraph-1.0+8.16'
dh_install
dh_ocamldoc
dh_installdocs
dh_installchangelogs
dh_installman
dh_perl
dh_link
dh_strip_nondeterminism
dh_compress
dh_fixperms
dh_missing
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb
dh_coq
dh_ocaml
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpdusage
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_dot
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_parse
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd2dot
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_lex
W: coq-dpdgraph-tools doesn't resolve dependency on unit Dpd_compute
W: coq-dpdgraph-tools doesn't resolve dependency on unit Version
dh_gencontrol
dpkg-gencontrol: warning: package libcoq-dpdgraph: substitution variable ${ocaml:Depends} unused, but is defined
dpkg-gencontrol: warning: package libcoq-dpdgraph: substitution variable ${ocaml:Depends} unused, but is defined
dh_md5sums
dh_builddeb
dpkg-deb: building package 'libcoq-dpdgraph' in '../libcoq-dpdgraph_1.0+8.16-2_i386.deb'.
dpkg-deb: building package 'libcoq-dpdgraph-dbgsym' in '../libcoq-dpdgraph-dbgsym_1.0+8.16-2_i386.deb'.
dpkg-deb: building package 'coq-dpdgraph-tools' in '../coq-dpdgraph-tools_1.0+8.16-2_i386.deb'.
dpkg-genbuildinfo --build=binary -O../coq-dpdgraph_1.0+8.16-2_i386.buildinfo
dpkg-genchanges --build=binary -O../coq-dpdgraph_1.0+8.16-2_i386.changes
dpkg-genchanges: info: binary-only upload (no source code included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: not including original source code in upload
I: copying local configuration
I: unmounting dev/ptmx filesystem
I: unmounting dev/pts filesystem
I: unmounting dev/shm filesystem
I: unmounting proc filesystem
I: unmounting sys filesystem
I: cleaning the build env
I: removing directory /srv/workspace/pbuilder/113791 and its subdirectories
I: Current time: Sun Jun 23 15:05:32 -12 2024
I: pbuilder-time-stamp: 1719198332