https://launchpad.net/ubuntu/+source/why/2.40-3build1/+build/15663822 RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux lgw01-amd64-033 4.4.0-139-generic #165-Ubuntu SMP Wed Oct 24 10:58:50 UTC 2018 x86_64 Buildd toolchain package versions: launchpad-buildd_165 python-lpbuildd_165 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.5 dpkg-dev_1.18.4ubuntu1.5 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 15 Nov 04:49:34 ntpdate[1836]: adjust time server 10.211.37.1 offset -0.018245 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=disco --arch=i386 PACKAGEBUILD-15663822 /home/buildd/filecache-default/727e394105280e93a16c79dcca0079cc298d61c4 Creating target for build PACKAGEBUILD-15663822 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=disco --arch=i386 PACKAGEBUILD-15663822 Starting target for build PACKAGEBUILD-15663822 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=disco --arch=i386 PACKAGEBUILD-15663822 'deb http://ftpmaster.internal/ubuntu disco main universe' 'deb http://ftpmaster.internal/ubuntu disco-security main universe' 'deb http://ftpmaster.internal/ubuntu disco-updates main universe' 'deb http://ftpmaster.internal/ubuntu disco-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-15663822 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=disco --arch=i386 PACKAGEBUILD-15663822 Updating target for build PACKAGEBUILD-15663822 Get:1 http://ftpmaster.internal/ubuntu disco InRelease [243 kB] Get:2 http://ftpmaster.internal/ubuntu disco-security InRelease [65.4 kB] Get:3 http://ftpmaster.internal/ubuntu disco-updates InRelease [65.4 kB] Get:4 http://ftpmaster.internal/ubuntu disco-proposed InRelease [93.2 kB] Get:5 http://ftpmaster.internal/ubuntu disco/main i386 Packages [1005 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main Translation-en [512 kB] Get:7 http://ftpmaster.internal/ubuntu disco/universe i386 Packages [8838 kB] Get:8 http://ftpmaster.internal/ubuntu disco/universe Translation-en [5104 kB] Get:9 http://ftpmaster.internal/ubuntu disco-proposed/main i386 Packages [126 kB] Get:10 http://ftpmaster.internal/ubuntu disco-proposed/main Translation-en [73.6 kB] Get:11 http://ftpmaster.internal/ubuntu disco-proposed/universe i386 Packages [535 kB] Get:12 http://ftpmaster.internal/ubuntu disco-proposed/universe Translation-en [287 kB] Fetched 16.9 MB in 5s (3422 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libgdbm5 libperl5.26 perl-modules-5.26 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: libgdbm6 libperl5.28 perl-modules-5.28 The following packages will be upgraded: apt base-files binutils binutils-common binutils-i686-linux-gnu cpp cpp-8 dash dmsetup fakeroot findutils g++ g++-8 gcc gcc-8 gcc-8-base hostname init init-system-helpers libapparmor1 libapt-pkg5.0 libasan5 libatomic1 libaudit-common libaudit1 libbinutils libcap-ng0 libcc1-0 libdb5.3 libdevmapper1.02.1 libfakeroot libgcc-8-dev libgcc1 libgcrypt20 libgdbm-compat4 libgnutls30 libgomp1 libgpg-error0 libitm1 libkmod2 libmpx2 libquadmath0 libseccomp2 libselinux1 libsemanage-common libsemanage1 libsqlite3-0 libstdc++-8-dev libstdc++6 libsystemd0 libubsan1 libudev1 linux-libc-dev lockfile-progs perl perl-base sed systemd systemd-sysv tzdata 60 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 51.0 MB of archives. After this operation, 42.9 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu disco/main i386 base-files i386 10.1ubuntu8 [60.2 kB] Get:2 http://ftpmaster.internal/ubuntu disco/main i386 dash i386 0.5.10.2-1 [94.4 kB] Get:3 http://ftpmaster.internal/ubuntu disco/main i386 findutils i386 4.6.0+git+20181018-1 [307 kB] Get:4 http://ftpmaster.internal/ubuntu disco/main i386 hostname i386 3.21 [11.6 kB] Get:5 http://ftpmaster.internal/ubuntu disco/main i386 perl-modules-5.28 all 5.28.0-3 [2818 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main i386 libgdbm6 i386 1.18.1-1 [32.1 kB] Get:7 http://ftpmaster.internal/ubuntu disco/main i386 libgdbm-compat4 i386 1.18.1-1 [6704 B] Get:8 http://ftpmaster.internal/ubuntu disco/main i386 libperl5.28 i386 5.28.0-3 [3436 kB] Get:9 http://ftpmaster.internal/ubuntu disco/main i386 perl i386 5.28.0-3 [204 kB] Get:10 http://ftpmaster.internal/ubuntu disco/main i386 perl-base i386 5.28.0-3 [1600 kB] Get:11 http://ftpmaster.internal/ubuntu disco/main i386 libdb5.3 i386 5.3.28+dfsg1-0.2 [737 kB] Get:12 http://ftpmaster.internal/ubuntu disco/main i386 sed i386 4.5-2 [189 kB] Get:13 http://ftpmaster.internal/ubuntu disco-proposed/main i386 init-system-helpers all 1.55 [38.5 kB] Get:14 http://ftpmaster.internal/ubuntu disco/main i386 libquadmath0 i386 8.2.0-9ubuntu1 [208 kB] Get:15 http://ftpmaster.internal/ubuntu disco/main i386 libubsan1 i386 8.2.0-9ubuntu1 [138 kB] Get:16 http://ftpmaster.internal/ubuntu disco/main i386 gcc-8-base i386 8.2.0-9ubuntu1 [18.6 kB] Get:17 http://ftpmaster.internal/ubuntu disco/main i386 libgcc1 i386 1:8.2.0-9ubuntu1 [48.1 kB] Get:18 http://ftpmaster.internal/ubuntu disco/main i386 libitm1 i386 8.2.0-9ubuntu1 [30.8 kB] Get:19 http://ftpmaster.internal/ubuntu disco/main i386 libasan5 i386 8.2.0-9ubuntu1 [375 kB] Get:20 http://ftpmaster.internal/ubuntu disco/main i386 libgomp1 i386 8.2.0-9ubuntu1 [80.7 kB] Get:21 http://ftpmaster.internal/ubuntu disco/main i386 libatomic1 i386 8.2.0-9ubuntu1 [9604 B] Get:22 http://ftpmaster.internal/ubuntu disco/main i386 libmpx2 i386 8.2.0-9ubuntu1 [13.0 kB] Get:23 http://ftpmaster.internal/ubuntu disco/main i386 cpp-8 i386 8.2.0-9ubuntu1 [7537 kB] Get:24 http://ftpmaster.internal/ubuntu disco/main i386 libcc1-0 i386 8.2.0-9ubuntu1 [41.9 kB] Get:25 http://ftpmaster.internal/ubuntu disco/main i386 gcc-8 i386 8.2.0-9ubuntu1 [8330 kB] Get:26 http://ftpmaster.internal/ubuntu disco/main i386 g++-8 i386 8.2.0-9ubuntu1 [8444 kB] Get:27 http://ftpmaster.internal/ubuntu disco/main i386 libstdc++-8-dev i386 8.2.0-9ubuntu1 [1586 kB] Get:28 http://ftpmaster.internal/ubuntu disco/main i386 libgcc-8-dev i386 8.2.0-9ubuntu1 [2299 kB] Get:29 http://ftpmaster.internal/ubuntu disco/main i386 libstdc++6 i386 8.2.0-9ubuntu1 [430 kB] Get:30 http://ftpmaster.internal/ubuntu disco/main i386 libbinutils i386 2.31.1-7ubuntu1 [518 kB] Get:31 http://ftpmaster.internal/ubuntu disco/main i386 binutils-common i386 2.31.1-7ubuntu1 [194 kB] Get:32 http://ftpmaster.internal/ubuntu disco/main i386 binutils i386 2.31.1-7ubuntu1 [3392 B] Get:33 http://ftpmaster.internal/ubuntu disco/main i386 binutils-i686-linux-gnu i386 2.31.1-7ubuntu1 [1985 kB] Get:34 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libudev1 i386 239-7ubuntu10.3 [57.7 kB] Get:35 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libapt-pkg5.0 i386 1.8.0~alpha2ubuntu1 [889 kB] Get:36 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libgnutls30 i386 3.6.4-2ubuntu2 [758 kB] Get:37 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libseccomp2 i386 2.3.3-3ubuntu2 [35.6 kB] Get:38 http://ftpmaster.internal/ubuntu disco-proposed/main i386 apt i386 1.8.0~alpha2ubuntu1 [1208 kB] Get:39 http://ftpmaster.internal/ubuntu disco-proposed/main i386 systemd-sysv i386 239-7ubuntu10.3 [9400 B] Get:40 http://ftpmaster.internal/ubuntu disco/main i386 libapparmor1 i386 2.12-4ubuntu10 [31.3 kB] Get:41 http://ftpmaster.internal/ubuntu disco/main i386 libaudit-common all 1:2.8.3-1ubuntu3 [4068 B] Get:42 http://ftpmaster.internal/ubuntu disco/main i386 libcap-ng0 i386 0.7.9-1build1 [11.1 kB] Get:43 http://ftpmaster.internal/ubuntu disco/main i386 libaudit1 i386 1:2.8.3-1ubuntu3 [40.0 kB] Get:44 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libgpg-error0 i386 1.32-3 [60.5 kB] Get:45 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libkmod2 i386 25-1ubuntu2 [47.6 kB] Get:46 http://ftpmaster.internal/ubuntu disco-proposed/main i386 systemd i386 239-7ubuntu10.3 [3068 kB] Get:47 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libsystemd0 i386 239-7ubuntu10.3 [228 kB] Get:48 http://ftpmaster.internal/ubuntu disco-proposed/main i386 init i386 1.55 [6476 B] Get:49 http://ftpmaster.internal/ubuntu disco/main i386 libgcrypt20 i386 1.8.4-3ubuntu1 [401 kB] Get:50 http://ftpmaster.internal/ubuntu disco/main i386 libselinux1 i386 2.8-1build2 [73.5 kB] Get:51 http://ftpmaster.internal/ubuntu disco/main i386 libsemanage-common all 2.8-1build2 [6892 B] Get:52 http://ftpmaster.internal/ubuntu disco/main i386 libsemanage1 i386 2.8-1build2 [93.8 kB] Get:53 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libdevmapper1.02.1 i386 2:1.02.145-4.1ubuntu4 [125 kB] Get:54 http://ftpmaster.internal/ubuntu disco-proposed/main i386 dmsetup i386 2:1.02.145-4.1ubuntu4 [70.4 kB] Get:55 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libsqlite3-0 i386 3.25.3-1 [564 kB] Get:56 http://ftpmaster.internal/ubuntu disco/main i386 tzdata all 2018g-1 [188 kB] Get:57 http://ftpmaster.internal/ubuntu disco/main i386 g++ i386 4:8.2.0-2ubuntu2 [1616 B] Get:58 http://ftpmaster.internal/ubuntu disco/main i386 gcc i386 4:8.2.0-2ubuntu2 [5272 B] Get:59 http://ftpmaster.internal/ubuntu disco/main i386 cpp i386 4:8.2.0-2ubuntu2 [27.6 kB] Get:60 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libfakeroot i386 1.23-1 [26.2 kB] Get:61 http://ftpmaster.internal/ubuntu disco-proposed/main i386 fakeroot i386 1.23-1 [63.6 kB] Get:62 http://ftpmaster.internal/ubuntu disco-proposed/main i386 linux-libc-dev i386 4.18.0-11.12 [1040 kB] Get:63 http://ftpmaster.internal/ubuntu disco/main i386 lockfile-progs i386 0.1.18 [9856 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 51.0 MB in 1s (54.2 MB/s) (Reading database ... 12644 files and directories currently installed.) Preparing to unpack .../base-files_10.1ubuntu8_i386.deb ... Unpacking base-files (10.1ubuntu8) over (10.1ubuntu7) ... Setting up base-files (10.1ubuntu8) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 12644 files and directories currently installed.) Preparing to unpack .../dash_0.5.10.2-1_i386.deb ... 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' Unpacking dash (0.5.10.2-1) over (0.5.8-2.10) ... Setting up dash (0.5.10.2-1) ... Removing 'diversion of /bin/sh to /bin/sh.distrib by bash' Adding 'diversion of /bin/sh to /bin/sh.distrib by dash' Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' (Reading database ... 12644 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20181018-1_i386.deb ... Unpacking findutils (4.6.0+git+20181018-1) over (4.6.0+git+20180808-2) ... Setting up findutils (4.6.0+git+20181018-1) ... (Reading database ... 12644 files and directories currently installed.) Preparing to unpack .../hostname_3.21_i386.deb ... Unpacking hostname (3.21) over (3.20) ... Setting up hostname (3.21) ... (Reading database ... 12644 files and directories currently installed.) Preparing to unpack .../0-perl_5.28.0-3_i386.deb ... Unpacking perl (5.28.0-3) over (5.26.2-7) ... Selecting previously unselected package perl-modules-5.28. Preparing to unpack .../1-perl-modules-5.28_5.28.0-3_all.deb ... Unpacking perl-modules-5.28 (5.28.0-3) ... Selecting previously unselected package libgdbm6:i386. Preparing to unpack .../2-libgdbm6_1.18.1-1_i386.deb ... Unpacking libgdbm6:i386 (1.18.1-1) ... Preparing to unpack .../3-libgdbm-compat4_1.18.1-1_i386.deb ... Unpacking libgdbm-compat4:i386 (1.18.1-1) over (1.14.1-6) ... Selecting previously unselected package libperl5.28:i386. Preparing to unpack .../4-libperl5.28_5.28.0-3_i386.deb ... Unpacking libperl5.28:i386 (5.28.0-3) ... Preparing to unpack .../5-perl-base_5.28.0-3_i386.deb ... Unpacking perl-base (5.28.0-3) over (5.26.2-7) ... Setting up perl-base (5.28.0-3) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28+dfsg1-0.2_i386.deb ... Unpacking libdb5.3:i386 (5.3.28+dfsg1-0.2) over (5.3.28+dfsg1-0.1) ... Setting up libdb5.3:i386 (5.3.28+dfsg1-0.2) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../archives/sed_4.5-2_i386.deb ... Unpacking sed (4.5-2) over (4.5-1) ... Setting up sed (4.5-2) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.55_all.deb ... Unpacking init-system-helpers (1.55) over (1.54) ... Setting up init-system-helpers (1.55) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libquadmath0_8.2.0-9ubuntu1_i386.deb ... Unpacking libquadmath0:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../libubsan1_8.2.0-9ubuntu1_i386.deb ... Unpacking libubsan1:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../gcc-8-base_8.2.0-9ubuntu1_i386.deb ... Unpacking gcc-8-base:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Setting up gcc-8-base:i386 (8.2.0-9ubuntu1) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a8.2.0-9ubuntu1_i386.deb ... Unpacking libgcc1:i386 (1:8.2.0-9ubuntu1) over (1:8.2.0-7ubuntu1) ... Setting up libgcc1:i386 (1:8.2.0-9ubuntu1) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../00-libitm1_8.2.0-9ubuntu1_i386.deb ... Unpacking libitm1:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../01-libasan5_8.2.0-9ubuntu1_i386.deb ... Unpacking libasan5:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../02-libgomp1_8.2.0-9ubuntu1_i386.deb ... Unpacking libgomp1:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../03-libatomic1_8.2.0-9ubuntu1_i386.deb ... Unpacking libatomic1:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../04-libmpx2_8.2.0-9ubuntu1_i386.deb ... Unpacking libmpx2:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../05-cpp-8_8.2.0-9ubuntu1_i386.deb ... Unpacking cpp-8 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../06-libcc1-0_8.2.0-9ubuntu1_i386.deb ... Unpacking libcc1-0:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../07-gcc-8_8.2.0-9ubuntu1_i386.deb ... Unpacking gcc-8 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../08-g++-8_8.2.0-9ubuntu1_i386.deb ... Unpacking g++-8 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../09-libstdc++-8-dev_8.2.0-9ubuntu1_i386.deb ... Unpacking libstdc++-8-dev:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../10-libgcc-8-dev_8.2.0-9ubuntu1_i386.deb ... Unpacking libgcc-8-dev:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../11-libstdc++6_8.2.0-9ubuntu1_i386.deb ... Unpacking libstdc++6:i386 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Setting up libstdc++6:i386 (8.2.0-9ubuntu1) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libbinutils_2.31.1-7ubuntu1_i386.deb ... Unpacking libbinutils:i386 (2.31.1-7ubuntu1) over (2.31.1-6ubuntu1) ... Preparing to unpack .../binutils-common_2.31.1-7ubuntu1_i386.deb ... Unpacking binutils-common:i386 (2.31.1-7ubuntu1) over (2.31.1-6ubuntu1) ... Preparing to unpack .../binutils_2.31.1-7ubuntu1_i386.deb ... Unpacking binutils (2.31.1-7ubuntu1) over (2.31.1-6ubuntu1) ... Preparing to unpack .../binutils-i686-linux-gnu_2.31.1-7ubuntu1_i386.deb ... Unpacking binutils-i686-linux-gnu (2.31.1-7ubuntu1) over (2.31.1-6ubuntu1) ... Preparing to unpack .../libudev1_239-7ubuntu10.3_i386.deb ... Unpacking libudev1:i386 (239-7ubuntu10.3) over (239-7ubuntu10) ... Setting up libudev1:i386 (239-7ubuntu10.3) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.8.0~alpha2ubuntu1_i386.deb ... Unpacking libapt-pkg5.0:i386 (1.8.0~alpha2ubuntu1) over (1.7.0) ... Setting up libapt-pkg5.0:i386 (1.8.0~alpha2ubuntu1) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.6.4-2ubuntu2_i386.deb ... Unpacking libgnutls30:i386 (3.6.4-2ubuntu2) over (3.6.4-2ubuntu1) ... Setting up libgnutls30:i386 (3.6.4-2ubuntu2) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.3.3-3ubuntu2_i386.deb ... Unpacking libseccomp2:i386 (2.3.3-3ubuntu2) over (2.3.3-3ubuntu1) ... Setting up libseccomp2:i386 (2.3.3-3ubuntu2) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../apt_1.8.0~alpha2ubuntu1_i386.deb ... Unpacking apt (1.8.0~alpha2ubuntu1) over (1.7.0) ... Setting up apt (1.8.0~alpha2ubuntu1) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../systemd-sysv_239-7ubuntu10.3_i386.deb ... Unpacking systemd-sysv (239-7ubuntu10.3) over (239-7ubuntu10) ... Preparing to unpack .../libapparmor1_2.12-4ubuntu10_i386.deb ... Unpacking libapparmor1:i386 (2.12-4ubuntu10) over (2.12-4ubuntu8) ... Preparing to unpack .../libaudit-common_1%3a2.8.3-1ubuntu3_all.deb ... Unpacking libaudit-common (1:2.8.3-1ubuntu3) over (1:2.8.3-1ubuntu2) ... Setting up libaudit-common (1:2.8.3-1ubuntu3) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.9-1build1_i386.deb ... Unpacking libcap-ng0:i386 (0.7.9-1build1) over (0.7.9-1) ... Setting up libcap-ng0:i386 (0.7.9-1build1) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.3-1ubuntu3_i386.deb ... Unpacking libaudit1:i386 (1:2.8.3-1ubuntu3) over (1:2.8.3-1ubuntu2) ... Setting up libaudit1:i386 (1:2.8.3-1ubuntu3) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.32-3_i386.deb ... Unpacking libgpg-error0:i386 (1.32-3) over (1.32-1) ... Setting up libgpg-error0:i386 (1.32-3) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libkmod2_25-1ubuntu2_i386.deb ... Unpacking libkmod2:i386 (25-1ubuntu2) over (25-1ubuntu1) ... Preparing to unpack .../systemd_239-7ubuntu10.3_i386.deb ... Unpacking systemd (239-7ubuntu10.3) over (239-7ubuntu10) ... Preparing to unpack .../libsystemd0_239-7ubuntu10.3_i386.deb ... Unpacking libsystemd0:i386 (239-7ubuntu10.3) over (239-7ubuntu10) ... Setting up libsystemd0:i386 (239-7ubuntu10.3) ... Setting up libapparmor1:i386 (2.12-4ubuntu10) ... Setting up libkmod2:i386 (25-1ubuntu2) ... Setting up systemd (239-7ubuntu10.3) ... Setting up systemd-sysv (239-7ubuntu10.3) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../archives/init_1.55_i386.deb ... Unpacking init (1.55) over (1.54) ... Preparing to unpack .../libgcrypt20_1.8.4-3ubuntu1_i386.deb ... Unpacking libgcrypt20:i386 (1.8.4-3ubuntu1) over (1.8.3-1ubuntu1) ... Setting up libgcrypt20:i386 (1.8.4-3ubuntu1) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libselinux1_2.8-1build2_i386.deb ... Unpacking libselinux1:i386 (2.8-1build2) over (2.8-1build1) ... Setting up libselinux1:i386 (2.8-1build2) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.8-1build2_all.deb ... Unpacking libsemanage-common (2.8-1build2) over (2.8-1build1) ... Setting up libsemanage-common (2.8-1build2) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.8-1build2_i386.deb ... Unpacking libsemanage1:i386 (2.8-1build2) over (2.8-1build1) ... Setting up libsemanage1:i386 (2.8-1build2) ... (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../00-libdevmapper1.02.1_2%3a1.02.145-4.1ubuntu4_i386.deb ... Unpacking libdevmapper1.02.1:i386 (2:1.02.145-4.1ubuntu4) over (2:1.02.145-4.1ubuntu3) ... Preparing to unpack .../01-dmsetup_2%3a1.02.145-4.1ubuntu4_i386.deb ... Unpacking dmsetup (2:1.02.145-4.1ubuntu4) over (2:1.02.145-4.1ubuntu3) ... Preparing to unpack .../02-libsqlite3-0_3.25.3-1_i386.deb ... Unpacking libsqlite3-0:i386 (3.25.3-1) over (3.24.0-1) ... Preparing to unpack .../03-tzdata_2018g-1_all.deb ... Unpacking tzdata (2018g-1) over (2018e-1) ... Preparing to unpack .../04-g++_4%3a8.2.0-2ubuntu2_i386.deb ... Unpacking g++ (4:8.2.0-2ubuntu2) over (4:8.2.0-1ubuntu1) ... Preparing to unpack .../05-gcc_4%3a8.2.0-2ubuntu2_i386.deb ... Unpacking gcc (4:8.2.0-2ubuntu2) over (4:8.2.0-1ubuntu1) ... Preparing to unpack .../06-cpp_4%3a8.2.0-2ubuntu2_i386.deb ... Unpacking cpp (4:8.2.0-2ubuntu2) over (4:8.2.0-1ubuntu1) ... Preparing to unpack .../07-libfakeroot_1.23-1_i386.deb ... Unpacking libfakeroot:i386 (1.23-1) over (1.22-2ubuntu1) ... Preparing to unpack .../08-fakeroot_1.23-1_i386.deb ... Unpacking fakeroot (1.23-1) over (1.22-2ubuntu1) ... Preparing to unpack .../09-linux-libc-dev_4.18.0-11.12_i386.deb ... Unpacking linux-libc-dev:i386 (4.18.0-11.12) over (4.18.0-10.11) ... Preparing to unpack .../10-lockfile-progs_0.1.18_i386.deb ... Unpacking lockfile-progs (0.1.18) over (0.1.17build1) ... Setting up libquadmath0:i386 (8.2.0-9ubuntu1) ... Setting up cpp-8 (8.2.0-9ubuntu1) ... Setting up libgomp1:i386 (8.2.0-9ubuntu1) ... Setting up libatomic1:i386 (8.2.0-9ubuntu1) ... Setting up cpp (4:8.2.0-2ubuntu2) ... Setting up libcc1-0:i386 (8.2.0-9ubuntu1) ... Setting up tzdata (2018g-1) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Nov 15 04:50:04 UTC 2018. Universal Time is now: Thu Nov 15 04:50:04 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up init (1.55) ... Setting up linux-libc-dev:i386 (4.18.0-11.12) ... Setting up libdevmapper1.02.1:i386 (2:1.02.145-4.1ubuntu4) ... Setting up libgdbm6:i386 (1.18.1-1) ... Setting up binutils-common:i386 (2.31.1-7ubuntu1) ... Setting up libmpx2:i386 (8.2.0-9ubuntu1) ... Setting up perl-modules-5.28 (5.28.0-3) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Setting up libfakeroot:i386 (1.23-1) ... Setting up libsqlite3-0:i386 (3.25.3-1) ... Setting up dmsetup (2:1.02.145-4.1ubuntu4) ... Setting up libgdbm-compat4:i386 (1.18.1-1) ... Setting up lockfile-progs (0.1.18) ... Setting up libasan5:i386 (8.2.0-9ubuntu1) ... Setting up libitm1:i386 (8.2.0-9ubuntu1) ... Setting up libubsan1:i386 (8.2.0-9ubuntu1) ... Setting up libbinutils:i386 (2.31.1-7ubuntu1) ... Setting up libperl5.28:i386 (5.28.0-3) ... Setting up fakeroot (1.23-1) ... Setting up perl (5.28.0-3) ... Setting up binutils-i686-linux-gnu (2.31.1-7ubuntu1) ... Setting up libgcc-8-dev:i386 (8.2.0-9ubuntu1) ... Setting up binutils (2.31.1-7ubuntu1) ... Setting up libstdc++-8-dev:i386 (8.2.0-9ubuntu1) ... Setting up gcc-8 (8.2.0-9ubuntu1) ... Setting up g++-8 (8.2.0-9ubuntu1) ... Setting up gcc (4:8.2.0-2ubuntu2) ... Setting up g++ (4:8.2.0-2ubuntu2) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-15663822 i386 disco-proposed -c chroot:build-PACKAGEBUILD-15663822 --arch=i386 --dist=disco-proposed --nolog why_2.40-3build1.dsc Initiating build PACKAGEBUILD-15663822 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-139-generic #165-Ubuntu SMP Wed Oct 24 10:58:50 UTC 2018 i686 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lgw01-amd64-033.buildd +==============================================================================+ | why 2.40-3build1 (i386) 15 Nov 2018 04:50 | +==============================================================================+ Package: why Version: 2.40-3build1 Source Version: 2.40-3build1 Distribution: disco-proposed Machine Architecture: amd64 Host Architecture: i386 Build Architecture: i386 I: NOTICE: Log filtering will replace 'build/why-u2INyK/why-2.40' with '<>' I: NOTICE: Log filtering will replace 'build/why-u2INyK' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-15663822/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- why_2.40-3build1.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-gXTmsN/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-gXTmsN/apt_archive ./ InRelease Get:2 copy:/<>/resolver-gXTmsN/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-gXTmsN/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-gXTmsN/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-gXTmsN/apt_archive ./ Packages [525 B] Fetched 2858 B in 0s (225 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libgdbm5 libperl5.26 perl-modules-5.26 Use 'apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 852 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-gXTmsN/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 852 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_i386.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 11), dh-ocaml (>= 0.9~), ocaml-nox (>= 4.02), camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), libzarith-ocaml-dev, frama-c-base (>= 20171101+sulfur), camlidl, why3, why3-coq Filtered Build-Depends: debhelper (>= 11), dh-ocaml (>= 0.9~), ocaml-nox (>= 4.02), camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), libzarith-ocaml-dev, frama-c-base (>= 20171101+sulfur), camlidl, why3, why3-coq dpkg-deb: building package 'sbuild-build-depends-why-dummy' in '/<>/resolver-j3EjM6/apt_archive/sbuild-build-depends-why-dummy.deb'. Ign:1 copy:/<>/resolver-j3EjM6/apt_archive ./ InRelease Get:2 copy:/<>/resolver-j3EjM6/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-j3EjM6/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-j3EjM6/apt_archive ./ Sources [304 B] Get:5 copy:/<>/resolver-j3EjM6/apt_archive ./ Packages [619 B] Fetched 3042 B in 0s (260 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install why build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libgdbm5 libperl5.26 perl-modules-5.26 Use 'apt autoremove' to remove them. The following additional packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlidl camlp4 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common dwz emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gettext gettext-base groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcamlp4-ocaml-dev libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant1c2a libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhunspell-1.6-0 libicu63 libjbig0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 librsvg2-2 librsvg2-common libsigsegv2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtool libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libzarith-ocaml libzarith-ocaml-dev m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf shared-mime-info tex-common ubuntu-mono ucf why3 why3-coq Suggested packages: aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation camlidl-doc proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc dh-make git wordlist gettext-doc libasprintf-dev libgettextpo-dev groff cups-common libenchant-voikko gmp-doc libgmp10-doc libmpfr-dev krb5-doc krb5-user gvfs ncurses-doc librsvg2-bin libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl why3-examples Recommended packages: coqide | proofgeneral alt-ergo curl | wget | lynx dbus enchant libarchive-cpio-perl libgdk-pixbuf2.0-bin libglib2.0-data xdg-user-dirs libgail-common libgtk2.0-bin hunspell-en-us | hunspell-dictionary | myspell-dictionary krb5-locales libltdl-dev libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlidl camlp4 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common dwz emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gettext gettext-base groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcamlp4-ocaml-dev libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant1c2a libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhunspell-1.6-0 libicu63 libjbig0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 librsvg2-2 librsvg2-common libsigsegv2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtool libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libzarith-ocaml libzarith-ocaml-dev m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf sbuild-build-depends-why-dummy shared-mime-info tex-common ubuntu-mono ucf why3 why3-coq 0 upgraded, 133 newly installed, 0 to remove and 0 not upgraded. Need to get 196 MB of archives. After this operation, 1014 MB of additional disk space will be used. Get:1 copy:/<>/resolver-j3EjM6/apt_archive ./ sbuild-build-depends-why-dummy 0.invalid.0 [952 B] Get:2 http://ftpmaster.internal/ubuntu disco/main i386 libxau6 i386 1:1.0.8-1 [8352 B] Get:3 http://ftpmaster.internal/ubuntu disco/main i386 libbsd0 i386 0.9.1-1 [48.8 kB] Get:4 http://ftpmaster.internal/ubuntu disco/main i386 libxdmcp6 i386 1:1.1.2-3 [11.1 kB] Get:5 http://ftpmaster.internal/ubuntu disco/main i386 libxcb1 i386 1.13.1-1 [50.2 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main i386 libx11-data all 2:1.6.7-1 [113 kB] Get:7 http://ftpmaster.internal/ubuntu disco/main i386 libx11-6 i386 2:1.6.7-1 [594 kB] Get:8 http://ftpmaster.internal/ubuntu disco/main i386 libxext6 i386 2:1.3.3-1 [31.6 kB] Get:9 http://ftpmaster.internal/ubuntu disco/main i386 bsdmainutils i386 11.1.2ubuntu2 [183 kB] Get:10 http://ftpmaster.internal/ubuntu disco/main i386 groff-base i386 1.22.3-10 [1169 kB] Get:11 http://ftpmaster.internal/ubuntu disco/main i386 libpipeline1 i386 1.5.0-2 [27.6 kB] Get:12 http://ftpmaster.internal/ubuntu disco-proposed/main i386 man-db i386 2.8.4-3 [1038 kB] Get:13 http://ftpmaster.internal/ubuntu disco/main i386 libglib2.0-0 i386 2.58.1-2 [1246 kB] Get:14 http://ftpmaster.internal/ubuntu disco/main i386 libatk1.0-data all 2.30.0-1 [2996 B] Get:15 http://ftpmaster.internal/ubuntu disco/main i386 libatk1.0-0 i386 2.30.0-1 [44.1 kB] Get:16 http://ftpmaster.internal/ubuntu disco/main i386 libjpeg-turbo8 i386 2.0.0-0ubuntu2 [126 kB] Get:17 http://ftpmaster.internal/ubuntu disco/main i386 libjpeg8 i386 8c-2ubuntu8 [2188 B] Get:18 http://ftpmaster.internal/ubuntu disco/main i386 libjbig0 i386 2.1-3.1build1 [27.3 kB] Get:19 http://ftpmaster.internal/ubuntu disco/main i386 libwebp6 i386 0.6.1-2 [197 kB] Get:20 http://ftpmaster.internal/ubuntu disco/main i386 libtiff5 i386 4.0.9+git181026-1 [168 kB] Get:21 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libicu63 i386 63.1-4 [8433 kB] Get:22 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libxml2 i386 2.9.4+dfsg1-7ubuntu3 [658 kB] Get:23 http://ftpmaster.internal/ubuntu disco/main i386 shared-mime-info i386 1.10-1 [430 kB] Get:24 http://ftpmaster.internal/ubuntu disco/main i386 libgdk-pixbuf2.0-common all 2.38.0+dfsg-6 [6052 B] Get:25 http://ftpmaster.internal/ubuntu disco/main i386 libgdk-pixbuf2.0-0 i386 2.38.0+dfsg-6 [180 kB] Get:26 http://ftpmaster.internal/ubuntu disco/main i386 libgtk2.0-common all 2.24.32-3ubuntu1 [125 kB] Get:27 http://ftpmaster.internal/ubuntu disco/main i386 libexpat1 i386 2.2.6-1 [84.8 kB] Get:28 http://ftpmaster.internal/ubuntu disco/main i386 libfreetype6 i386 2.8.1-2ubuntu2 [351 kB] Get:29 http://ftpmaster.internal/ubuntu disco/main i386 ucf all 3.0038 [50.5 kB] Get:30 http://ftpmaster.internal/ubuntu disco/main i386 fonts-dejavu-core all 2.37-1 [1041 kB] Get:31 http://ftpmaster.internal/ubuntu disco/main i386 fontconfig-config all 2.13.0-5ubuntu3 [28.4 kB] Get:32 http://ftpmaster.internal/ubuntu disco/main i386 libfontconfig1 i386 2.13.0-5ubuntu3 [122 kB] Get:33 http://ftpmaster.internal/ubuntu disco/main i386 libpixman-1-0 i386 0.34.0-2 [235 kB] Get:34 http://ftpmaster.internal/ubuntu disco/main i386 libxcb-render0 i386 1.13.1-1 [15.9 kB] Get:35 http://ftpmaster.internal/ubuntu disco/main i386 libxcb-shm0 i386 1.13.1-1 [5740 B] Get:36 http://ftpmaster.internal/ubuntu disco/main i386 libxrender1 i386 1:0.9.10-1 [19.9 kB] Get:37 http://ftpmaster.internal/ubuntu disco/main i386 libcairo2 i386 1.16.0-1 [639 kB] Get:38 http://ftpmaster.internal/ubuntu disco/main i386 libavahi-common-data i386 0.7-4ubuntu3 [21.5 kB] Get:39 http://ftpmaster.internal/ubuntu disco/main i386 libavahi-common3 i386 0.7-4ubuntu3 [23.1 kB] Get:40 http://ftpmaster.internal/ubuntu disco/main i386 libdbus-1-3 i386 1.12.10-1ubuntu2 [189 kB] Get:41 http://ftpmaster.internal/ubuntu disco/main i386 libavahi-client3 i386 0.7-4ubuntu3 [27.2 kB] Get:42 http://ftpmaster.internal/ubuntu disco/main i386 libkrb5support0 i386 1.16-2ubuntu1 [32.5 kB] Get:43 http://ftpmaster.internal/ubuntu disco/main i386 libk5crypto3 i386 1.16-2ubuntu1 [89.9 kB] Get:44 http://ftpmaster.internal/ubuntu disco/main i386 libkeyutils1 i386 1.5.9-9.3 [9896 B] Get:45 http://ftpmaster.internal/ubuntu disco/main i386 libkrb5-3 i386 1.16-2ubuntu1 [303 kB] Get:46 http://ftpmaster.internal/ubuntu disco/main i386 libgssapi-krb5-2 i386 1.16-2ubuntu1 [132 kB] Get:47 http://ftpmaster.internal/ubuntu disco/main i386 libcups2 i386 2.2.8-5ubuntu1 [225 kB] Get:48 http://ftpmaster.internal/ubuntu disco/main i386 fontconfig i386 2.13.0-5ubuntu3 [170 kB] Get:49 http://ftpmaster.internal/ubuntu disco/main i386 libfribidi0 i386 1.0.5-3 [26.6 kB] Get:50 http://ftpmaster.internal/ubuntu disco/main i386 libthai-data all 0.1.28-1 [134 kB] Get:51 http://ftpmaster.internal/ubuntu disco/main i386 libdatrie1 i386 0.2.12-1 [19.8 kB] Get:52 http://ftpmaster.internal/ubuntu disco/main i386 libthai0 i386 0.1.28-1 [19.1 kB] Get:53 http://ftpmaster.internal/ubuntu disco/main i386 libpango-1.0-0 i386 1.42.4-3 [158 kB] Get:54 http://ftpmaster.internal/ubuntu disco/main i386 libgraphite2-3 i386 1.3.12-1 [76.9 kB] Get:55 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libharfbuzz0b i386 2.1.1-1build1 [342 kB] Get:56 http://ftpmaster.internal/ubuntu disco/main i386 libpangoft2-1.0-0 i386 1.42.4-3 [38.3 kB] Get:57 http://ftpmaster.internal/ubuntu disco/main i386 libpangocairo-1.0-0 i386 1.42.4-3 [24.7 kB] Get:58 http://ftpmaster.internal/ubuntu disco/main i386 libxcomposite1 i386 1:0.4.4-2 [7184 B] Get:59 http://ftpmaster.internal/ubuntu disco/main i386 libxfixes3 i386 1:5.0.3-1 [11.2 kB] Get:60 http://ftpmaster.internal/ubuntu disco/main i386 libxcursor1 i386 1:1.1.15-2 [21.4 kB] Get:61 http://ftpmaster.internal/ubuntu disco/main i386 libxdamage1 i386 1:1.1.4-3 [7090 B] Get:62 http://ftpmaster.internal/ubuntu disco/main i386 libxi6 i386 2:1.7.9-1 [31.7 kB] Get:63 http://ftpmaster.internal/ubuntu disco/main i386 libxinerama1 i386 2:1.1.4-1 [7352 B] Get:64 http://ftpmaster.internal/ubuntu disco/main i386 libxrandr2 i386 2:1.5.1-1 [19.9 kB] Get:65 http://ftpmaster.internal/ubuntu disco/main i386 hicolor-icon-theme all 0.17-2 [9976 B] Get:66 http://ftpmaster.internal/ubuntu disco/main i386 gtk-update-icon-cache i386 3.24.1-1ubuntu2 [29.1 kB] Get:67 http://ftpmaster.internal/ubuntu disco/main i386 libcroco3 i386 0.6.12-2 [87.7 kB] Get:68 http://ftpmaster.internal/ubuntu disco/main i386 librsvg2-2 i386 2.44.8-3 [1253 kB] Get:69 http://ftpmaster.internal/ubuntu disco/main i386 librsvg2-common i386 2.44.8-3 [9180 B] Get:70 http://ftpmaster.internal/ubuntu disco/main i386 humanity-icon-theme all 0.6.15 [1250 kB] Get:71 http://ftpmaster.internal/ubuntu disco/main i386 ubuntu-mono all 16.10+18.10.20181005-0ubuntu1 [149 kB] Get:72 http://ftpmaster.internal/ubuntu disco/main i386 adwaita-icon-theme all 3.30.0-0ubuntu1 [3253 kB] Get:73 http://ftpmaster.internal/ubuntu disco/main i386 libgtk2.0-0 i386 2.24.32-3ubuntu1 [1902 kB] Get:74 http://ftpmaster.internal/ubuntu disco/universe i386 libglade2-0 i386 1:2.6.4-2 [43.7 kB] Get:75 http://ftpmaster.internal/ubuntu disco/main i386 tex-common all 6.10 [32.6 kB] Get:76 http://ftpmaster.internal/ubuntu disco/main i386 libmagic-mgc i386 1:5.34-2 [197 kB] Get:77 http://ftpmaster.internal/ubuntu disco/main i386 libmagic1 i386 1:5.34-2 [78.8 kB] Get:78 http://ftpmaster.internal/ubuntu disco/main i386 file i386 1:5.34-2 [22.8 kB] Get:79 http://ftpmaster.internal/ubuntu disco/main i386 libelf1 i386 0.170-0.5.0ubuntu1 [49.5 kB] Get:80 http://ftpmaster.internal/ubuntu disco/main i386 libtext-iconv-perl i386 1.7-5build7 [13.4 kB] Get:81 http://ftpmaster.internal/ubuntu disco/main i386 gettext-base i386 0.19.8.1-9 [51.2 kB] Get:82 http://ftpmaster.internal/ubuntu disco/main i386 libaspell15 i386 0.60.7~20110707-5 [322 kB] Get:83 http://ftpmaster.internal/ubuntu disco/main i386 emacsen-common all 3.0.4 [14.9 kB] Get:84 http://ftpmaster.internal/ubuntu disco/main i386 dictionaries-common all 1.28.0 [177 kB] Get:85 http://ftpmaster.internal/ubuntu disco/main i386 aspell i386 0.60.7~20110707-5 [82.8 kB] Get:86 http://ftpmaster.internal/ubuntu disco/main i386 aspell-en all 2018.04.16-0-1 [299 kB] Get:87 http://ftpmaster.internal/ubuntu disco/main i386 libsigsegv2 i386 2.12-2 [14.2 kB] Get:88 http://ftpmaster.internal/ubuntu disco/main i386 m4 i386 1.4.18-1ubuntu1 [202 kB] Get:89 http://ftpmaster.internal/ubuntu disco/main i386 autoconf all 2.69-11 [322 kB] Get:90 http://ftpmaster.internal/ubuntu disco/main i386 autotools-dev all 20180224.1 [39.6 kB] Get:91 http://ftpmaster.internal/ubuntu disco-proposed/main i386 automake all 1:1.16.1-4 [522 kB] Get:92 http://ftpmaster.internal/ubuntu disco/main i386 autopoint all 0.19.8.1-9 [412 kB] Get:93 http://ftpmaster.internal/ubuntu disco/universe i386 ocaml-base-nox i386 4.05.0-10ubuntu2 [509 kB] Get:94 http://ftpmaster.internal/ubuntu disco/main i386 libncurses-dev i386 6.1+20180210-4ubuntu1 [360 kB] Get:95 http://ftpmaster.internal/ubuntu disco/main i386 libncurses5-dev i386 6.1+20180210-4ubuntu1 [972 B] Get:96 http://ftpmaster.internal/ubuntu disco/universe i386 ocaml-compiler-libs i386 4.05.0-10ubuntu2 [18.9 MB] Get:97 http://ftpmaster.internal/ubuntu disco/universe i386 ocaml-interp i386 4.05.0-10ubuntu2 [3466 kB] Get:98 http://ftpmaster.internal/ubuntu disco/universe i386 ocaml-nox i386 4.05.0-10ubuntu2 [26.3 MB] Get:99 http://ftpmaster.internal/ubuntu disco/universe i386 camlidl i386 1.05-15build1 [106 kB] Get:100 http://ftpmaster.internal/ubuntu disco/universe i386 libcamlp4-ocaml-dev i386 4.05+1-2 [16.2 MB] Get:101 http://ftpmaster.internal/ubuntu disco/universe i386 camlp4 i386 4.05+1-2 [4101 kB] Get:102 http://ftpmaster.internal/ubuntu disco/universe i386 coq-theories i386 8.6-5build1 [32.2 MB] Get:103 http://ftpmaster.internal/ubuntu disco/main i386 libhunspell-1.6-0 i386 1.6.2-2 [159 kB] Get:104 http://ftpmaster.internal/ubuntu disco/main i386 libenchant1c2a i386 1.6.0-11.1 [68.6 kB] Get:105 http://ftpmaster.internal/ubuntu disco/universe i386 libgtkspell0 i386 2.0.16-1.2 [21.7 kB] Get:106 http://ftpmaster.internal/ubuntu disco-proposed/universe i386 liblablgtk2-ocaml i386 2.18.5+dfsg-2 [750 kB] Get:107 http://ftpmaster.internal/ubuntu disco/universe i386 libgtksourceview2.0-common all 2.10.5-3 [425 kB] Get:108 http://ftpmaster.internal/ubuntu disco/universe i386 libgtksourceview2.0-0 i386 2.10.5-3 [162 kB] Get:109 http://ftpmaster.internal/ubuntu disco/universe i386 liblablgtksourceview2-ocaml i386 2.18.5+dfsg-1build1 [91.1 kB] Get:110 http://ftpmaster.internal/ubuntu disco/universe i386 libcoq-ocaml i386 8.6-5build1 [3394 kB] Get:111 http://ftpmaster.internal/ubuntu disco/universe i386 libfindlib-ocaml i386 1.7.3-2 [156 kB] Get:112 http://ftpmaster.internal/ubuntu disco/universe i386 ocaml-findlib i386 1.7.3-2 [342 kB] Get:113 http://ftpmaster.internal/ubuntu disco/universe i386 coq i386 8.6-5build1 [16.9 MB] Get:114 http://ftpmaster.internal/ubuntu disco-proposed/main i386 libtool all 2.4.6-6 [195 kB] Get:115 http://ftpmaster.internal/ubuntu disco/main i386 dh-autoreconf all 19 [16.1 kB] Get:116 http://ftpmaster.internal/ubuntu disco/main i386 libarchive-zip-perl all 1.64-1 [84.9 kB] Get:117 http://ftpmaster.internal/ubuntu disco/main i386 libfile-stripnondeterminism-perl all 0.45.0-1 [15.1 kB] Get:118 http://ftpmaster.internal/ubuntu disco/main i386 dh-strip-nondeterminism all 0.45.0-1 [5128 B] Get:119 http://ftpmaster.internal/ubuntu disco/main i386 dwz i386 0.12-2 [80.4 kB] Get:120 http://ftpmaster.internal/ubuntu disco/main i386 gettext i386 0.19.8.1-9 [905 kB] Get:121 http://ftpmaster.internal/ubuntu disco/main i386 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:122 http://ftpmaster.internal/ubuntu disco/main i386 po-debconf all 1.0.20 [232 kB] Get:123 http://ftpmaster.internal/ubuntu disco/main i386 debhelper all 11.3.2ubuntu1 [883 kB] Get:124 http://ftpmaster.internal/ubuntu disco/main i386 libgmpxx4ldbl i386 2:6.1.2+dfsg-3 [9360 B] Get:125 http://ftpmaster.internal/ubuntu disco/main i386 libgmp-dev i386 2:6.1.2+dfsg-3 [328 kB] Get:126 http://ftpmaster.internal/ubuntu disco/main i386 libgmp3-dev i386 2:6.1.2+dfsg-3 [1996 B] Get:127 http://ftpmaster.internal/ubuntu disco/universe i386 libocamlgraph-ocaml-dev i386 1.8.6-1build5 [1329 kB] Get:128 http://ftpmaster.internal/ubuntu disco/universe i386 libzarith-ocaml i386 1.7-1 [45.2 kB] Get:129 http://ftpmaster.internal/ubuntu disco/universe i386 libzarith-ocaml-dev i386 1.7-1 [49.6 kB] Get:130 http://ftpmaster.internal/ubuntu disco-proposed/universe i386 why3 i386 1.1.0-1 [14.8 MB] Get:131 http://ftpmaster.internal/ubuntu disco-proposed/universe i386 why3-coq i386 1.1.0-1 [576 kB] Get:132 http://ftpmaster.internal/ubuntu disco/universe i386 dh-ocaml all 1.1.0 [79.6 kB] Get:133 http://ftpmaster.internal/ubuntu disco-proposed/universe i386 frama-c-base i386 20171101+sulfur+dfsg-2 [21.3 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 196 MB in 4s (47.1 MB/s) Selecting previously unselected package libxau6:i386. (Reading database ... 14533 files and directories currently installed.) Preparing to unpack .../000-libxau6_1%3a1.0.8-1_i386.deb ... Unpacking libxau6:i386 (1:1.0.8-1) ... Selecting previously unselected package libbsd0:i386. Preparing to unpack .../001-libbsd0_0.9.1-1_i386.deb ... Unpacking libbsd0:i386 (0.9.1-1) ... Selecting previously unselected package libxdmcp6:i386. Preparing to unpack .../002-libxdmcp6_1%3a1.1.2-3_i386.deb ... Unpacking libxdmcp6:i386 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:i386. Preparing to unpack .../003-libxcb1_1.13.1-1_i386.deb ... Unpacking libxcb1:i386 (1.13.1-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../004-libx11-data_2%3a1.6.7-1_all.deb ... Unpacking libx11-data (2:1.6.7-1) ... Selecting previously unselected package libx11-6:i386. Preparing to unpack .../005-libx11-6_2%3a1.6.7-1_i386.deb ... Unpacking libx11-6:i386 (2:1.6.7-1) ... Selecting previously unselected package libxext6:i386. Preparing to unpack .../006-libxext6_2%3a1.3.3-1_i386.deb ... Unpacking libxext6:i386 (2:1.3.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../007-bsdmainutils_11.1.2ubuntu2_i386.deb ... Unpacking bsdmainutils (11.1.2ubuntu2) ... Selecting previously unselected package groff-base. Preparing to unpack .../008-groff-base_1.22.3-10_i386.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../009-libpipeline1_1.5.0-2_i386.deb ... Unpacking libpipeline1:i386 (1.5.0-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.8.4-3_i386.deb ... Unpacking man-db (2.8.4-3) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../011-libglib2.0-0_2.58.1-2_i386.deb ... Unpacking libglib2.0-0:i386 (2.58.1-2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../012-libatk1.0-data_2.30.0-1_all.deb ... Unpacking libatk1.0-data (2.30.0-1) ... Selecting previously unselected package libatk1.0-0:i386. Preparing to unpack .../013-libatk1.0-0_2.30.0-1_i386.deb ... Unpacking libatk1.0-0:i386 (2.30.0-1) ... Selecting previously unselected package libjpeg-turbo8:i386. Preparing to unpack .../014-libjpeg-turbo8_2.0.0-0ubuntu2_i386.deb ... Unpacking libjpeg-turbo8:i386 (2.0.0-0ubuntu2) ... Selecting previously unselected package libjpeg8:i386. Preparing to unpack .../015-libjpeg8_8c-2ubuntu8_i386.deb ... Unpacking libjpeg8:i386 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:i386. Preparing to unpack .../016-libjbig0_2.1-3.1build1_i386.deb ... Unpacking libjbig0:i386 (2.1-3.1build1) ... Selecting previously unselected package libwebp6:i386. Preparing to unpack .../017-libwebp6_0.6.1-2_i386.deb ... Unpacking libwebp6:i386 (0.6.1-2) ... Selecting previously unselected package libtiff5:i386. Preparing to unpack .../018-libtiff5_4.0.9+git181026-1_i386.deb ... Unpacking libtiff5:i386 (4.0.9+git181026-1) ... Selecting previously unselected package libicu63:i386. Preparing to unpack .../019-libicu63_63.1-4_i386.deb ... Unpacking libicu63:i386 (63.1-4) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../020-libxml2_2.9.4+dfsg1-7ubuntu3_i386.deb ... Unpacking libxml2:i386 (2.9.4+dfsg1-7ubuntu3) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../021-shared-mime-info_1.10-1_i386.deb ... Unpacking shared-mime-info (1.10-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../022-libgdk-pixbuf2.0-common_2.38.0+dfsg-6_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.38.0+dfsg-6) ... Selecting previously unselected package libgdk-pixbuf2.0-0:i386. Preparing to unpack .../023-libgdk-pixbuf2.0-0_2.38.0+dfsg-6_i386.deb ... Unpacking libgdk-pixbuf2.0-0:i386 (2.38.0+dfsg-6) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../024-libgtk2.0-common_2.24.32-3ubuntu1_all.deb ... Unpacking libgtk2.0-common (2.24.32-3ubuntu1) ... Selecting previously unselected package libexpat1:i386. Preparing to unpack .../025-libexpat1_2.2.6-1_i386.deb ... Unpacking libexpat1:i386 (2.2.6-1) ... Selecting previously unselected package libfreetype6:i386. Preparing to unpack .../026-libfreetype6_2.8.1-2ubuntu2_i386.deb ... Unpacking libfreetype6:i386 (2.8.1-2ubuntu2) ... Selecting previously unselected package ucf. Preparing to unpack .../027-ucf_3.0038_all.deb ... Moving old data out of the way Unpacking ucf (3.0038) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../028-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../029-fontconfig-config_2.13.0-5ubuntu3_all.deb ... Unpacking fontconfig-config (2.13.0-5ubuntu3) ... Selecting previously unselected package libfontconfig1:i386. Preparing to unpack .../030-libfontconfig1_2.13.0-5ubuntu3_i386.deb ... Unpacking libfontconfig1:i386 (2.13.0-5ubuntu3) ... Selecting previously unselected package libpixman-1-0:i386. Preparing to unpack .../031-libpixman-1-0_0.34.0-2_i386.deb ... Unpacking libpixman-1-0:i386 (0.34.0-2) ... Selecting previously unselected package libxcb-render0:i386. Preparing to unpack .../032-libxcb-render0_1.13.1-1_i386.deb ... Unpacking libxcb-render0:i386 (1.13.1-1) ... Selecting previously unselected package libxcb-shm0:i386. Preparing to unpack .../033-libxcb-shm0_1.13.1-1_i386.deb ... Unpacking libxcb-shm0:i386 (1.13.1-1) ... Selecting previously unselected package libxrender1:i386. Preparing to unpack .../034-libxrender1_1%3a0.9.10-1_i386.deb ... Unpacking libxrender1:i386 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:i386. Preparing to unpack .../035-libcairo2_1.16.0-1_i386.deb ... Unpacking libcairo2:i386 (1.16.0-1) ... Selecting previously unselected package libavahi-common-data:i386. Preparing to unpack .../036-libavahi-common-data_0.7-4ubuntu3_i386.deb ... Unpacking libavahi-common-data:i386 (0.7-4ubuntu3) ... Selecting previously unselected package libavahi-common3:i386. Preparing to unpack .../037-libavahi-common3_0.7-4ubuntu3_i386.deb ... Unpacking libavahi-common3:i386 (0.7-4ubuntu3) ... Selecting previously unselected package libdbus-1-3:i386. Preparing to unpack .../038-libdbus-1-3_1.12.10-1ubuntu2_i386.deb ... Unpacking libdbus-1-3:i386 (1.12.10-1ubuntu2) ... Selecting previously unselected package libavahi-client3:i386. Preparing to unpack .../039-libavahi-client3_0.7-4ubuntu3_i386.deb ... Unpacking libavahi-client3:i386 (0.7-4ubuntu3) ... Selecting previously unselected package libkrb5support0:i386. Preparing to unpack .../040-libkrb5support0_1.16-2ubuntu1_i386.deb ... Unpacking libkrb5support0:i386 (1.16-2ubuntu1) ... Selecting previously unselected package libk5crypto3:i386. Preparing to unpack .../041-libk5crypto3_1.16-2ubuntu1_i386.deb ... Unpacking libk5crypto3:i386 (1.16-2ubuntu1) ... Selecting previously unselected package libkeyutils1:i386. Preparing to unpack .../042-libkeyutils1_1.5.9-9.3_i386.deb ... Unpacking libkeyutils1:i386 (1.5.9-9.3) ... Selecting previously unselected package libkrb5-3:i386. Preparing to unpack .../043-libkrb5-3_1.16-2ubuntu1_i386.deb ... Unpacking libkrb5-3:i386 (1.16-2ubuntu1) ... Selecting previously unselected package libgssapi-krb5-2:i386. Preparing to unpack .../044-libgssapi-krb5-2_1.16-2ubuntu1_i386.deb ... Unpacking libgssapi-krb5-2:i386 (1.16-2ubuntu1) ... Selecting previously unselected package libcups2:i386. Preparing to unpack .../045-libcups2_2.2.8-5ubuntu1_i386.deb ... Unpacking libcups2:i386 (2.2.8-5ubuntu1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../046-fontconfig_2.13.0-5ubuntu3_i386.deb ... Unpacking fontconfig (2.13.0-5ubuntu3) ... Selecting previously unselected package libfribidi0:i386. Preparing to unpack .../047-libfribidi0_1.0.5-3_i386.deb ... Unpacking libfribidi0:i386 (1.0.5-3) ... Selecting previously unselected package libthai-data. Preparing to unpack .../048-libthai-data_0.1.28-1_all.deb ... Unpacking libthai-data (0.1.28-1) ... Selecting previously unselected package libdatrie1:i386. Preparing to unpack .../049-libdatrie1_0.2.12-1_i386.deb ... Unpacking libdatrie1:i386 (0.2.12-1) ... Selecting previously unselected package libthai0:i386. Preparing to unpack .../050-libthai0_0.1.28-1_i386.deb ... Unpacking libthai0:i386 (0.1.28-1) ... Selecting previously unselected package libpango-1.0-0:i386. Preparing to unpack .../051-libpango-1.0-0_1.42.4-3_i386.deb ... Unpacking libpango-1.0-0:i386 (1.42.4-3) ... Selecting previously unselected package libgraphite2-3:i386. Preparing to unpack .../052-libgraphite2-3_1.3.12-1_i386.deb ... Unpacking libgraphite2-3:i386 (1.3.12-1) ... Selecting previously unselected package libharfbuzz0b:i386. Preparing to unpack .../053-libharfbuzz0b_2.1.1-1build1_i386.deb ... Unpacking libharfbuzz0b:i386 (2.1.1-1build1) ... Selecting previously unselected package libpangoft2-1.0-0:i386. Preparing to unpack .../054-libpangoft2-1.0-0_1.42.4-3_i386.deb ... Unpacking libpangoft2-1.0-0:i386 (1.42.4-3) ... Selecting previously unselected package libpangocairo-1.0-0:i386. Preparing to unpack .../055-libpangocairo-1.0-0_1.42.4-3_i386.deb ... Unpacking libpangocairo-1.0-0:i386 (1.42.4-3) ... Selecting previously unselected package libxcomposite1:i386. Preparing to unpack .../056-libxcomposite1_1%3a0.4.4-2_i386.deb ... Unpacking libxcomposite1:i386 (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:i386. Preparing to unpack .../057-libxfixes3_1%3a5.0.3-1_i386.deb ... Unpacking libxfixes3:i386 (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:i386. Preparing to unpack .../058-libxcursor1_1%3a1.1.15-2_i386.deb ... Unpacking libxcursor1:i386 (1:1.1.15-2) ... Selecting previously unselected package libxdamage1:i386. Preparing to unpack .../059-libxdamage1_1%3a1.1.4-3_i386.deb ... Unpacking libxdamage1:i386 (1:1.1.4-3) ... Selecting previously unselected package libxi6:i386. Preparing to unpack .../060-libxi6_2%3a1.7.9-1_i386.deb ... Unpacking libxi6:i386 (2:1.7.9-1) ... Selecting previously unselected package libxinerama1:i386. Preparing to unpack .../061-libxinerama1_2%3a1.1.4-1_i386.deb ... Unpacking libxinerama1:i386 (2:1.1.4-1) ... Selecting previously unselected package libxrandr2:i386. Preparing to unpack .../062-libxrandr2_2%3a1.5.1-1_i386.deb ... Unpacking libxrandr2:i386 (2:1.5.1-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../063-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../064-gtk-update-icon-cache_3.24.1-1ubuntu2_i386.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.24.1-1ubuntu2) ... Selecting previously unselected package libcroco3:i386. Preparing to unpack .../065-libcroco3_0.6.12-2_i386.deb ... Unpacking libcroco3:i386 (0.6.12-2) ... Selecting previously unselected package librsvg2-2:i386. Preparing to unpack .../066-librsvg2-2_2.44.8-3_i386.deb ... Unpacking librsvg2-2:i386 (2.44.8-3) ... Selecting previously unselected package librsvg2-common:i386. Preparing to unpack .../067-librsvg2-common_2.44.8-3_i386.deb ... Unpacking librsvg2-common:i386 (2.44.8-3) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../068-humanity-icon-theme_0.6.15_all.deb ... Unpacking humanity-icon-theme (0.6.15) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../069-ubuntu-mono_16.10+18.10.20181005-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+18.10.20181005-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../070-adwaita-icon-theme_3.30.0-0ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.30.0-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:i386. Preparing to unpack .../071-libgtk2.0-0_2.24.32-3ubuntu1_i386.deb ... Unpacking libgtk2.0-0:i386 (2.24.32-3ubuntu1) ... Selecting previously unselected package libglade2-0:i386. Preparing to unpack .../072-libglade2-0_1%3a2.6.4-2_i386.deb ... Unpacking libglade2-0:i386 (1:2.6.4-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../073-tex-common_6.10_all.deb ... Unpacking tex-common (6.10) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../074-libmagic-mgc_1%3a5.34-2_i386.deb ... Unpacking libmagic-mgc (1:5.34-2) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../075-libmagic1_1%3a5.34-2_i386.deb ... Unpacking libmagic1:i386 (1:5.34-2) ... Selecting previously unselected package file. Preparing to unpack .../076-file_1%3a5.34-2_i386.deb ... Unpacking file (1:5.34-2) ... Selecting previously unselected package libelf1:i386. Preparing to unpack .../077-libelf1_0.170-0.5.0ubuntu1_i386.deb ... Unpacking libelf1:i386 (0.170-0.5.0ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../078-libtext-iconv-perl_1.7-5build7_i386.deb ... Unpacking libtext-iconv-perl (1.7-5build7) ... Selecting previously unselected package gettext-base. Preparing to unpack .../079-gettext-base_0.19.8.1-9_i386.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libaspell15:i386. Preparing to unpack .../080-libaspell15_0.60.7~20110707-5_i386.deb ... Unpacking libaspell15:i386 (0.60.7~20110707-5) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../081-emacsen-common_3.0.4_all.deb ... Unpacking emacsen-common (3.0.4) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../082-dictionaries-common_1.28.0_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.28.0) ... Selecting previously unselected package aspell. Preparing to unpack .../083-aspell_0.60.7~20110707-5_i386.deb ... Unpacking aspell (0.60.7~20110707-5) ... Selecting previously unselected package aspell-en. Preparing to unpack .../084-aspell-en_2018.04.16-0-1_all.deb ... Unpacking aspell-en (2018.04.16-0-1) ... Selecting previously unselected package libsigsegv2:i386. Preparing to unpack .../085-libsigsegv2_2.12-2_i386.deb ... Unpacking libsigsegv2:i386 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../086-m4_1.4.18-1ubuntu1_i386.deb ... Unpacking m4 (1.4.18-1ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../087-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../088-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../089-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../090-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../091-ocaml-base-nox_4.05.0-10ubuntu2_i386.deb ... Unpacking ocaml-base-nox (4.05.0-10ubuntu2) ... Selecting previously unselected package libncurses-dev:i386. Preparing to unpack .../092-libncurses-dev_6.1+20180210-4ubuntu1_i386.deb ... Unpacking libncurses-dev:i386 (6.1+20180210-4ubuntu1) ... Selecting previously unselected package libncurses5-dev:i386. Preparing to unpack .../093-libncurses5-dev_6.1+20180210-4ubuntu1_i386.deb ... Unpacking libncurses5-dev:i386 (6.1+20180210-4ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../094-ocaml-compiler-libs_4.05.0-10ubuntu2_i386.deb ... Unpacking ocaml-compiler-libs (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../095-ocaml-interp_4.05.0-10ubuntu2_i386.deb ... Unpacking ocaml-interp (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../096-ocaml-nox_4.05.0-10ubuntu2_i386.deb ... Unpacking ocaml-nox (4.05.0-10ubuntu2) ... Selecting previously unselected package camlidl. Preparing to unpack .../097-camlidl_1.05-15build1_i386.deb ... Unpacking camlidl (1.05-15build1) ... Selecting previously unselected package libcamlp4-ocaml-dev. Preparing to unpack .../098-libcamlp4-ocaml-dev_4.05+1-2_i386.deb ... Unpacking libcamlp4-ocaml-dev (4.05+1-2) ... Selecting previously unselected package camlp4. Preparing to unpack .../099-camlp4_4.05+1-2_i386.deb ... Unpacking camlp4 (4.05+1-2) ... Selecting previously unselected package coq-theories. Preparing to unpack .../100-coq-theories_8.6-5build1_i386.deb ... Unpacking coq-theories (8.6-5build1) ... Selecting previously unselected package libhunspell-1.6-0:i386. Preparing to unpack .../101-libhunspell-1.6-0_1.6.2-2_i386.deb ... Unpacking libhunspell-1.6-0:i386 (1.6.2-2) ... Selecting previously unselected package libenchant1c2a:i386. Preparing to unpack .../102-libenchant1c2a_1.6.0-11.1_i386.deb ... Unpacking libenchant1c2a:i386 (1.6.0-11.1) ... Selecting previously unselected package libgtkspell0:i386. Preparing to unpack .../103-libgtkspell0_2.0.16-1.2_i386.deb ... Unpacking libgtkspell0:i386 (2.0.16-1.2) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../104-liblablgtk2-ocaml_2.18.5+dfsg-2_i386.deb ... Unpacking liblablgtk2-ocaml (2.18.5+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../105-libgtksourceview2.0-common_2.10.5-3_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-3) ... Selecting previously unselected package libgtksourceview2.0-0:i386. Preparing to unpack .../106-libgtksourceview2.0-0_2.10.5-3_i386.deb ... Unpacking libgtksourceview2.0-0:i386 (2.10.5-3) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../107-liblablgtksourceview2-ocaml_2.18.5+dfsg-1build1_i386.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.5+dfsg-1build1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../108-libcoq-ocaml_8.6-5build1_i386.deb ... Unpacking libcoq-ocaml (8.6-5build1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../109-libfindlib-ocaml_1.7.3-2_i386.deb ... Unpacking libfindlib-ocaml (1.7.3-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../110-ocaml-findlib_1.7.3-2_i386.deb ... Unpacking ocaml-findlib (1.7.3-2) ... Selecting previously unselected package coq. Preparing to unpack .../111-coq_8.6-5build1_i386.deb ... Unpacking coq (8.6-5build1) ... Selecting previously unselected package libtool. Preparing to unpack .../112-libtool_2.4.6-6_all.deb ... Unpacking libtool (2.4.6-6) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../113-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../114-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../115-libfile-stripnondeterminism-perl_0.45.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.45.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../116-dh-strip-nondeterminism_0.45.0-1_all.deb ... Unpacking dh-strip-nondeterminism (0.45.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../117-dwz_0.12-2_i386.deb ... Unpacking dwz (0.12-2) ... Selecting previously unselected package gettext. Preparing to unpack .../118-gettext_0.19.8.1-9_i386.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../119-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../120-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../121-debhelper_11.3.2ubuntu1_all.deb ... Unpacking debhelper (11.3.2ubuntu1) ... Selecting previously unselected package libgmpxx4ldbl:i386. Preparing to unpack .../122-libgmpxx4ldbl_2%3a6.1.2+dfsg-3_i386.deb ... Unpacking libgmpxx4ldbl:i386 (2:6.1.2+dfsg-3) ... Selecting previously unselected package libgmp-dev:i386. Preparing to unpack .../123-libgmp-dev_2%3a6.1.2+dfsg-3_i386.deb ... Unpacking libgmp-dev:i386 (2:6.1.2+dfsg-3) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../124-libgmp3-dev_2%3a6.1.2+dfsg-3_i386.deb ... Unpacking libgmp3-dev (2:6.1.2+dfsg-3) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../125-libocamlgraph-ocaml-dev_1.8.6-1build5_i386.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.6-1build5) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../126-libzarith-ocaml_1.7-1_i386.deb ... Unpacking libzarith-ocaml (1.7-1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../127-libzarith-ocaml-dev_1.7-1_i386.deb ... Unpacking libzarith-ocaml-dev (1.7-1) ... Selecting previously unselected package why3. Preparing to unpack .../128-why3_1.1.0-1_i386.deb ... Unpacking why3 (1.1.0-1) ... Selecting previously unselected package why3-coq. Preparing to unpack .../129-why3-coq_1.1.0-1_i386.deb ... Unpacking why3-coq (1.1.0-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../130-dh-ocaml_1.1.0_all.deb ... Unpacking dh-ocaml (1.1.0) ... Selecting previously unselected package frama-c-base. Preparing to unpack .../131-frama-c-base_20171101+sulfur+dfsg-2_i386.deb ... Unpacking frama-c-base (20171101+sulfur+dfsg-2) ... Selecting previously unselected package sbuild-build-depends-why-dummy. Preparing to unpack .../132-sbuild-build-depends-why-dummy_0.invalid.0_i386.deb ... Unpacking sbuild-build-depends-why-dummy (0.invalid.0) ... Setting up libexpat1:i386 (2.2.6-1) ... Setting up libgtk2.0-common (2.24.32-3ubuntu1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libicu63:i386 (63.1-4) ... Setting up libhunspell-1.6-0:i386 (1.6.2-2) ... Setting up libjbig0:i386 (2.1-3.1build1) ... Setting up libsigsegv2:i386 (2.12-2) ... Setting up libaspell15:i386 (0.60.7~20110707-5) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libelf1:i386 (0.170-0.5.0ubuntu1) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:i386 (2.58.1-2) ... No schema files found: doing nothing. Setting up emacsen-common (3.0.4) ... Setting up ocaml-base-nox (4.05.0-10ubuntu2) ... Setting up dh-ocaml (1.1.0) ... Setting up libgdk-pixbuf2.0-common (2.38.0+dfsg-6) ... Setting up libdatrie1:i386 (0.2.12-1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up libjpeg-turbo8:i386 (2.0.0-0ubuntu2) ... Setting up libpipeline1:i386 (1.5.0-2) ... Setting up m4 (1.4.18-1ubuntu1) ... Setting up libbsd0:i386 (0.9.1-1) ... Setting up libkrb5support0:i386 (1.16-2ubuntu1) ... Setting up ucf (3.0038) ... Setting up libxml2:i386 (2.9.4+dfsg1-7ubuntu3) ... Setting up libfreetype6:i386 (2.8.1-2ubuntu2) ... Setting up libmagic-mgc (1:5.34-2) ... Setting up libmagic1:i386 (1:5.34-2) ... Setting up libgraphite2-3:i386 (1.3.12-1) ... Setting up libcroco3:i386 (0.6.12-2) ... Setting up libatk1.0-data (2.30.0-1) ... Setting up libpixman-1-0:i386 (0.34.0-2) ... Setting up libgtksourceview2.0-common (2.10.5-3) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Setting up dwz (0.12-2) ... Setting up autotools-dev (20180224.1) ... Setting up libatk1.0-0:i386 (2.30.0-1) ... Setting up libtext-iconv-perl (1.7-5build7) ... Setting up libfribidi0:i386 (1.0.5-3) ... Setting up shared-mime-info (1.10-1) ... Setting up libzarith-ocaml (1.7-1) ... Setting up libthai-data (0.1.28-1) ... Setting up libxdmcp6:i386 (1:1.1.2-3) ... Setting up libkeyutils1:i386 (1.5.9-9.3) ... Setting up bsdmainutils (11.1.2ubuntu2) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libgmpxx4ldbl:i386 (2:6.1.2+dfsg-3) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libncurses-dev:i386 (6.1+20180210-4ubuntu1) ... Setting up libfindlib-ocaml (1.7.3-2) ... Setting up ocaml-findlib (1.7.3-2) ... Setting up libx11-data (2:1.6.7-1) ... Setting up libxau6:i386 (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-9) ... Setting up libdbus-1-3:i386 (1.12.10-1ubuntu2) ... Setting up libavahi-common-data:i386 (0.7-4ubuntu3) ... Setting up libwebp6:i386 (0.6.1-2) ... Setting up libfile-stripnondeterminism-perl (0.45.0-1) ... Setting up libjpeg8:i386 (8c-2ubuntu8) ... Setting up libgmp-dev:i386 (2:6.1.2+dfsg-3) ... Setting up libk5crypto3:i386 (1.16-2ubuntu1) ... Setting up fontconfig-config (2.13.0-5ubuntu3) ... Setting up tex-common (6.10) ... update-language: texlive-base not installed and configured, doing nothing! Setting up gettext (0.19.8.1-9) ... Setting up dictionaries-common (1.28.0) ... Setting up why3 (1.1.0-1) ... Setting up libharfbuzz0b:i386 (2.1.1-1build1) ... Setting up libtiff5:i386 (4.0.9+git181026-1) ... Setting up autoconf (2.69-11) ... Setting up libthai0:i386 (0.1.28-1) ... Setting up file (1:5.34-2) ... Setting up libncurses5-dev:i386 (6.1+20180210-4ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.8.4-3) ... Not building database; man-db/auto-update is not 'true'. Setting up libkrb5-3:i386 (1.16-2ubuntu1) ... Setting up libavahi-common3:i386 (0.7-4ubuntu3) ... Setting up aspell (0.60.7~20110707-5) ... Setting up libxcb1:i386 (1.13.1-1) ... Setting up libgmp3-dev (2:6.1.2+dfsg-3) ... Setting up libtool (2.4.6-6) ... Setting up libfontconfig1:i386 (2.13.0-5ubuntu3) ... Setting up libxcb-render0:i386 (1.13.1-1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:i386 (2:1.6.7-1) ... Setting up libgssapi-krb5-2:i386 (1.16-2ubuntu1) ... Setting up aspell-en (2018.04.16-0-1) ... Setting up libxcomposite1:i386 (1:0.4.4-2) ... Setting up libxcb-shm0:i386 (1.13.1-1) ... Setting up libxrender1:i386 (1:0.9.10-1) ... Setting up libavahi-client3:i386 (0.7-4ubuntu3) ... Setting up fontconfig (2.13.0-5ubuntu3) ... Regenerating fonts cache... done. Setting up libcups2:i386 (2.2.8-5ubuntu1) ... Setting up libenchant1c2a:i386 (1.6.0-11.1) ... Setting up libxdamage1:i386 (1:1.1.4-3) ... Setting up libxext6:i386 (2:1.3.3-1) ... Setting up libxfixes3:i386 (1:5.0.3-1) ... Setting up libgdk-pixbuf2.0-0:i386 (2.38.0+dfsg-6) ... Setting up gtk-update-icon-cache (3.24.1-1ubuntu2) ... Setting up libxcursor1:i386 (1:1.1.15-2) ... Setting up libpango-1.0-0:i386 (1.42.4-3) ... Setting up libxrandr2:i386 (2:1.5.1-1) ... Setting up libxi6:i386 (2:1.7.9-1) ... Setting up libcairo2:i386 (1.16.0-1) ... Setting up libxinerama1:i386 (2:1.1.4-1) ... Setting up libpangoft2-1.0-0:i386 (1.42.4-3) ... Setting up libpangocairo-1.0-0:i386 (1.42.4-3) ... Setting up librsvg2-2:i386 (2.44.8-3) ... Setting up librsvg2-common:i386 (2.44.8-3) ... Setting up coq-theories (8.6-5build1) ... Setting up adwaita-icon-theme (3.30.0-0ubuntu1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up ocaml-compiler-libs (4.05.0-10ubuntu2) ... Setting up libgtk2.0-0:i386 (2.24.32-3ubuntu1) ... Setting up dh-autoreconf (19) ... Setting up libgtksourceview2.0-0:i386 (2.10.5-3) ... Setting up humanity-icon-theme (0.6.15) ... Setting up ocaml-interp (4.05.0-10ubuntu2) ... Setting up libgtkspell0:i386 (2.0.16-1.2) ... Setting up libglade2-0:i386 (1:2.6.4-2) ... Setting up dh-strip-nondeterminism (0.45.0-1) ... Setting up debhelper (11.3.2ubuntu1) ... Setting up liblablgtk2-ocaml (2.18.5+dfsg-2) ... Setting up ocaml-nox (4.05.0-10ubuntu2) ... Setting up ubuntu-mono (16.10+18.10.20181005-0ubuntu1) ... Setting up libocamlgraph-ocaml-dev (1.8.6-1build5) ... Setting up liblablgtksourceview2-ocaml (2.18.5+dfsg-1build1) ... Setting up frama-c-base (20171101+sulfur+dfsg-2) ... Setting up libzarith-ocaml-dev (1.7-1) ... Setting up libcamlp4-ocaml-dev (4.05+1-2) ... Setting up camlidl (1.05-15build1) ... Setting up camlp4 (4.05+1-2) ... Setting up libcoq-ocaml (8.6-5build1) ... Setting up coq (8.6-5build1) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Setting up why3-coq (1.1.0-1) ... Setting up sbuild-build-depends-why-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Processing triggers for dictionaries-common (1.28.0) ... aspell-autobuildhash: processing: en [en-common]. aspell-autobuildhash: processing: en [en-variant_0]. aspell-autobuildhash: processing: en [en-variant_1]. aspell-autobuildhash: processing: en [en-variant_2]. aspell-autobuildhash: processing: en [en-w_accents-only]. aspell-autobuildhash: processing: en [en-wo_accents-only]. aspell-autobuildhash: processing: en [en_AU-variant_0]. aspell-autobuildhash: processing: en [en_AU-variant_1]. aspell-autobuildhash: processing: en [en_AU-w_accents-only]. aspell-autobuildhash: processing: en [en_AU-wo_accents-only]. aspell-autobuildhash: processing: en [en_CA-variant_0]. aspell-autobuildhash: processing: en [en_CA-variant_1]. aspell-autobuildhash: processing: en [en_CA-w_accents-only]. aspell-autobuildhash: processing: en [en_CA-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-variant_0]. aspell-autobuildhash: processing: en [en_GB-variant_1]. aspell-autobuildhash: processing: en [en_US-w_accents-only]. aspell-autobuildhash: processing: en [en_US-wo_accents-only]. Processing triggers for libgdk-pixbuf2.0-0:i386 (2.38.0+dfsg-6) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-139-generic amd64 (i686) Toolchain package versions: binutils_2.31.1-7ubuntu1 dpkg-dev_1.19.0.5ubuntu5 g++-8_8.2.0-9ubuntu1 gcc-8_8.2.0-9ubuntu1 libc6-dev_2.28-0ubuntu1 libstdc++-8-dev_8.2.0-9ubuntu1 libstdc++6_8.2.0-9ubuntu1 linux-libc-dev_4.18.0-11.12 Package versions: adduser_3.117ubuntu1 advancecomp_2.1-1 adwaita-icon-theme_3.30.0-0ubuntu1 apt_1.8.0~alpha2ubuntu1 aspell_0.60.7~20110707-5 aspell-en_2018.04.16-0-1 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.1ubuntu8 base-passwd_3.5.45 bash_4.4.18-2ubuntu3 binutils_2.31.1-7ubuntu1 binutils-common_2.31.1-7ubuntu1 binutils-i686-linux-gnu_2.31.1-7ubuntu1 bsdmainutils_11.1.2ubuntu2 bsdutils_1:2.32-0.1ubuntu2 build-essential_12.5ubuntu2 bzip2_1.0.6-9 ca-certificates_20180409 camlidl_1.05-15build1 camlp4_4.05+1-2 coq_8.6-5build1 coq-theories_8.6-5build1 coreutils_8.28-1ubuntu2 cpp_4:8.2.0-2ubuntu2 cpp-8_8.2.0-9ubuntu1 dash_0.5.10.2-1 debconf_1.5.69 debhelper_11.3.2ubuntu1 debianutils_4.8.6 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_0.45.0-1 dictionaries-common_1.28.0 diffutils_1:3.6-1 dmsetup_2:1.02.145-4.1ubuntu4 dpkg_1.19.0.5ubuntu5 dpkg-dev_1.19.0.5ubuntu5 dwz_0.12-2 e2fslibs_1.44.4-2 e2fsprogs_1.44.4-2 emacsen-common_3.0.4 fakeroot_1.23-1 fdisk_2.32-0.1ubuntu2 file_1:5.34-2 findutils_4.6.0+git+20181018-1 fontconfig_2.13.0-5ubuntu3 fontconfig-config_2.13.0-5ubuntu3 fonts-dejavu-core_2.37-1 frama-c-base_20171101+sulfur+dfsg-2 g++_4:8.2.0-2ubuntu2 g++-8_8.2.0-9ubuntu1 gcc_4:8.2.0-2ubuntu2 gcc-8_8.2.0-9ubuntu1 gcc-8-base_8.2.0-9ubuntu1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gpg_2.2.8-3ubuntu1 gpg-agent_2.2.8-3ubuntu1 gpgconf_2.2.8-3ubuntu1 gpgv_2.2.8-3ubuntu1 grep_3.1-2ubuntu1 groff-base_1.22.3-10 gtk-update-icon-cache_3.24.1-1ubuntu2 gzip_1.6-5ubuntu2 hicolor-icon-theme_0.17-2 hostname_3.21 humanity-icon-theme_0.6.15 init_1.55 init-system-helpers_1.55 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.12-4ubuntu10 libapt-pkg5.0_1.8.0~alpha2ubuntu1 libarchive-zip-perl_1.64-1 libargon2-1_0~20171227-0.1 libasan5_8.2.0-9ubuntu1 libaspell15_0.60.7~20110707-5 libassuan0_2.5.1-2 libatk1.0-0_2.30.0-1 libatk1.0-data_2.30.0-1 libatomic1_8.2.0-9ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.3-1ubuntu3 libaudit1_1:2.8.3-1ubuntu3 libavahi-client3_0.7-4ubuntu3 libavahi-common-data_0.7-4ubuntu3 libavahi-common3_0.7-4ubuntu3 libbinutils_2.31.1-7ubuntu1 libblkid1_2.32-0.1ubuntu2 libbsd0_0.9.1-1 libbz2-1.0_1.0.6-9 libc-bin_2.28-0ubuntu1 libc-dev-bin_2.28-0ubuntu1 libc6_2.28-0ubuntu1 libc6-dev_2.28-0ubuntu1 libcairo2_1.16.0-1 libcamlp4-ocaml-dev_4.05+1-2 libcap-ng0_0.7.9-1build1 libcap2_1:2.25-1.2 libcc1-0_8.2.0-9ubuntu1 libcom-err2_1.44.4-2 libcomerr2_1.44.4-2 libcoq-ocaml_8.6-5build1 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.4-2ubuntu2 libcups2_2.2.8-5ubuntu1 libdatrie1_0.2.12-1 libdb5.3_5.3.28+dfsg1-0.2 libdbus-1-3_1.12.10-1ubuntu2 libdebconfclient0_0.244ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu4 libdpkg-perl_1.19.0.5ubuntu5 libelf1_0.170-0.5.0ubuntu1 libenchant1c2a_1.6.0-11.1 libexpat1_2.2.6-1 libext2fs2_1.44.4-2 libfakeroot_1.23-1 libfdisk1_2.32-0.1ubuntu2 libffi6_3.2.1-8 libfile-stripnondeterminism-perl_0.45.0-1 libfindlib-ocaml_1.7.3-2 libfontconfig1_2.13.0-5ubuntu3 libfreetype6_2.8.1-2ubuntu2 libfribidi0_1.0.5-3 libgcc-8-dev_8.2.0-9ubuntu1 libgcc1_1:8.2.0-9ubuntu1 libgcrypt20_1.8.4-3ubuntu1 libgdbm-compat4_1.18.1-1 libgdbm5_1.14.1-6 libgdbm6_1.18.1-1 libgdk-pixbuf2.0-0_2.38.0+dfsg-6 libgdk-pixbuf2.0-common_2.38.0+dfsg-6 libglade2-0_1:2.6.4-2 libglib2.0-0_2.58.1-2 libgmp-dev_2:6.1.2+dfsg-3 libgmp10_2:6.1.2+dfsg-3 libgmp3-dev_2:6.1.2+dfsg-3 libgmpxx4ldbl_2:6.1.2+dfsg-3 libgnutls30_3.6.4-2ubuntu2 libgomp1_8.2.0-9ubuntu1 libgpg-error0_1.32-3 libgraphite2-3_1.3.12-1 libgssapi-krb5-2_1.16-2ubuntu1 libgtk2.0-0_2.24.32-3ubuntu1 libgtk2.0-common_2.24.32-3ubuntu1 libgtksourceview2.0-0_2.10.5-3 libgtksourceview2.0-common_2.10.5-3 libgtkspell0_2.0.16-1.2 libharfbuzz0b_2.1.1-1build1 libhogweed4_3.4-1 libhunspell-1.6-0_1.6.2-2 libicu63_63.1-4 libidn11_1.33-2.2ubuntu1 libidn2-0_2.0.5-1 libip4tc0_1.6.1-2ubuntu2 libisl19_0.20-2 libitm1_8.2.0-9ubuntu1 libjbig0_2.1-3.1build1 libjpeg-turbo8_2.0.0-0ubuntu2 libjpeg8_8c-2ubuntu8 libjson-c3_0.12.1-1.3 libk5crypto3_1.16-2ubuntu1 libkeyutils1_1.5.9-9.3 libkmod2_25-1ubuntu2 libkrb5-3_1.16-2ubuntu1 libkrb5support0_1.16-2ubuntu1 liblablgtk2-ocaml_2.18.5+dfsg-2 liblablgtksourceview2-ocaml_2.18.5+dfsg-1build1 liblockfile-bin_1.14-1.1 liblockfile1_1.14-1.1 liblz4-1_1.8.2-1ubuntu1 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.34-2 libmagic1_1:5.34-2 libmount1_2.32-0.1ubuntu2 libmpc3_1.1.0-1 libmpfr6_4.0.1-1 libmpx2_8.2.0-9ubuntu1 libncurses-dev_6.1+20180210-4ubuntu1 libncurses5-dev_6.1+20180210-4ubuntu1 libncurses6_6.1+20180210-4ubuntu1 libncursesw6_6.1+20180210-4ubuntu1 libnettle6_3.4-1 libnpth0_1.6-1 libocamlgraph-ocaml-dev_1.8.6-1build5 libp11-kit0_0.23.14-2 libpam-modules_1.1.8-3.6ubuntu2 libpam-modules-bin_1.1.8-3.6ubuntu2 libpam-runtime_1.1.8-3.6ubuntu2 libpam0g_1.1.8-3.6ubuntu2 libpango-1.0-0_1.42.4-3 libpangocairo-1.0-0_1.42.4-3 libpangoft2-1.0-0_1.42.4-3 libpcre3_2:8.39-11 libperl5.26_5.26.2-7 libperl5.28_5.28.0-3 libpipeline1_1.5.0-2 libpixman-1-0_0.34.0-2 libpng16-16_1.6.34-2 libprocps7_2:3.3.15-2ubuntu1 libquadmath0_8.2.0-9ubuntu1 libreadline7_7.0-5 librsvg2-2_2.44.8-3 librsvg2-common_2.44.8-3 libseccomp2_2.3.3-3ubuntu2 libselinux1_2.8-1build2 libsemanage-common_2.8-1build2 libsemanage1_2.8-1build2 libsepol1_2.8-1 libsigsegv2_2.12-2 libslang2_2.3.2-1ubuntu1 libsmartcols1_2.32-0.1ubuntu2 libsqlite3-0_3.25.3-1 libss2_1.44.4-2 libssl1.1_1.1.1-1ubuntu2 libstdc++-8-dev_8.2.0-9ubuntu1 libstdc++6_8.2.0-9ubuntu1 libsystemd0_239-7ubuntu10.3 libtasn1-6_4.13-3 libtext-iconv-perl_1.7-5build7 libthai-data_0.1.28-1 libthai0_0.1.28-1 libtiff5_4.0.9+git181026-1 libtinfo6_6.1+20180210-4ubuntu1 libtool_2.4.6-6 libubsan1_8.2.0-9ubuntu1 libudev1_239-7ubuntu10.3 libunistring2_0.9.10-1ubuntu1 libusb-0.1-4_2:0.1.12-32 libuuid1_2.32-0.1ubuntu2 libwebp6_0.6.1-2 libx11-6_2:1.6.7-1 libx11-data_2:1.6.7-1 libxau6_1:1.0.8-1 libxcb-render0_1.13.1-1 libxcb-shm0_1.13.1-1 libxcb1_1.13.1-1 libxcomposite1_1:0.4.4-2 libxcursor1_1:1.1.15-2 libxdamage1_1:1.1.4-3 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1 libxfixes3_1:5.0.3-1 libxi6_2:1.7.9-1 libxinerama1_2:1.1.4-1 libxml2_2.9.4+dfsg1-7ubuntu3 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libzarith-ocaml_1.7-1 libzarith-ocaml-dev_1.7-1 libzstd1_1.3.5+dfsg-1ubuntu1 linux-libc-dev_4.18.0-11.12 lockfile-progs_0.1.18 login_1:4.5-1ubuntu1 lsb-base_9.20170808ubuntu1 m4_1.4.18-1ubuntu1 make_4.2.1-1.2 man-db_2.8.4-3 mawk_1.3.3-17ubuntu3 mount_2.32-0.1ubuntu2 multiarch-support_2.28-0ubuntu1 ncurses-base_6.1+20180210-4ubuntu1 ncurses-bin_6.1+20180210-4ubuntu1 ocaml-base-nox_4.05.0-10ubuntu2 ocaml-compiler-libs_4.05.0-10ubuntu2 ocaml-findlib_1.7.3-2 ocaml-interp_4.05.0-10ubuntu2 ocaml-nox_4.05.0-10ubuntu2 openssl_1.1.1-1ubuntu2 optipng_0.7.6-1.1 passwd_1:4.5-1ubuntu1 patch_2.7.6-3 perl_5.28.0-3 perl-base_5.28.0-3 perl-modules-5.26_5.26.2-7 perl-modules-5.28_5.28.0-3 pinentry-curses_1.1.0-1build2 pkgbinarymangler_143 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.15-2ubuntu1 readline-common_7.0-5 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-why-dummy_0.invalid.0 sed_4.5-2 sensible-utils_0.0.12 shared-mime-info_1.10-1 systemd_239-7ubuntu10.3 systemd-sysv_239-7ubuntu10.3 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu2 tar_1.30+dfsg-2 tex-common_6.10 tzdata_2018g-1 ubuntu-keyring_2018.09.18.1 ubuntu-mono_16.10+18.10.20181005-0ubuntu1 ucf_3.0038 util-linux_2.32-0.1ubuntu2 why3_1.1.0-1 why3-coq_1.1.0-1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Thu Nov 15 04:48:27 2018 UTC gpgv: using RSA key AC483F68DE728F43F2202FCA568D30F321B2133D gpgv: issuer "steve.langasek@ubuntu.com" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./why_2.40-3build1.dsc dpkg-source: info: extracting why in why-2.40 dpkg-source: info: unpacking why_2.40.orig.tar.gz dpkg-source: info: unpacking why_2.40-3build1.debian.tar.xz dpkg-source: info: applying bprintf dpkg-source: info: applying edge dpkg-source: info: applying reproducible_build Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-15663822 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-15663822 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-15663822 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package why dpkg-buildpackage: info: source version 2.40-3build1 dpkg-buildpackage: info: source distribution disco dpkg-source --before-build why-2.40 dpkg-buildpackage: info: host architecture i386 fakeroot debian/rules clean dh clean --with ocaml --no-parallel debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' [ ! -f Makefile ] || sed -e 's/include .depend.*//g' Makefile > Makefile.debian [ ! -f Makefile.debian ] || /usr/bin/make -f Makefile.debian clean rm -f -f lib/coq/*.glob make[1]: Leaving directory '/<>' dh_ocamlclean -O--no-parallel rm -f ocamlinit-stamp dh_clean -O--no-parallel rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f -- debian/why.substvars debian/libwhy-coq.substvars debian/files rm -fr -- debian/why/ debian/tmp/ debian/libwhy-coq/ find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) debian/rules build-arch dh build-arch --with ocaml --no-parallel dh_update_autotools_config -a -O--no-parallel dh_autoreconf -a -O--no-parallel find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + -o -type l -printf "symlink %p " > debian/autoreconf.before grep -q ^XDT_ configure.in autoreconf -f -i aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + -o -type l -printf "symlink %p " > debian/autoreconf.after dh_ocamlinit -a -O--no-parallel touch ocamlinit-stamp debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' ./configure \ --host=i686-linux-gnu \ --build=i686-linux-gnu \ --prefix=/usr \ --libdir=/usr/share \ --mandir=\${prefix}/share/man \ --infodir=\${prefix}/share/info \ LDFLAGS="-Wl,-z,defs" checking for ocamlc... ocamlc ocaml version is 4.05.0 ocaml library path is /usr/lib/ocaml checking for ocamlfind... yes checking OS dependent settings... Unix 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 ocamldep.opt... ocamldep.opt checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... ocamldoc.opt ocamlfind found ocamlgraph in /usr/lib/ocaml/ocamlgraph checking for ocamlweb... true checking for frama-c... /usr/bin/frama-c checking Frama-c version... Sulfur-20171101 checking for why3... /usr/bin/why3 checking Why3 version... 1.1.0 configure: WARNING: unknown version 1.1.0, hope this works checking for coqc... /usr/bin/coqc checking for coqdep... coqdep checking Coq version... 8.6 checking Coq realizations for Why3... yes checking for pvs... no configure: WARNING: Cannot find PVS. configure: creating ./config.status config.status: creating Makefile Summary ----------------------------------------- OCaml version : 4.05.0 OCaml library path : /usr/lib/ocaml OcamlGraph lib : found by ocamlfind Verbose make : no Inference of annotations : no Why3 support : yes Binary : /usr/bin/why3 Version : 1.1.0 unknown version 1.1.0, hope this works Frama-C plugin : yes Binary : /usr/bin/frama-c Version : Sulfur-20171101 Coq support (via Why3) : yes Binary : /usr/bin/coqc Version : v8.1 (8.6) Libraries : /usr/lib/coq PVS support (via Why3) : no command 'pvs' not found Other provers support : (via Why3) make[1]: Leaving directory '/<>' debian/rules override_dh_auto_build make[1]: Entering directory '/<>' mkdir -p bin dh_auto_build make -j1 make[2]: Entering directory '/<>' ocamllex.opt src/rc.mll 39 states, 1677 transitions, table size 6942 bytes 1933 additional bytes used for bindings ocamllex.opt src/xml.mll 51 states, 1824 transitions, table size 7602 bytes 2541 additional bytes used for bindings ocamllex.opt jc/numconst.mll 71 states, 764 transitions, table size 3482 bytes rm -f jc/jc_stdlib.ml case 4.05.0 in \ 3.0*|3.10*|3.11*) cp jc/jc_stdlib_lt312.ml jc/jc_stdlib.ml ;; \ 3.12*) cp jc/jc_stdlib_ge312.ml jc/jc_stdlib.ml ;; \ 4.0*) cp jc/jc_stdlib_ge400.ml jc/jc_stdlib.ml ;; \ esac chmod -w jc/jc_stdlib.ml ocamllex.opt jc/jc_lexer.mll 526 states, 32030 transitions, table size 131276 bytes 16374 additional bytes used for bindings ocamlyacc -v jc/jc_parser.mly 1 shift/reduce conflict. if test "no" = "yes" ; then \ echo "# 1 \"jc/jc_annot_inference.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_inference.ml >> jc/jc_ai.ml; \ else \ echo "# 1 \"jc/jc_annot_fail.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_fail.ml >> jc/jc_ai.ml; \ fi ocamlyacc -v java/java_parser.mly ocamllex.opt java/java_lexer.mll 168 states, 1957 transitions, table size 8836 bytes 4503 additional bytes used for bindings ocamllex.opt mix/mix_lexer.mll 65 states, 434 transitions, table size 2126 bytes ocamlyacc -v mix/mix_parser.mly printf "[main]\n" > lib/why3/why3.conf printf "loadpath=\"/usr/share/why/why3\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[prover_modifiers]\n" >> lib/why3/why3.conf printf "name=\"Coq\"\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "driver=\"/usr/share/why/why3/coq.drv\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers coqide]\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers proofgeneral-coq]\n" >> lib/why3/why3.conf printf "option=\"--eval \\\\\"(setq coq-load-path (cons '(\\\\\\\\\\\\\"/usr/share/why/coq\\\\\\\\\\\\\" \\\\\\\\\\\\\"Why\\\\\\\\\\\\\") coq-load-path))\\\\\"\"\n" >> lib/why3/why3.conf rm -f .depend ocamldep.opt -slash -I src -I jc -I java -I mix -I tools src/*.ml src/*.mli jc/*.mli jc/*.ml java/*.mli java/*.ml mix/*.mli mix/*.ml > .depend make -C frama-c-plugin depend make[3]: Entering directory '/<>/frama-c-plugin' LC_ALL=C sed -e "s/@PLUGIN_NAME@/Jessie/g" /usr/share/frama-c/Makefile.plugin.template > .Makefile.plugin.generated touch Jessie.check_mli_exists mkdir -p ./top rm -f top/Jessie.mli cp ./Jessie.mli top/Jessie.mli rm -f ./.depend ocamlfind ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend true ./.depend rm -f ./.depend ocamlfind ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend true ./.depend make[3]: Leaving directory '/<>/frama-c-plugin' BINDIR=/usr/bin LIBDIR=/usr/share COQVER=v8.1 ./version.sh Ocamlopt src/version.ml Ocamlc src/lib.mli Ocamlopt src/lib.ml Ocamlc src/rc.mli Ocamlopt src/rc.ml Ocamlc src/loc.mli Ocamlopt src/loc.ml Ocamlc src/ident.mli Ocamlopt src/ident.ml Ocamlc src/logic.mli Ocamlopt src/print_real.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlc src/effect.mli Ocamlopt src/effect.ml Ocamlc src/pp.mli Ocamlopt src/pp.ml Ocamlc src/option_misc.mli Ocamlopt src/option_misc.ml Ocamlc src/error.mli Ocamlc src/report.mli Ocamlopt src/report.ml Ocamlc src/types.mli Ocamlc src/cc.mli Ocamlc src/ptree.mli Ocamlc src/ast.mli Ocamlc src/env.mli Ocamlc src/logic_decl.mli Ocamlc src/explain.mli Ocamlopt src/explain.ml Ocamlc src/xml.mli Ocamlopt src/xml.ml Ocamlc src/project.mli Ocamlopt src/project.ml Ocamlc src/why3_kw.mli Ocamlopt src/why3_kw.ml Ocamlc jc/jc_env.mli Ocamlc jc/output.mli Ocamlopt jc/output.ml Ocamlc jc/jc_common_options.mli Ocamlopt jc/jc_common_options.ml Ocamlopt jc/jc_stdlib.ml Ocamlc jc/jc_stdlib.ml Ocamlc jc/jc_envset.mli Ocamlopt jc/jc_envset.ml Ocamlopt jc/jc_region.ml Ocamlc jc/jc_ast.mli Ocamlopt jc/jc_fenv.ml Ocamlc jc/jc_region.ml Ocamlc jc/jc_fenv.ml Ocamlc jc/jc_constructors.mli Ocamlopt jc/jc_constructors.ml Ocamlc jc/jc_pervasives.mli Ocamlopt jc/jc_pervasives.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlc jc/jc_iterators.mli Ocamlopt jc/jc_iterators.ml Ocamlc jc/jc_type_var.mli Ocamlopt jc/jc_type_var.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlopt jc/jc_output_misc.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlopt jc/jc_poutput.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlopt jc/jc_output.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlopt jc/jc_noutput.ml Ocamlc jc/jc_options.mli Ocamlopt jc/jc_options.ml Ocamlopt jc/jc_name.ml Ocamlc jc/jc_struct_tools.mli Ocamlopt jc/jc_struct_tools.ml Ocamlc jc/jc_norm.mli Ocamlopt jc/jc_norm.ml Ocamlc jc/jc_typing.mli Ocamlopt jc/jc_typing.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlc jc/numconst.mli Ocamlopt jc/numconst.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlc jc/jc_parser.mli Ocamlopt jc/jc_parser.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlc jc/jc_lexer.mli Ocamlopt jc/jc_lexer.ml Ocamlopt jc/jc_separation.ml Ocamlc jc/jc_callgraph.mli Ocamlopt jc/jc_callgraph.ml Ocamlopt jc/jc_effect.ml Ocamlc jc/jc_ai.mli Ocamlopt jc/jc_ai.ml Ocamlc jc/jc_interp_misc.mli Ocamlopt jc/jc_interp_misc.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlopt jc/jc_invariants.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlopt jc/jc_pattern.ml Ocamlopt jc/jc_frame_notin.ml Ocamlc jc/jc_interp.mli Ocamlopt jc/jc_interp.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlc jc/jc_frame.mli Ocamlopt jc/jc_frame.ml Ocamlopt jc/jc_make.ml Ocamlopt jc/jc_main.ml Linking bin/jessie.opt strip bin/jessie.opt Ocamlc java/java_env.mli Ocamlopt java/java_options.ml Ocamlc java/java_ast.mli Ocamlc java/java_tast.mli Ocamlopt java/java_pervasives.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlopt java/java_abstract.ml Ocamlc java/java_parser.mli Ocamlopt java/java_parser.ml Ocamlopt java/java_lexer.ml Ocamlopt java/java_syntax.ml Ocamlc java/java_typing.mli Ocamlopt java/java_typing.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlc java/java_callgraph.mli Ocamlopt java/java_callgraph.ml Ocamlopt java/java_analysis.ml Ocamlopt java/java_interp.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque Ocamlopt java/java_main.ml Linking bin/krakatoa.opt strip bin/krakatoa.opt ocamlopt.opt -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib/ocaml/ocamlgraph -thread -o regtest.opt unix.cmxa str.cmxa threads.cmxa tools/regtest.ml /usr/bin/coqc -R /usr/lib/i386-linux-gnu/why3/coq Why3 -R lib/coq Why lib/coq/Jessie_memory_model.v Ocamlc src/lib.ml Ocamlc src/rc.ml Ocamlc src/loc.ml Ocamlc src/ident.ml Ocamlc src/print_real.ml Ocamlc src/effect.ml Ocamlc src/pp.ml Ocamlc src/option_misc.ml Ocamlc src/report.ml Ocamlc src/explain.ml Ocamlc src/xml.ml Ocamlc src/project.ml Ocamlc src/why3_kw.ml Ocamlc jc/output.ml Ocamlc jc/jc_common_options.ml Ocamlc jc/jc_envset.ml Ocamlc jc/jc_constructors.ml Ocamlc jc/jc_pervasives.ml Ocamlc jc/jc_iterators.ml Ocamlc jc/jc_type_var.ml Ocamlc jc/jc_output_misc.ml Ocamlc jc/jc_poutput.ml Ocamlc jc/jc_output.ml Ocamlc jc/jc_noutput.ml ocamlc.opt -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib/ocaml/ocamlgraph -pack -o jc/jc.cmo src/ast.cmi src/lib.cmo src/rc.cmo src/loc.cmo src/ident.cmo src/print_real.cmo src/effect.cmo src/pp.cmo src/option_misc.cmo src/report.cmo src/explain.cmo src/xml.cmo src/project.cmo src/why3_kw.cmo jc/output.cmo jc/jc_common_options.cmo jc/jc_stdlib.cmo jc/jc_envset.cmo jc/jc_region.cmo jc/jc_fenv.cmo jc/jc_constructors.cmo jc/jc_pervasives.cmo jc/jc_iterators.cmo jc/jc_type_var.cmo jc/jc_output_misc.cmo jc/jc_poutput.cmo jc/jc_output.cmo jc/jc_noutput.cmo ocamlopt.opt -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib/ocaml/ocamlgraph -pack -o jc/jc.cmx src/ast.cmi src/lib.cmx src/rc.cmx src/loc.cmx src/ident.cmx src/print_real.cmx src/effect.cmx src/pp.cmx src/option_misc.cmx src/report.cmx src/explain.cmx src/xml.cmx src/project.cmx src/why3_kw.cmx jc/output.cmx jc/jc_common_options.cmx jc/jc_stdlib.cmx jc/jc_envset.cmx jc/jc_region.cmx jc/jc_fenv.cmx jc/jc_constructors.cmx jc/jc_pervasives.cmx jc/jc_iterators.cmx jc/jc_type_var.cmx jc/jc_output_misc.cmx jc/jc_poutput.cmx jc/jc_output.cmx jc/jc_noutput.cmx make -C frama-c-plugin depend make[3]: Entering directory '/<>/frama-c-plugin' rm -f ./.depend ocamlfind ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend true ./.depend make[3]: Leaving directory '/<>/frama-c-plugin' make -C frama-c-plugin make[3]: Entering directory '/<>/frama-c-plugin' rm -f META.frama-c-jessie echo "description = \""Frama-C Jessie plug-in"\"" >> META.frama-c-jessie echo "version = \"Sulfur-20171101\"" >> META.frama-c-jessie echo "requires = \" \"" >> META.frama-c-jessie echo "archive(byte) = \"top/Jessie.cma\"" >> META.frama-c-jessie echo "archive(native) = \"top/Jessie.cmxa\"" >> META.frama-c-jessie echo "plugin(native) = \"top/Jessie.cmxs\"" >> META.frama-c-jessie echo "plugin(byte) = \"top/Jessie.cma\"" >> META.frama-c-jessie echo "directory = \"\"" >> META.frama-c-jessie ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc jessie_config.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc jessie_options.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc jessie_options.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc jessie_integer.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc common.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc common.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc rewrite.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc norm.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc norm.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc retype.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc interp.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc interp.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc register.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -opaque Jessie.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c mkdir -p ./top rm -f top/Jessie.cmi cp Jessie.cmi top/Jessie.cmi ocamlfind ocamlc -o top/Jessie.cmo -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -pack \ \ ./jessie_config.cmo ./jessie_options.cmo ./jessie_integer.cmo ./common.cmo ./rewrite.cmo ./norm.cmo ./retype.cmo ./interp.cmo ./register.cmo findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -o top/Jessie.cma -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc \ \ -a ./../jc/jc.cmo top/Jessie.cmo findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c touch jessie_config.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie jessie_config.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie jessie_options.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c touch jessie_integer.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie jessie_integer.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie common.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c touch rewrite.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie rewrite.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie norm.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c touch retype.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie retype.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie interp.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c File "_none_", line 1: Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque touch register.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie register.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -o top/Jessie.cmx -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -pack \ \ ./jessie_config.cmx ./jessie_options.cmx ./jessie_integer.cmx ./common.cmx ./rewrite.cmx ./norm.cmx ./retype.cmx ./interp.cmx ./register.cmx findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -o top/Jessie.cmxs -shared \ -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc \ ./../jc/jc.cmx \ top/Jessie.cmx findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c make[3]: Leaving directory '/<>/frama-c-plugin' make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml --no-parallel dh_testroot -a -O--no-parallel dh_prep -a -O--no-parallel rm -f -- debian/why.substvars rm -fr -- debian/.debhelper/generated/why/ debian/why/ debian/tmp/ dh_installdirs -a -O--no-parallel install -d debian/why/usr/share/why rm -f debian/why.debhelper.log debian/rules override_dh_auto_install make[1]: Entering directory '/<>' mkdir -p /<>/debian/why/usr/lib/frama-c/plugins /usr/bin/make prefix=/<>/debian/why/usr install \ LIBDIR=/<>/debian/why/usr/share \ PLUGIN_INSTALL_DIR=/<>/debian/why/usr/lib/frama-c/plugins \ COQLIB=/<>/debian/libwhy-coq//usr/lib/coq make[2]: Entering directory '/<>' mkdir -p /<>/debian/why/usr/bin cp -f bin/jessie.opt /<>/debian/why/usr/bin/jessie cp -f bin/krakatoa.opt /<>/debian/why/usr/bin/krakatoa rm -rf /<>/debian/why/usr/share/why mkdir -p /<>/debian/why/usr/share/why/why3 cp -f lib/why3/why3.conf lib/why3/coq.drv lib/why3/jessie_why3theories.why lib/why3/jessie_why3.mlw /<>/debian/why/usr/share/why/why3 cd lib; cp -rf java_api /<>/debian/why/usr/share/why cd lib; cp -rf javacard_api /<>/debian/why/usr/share/why if test -w /<>/debian/libwhy-coq//usr/lib/coq ; then \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why*.v* ; \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/caduceus*.v* /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Caduceus*.v* ; \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/jessie*.v* /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Jessie*.v* ; \ if test -n "lib/coq/Jessie_memory_model.vo" ; then \ mkdir -p /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ cp -f lib/coq/Jessie_memory_model.vo /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ fi \ else \ echo "Cannot copy to Coq standard library. Add \"-R /<>/debian/why/usr/share/why/coq Why\" to Coq options." ;\ fi Cannot copy to Coq standard library. Add "-R /<>/debian/why/usr/share/why/coq Why" to Coq options. mkdir -p /<>/debian/why/usr/share/why/coq cp -f lib/coq/Jessie_memory_model.vo /<>/debian/why/usr/share/why/coq /usr/bin/make -C frama-c-plugin install make[3]: Entering directory '/<>/frama-c-plugin' mkdir -p /<>/debian/why/usr/lib/frama-c/plugins/top cp ./META.frama-c-jessie ./Jessie.cmi /<>/debian/why/usr/lib/frama-c/plugins cp ./top/Jessie.cmo ./top/Jessie.cmx ./top/Jessie.cma ./top/Jessie.cmxs /<>/debian/why/usr/lib/frama-c/plugins/top if [ -f frama-c-Jessie.byte ]; then \ cp frama-c-Jessie.byte "/<>/debian/why/usr/bin"; \ fi if [ -f frama-c-Jessie.opt ]; then \ cp frama-c-Jessie.opt \ "/<>/debian/why/usr/bin"/frama-c-Jessie; \ fi make[3]: Leaving directory '/<>/frama-c-plugin' make[2]: Leaving directory '/<>' #Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq rm -f -rf /<>/debian/why/usr/share/coq/ #There is no program using the Jessie library. rm -f -rf /<>/debian/why/usr/share/jessie/ #Jessie.cma is installed, no need for this extra file rm -f -f /<>/debian/why/usr/lib/frama-c/plugins/Jessie.cmo echo 'F:CoqABI=8.6+4.05.0' >> debian/libwhy-coq.substvars echo 'F:FramaCVersion=20171101+sulfur+dfsg-2' >> debian/why.substvars make[1]: Leaving directory '/<>' dh_install -a -O--no-parallel cp --reflink=auto -a ./frama-c-plugin/top/Jessie.o debian/why/usr/lib/frama-c/plugins/top/ install -d debian/.debhelper/generated/why install -d debian/.debhelper/generated/libwhy-coq dh_ocamldoc -a -O--no-parallel dh_installdocs -a -O--no-parallel install -d debian/why/usr/share/doc/why cp --reflink=auto -a ./README debian/why/usr/share/doc/why chown -R 0:0 debian/why/usr/share/doc chmod -R u\+rw,go=rX debian/why/usr/share/doc install -p -m0644 debian/copyright debian/why/usr/share/doc/why/copyright dh_installchangelogs -a -O--no-parallel install -p -m0644 debian/changelog debian/why/usr/share/doc/why/changelog.Debian install -p -m0644 debian/why.NEWS debian/why/usr/share/doc/why/NEWS.Debian dh_installman -a -O--no-parallel install -d debian/why/usr/share/man/man1/ install -p -m0644 ./debian/jessie.1 debian/why/usr/share/man/man1/jessie.1 install -p -m0644 ./debian/krakatoa.1 debian/why/usr/share/man/man1/krakatoa.1 man -l --recode UTF-8 ./debian/why/usr/share/man/man1/krakatoa.1 > debian/why/usr/share/man/man1/krakatoa.1.dh-new man -l --recode UTF-8 ./debian/why/usr/share/man/man1/jessie.1 > debian/why/usr/share/man/man1/jessie.1.dh-new mv debian/why/usr/share/man/man1/jessie.1.dh-new debian/why/usr/share/man/man1/jessie.1 chmod 0644 -- debian/why/usr/share/man/man1/jessie.1 mv debian/why/usr/share/man/man1/krakatoa.1.dh-new debian/why/usr/share/man/man1/krakatoa.1 chmod 0644 -- debian/why/usr/share/man/man1/krakatoa.1 dh_perl -a -O--no-parallel dh_link -a -O--no-parallel dh_strip_nondeterminism -a -O--no-parallel debian/rules override_dh_compress make[1]: Entering directory '/<>' dh_compress -X.v -X.sx -X.why cd debian/why chmod a-x usr/share/doc/why/NEWS.Debian usr/share/doc/why/changelog.Debian usr/share/man/man1/jessie.1 usr/share/man/man1/krakatoa.1 gzip -9nf usr/share/doc/why/NEWS.Debian usr/share/doc/why/changelog.Debian usr/share/man/man1/jessie.1 usr/share/man/man1/krakatoa.1 cd '/<>' make[1]: Leaving directory '/<>' dh_fixperms -a -O--no-parallel find debian/why -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/why ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/why/usr/share/doc -type f -a -true -a ! -regex 'debian/why/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/why/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x find debian/why/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w dh_missing -a -O--no-parallel dh_strip -a -O--no-parallel install -d debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/34 objcopy --only-keep-debug --compress-debug-sections debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/34/1c16e308b3d386270073cc3625ba4cdf97633b.debug chmod 0644 -- debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/34/1c16e308b3d386270073cc3625ba4cdf97633b.debug chown 0:0 -- debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/34/1c16e308b3d386270073cc3625ba4cdf97633b.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs objcopy --add-gnu-debuglink debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/34/1c16e308b3d386270073cc3625ba4cdf97633b.debug debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/krakatoa strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/jessie install -d debian/.debhelper/why/dbgsym-root/usr/share/doc ln -s why debian/.debhelper/why/dbgsym-root/usr/share/doc/why-dbgsym dh_makeshlibs -a -O--no-parallel rm -f debian/why/DEBIAN/shlibs dh_shlibdeps -a -O--no-parallel install -d debian/why/DEBIAN dpkg-shlibdeps -Tdebian/why.substvars debian/why/usr/bin/krakatoa debian/why/usr/bin/jessie debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs dh_installdeb -a -O--no-parallel dh_ocaml -a -O--no-parallel +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ cat debian/why.olist.debhelper debian/why/usr/lib/frama-c/plugins/Jessie.cmi debian/why/usr/lib/frama-c/plugins/top/Jessie.cma debian/why/usr/lib/frama-c/plugins/top/Jessie.cmo debian/why/usr/lib/frama-c/plugins/top/Jessie.cmx debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs +++ Compute .md5sums and lintian files for dev packages +++ +++ Compute dependencies for dev +++ +++ Compute dependencies for binary packages+++ grep -a -s -v '^ocaml:Depends=' debian/why.substvars > debian/why.substvars.new || true mv debian/why.substvars.new debian/why.substvars /usr/bin/ocaml-md5sums -v --package why dep < debian/why.olist.debhelper Processing debian/why/usr/lib/frama-c/plugins/Jessie.cmi Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/Jessie.cmi Processing debian/why/usr/lib/frama-c/plugins/top/Jessie.cma Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/top/Jessie.cma Processing debian/why/usr/lib/frama-c/plugins/top/Jessie.cmo Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/top/Jessie.cmo Processing debian/why/usr/lib/frama-c/plugins/top/Jessie.cmx Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/top/Jessie.cmx Processing debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs why depends on libocamlgraph-ocaml-dev v1.8.6-1build5 through Graph why depends on libzarith-ocaml-dev/libzarith-ocaml v1.7-1 through Z why depends on ocaml-nox/ocaml-base-nox v4.05.0-10ubuntu2 through Set W: why doesn't resolve dependency on unit Integer W: why doesn't resolve dependency on unit Datatype W: why doesn't resolve dependency on unit Cil W: why doesn't resolve dependency on unit Ival W: why doesn't resolve dependency on unit Logic_utils W: why doesn't resolve dependency on unit Value_types W: why doesn't resolve dependency on unit Jc_env W: why doesn't resolve dependency on unit Escape W: why doesn't resolve dependency on unit Logic_utils W: why doesn't resolve dependency on unit Cc W: why doesn't resolve dependency on unit Cil_datatype W: why doesn't resolve dependency on unit Precise_locs W: why doesn't resolve dependency on unit Ast W: why doesn't resolve dependency on unit Type W: why doesn't resolve dependency on unit Offsetmap_sig W: why doesn't resolve dependency on unit Origin W: why doesn't resolve dependency on unit Project W: why doesn't resolve dependency on unit Emitter W: why doesn't resolve dependency on unit Parameter_state W: why doesn't resolve dependency on unit Printer W: why doesn't resolve dependency on unit Unmarshal W: why doesn't resolve dependency on unit Kernel_function W: why doesn't resolve dependency on unit Int_Base W: why doesn't resolve dependency on unit Utf8_logic W: why doesn't resolve dependency on unit Cil_const W: why doesn't resolve dependency on unit State_builder W: why doesn't resolve dependency on unit Parameter_state W: why doesn't resolve dependency on unit Parameter_category W: why doesn't resolve dependency on unit Cabs W: why doesn't resolve dependency on unit Parameter_sig W: why doesn't resolve dependency on unit Int_Intervals_sig W: why doesn't resolve dependency on unit Log W: why doesn't resolve dependency on unit Project W: why doesn't resolve dependency on unit Dynamic W: why doesn't resolve dependency on unit Logic_ptree W: why doesn't resolve dependency on unit State_dependency_graph W: why doesn't resolve dependency on unit State W: why doesn't resolve dependency on unit Bottom W: why doesn't resolve dependency on unit Offsetmap_bitwise_sig W: why doesn't resolve dependency on unit Cil W: why doesn't resolve dependency on unit Descr W: why doesn't resolve dependency on unit Dynamic W: why doesn't resolve dependency on unit State_dependency_graph W: why doesn't resolve dependency on unit File W: why doesn't resolve dependency on unit Datatype W: why doesn't resolve dependency on unit Db W: why doesn't resolve dependency on unit Ast_info W: why doesn't resolve dependency on unit Cvalue W: why doesn't resolve dependency on unit Logic_const W: why doesn't resolve dependency on unit Typed_parameter W: why doesn't resolve dependency on unit Config W: why doesn't resolve dependency on unit Pretty_utils W: why doesn't resolve dependency on unit Jc_ast W: why doesn't resolve dependency on unit Inout_type W: why doesn't resolve dependency on unit Kernel_function W: why doesn't resolve dependency on unit Logic W: why doesn't resolve dependency on unit Config W: why doesn't resolve dependency on unit Structural_descr W: why doesn't resolve dependency on unit Logic_typing W: why doesn't resolve dependency on unit Lmap_sig W: why doesn't resolve dependency on unit Hook W: why doesn't resolve dependency on unit Integer W: why doesn't resolve dependency on unit PdgIndex W: why doesn't resolve dependency on unit Cil_types W: why doesn't resolve dependency on unit Globals W: why doesn't resolve dependency on unit Cabs2cil W: why doesn't resolve dependency on unit Ast_info W: why doesn't resolve dependency on unit Printer W: why doesn't resolve dependency on unit Extlib W: why doesn't resolve dependency on unit Cil_const W: why doesn't resolve dependency on unit Db W: why doesn't resolve dependency on unit Lattice_type W: why doesn't resolve dependency on unit Ptree W: why doesn't resolve dependency on unit FCHashtbl W: why doesn't resolve dependency on unit FCSet W: why doesn't resolve dependency on unit Project_skeleton W: why doesn't resolve dependency on unit CilE W: why doesn't resolve dependency on unit Annotations W: why doesn't resolve dependency on unit Int_Intervals W: why doesn't resolve dependency on unit Globals W: why doesn't resolve dependency on unit Loc W: why doesn't resolve dependency on unit Base W: why doesn't resolve dependency on unit Ast W: why doesn't resolve dependency on unit Lmap_bitwise W: why doesn't resolve dependency on unit Locations W: why doesn't resolve dependency on unit Hptset W: why doesn't resolve dependency on unit Abstract_interp W: why doesn't resolve dependency on unit Cabs2cil W: why doesn't resolve dependency on unit Extlib W: why doesn't resolve dependency on unit Function_Froms W: why doesn't resolve dependency on unit Env W: why doesn't resolve dependency on unit Utf8_logic W: why doesn't resolve dependency on unit Logic_decl W: why doesn't resolve dependency on unit PdgTypes W: why doesn't resolve dependency on unit File W: why doesn't resolve dependency on unit Property W: why doesn't resolve dependency on unit Property_status W: why doesn't resolve dependency on unit Kernel W: why doesn't resolve dependency on unit Kernel W: why doesn't resolve dependency on unit Cil_datatype W: why doesn't resolve dependency on unit Plugin W: why doesn't resolve dependency on unit Visitor W: why doesn't resolve dependency on unit Offsetmap W: why doesn't resolve dependency on unit Cmdline W: why doesn't resolve dependency on unit Cmdline W: why doesn't resolve dependency on unit Logic_env W: why doesn't resolve dependency on unit Logic_env W: why doesn't resolve dependency on unit Hptmap_sig W: why doesn't resolve dependency on unit FCMap W: why doesn't resolve dependency on unit Property W: why doesn't resolve dependency on unit State_builder W: why doesn't resolve dependency on unit Visitor W: why doesn't resolve dependency on unit Property_status W: why doesn't resolve dependency on unit Log W: why doesn't resolve dependency on unit Logic_const W: why doesn't resolve dependency on unit Hptmap W: why doesn't resolve dependency on unit Types W: why doesn't resolve dependency on unit Printer_api W: why doesn't resolve dependency on unit State_selection W: why doesn't resolve dependency on unit Annotations W: why doesn't resolve dependency on unit Offsetmap_lattice_with_isotropy W: why doesn't resolve dependency on unit Error W: why doesn't resolve dependency on unit Plugin W: why doesn't resolve dependency on unit Emitter W: why doesn't resolve dependency on unit Fval (grep -a -s -v ocaml:Depends debian/why.substvars; echo ocaml:Depends=libzarith-ocaml-rntd0) > debian/why.substvars.new mv debian/why.substvars.new debian/why.substvars (grep -a -s -v ocaml:Depends debian/why.substvars; echo "ocaml:Depends=libzarith-ocaml-rntd0, ocaml-base-nox-4.05.0") > debian/why.substvars.new mv debian/why.substvars.new debian/why.substvars dh_gencontrol -a -O--no-parallel echo misc:Depends= >> debian/why.substvars echo misc:Pre-Depends= >> debian/why.substvars install -d debian/.debhelper/why/dbgsym-root/DEBIAN dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/.debhelper/why/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=why-dbgsym "-DDepends=why (= \${binary:Version})" "-DDescription=debug symbols for why" -DBuild-Ids=341c16e308b3d386270073cc3625ba4cdf97633b -DSection=debug -DPackage-Type=ddeb -UMulti-Arch -UReplaces -UBreaks chmod 0644 -- debian/.debhelper/why/dbgsym-root/DEBIAN/control chown 0:0 -- debian/.debhelper/why/dbgsym-root/DEBIAN/control dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/why -UMulti-Arch chmod 0644 -- debian/why/DEBIAN/control chown 0:0 -- debian/why/DEBIAN/control dh_md5sums -a -O--no-parallel (cd debian/why >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/why/DEBIAN/md5sums chown 0:0 -- debian/why/DEBIAN/md5sums (cd debian/.debhelper/why/dbgsym-root >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/.debhelper/why/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/why/dbgsym-root/DEBIAN/md5sums dh_builddeb -a -O--no-parallel dpkg-deb --build debian/why .. install -d debian/.debhelper/scratch-space/build-why dpkg-deb --build debian/.debhelper/why/dbgsym-root debian/.debhelper/scratch-space/build-why INFO: pkgstriptranslations version 143 INFO: pkgstriptranslations version 143 pkgstriptranslations: processing why (in debian/why); do_strip: , oemstrip: pkgstriptranslations: processing why-dbgsym (in debian/.debhelper/why/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/why/DEBIAN/control, package why, directory debian/why pkgstripfiles: processing control file: debian/.debhelper/why/dbgsym-root/DEBIAN/control, package why-dbgsym, directory debian/.debhelper/why/dbgsym-root dpkg-deb: building package 'why-dbgsym' in 'debian/.debhelper/scratch-space/build-why/why-dbgsym_2.40-3build1_i386.deb'. pkgstripfiles: Truncating usr/share/doc/why/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package why ... pkgstripfiles: No PNG files. dpkg-deb: building package 'why' in '../why_2.40-3build1_i386.deb'. Renaming why-dbgsym_2.40-3build1_i386.deb to why-dbgsym_2.40-3build1_i386.ddeb mv debian/.debhelper/scratch-space/build-why/why-dbgsym_2.40-3build1_i386.deb ../why-dbgsym_2.40-3build1_i386.ddeb dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../why_2.40-3build1_i386.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build why-2.40 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20181115-0451 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ why_2.40-3build1_i386.changes: ------------------------------ Format: 1.8 Date: Wed, 14 Nov 2018 20:48:16 -0800 Source: why Binary: why libwhy-coq Architecture: i386 Version: 2.40-3build1 Distribution: disco-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Steve Langasek Description: libwhy-coq - Why library for Coq why - Software verification tool for C and Java Changes: why (2.40-3build1) disco; urgency=medium . * No-change rebuild against new frama-c-base Checksums-Sha1: 9a7fc52d7f2dc0cdf3f3e8124be2b9777c2cdce1 99716 why-dbgsym_2.40-3build1_i386.ddeb ff1a9455b42fad6324915f866ba0d272f92aa467 8336 why_2.40-3build1_i386.buildinfo 8a7c2a13e6f187eb7e318781805afa1e8be82419 3152400 why_2.40-3build1_i386.deb Checksums-Sha256: eba185b59e4ac8781548e1da5c5051380c50a16cdd8d75bf0da8c35939e02670 99716 why-dbgsym_2.40-3build1_i386.ddeb 7a892a4e9f253cecbbb848f207a73958c0fdbcfa31854c7bd5b8bf01ccb0d70b 8336 why_2.40-3build1_i386.buildinfo f1a9071e86abc479c9eb1f4aaa9d1148a38e25cca1fe6bfa69ad03b2a60de224 3152400 why_2.40-3build1_i386.deb Files: 2feabcecab05919b98e2a6b3071d62c0 99716 debug optional why-dbgsym_2.40-3build1_i386.ddeb 974aa30d6b82493a28b1310deebf709c 8336 math optional why_2.40-3build1_i386.buildinfo 334193ff42c8bdb74c03c554ef0c01fb 3152400 math optional why_2.40-3build1_i386.deb Original-Maintainer: Debian OCaml Maintainers +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ why_2.40-3build1_i386.deb ------------------------- new debian package, version 2.0. size 3152400 bytes: control archive=3792 bytes. 824 bytes, 17 lines control 9493 bytes, 111 lines md5sums Package: why Version: 2.40-3build1 Architecture: i386 Maintainer: Ubuntu Developers Installed-Size: 18830 Depends: libc6 (>= 2.28), libgmp10, libzarith-ocaml-rntd0, ocaml-base-nox-4.05.0, frama-c-base (= 20171101+sulfur+dfsg-2), why3, make Suggests: libwhy-coq (= 2.40-3build1) Section: math Priority: optional Homepage: http://krakatoa.lri.fr/ Description: Software verification tool for C and Java This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL). Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2018-11-15 04:48 ./ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/bin/ -rwxr-xr-x root/root 4154184 2018-11-15 04:48 ./usr/bin/jessie -rwxr-xr-x root/root 3116488 2018-11-15 04:48 ./usr/bin/krakatoa drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/lib/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/lib/frama-c/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/lib/frama-c/plugins/ -rw-r--r-- root/root 188 2018-11-15 04:48 ./usr/lib/frama-c/plugins/Jessie.cmi -rw-r--r-- root/root 233 2018-11-15 04:48 ./usr/lib/frama-c/plugins/META.frama-c-jessie drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/lib/frama-c/plugins/top/ -rw-r--r-- root/root 4952795 2018-11-15 04:48 ./usr/lib/frama-c/plugins/top/Jessie.cma -rw-r--r-- root/root 3115097 2018-11-15 04:48 ./usr/lib/frama-c/plugins/top/Jessie.cmo -rw-r--r-- root/root 5048 2018-11-15 04:48 ./usr/lib/frama-c/plugins/top/Jessie.cmx -rw-r--r-- root/root 1699688 2018-11-15 04:48 ./usr/lib/frama-c/plugins/top/Jessie.cmxs -rw-r--r-- root/root 840672 2018-11-15 04:48 ./usr/lib/frama-c/plugins/top/Jessie.o drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/doc/why/ -rw-r--r-- root/root 222 2018-05-13 08:55 ./usr/share/doc/why/NEWS.Debian.gz -rw-r--r-- root/root 215 2018-01-23 10:07 ./usr/share/doc/why/README -rw-r--r-- root/root 1316 2018-11-15 04:48 ./usr/share/doc/why/changelog.Debian.gz -rw-r--r-- root/root 4038 2018-05-13 08:55 ./usr/share/doc/why/copyright drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/man/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/man/man1/ -rw-r--r-- root/root 907 2018-11-15 04:48 ./usr/share/man/man1/jessie.1.gz -rw-r--r-- root/root 553 2018-11-15 04:48 ./usr/share/man/man1/krakatoa.1.gz drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/coq/ -rw-r--r-- root/root 88305 2018-11-15 04:48 ./usr/share/why/coq/Jessie_memory_model.vo drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/java_api/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/java_api/java/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/java_api/java/io/ -rw-r--r-- root/root 7104 2018-11-15 04:48 ./usr/share/why/java_api/java/io/BufferedWriter.java -rw-r--r-- root/root 63721 2018-11-15 04:48 ./usr/share/why/java_api/java/io/File.java -rw-r--r-- root/root 3929 2018-11-15 04:48 ./usr/share/why/java_api/java/io/FileDescriptor.java -rw-r--r-- root/root 1932 2018-11-15 04:48 ./usr/share/why/java_api/java/io/FileNotFoundException.java -rw-r--r-- root/root 2093 2018-11-15 04:48 ./usr/share/why/java_api/java/io/FileReader.java -rw-r--r-- root/root 5152 2018-11-15 04:48 ./usr/share/why/java_api/java/io/FilterOutputStream.java -rw-r--r-- root/root 1103 2018-11-15 04:48 ./usr/share/why/java_api/java/io/IOException.java -rw-r--r-- root/root 14881 2018-11-15 04:48 ./usr/share/why/java_api/java/io/InputStream.java -rw-r--r-- root/root 5732 2018-11-15 04:48 ./usr/share/why/java_api/java/io/InputStreamReader.java -rw-r--r-- root/root 64725 2018-11-15 04:48 ./usr/share/why/java_api/java/io/ObjectStreamClass.java -rw-r--r-- root/root 5082 2018-11-15 04:48 ./usr/share/why/java_api/java/io/OutputStream.java -rw-r--r-- root/root 6788 2018-11-15 04:48 ./usr/share/why/java_api/java/io/OutputStreamWriter.java -rw-r--r-- root/root 18130 2018-11-15 04:48 ./usr/share/why/java_api/java/io/PrintStream.java -rw-r--r-- root/root 7268 2018-11-15 04:48 ./usr/share/why/java_api/java/io/Reader.java -rw-r--r-- root/root 4695 2018-11-15 04:48 ./usr/share/why/java_api/java/io/Serializable.java -rw-r--r-- root/root 25753 2018-11-15 04:48 ./usr/share/why/java_api/java/io/StreamTokenizer.java drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/ -rw-r--r-- root/root 1028 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/ArrayStoreException.java -rw-r--r-- root/root 3067 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/CharSequence.java -rw-r--r-- root/root 74738 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Character.java -rw-r--r-- root/root 89699 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Class.java -rw-r--r-- root/root 1353 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Cloneable.java -rw-r--r-- root/root 5730 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Comparable.java -rw-r--r-- root/root 28832 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Double.java -rw-r--r-- root/root 2772 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Exception.java -rw-r--r-- root/root 893 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/IllegalArgumentException.java -rw-r--r-- root/root 35750 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Integer.java -rw-r--r-- root/root 34165 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Long.java -rw-r--r-- root/root 37242 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Math.java -rw-r--r-- root/root 3072 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Number.java -rw-r--r-- root/root 1356 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/NumberFormatException.java -rw-r--r-- root/root 23657 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Object.java -rw-r--r-- root/root 2935 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/RuntimeException.java -rw-r--r-- root/root 90665 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/String.java -rw-r--r-- root/root 50601 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/StringBuffer.java -rw-r--r-- root/root 38062 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/System.java -rw-r--r-- root/root 26985 2018-11-15 04:48 ./usr/share/why/java_api/java/lang/Throwable.java drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/java_api/java/util/ -rw-r--r-- root/root 23747 2018-11-15 04:48 ./usr/share/why/java_api/java/util/AbstractMap.java -rw-r--r-- root/root 18850 2018-11-15 04:48 ./usr/share/why/java_api/java/util/Collection.java -rw-r--r-- root/root 34531 2018-11-15 04:48 ./usr/share/why/java_api/java/util/HashMap.java -rw-r--r-- root/root 761 2018-11-15 04:48 ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java -rw-r--r-- root/root 785 2018-11-15 04:48 ./usr/share/why/java_api/java/util/HashMapIntegerLong.java -rw-r--r-- root/root 2165 2018-11-15 04:48 ./usr/share/why/java_api/java/util/Iterator.java -rw-r--r-- root/root 39 2018-11-15 04:48 ./usr/share/why/java_api/java/util/Locale.java -rw-r--r-- root/root 19069 2018-11-15 04:48 ./usr/share/why/java_api/java/util/Map.java -rw-r--r-- root/root 14662 2018-11-15 04:48 ./usr/share/why/java_api/java/util/Set.java drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/com/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/com/sun/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/com/sun/javacard/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/com/sun/javacard/impl/ -rw-r--r-- root/root 114 2018-11-15 04:48 ./usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java -rw-r--r-- root/root 65 2018-11-15 04:48 ./usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java -rw-r--r-- root/root 64 2018-11-15 04:48 ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java -rw-r--r-- root/root 62 2018-11-15 04:48 ./usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/java/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/java/lang/ -rw-r--r-- root/root 500 2018-11-15 04:48 ./usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java -rw-r--r-- root/root 1659 2018-11-15 04:48 ./usr/share/why/javacard_api/java/lang/Exception.java -rw-r--r-- root/root 482 2018-11-15 04:48 ./usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java -rw-r--r-- root/root 3513 2018-11-15 04:48 ./usr/share/why/javacard_api/java/lang/Object.java -rw-r--r-- root/root 1758 2018-11-15 04:48 ./usr/share/why/javacard_api/java/lang/RuntimeException.java -rw-r--r-- root/root 1793 2018-11-15 04:48 ./usr/share/why/javacard_api/java/lang/Throwable.java drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/ -rw-r--r-- root/root 7395 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/AID.java -rw-r--r-- root/root 38103 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/APDU.java -rw-r--r-- root/root 5011 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/APDUException.java -rw-r--r-- root/root 14548 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/Applet.java -rw-r--r-- root/root 3167 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/CardException.java -rw-r--r-- root/root 3306 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java -rw-r--r-- root/root 9040 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/Dispatcher.java -rw-r--r-- root/root 4779 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/ISO7816.java -rw-r--r-- root/root 4190 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/ISOException.java -rw-r--r-- root/root 17345 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/JCSystem.java -rw-r--r-- root/root 11618 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/OwnerPIN.java -rw-r--r-- root/root 5358 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/PIN.java -rw-r--r-- root/root 3042 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/PINException.java -rw-r--r-- root/root 1565 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/Shareable.java -rw-r--r-- root/root 4295 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/SystemException.java -rw-r--r-- root/root 4167 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/TransactionException.java -rw-r--r-- root/root 3223 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/UserException.java -rw-r--r-- root/root 17202 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/framework/Util.java drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/ -rw-r--r-- root/root 3820 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/CryptoException.java -rw-r--r-- root/root 3138 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/DESKey.java -rw-r--r-- root/root 6928 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/DSAKey.java -rw-r--r-- root/root 3305 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java -rw-r--r-- root/root 3308 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/DSAPublicKey.java -rw-r--r-- root/root 2223 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/Key.java -rw-r--r-- root/root 5796 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/KeyBuilder.java -rw-r--r-- root/root 6484 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/KeyPair.java -rw-r--r-- root/root 5038 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/MessageDigest.java -rw-r--r-- root/root 1190 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/PrivateKey.java -rw-r--r-- root/root 1190 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/PublicKey.java -rw-r--r-- root/root 10715 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java -rw-r--r-- root/root 5014 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java -rw-r--r-- root/root 4723 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/RSAPublicKey.java -rw-r--r-- root/root 3257 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/RandomData.java -rw-r--r-- root/root 1186 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/SecretKey.java -rw-r--r-- root/root 18870 2018-11-15 04:48 ./usr/share/why/javacard_api/javacard/security/Signature.java drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/javacardx/ drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/javacard_api/javacardx/crypto/ -rw-r--r-- root/root 2970 2018-11-15 04:48 ./usr/share/why/javacard_api/javacardx/crypto/Cipher.java drwxr-xr-x root/root 0 2018-11-15 04:48 ./usr/share/why/why3/ -rw-r--r-- root/root 141 2018-11-15 04:48 ./usr/share/why/why3/coq.drv -rw-r--r-- root/root 19602 2018-11-15 04:48 ./usr/share/why/why3/jessie_why3.mlw -rw-r--r-- root/root 19703 2018-11-15 04:48 ./usr/share/why/why3/jessie_why3theories.why -rw-r--r-- root/root 344 2018-11-15 04:48 ./usr/share/why/why3/why3.conf +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: i386 Build-Space: 98416 Build-Time: 48 Distribution: disco-proposed Host Architecture: i386 Install-Time: 58 Job: why_2.40-3build1.dsc Machine Architecture: amd64 Package: why Package-Time: 108 Source-Version: 2.40-3build1 Space: 98416 Status: successful Version: 2.40-3build1 -------------------------------------------------------------------------------- Finished at 20181115-0451 Build needed 00:01:48, 98416k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=disco --arch=i386 PACKAGEBUILD-15663822 Scanning for processes to kill in build PACKAGEBUILD-15663822