Diff of the two buildlogs: -- --- b1/build.log 2019-06-26 09:48:47.727544265 +0000 +++ b2/build.log 2019-06-26 10:57:52.208131227 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Tue Jul 28 04:06:36 -12 2020 -I: pbuilder-time-stamp: 1595952396 +I: Current time: Wed Jun 26 23:48:58 +14 2019 +I: pbuilder-time-stamp: 1561542538 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -18,7 +18,7 @@ I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error -gpgv: Signature made Fri Feb 15 08:32:31 2019 -12 +gpgv: Signature made Sat Feb 16 10:32:31 2019 +14 gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./why3_1.2.0-1.dsc @@ -27,6 +27,18 @@ dpkg-source: info: unpacking why3_1.2.0-1.debian.tar.xz I: using fakeroot in build. I: Installing the build-deps +I: user script /srv/workspace/pbuilder/20890/tmp/hooks/D01_modify_environment starting +disorder-fs debug: Running on profitbricks-build12-i386. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' +Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' +Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' +Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/20890/tmp/hooks/D01_modify_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -511,7 +523,7 @@ Get: 403 http://cdn-fastly.deb.debian.org/debian buster/main i386 texlive-pictures all 2018.20190227-2 [8201 kB] Get: 404 http://cdn-fastly.deb.debian.org/debian buster/main i386 texlive-latex-extra all 2018.20190227-2 [12.3 MB] Get: 405 http://cdn-fastly.deb.debian.org/debian buster/main i386 texlive-plain-generic all 2018.20190227-2 [24.3 MB] -Fetched 485 MB in 51s (9418 kB/s) +Fetched 485 MB in 7min 13s (1121 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libapparmor1: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 ... 19231 files and directories currently installed.) @@ -2220,9 +2232,41 @@ Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). -0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +The following additional packages will be installed: + libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl +The following NEW packages will be installed: + libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl usrmerge +0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. +Need to get 59.5 kB of archives. +After this operation, 182 kB of additional disk space will be used. +Get:1 http://cdn-fastly.deb.debian.org/debian buster/main i386 libnumber-compare-perl all 0.03-1 [7642 B] +Get:2 http://cdn-fastly.deb.debian.org/debian buster/main i386 libtext-glob-perl all 0.10-1 [8362 B] +Get:3 http://cdn-fastly.deb.debian.org/debian buster/main i386 libfile-find-rule-perl all 0.34-1 [30.6 kB] +Get:4 http://cdn-fastly.deb.debian.org/debian buster/main i386 usrmerge all 21 [12.8 kB] +debconf: delaying package configuration, since apt-utils is not installed +Fetched 59.5 kB in 0s (144 kB/s) +Selecting previously unselected package libnumber-compare-perl. +(Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 75713 files and directories currently installed.) +Preparing to unpack .../libnumber-compare-perl_0.03-1_all.deb ... +Unpacking libnumber-compare-perl (0.03-1) ... +Selecting previously unselected package libtext-glob-perl. +Preparing to unpack .../libtext-glob-perl_0.10-1_all.deb ... +Unpacking libtext-glob-perl (0.10-1) ... +Selecting previously unselected package libfile-find-rule-perl. +Preparing to unpack .../libfile-find-rule-perl_0.34-1_all.deb ... +Unpacking libfile-find-rule-perl (0.34-1) ... +Selecting previously unselected package usrmerge. +Preparing to unpack .../archives/usrmerge_21_all.deb ... +Unpacking usrmerge (21) ... +Setting up libtext-glob-perl (0.10-1) ... +Setting up libnumber-compare-perl (0.03-1) ... +Setting up libfile-find-rule-perl (0.34-1) ... +Setting up usrmerge (21) ... +The system has been successfully converted. +Processing triggers for man-db (2.8.5-2) ... +Not building database; man-db/auto-update is not 'true'. I: Building the package -I: Running cd /build/why3-1.2.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b +I: Running cd /build/why3-1.2.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package why3 dpkg-buildpackage: info: source version 1.2.0-1 dpkg-buildpackage: info: source distribution unstable @@ -2253,7 +2297,7 @@ checking for gcc option to accept ISO C89... none needed checking for gcc option to accept ISO C99... none needed checking for gcc option to accept ISO Standard C... (cached) none needed -checking for a thread-safe mkdir -p... /bin/mkdir -p +checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for a BSD-compatible install... /usr/bin/install -c checking for ocamlc... ocamlc ocaml version is 4.05.0 @@ -3926,7 +3970,7 @@ are/texmf/fonts/type1/public/lm/lmtt10.pfb> Output written on manual.image.pdf (2 pages, 73339 bytes). Transcript written on manual.image.log. -/tmp/imagen-com.48175: 1: /tmp/imagen-com.48175: convert: not found +/tmp/imagen-com.20547: line 1: convert: command not found cd doc; hacha -tocbis -o html/index.html html/manual.html make[2]: Leaving directory '/build/why3-1.2.0' make[1]: Leaving directory '/build/why3-1.2.0' @@ -3966,11 +4010,11 @@ make[2]: Leaving directory '/build/why3-1.2.0' /usr/bin/make install install-lib DESTDIR=/build/why3-1.2.0/debian/tmp make[2]: Entering directory '/build/why3-1.2.0' -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/plugins +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/plugins /usr/bin/install -c -m 644 lib/plugins/genequlin.cmo lib/plugins/dimacs.cmo lib/plugins/tptp.cmo lib/plugins/python.cmo lib/plugins/hypothesis_selection.cmo lib/plugins/genequlin.cmxs lib/plugins/dimacs.cmxs lib/plugins/tptp.cmxs lib/plugins/python.cmxs lib/plugins/hypothesis_selection.cmxs /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/plugins -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/bin +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/bin /usr/bin/install -c bin/why3.opt /build/why3-1.2.0/debian/tmp/usr/bin/why3 -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands /usr/bin/install -c bin/why3config.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3config /usr/bin/install -c bin/why3execute.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3execute /usr/bin/install -c bin/why3extract.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3extract @@ -3978,26 +4022,26 @@ /usr/bin/install -c bin/why3realize.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3realize /usr/bin/install -c bin/why3replay.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3replay /usr/bin/install -c bin/why3wc.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3wc -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3 +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3 /usr/bin/install -c lib/why3server /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/why3server /usr/bin/install -c lib/why3cpulimit /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/why3cpulimit /usr/bin/install -c lib/why3-call-pvs /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/why3-call-pvs -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands /usr/bin/install -c bin/why3webserver.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3webserver -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands /usr/bin/install -c bin/why3session.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3session -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands /usr/bin/install -c bin/why3shell.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3shell -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands /usr/bin/install -c bin/why3doc.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3doc -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3 -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/vim -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/vim/ftdetect -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/vim/syntax -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/lang -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/stdlib -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/stdlib/mach -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3 +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/vim +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/vim/ftdetect +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/vim/syntax +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/lang +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/stdlib +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/stdlib/mach +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers /usr/bin/install -c -m 644 stdlib/*.mlw /build/why3-1.2.0/debian/tmp/usr/share/why3/stdlib /usr/bin/install -c -m 644 stdlib/mach/*.mlw /build/why3-1.2.0/debian/tmp/usr/share/why3/stdlib/mach /usr/bin/install -c -m 644 drivers/*.drv drivers/*.gen /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers @@ -4008,55 +4052,55 @@ /usr/bin/install -c -m 644 share/vim/ftdetect/why3.vim /build/why3-1.2.0/debian/tmp/usr/share/why3/vim/ftdetect/why3.vim /usr/bin/install -c -m 644 share/vim/syntax/why3.vim /build/why3-1.2.0/debian/tmp/usr/share/why3/vim/syntax/why3.vim /usr/bin/install -c -m 644 share/lang/why3.lang /build/why3-1.2.0/debian/tmp/usr/share/why3/lang/why3.lang -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers /usr/bin/install -c -m 644 drivers/coq-realizations.aux /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers/ +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers/ /usr/bin/install -c -m 644 drivers/pvs-realizations.aux /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers/ /usr/bin/install -c -m 644 drivers/isabelle-realizations.aux /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/emacs/site-lisp/ +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/emacs/site-lisp/ /usr/bin/install -c -m 644 share/emacs/why3.el /build/why3-1.2.0/debian/tmp/usr/share/emacs/site-lisp/why3.el -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands /usr/bin/install -c bin/why3ide.opt /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/commands/why3ide -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/images +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/images for i in share/images/*.rc; do \ d=`basename $i .rc`; \ /usr/bin/install -c -m 644 $i /build/why3-1.2.0/debian/tmp/usr/share/why3/images; \ - /bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/images/$d; \ + /usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/images/$d; \ /usr/bin/install -c -m 644 share/images/$d/* /build/why3-1.2.0/debian/tmp/usr/share/why3/images/$d; \ done /usr/bin/install -c -m 644 share/images/*.png /build/why3-1.2.0/debian/tmp/usr/share/why3/images -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq /usr/bin/install -c -m 644 lib/coq/version /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/ /usr/bin/install -c -m 644 lib/coq/BuiltIn.vo lib/coq/HighOrd.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/int +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/int /usr/bin/install -c -m 644 lib/coq/int/Exponentiation.vo lib/coq/int/Abs.vo lib/coq/int/ComputerDivision.vo lib/coq/int/Div2.vo lib/coq/int/EuclideanDivision.vo lib/coq/int/Int.vo lib/coq/int/MinMax.vo lib/coq/int/Power.vo lib/coq/int/NumOf.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/int/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/bool +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/bool /usr/bin/install -c -m 644 lib/coq/bool/Bool.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/bool/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/real +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/real /usr/bin/install -c -m 644 lib/coq/real/Abs.vo lib/coq/real/ExpLog.vo lib/coq/real/FromInt.vo lib/coq/real/MinMax.vo lib/coq/real/PowerInt.vo lib/coq/real/PowerReal.vo lib/coq/real/Real.vo lib/coq/real/RealInfix.vo lib/coq/real/Square.vo lib/coq/real/Trigonometry.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/real/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/number +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/number /usr/bin/install -c -m 644 lib/coq/number/Divisibility.vo lib/coq/number/Gcd.vo lib/coq/number/Parity.vo lib/coq/number/Prime.vo lib/coq/number/Coprime.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/number/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/set +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/set /usr/bin/install -c -m 644 lib/coq/set/Set.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/set/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/map +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/map /usr/bin/install -c -m 644 lib/coq/map/Map.vo lib/coq/map/Const.vo lib/coq/map/Occ.vo lib/coq/map/MapPermut.vo lib/coq/map/MapInjection.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/map/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/list +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/list /usr/bin/install -c -m 644 lib/coq/list/List.vo lib/coq/list/Length.vo lib/coq/list/Mem.vo lib/coq/list/Nth.vo lib/coq/list/NthLength.vo lib/coq/list/HdTl.vo lib/coq/list/NthHdTl.vo lib/coq/list/Append.vo lib/coq/list/NthLengthAppend.vo lib/coq/list/Reverse.vo lib/coq/list/HdTlNoOpt.vo lib/coq/list/NthNoOpt.vo lib/coq/list/RevAppend.vo lib/coq/list/Combine.vo lib/coq/list/Distinct.vo lib/coq/list/NumOcc.vo lib/coq/list/Permut.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/list/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/option +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/option /usr/bin/install -c -m 644 lib/coq/option/Option.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/option/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/bv +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/bv /usr/bin/install -c -m 644 lib/coq/bv/Pow2int.vo lib/coq/bv/BV_Gen.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/bv/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/for_drivers +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/for_drivers /usr/bin/install -c -m 644 lib/coq/for_drivers/ComputerOfEuclideanDivision.vo /build/why3-1.2.0/debian/tmp/usr/lib/i386-linux-gnu/why3/coq/for_drivers/ -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers /usr/bin/install -c -m 644 drivers/coq-realizations.aux /build/why3-1.2.0/debian/tmp/usr/share/why3/drivers/ if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then \ /usr/bin/install -c share/bash/why3 /etc/bash_completion.d; \ fi -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/local/lib/ocaml/4.05.0/why3 +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/local/lib/ocaml/4.05.0/why3 /usr/bin/install -c -m 644 lib/why3/why3.a lib/why3/why3.cma lib/why3/why3.cmx lib/why3/why3.cmi lib/why3/why3.cmxa lib/why3/why3.cmxs \ lib/why3/META /build/why3-1.2.0/debian/tmp/usr/local/lib/ocaml/4.05.0/why3 -/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/local/lib/ocaml/4.05.0/why3 +/usr/bin/mkdir -p /build/why3-1.2.0/debian/tmp/usr/local/lib/ocaml/4.05.0/why3 /usr/bin/install -c -m 644 lib/why3/why3extract.a lib/why3/why3extract.cma lib/why3/why3extract.cmx lib/why3/why3extract.cmi lib/why3/why3extract.cmxa lib/why3/why3extract.cmxs \ /build/why3-1.2.0/debian/tmp/usr/local/lib/ocaml/4.05.0/why3 make[2]: Leaving directory '/build/why3-1.2.0' @@ -4103,9 +4147,9 @@ dh_makeshlibs dh_shlibdeps dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/why3/usr/lib/i386-linux-gnu/why3/commands/why3ide was not linked against libatk-1.0.so.0 (it uses none of the library's symbols) -dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/why3/usr/lib/i386-linux-gnu/why3/commands/why3ide was not linked against libgio-2.0.so.0 (it uses none of the library's symbols) -dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/why3/usr/lib/i386-linux-gnu/why3/commands/why3ide was not linked against libpangocairo-1.0.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/why3/usr/lib/i386-linux-gnu/why3/commands/why3ide was not linked against libcairo-gobject.so.2 (it uses none of the library's symbols) +dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/why3/usr/lib/i386-linux-gnu/why3/commands/why3ide was not linked against libpangocairo-1.0.so.0 (it uses none of the library's symbols) +dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/why3/usr/lib/i386-linux-gnu/why3/commands/why3ide was not linked against libgio-2.0.so.0 (it uses none of the library's symbols) dh_installdeb debian/rules override_dh_ocaml make[1]: Entering directory '/build/why3-1.2.0' @@ -4117,13 +4161,13 @@ dpkg-gencontrol: warning: Depends field of package why3-coq: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums dh_builddeb -dpkg-deb: building package 'why3-dbgsym' in '../why3-dbgsym_1.2.0-1_i386.deb'. dpkg-deb: building package 'libwhy3-ocaml-dev-dbgsym' in '../libwhy3-ocaml-dev-dbgsym_1.2.0-1_i386.deb'. -dpkg-deb: building package 'libwhy3-ocaml-dev' in '../libwhy3-ocaml-dev_1.2.0-1_i386.deb'. -dpkg-deb: building package 'why3-coq' in '../why3-coq_1.2.0-1_i386.deb'. +dpkg-deb: building package 'why3-dbgsym' in '../why3-dbgsym_1.2.0-1_i386.deb'. dpkg-deb: building package 'why3-examples' in '../why3-examples_1.2.0-1_all.deb'. dpkg-deb: building package 'why3-doc-html' in '../why3-doc-html_1.2.0-1_all.deb'. dpkg-deb: building package 'why3-doc-pdf' in '../why3-doc-pdf_1.2.0-1_all.deb'. +dpkg-deb: building package 'libwhy3-ocaml-dev' in '../libwhy3-ocaml-dev_1.2.0-1_i386.deb'. +dpkg-deb: building package 'why3-coq' in '../why3-coq_1.2.0-1_i386.deb'. dpkg-deb: building package 'why3' in '../why3_1.2.0-1_i386.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../why3_1.2.0-1_i386.changes @@ -4131,12 +4175,14 @@ dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/20890/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/20890/tmp/hooks/B01_cleanup finished 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/33414 and its subdirectories -I: Current time: Tue Jul 28 04:11:47 -12 2020 -I: pbuilder-time-stamp: 1595952707 +I: removing directory /srv/workspace/pbuilder/20890 and its subdirectories +I: Current time: Thu Jun 27 00:57:51 +14 2019 +I: pbuilder-time-stamp: 1561546671