https://launchpad.net/ubuntu/+source/ocaml-qcheck/0.8-1/+build/15638859 RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux lcy01-amd64-021 4.4.0-138-generic #164-Ubuntu SMP Tue Oct 2 17:16:02 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... 9 Nov 15:54:16 ntpdate[1802]: adjust time server 10.211.37.1 offset 0.022797 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=disco --arch=amd64 PACKAGEBUILD-15638859 /home/buildd/filecache-default/b71572c9405b6ce6ff1d1ad001cf764bb07f52ae Creating target for build PACKAGEBUILD-15638859 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=disco --arch=amd64 PACKAGEBUILD-15638859 Starting target for build PACKAGEBUILD-15638859 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=disco --arch=amd64 PACKAGEBUILD-15638859 '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-15638859 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=disco --arch=amd64 PACKAGEBUILD-15638859 Updating target for build PACKAGEBUILD-15638859 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 amd64 Packages [1018 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main Translation-en [513 kB] Get:7 http://ftpmaster.internal/ubuntu disco/universe amd64 Packages [8762 kB] Get:8 http://ftpmaster.internal/ubuntu disco/universe Translation-en [5040 kB] Get:9 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 Packages [132 kB] Get:10 http://ftpmaster.internal/ubuntu disco-proposed/main Translation-en [71.1 kB] Get:11 http://ftpmaster.internal/ubuntu disco-proposed/universe amd64 Packages [695 kB] Get:12 http://ftpmaster.internal/ubuntu disco-proposed/universe Translation-en [463 kB] Fetched 17.2 MB in 4s (4081 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: base-files binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-8 dash dmsetup findutils g++ g++-8 gcc gcc-8 gcc-8-base hostname init init-system-helpers libapparmor1 libasan5 libatomic1 libaudit-common libaudit1 libbinutils libcap-ng0 libcc1-0 libdb5.3 libdevmapper1.02.1 libgcc-8-dev libgcc1 libgdbm-compat4 libgomp1 libgpg-error0 libitm1 libkmod2 liblsan0 libmpx2 libquadmath0 libseccomp2 libselinux1 libsemanage-common libsemanage1 libsqlite3-0 libstdc++-8-dev libstdc++6 libsystemd0 libtsan0 libubsan1 libudev1 linux-libc-dev lockfile-progs perl perl-base sed systemd systemd-sysv tzdata 56 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 46.7 MB of archives. After this operation, 48.7 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu disco/main amd64 base-files amd64 10.1ubuntu8 [60.1 kB] Get:2 http://ftpmaster.internal/ubuntu disco/main amd64 dash amd64 0.5.10.2-1 [89.3 kB] Get:3 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 findutils amd64 4.6.0+git+20181018-1 [295 kB] Get:4 http://ftpmaster.internal/ubuntu disco/main amd64 hostname amd64 3.21 [11.2 kB] Get:5 http://ftpmaster.internal/ubuntu disco/main amd64 perl-modules-5.28 all 5.28.0-3 [2818 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main amd64 libgdbm6 amd64 1.18.1-1 [27.8 kB] Get:7 http://ftpmaster.internal/ubuntu disco/main amd64 libgdbm-compat4 amd64 1.18.1-1 [6148 B] Get:8 http://ftpmaster.internal/ubuntu disco/main amd64 libperl5.28 amd64 5.28.0-3 [3804 kB] Get:9 http://ftpmaster.internal/ubuntu disco/main amd64 perl amd64 5.28.0-3 [204 kB] Get:10 http://ftpmaster.internal/ubuntu disco/main amd64 perl-base amd64 5.28.0-3 [1510 kB] Get:11 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libdb5.3 amd64 5.3.28+dfsg1-0.2 [672 kB] Get:12 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 sed amd64 4.5-2 [186 kB] Get:13 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 init-system-helpers all 1.55 [38.5 kB] Get:14 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 systemd-sysv amd64 239-7ubuntu10.1 [9404 B] Get:15 http://ftpmaster.internal/ubuntu disco/main amd64 libapparmor1 amd64 2.12-4ubuntu10 [29.9 kB] Get:16 http://ftpmaster.internal/ubuntu disco/main amd64 libaudit-common all 1:2.8.3-1ubuntu3 [4068 B] Get:17 http://ftpmaster.internal/ubuntu disco/main amd64 libcap-ng0 amd64 0.7.9-1build1 [10.9 kB] Get:18 http://ftpmaster.internal/ubuntu disco/main amd64 libaudit1 amd64 1:2.8.3-1ubuntu3 [38.8 kB] Get:19 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libgpg-error0 amd64 1.32-3 [56.0 kB] Get:20 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libkmod2 amd64 25-1ubuntu1.1 [41.8 kB] Get:21 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 systemd amd64 239-7ubuntu10.1 [2968 kB] Get:22 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libsystemd0 amd64 239-7ubuntu10.1 [211 kB] Get:23 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 init amd64 1.55 [6480 B] Get:24 http://ftpmaster.internal/ubuntu disco/main amd64 libquadmath0 amd64 8.2.0-9ubuntu1 [134 kB] Get:25 http://ftpmaster.internal/ubuntu disco/main amd64 libubsan1 amd64 8.2.0-9ubuntu1 [121 kB] Get:26 http://ftpmaster.internal/ubuntu disco/main amd64 libitm1 amd64 8.2.0-9ubuntu1 [28.1 kB] Get:27 http://ftpmaster.internal/ubuntu disco/main amd64 libasan5 amd64 8.2.0-9ubuntu1 [364 kB] Get:28 http://ftpmaster.internal/ubuntu disco/main amd64 gcc-8-base amd64 8.2.0-9ubuntu1 [18.6 kB] Get:29 http://ftpmaster.internal/ubuntu disco/main amd64 libstdc++6 amd64 8.2.0-9ubuntu1 [399 kB] Get:30 http://ftpmaster.internal/ubuntu disco/main amd64 libgomp1 amd64 8.2.0-9ubuntu1 [76.4 kB] Get:31 http://ftpmaster.internal/ubuntu disco/main amd64 libatomic1 amd64 8.2.0-9ubuntu1 [9076 B] Get:32 http://ftpmaster.internal/ubuntu disco/main amd64 liblsan0 amd64 8.2.0-9ubuntu1 [132 kB] Get:33 http://ftpmaster.internal/ubuntu disco/main amd64 libtsan0 amd64 8.2.0-9ubuntu1 [288 kB] Get:34 http://ftpmaster.internal/ubuntu disco/main amd64 libmpx2 amd64 8.2.0-9ubuntu1 [11.7 kB] Get:35 http://ftpmaster.internal/ubuntu disco/main amd64 cpp-8 amd64 8.2.0-9ubuntu1 [7222 kB] Get:36 http://ftpmaster.internal/ubuntu disco/main amd64 libcc1-0 amd64 8.2.0-9ubuntu1 [39.5 kB] Get:37 http://ftpmaster.internal/ubuntu disco/main amd64 gcc-8 amd64 8.2.0-9ubuntu1 [7999 kB] Get:38 http://ftpmaster.internal/ubuntu disco/main amd64 g++-8 amd64 8.2.0-9ubuntu1 [8115 kB] Get:39 http://ftpmaster.internal/ubuntu disco/main amd64 libstdc++-8-dev amd64 8.2.0-9ubuntu1 [1538 kB] Get:40 http://ftpmaster.internal/ubuntu disco/main amd64 libgcc-8-dev amd64 8.2.0-9ubuntu1 [2304 kB] Get:41 http://ftpmaster.internal/ubuntu disco/main amd64 libgcc1 amd64 1:8.2.0-9ubuntu1 [40.7 kB] Get:42 http://ftpmaster.internal/ubuntu disco/main amd64 libbinutils amd64 2.31.1-7ubuntu1 [483 kB] Get:43 http://ftpmaster.internal/ubuntu disco/main amd64 binutils-common amd64 2.31.1-7ubuntu1 [194 kB] Get:44 http://ftpmaster.internal/ubuntu disco/main amd64 binutils amd64 2.31.1-7ubuntu1 [3392 B] Get:45 http://ftpmaster.internal/ubuntu disco/main amd64 binutils-x86-64-linux-gnu amd64 2.31.1-7ubuntu1 [1829 kB] Get:46 http://ftpmaster.internal/ubuntu disco/main amd64 libselinux1 amd64 2.8-1build2 [68.6 kB] Get:47 http://ftpmaster.internal/ubuntu disco/main amd64 libsemanage-common all 2.8-1build2 [6892 B] Get:48 http://ftpmaster.internal/ubuntu disco/main amd64 libsemanage1 amd64 2.8-1build2 [85.1 kB] Get:49 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libudev1 amd64 239-7ubuntu10.1 [53.9 kB] Get:50 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libseccomp2 amd64 2.3.3-3ubuntu2 [38.9 kB] Get:51 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libdevmapper1.02.1 amd64 2:1.02.145-4.1ubuntu4 [127 kB] Get:52 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 dmsetup amd64 2:1.02.145-4.1ubuntu4 [74.6 kB] Get:53 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libsqlite3-0 amd64 3.25.3-1 [529 kB] Get:54 http://ftpmaster.internal/ubuntu disco/main amd64 tzdata all 2018g-1 [188 kB] Get:55 http://ftpmaster.internal/ubuntu disco/main amd64 g++ amd64 4:8.2.0-2ubuntu2 [1608 B] Get:56 http://ftpmaster.internal/ubuntu disco/main amd64 gcc amd64 4:8.2.0-2ubuntu2 [5224 B] Get:57 http://ftpmaster.internal/ubuntu disco/main amd64 cpp amd64 4:8.2.0-2ubuntu2 [27.6 kB] Get:58 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 linux-libc-dev amd64 4.18.0-11.12 [1039 kB] Get:59 http://ftpmaster.internal/ubuntu disco/main amd64 lockfile-progs amd64 0.1.18 [9872 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 46.7 MB in 1s (48.7 MB/s) (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../base-files_10.1ubuntu8_amd64.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 ... 12650 files and directories currently installed.) Preparing to unpack .../dash_0.5.10.2-1_amd64.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 ... 12650 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20181018-1_amd64.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 ... 12650 files and directories currently installed.) Preparing to unpack .../hostname_3.21_amd64.deb ... Unpacking hostname (3.21) over (3.20) ... Setting up hostname (3.21) ... (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../0-perl_5.28.0-3_amd64.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:amd64. Preparing to unpack .../2-libgdbm6_1.18.1-1_amd64.deb ... Unpacking libgdbm6:amd64 (1.18.1-1) ... Preparing to unpack .../3-libgdbm-compat4_1.18.1-1_amd64.deb ... Unpacking libgdbm-compat4:amd64 (1.18.1-1) over (1.14.1-6) ... Selecting previously unselected package libperl5.28:amd64. Preparing to unpack .../4-libperl5.28_5.28.0-3_amd64.deb ... Unpacking libperl5.28:amd64 (5.28.0-3) ... Preparing to unpack .../5-perl-base_5.28.0-3_amd64.deb ... Unpacking perl-base (5.28.0-3) over (5.26.2-7) ... Setting up perl-base (5.28.0-3) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28+dfsg1-0.2_amd64.deb ... Unpacking libdb5.3:amd64 (5.3.28+dfsg1-0.2) over (5.3.28+dfsg1-0.1) ... Setting up libdb5.3:amd64 (5.3.28+dfsg1-0.2) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../archives/sed_4.5-2_amd64.deb ... Unpacking sed (4.5-2) over (4.5-1) ... Setting up sed (4.5-2) ... (Reading database ... 14539 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 ... 14539 files and directories currently installed.) Preparing to unpack .../systemd-sysv_239-7ubuntu10.1_amd64.deb ... Unpacking systemd-sysv (239-7ubuntu10.1) over (239-7ubuntu10) ... Preparing to unpack .../libapparmor1_2.12-4ubuntu10_amd64.deb ... Unpacking libapparmor1:amd64 (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 ... 14539 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.9-1build1_amd64.deb ... Unpacking libcap-ng0:amd64 (0.7.9-1build1) over (0.7.9-1) ... Setting up libcap-ng0:amd64 (0.7.9-1build1) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.3-1ubuntu3_amd64.deb ... Unpacking libaudit1:amd64 (1:2.8.3-1ubuntu3) over (1:2.8.3-1ubuntu2) ... Setting up libaudit1:amd64 (1:2.8.3-1ubuntu3) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.32-3_amd64.deb ... Unpacking libgpg-error0:amd64 (1.32-3) over (1.32-1) ... Setting up libgpg-error0:amd64 (1.32-3) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../libkmod2_25-1ubuntu1.1_amd64.deb ... Unpacking libkmod2:amd64 (25-1ubuntu1.1) over (25-1ubuntu1) ... Preparing to unpack .../systemd_239-7ubuntu10.1_amd64.deb ... Unpacking systemd (239-7ubuntu10.1) over (239-7ubuntu10) ... Preparing to unpack .../libsystemd0_239-7ubuntu10.1_amd64.deb ... Unpacking libsystemd0:amd64 (239-7ubuntu10.1) over (239-7ubuntu10) ... Setting up libsystemd0:amd64 (239-7ubuntu10.1) ... Setting up libapparmor1:amd64 (2.12-4ubuntu10) ... Setting up libkmod2:amd64 (25-1ubuntu1.1) ... Setting up systemd (239-7ubuntu10.1) ... Setting up systemd-sysv (239-7ubuntu10.1) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../0-init_1.55_amd64.deb ... Unpacking init (1.55) over (1.54) ... Preparing to unpack .../1-libquadmath0_8.2.0-9ubuntu1_amd64.deb ... Unpacking libquadmath0:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../2-libubsan1_8.2.0-9ubuntu1_amd64.deb ... Unpacking libubsan1:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../3-libitm1_8.2.0-9ubuntu1_amd64.deb ... Unpacking libitm1:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../4-libasan5_8.2.0-9ubuntu1_amd64.deb ... Unpacking libasan5:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../5-gcc-8-base_8.2.0-9ubuntu1_amd64.deb ... Unpacking gcc-8-base:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Setting up gcc-8-base:amd64 (8.2.0-9ubuntu1) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../libstdc++6_8.2.0-9ubuntu1_amd64.deb ... Unpacking libstdc++6:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Setting up libstdc++6:amd64 (8.2.0-9ubuntu1) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../00-libgomp1_8.2.0-9ubuntu1_amd64.deb ... Unpacking libgomp1:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../01-libatomic1_8.2.0-9ubuntu1_amd64.deb ... Unpacking libatomic1:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../02-liblsan0_8.2.0-9ubuntu1_amd64.deb ... Unpacking liblsan0:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../03-libtsan0_8.2.0-9ubuntu1_amd64.deb ... Unpacking libtsan0:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../04-libmpx2_8.2.0-9ubuntu1_amd64.deb ... Unpacking libmpx2:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../05-cpp-8_8.2.0-9ubuntu1_amd64.deb ... Unpacking cpp-8 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../06-libcc1-0_8.2.0-9ubuntu1_amd64.deb ... Unpacking libcc1-0:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../07-gcc-8_8.2.0-9ubuntu1_amd64.deb ... Unpacking gcc-8 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../08-g++-8_8.2.0-9ubuntu1_amd64.deb ... Unpacking g++-8 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../09-libstdc++-8-dev_8.2.0-9ubuntu1_amd64.deb ... Unpacking libstdc++-8-dev:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../10-libgcc-8-dev_8.2.0-9ubuntu1_amd64.deb ... Unpacking libgcc-8-dev:amd64 (8.2.0-9ubuntu1) over (8.2.0-7ubuntu1) ... Preparing to unpack .../11-libgcc1_1%3a8.2.0-9ubuntu1_amd64.deb ... Unpacking libgcc1:amd64 (1:8.2.0-9ubuntu1) over (1:8.2.0-7ubuntu1) ... Setting up libgcc1:amd64 (1:8.2.0-9ubuntu1) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../libbinutils_2.31.1-7ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.31.1-7ubuntu1) over (2.31.1-6ubuntu1) ... Preparing to unpack .../binutils-common_2.31.1-7ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.31.1-7ubuntu1) over (2.31.1-6ubuntu1) ... Preparing to unpack .../binutils_2.31.1-7ubuntu1_amd64.deb ... Unpacking binutils (2.31.1-7ubuntu1) over (2.31.1-6ubuntu1) ... Preparing to unpack .../binutils-x86-64-linux-gnu_2.31.1-7ubuntu1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.31.1-7ubuntu1) over (2.31.1-6ubuntu1) ... Preparing to unpack .../libselinux1_2.8-1build2_amd64.deb ... Unpacking libselinux1:amd64 (2.8-1build2) over (2.8-1build1) ... Setting up libselinux1:amd64 (2.8-1build2) ... (Reading database ... 14539 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 ... 14539 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.8-1build2_amd64.deb ... Unpacking libsemanage1:amd64 (2.8-1build2) over (2.8-1build1) ... Setting up libsemanage1:amd64 (2.8-1build2) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../libudev1_239-7ubuntu10.1_amd64.deb ... Unpacking libudev1:amd64 (239-7ubuntu10.1) over (239-7ubuntu10) ... Setting up libudev1:amd64 (239-7ubuntu10.1) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.3.3-3ubuntu2_amd64.deb ... Unpacking libseccomp2:amd64 (2.3.3-3ubuntu2) over (2.3.3-3ubuntu1) ... Setting up libseccomp2:amd64 (2.3.3-3ubuntu2) ... (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../0-libdevmapper1.02.1_2%3a1.02.145-4.1ubuntu4_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.145-4.1ubuntu4) over (2:1.02.145-4.1ubuntu3) ... Preparing to unpack .../1-dmsetup_2%3a1.02.145-4.1ubuntu4_amd64.deb ... Unpacking dmsetup (2:1.02.145-4.1ubuntu4) over (2:1.02.145-4.1ubuntu3) ... Preparing to unpack .../2-libsqlite3-0_3.25.3-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.25.3-1) over (3.24.0-1) ... Preparing to unpack .../3-tzdata_2018g-1_all.deb ... Unpacking tzdata (2018g-1) over (2018e-1) ... Preparing to unpack .../4-g++_4%3a8.2.0-2ubuntu2_amd64.deb ... Unpacking g++ (4:8.2.0-2ubuntu2) over (4:8.2.0-1ubuntu1) ... Preparing to unpack .../5-gcc_4%3a8.2.0-2ubuntu2_amd64.deb ... Unpacking gcc (4:8.2.0-2ubuntu2) over (4:8.2.0-1ubuntu1) ... Preparing to unpack .../6-cpp_4%3a8.2.0-2ubuntu2_amd64.deb ... Unpacking cpp (4:8.2.0-2ubuntu2) over (4:8.2.0-1ubuntu1) ... Preparing to unpack .../7-linux-libc-dev_4.18.0-11.12_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.18.0-11.12) over (4.18.0-10.11) ... Preparing to unpack .../8-lockfile-progs_0.1.18_amd64.deb ... Unpacking lockfile-progs (0.1.18) over (0.1.17build1) ... Setting up libquadmath0:amd64 (8.2.0-9ubuntu1) ... Setting up cpp-8 (8.2.0-9ubuntu1) ... Setting up libgomp1:amd64 (8.2.0-9ubuntu1) ... Setting up libatomic1:amd64 (8.2.0-9ubuntu1) ... Setting up cpp (4:8.2.0-2ubuntu2) ... Setting up libcc1-0:amd64 (8.2.0-9ubuntu1) ... Setting up tzdata (2018g-1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Nov 9 15:54:43 UTC 2018. Universal Time is now: Fri Nov 9 15:54:43 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up init (1.55) ... Setting up libtsan0:amd64 (8.2.0-9ubuntu1) ... Setting up linux-libc-dev:amd64 (4.18.0-11.12) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.145-4.1ubuntu4) ... Setting up liblsan0:amd64 (8.2.0-9ubuntu1) ... Setting up libgdbm6:amd64 (1.18.1-1) ... Setting up binutils-common:amd64 (2.31.1-7ubuntu1) ... Setting up libmpx2:amd64 (8.2.0-9ubuntu1) ... Setting up perl-modules-5.28 (5.28.0-3) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Setting up libsqlite3-0:amd64 (3.25.3-1) ... Setting up dmsetup (2:1.02.145-4.1ubuntu4) ... Setting up libgdbm-compat4:amd64 (1.18.1-1) ... Setting up lockfile-progs (0.1.18) ... Setting up libasan5:amd64 (8.2.0-9ubuntu1) ... Setting up libitm1:amd64 (8.2.0-9ubuntu1) ... Setting up libubsan1:amd64 (8.2.0-9ubuntu1) ... Setting up libbinutils:amd64 (2.31.1-7ubuntu1) ... Setting up libperl5.28:amd64 (5.28.0-3) ... Setting up perl (5.28.0-3) ... Setting up libgcc-8-dev:amd64 (8.2.0-9ubuntu1) ... Setting up binutils-x86-64-linux-gnu (2.31.1-7ubuntu1) ... Setting up libstdc++-8-dev:amd64 (8.2.0-9ubuntu1) ... Setting up binutils (2.31.1-7ubuntu1) ... 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-15638859 amd64 disco-proposed -c chroot:build-PACKAGEBUILD-15638859 --arch=amd64 --dist=disco-proposed --nolog -A ocaml-qcheck_0.8-1.dsc Initiating build PACKAGEBUILD-15638859 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-138-generic #164-Ubuntu SMP Tue Oct 2 17:16:02 UTC 2018 x86_64 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lcy01-amd64-021.buildd +==============================================================================+ | ocaml-qcheck 0.8-1 (amd64) 09 Nov 2018 15:54 | +==============================================================================+ Package: ocaml-qcheck Version: 0.8-1 Source Version: 0.8-1 Distribution: disco-proposed Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 I: NOTICE: Log filtering will replace 'build/ocaml-qcheck-fSBdVU/ocaml-qcheck-0.8' with '<>' I: NOTICE: Log filtering will replace 'build/ocaml-qcheck-fSBdVU' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-15638859/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- ocaml-qcheck_0.8-1.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-1DsLcr/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-1DsLcr/apt_archive ./ InRelease Get:2 copy:/<>/resolver-1DsLcr/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-1DsLcr/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-1DsLcr/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-1DsLcr/apt_archive ./ Packages [527 B] Fetched 2860 B in 0s (220 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-1DsLcr/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 ... 14539 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 10~), dh-ocaml, ocaml-nox (>= 4.02.0), dune, ocaml-findlib, opam, libounit-ocaml-dev Filtered Build-Depends: debhelper (>= 10~), dh-ocaml, ocaml-nox (>= 4.02.0), dune, ocaml-findlib, opam, libounit-ocaml-dev dpkg-deb: building package 'sbuild-build-depends-ocaml-qcheck-dummy' in '/<>/resolver-0Z2uqI/apt_archive/sbuild-build-depends-ocaml-qcheck-dummy.deb'. Ign:1 copy:/<>/resolver-0Z2uqI/apt_archive ./ InRelease Get:2 copy:/<>/resolver-0Z2uqI/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-0Z2uqI/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-0Z2uqI/apt_archive ./ Sources [259 B] Get:5 copy:/<>/resolver-0Z2uqI/apt_archive ./ Packages [575 B] Fetched 2953 B in 0s (239 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install ocaml-qcheck 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: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dune dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu60 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libounit-ocaml-dev libpipeline1 libpsl5 libsigsegv2 libtool libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox opam opam-docs po-debconf unzip wget Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl zip Recommended packages: libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs publicsuffix libltdl-dev libfindlib-ocaml-dev ledit | readline-editor camlp4 aspcud ocaml git darcs mercurial rsync libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dune dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu60 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libounit-ocaml-dev libpipeline1 libpsl5 libsigsegv2 libtool libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox opam opam-docs po-debconf sbuild-build-depends-ocaml-qcheck-dummy unzip wget 0 upgraded, 47 newly installed, 0 to remove and 0 not upgraded. Need to get 73.1 MB of archives. After this operation, 328 MB of additional disk space will be used. Get:1 copy:/<>/resolver-0Z2uqI/apt_archive ./ sbuild-build-depends-ocaml-qcheck-dummy 0.invalid.0 [900 B] Get:2 http://ftpmaster.internal/ubuntu disco/main amd64 libbsd0 amd64 0.9.1-1 [44.6 kB] Get:3 http://ftpmaster.internal/ubuntu disco/main amd64 bsdmainutils amd64 11.1.2ubuntu2 [181 kB] Get:4 http://ftpmaster.internal/ubuntu disco/main amd64 groff-base amd64 1.22.3-10 [1153 kB] Get:5 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libpipeline1 amd64 1.5.0-2 [25.7 kB] Get:6 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 man-db amd64 2.8.4-3 [1028 kB] Get:7 http://ftpmaster.internal/ubuntu disco/main amd64 libmagic-mgc amd64 1:5.34-2 [197 kB] Get:8 http://ftpmaster.internal/ubuntu disco/main amd64 libmagic1 amd64 1:5.34-2 [72.3 kB] Get:9 http://ftpmaster.internal/ubuntu disco/main amd64 file amd64 1:5.34-2 [22.8 kB] Get:10 http://ftpmaster.internal/ubuntu disco/main amd64 libelf1 amd64 0.170-0.5.0ubuntu1 [43.5 kB] Get:11 http://ftpmaster.internal/ubuntu disco/main amd64 libglib2.0-0 amd64 2.58.1-2 [1176 kB] Get:12 http://ftpmaster.internal/ubuntu disco/main amd64 libicu60 amd64 60.2-6ubuntu1 [8055 kB] Get:13 http://ftpmaster.internal/ubuntu disco/main amd64 libxml2 amd64 2.9.4+dfsg1-7ubuntu2 [625 kB] Get:14 http://ftpmaster.internal/ubuntu disco/main amd64 gettext-base amd64 0.19.8.1-8 [50.1 kB] Get:15 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libpsl5 amd64 0.20.2-2 [50.0 kB] Get:16 http://ftpmaster.internal/ubuntu disco/main amd64 wget amd64 1.19.5-1ubuntu1 [314 kB] Get:17 http://ftpmaster.internal/ubuntu disco/main amd64 libsigsegv2 amd64 2.12-2 [13.9 kB] Get:18 http://ftpmaster.internal/ubuntu disco/main amd64 m4 amd64 1.4.18-1ubuntu1 [199 kB] Get:19 http://ftpmaster.internal/ubuntu disco/main amd64 autoconf all 2.69-11 [322 kB] Get:20 http://ftpmaster.internal/ubuntu disco/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:21 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 automake all 1:1.16.1-4 [522 kB] Get:22 http://ftpmaster.internal/ubuntu disco/main amd64 autopoint all 0.19.8.1-8 [412 kB] Get:23 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libtool all 2.4.6-6 [195 kB] Get:24 http://ftpmaster.internal/ubuntu disco/main amd64 dh-autoreconf all 19 [16.1 kB] Get:25 http://ftpmaster.internal/ubuntu disco/main amd64 libarchive-zip-perl all 1.64-1 [84.9 kB] Get:26 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 libfile-stripnondeterminism-perl all 0.044-1 [15.0 kB] Get:27 http://ftpmaster.internal/ubuntu disco-proposed/main amd64 dh-strip-nondeterminism all 0.044-1 [5124 B] Get:28 http://ftpmaster.internal/ubuntu disco/main amd64 dwz amd64 0.12-2 [77.7 kB] Get:29 http://ftpmaster.internal/ubuntu disco/main amd64 libcroco3 amd64 0.6.12-2 [81.3 kB] Get:30 http://ftpmaster.internal/ubuntu disco/main amd64 gettext amd64 0.19.8.1-8 [896 kB] Get:31 http://ftpmaster.internal/ubuntu disco/main amd64 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:32 http://ftpmaster.internal/ubuntu disco/main amd64 po-debconf all 1.0.20 [232 kB] Get:33 http://ftpmaster.internal/ubuntu disco/main amd64 debhelper all 11.3.2ubuntu1 [883 kB] Get:34 http://ftpmaster.internal/ubuntu disco/universe amd64 dune amd64 1.0~beta20-1 [852 kB] Get:35 http://ftpmaster.internal/ubuntu disco/universe amd64 ocaml-base-nox amd64 4.05.0-10ubuntu2 [544 kB] Get:36 http://ftpmaster.internal/ubuntu disco/universe amd64 libfindlib-ocaml amd64 1.7.3-2 [160 kB] Get:37 http://ftpmaster.internal/ubuntu disco/main amd64 libncurses-dev amd64 6.1+20180210-4ubuntu1 [333 kB] Get:38 http://ftpmaster.internal/ubuntu disco/main amd64 libncurses5-dev amd64 6.1+20180210-4ubuntu1 [972 B] Get:39 http://ftpmaster.internal/ubuntu disco/universe amd64 ocaml-compiler-libs amd64 4.05.0-10ubuntu2 [18.9 MB] Get:40 http://ftpmaster.internal/ubuntu disco/universe amd64 ocaml-interp amd64 4.05.0-10ubuntu2 [3465 kB] Get:41 http://ftpmaster.internal/ubuntu disco/universe amd64 ocaml-nox amd64 4.05.0-10ubuntu2 [27.5 MB] Get:42 http://ftpmaster.internal/ubuntu disco/universe amd64 libounit-ocaml-dev amd64 2.0.8-1 [955 kB] Get:43 http://ftpmaster.internal/ubuntu disco/universe amd64 ocaml-findlib amd64 1.7.3-2 [366 kB] Get:44 http://ftpmaster.internal/ubuntu disco/universe amd64 opam-docs all 1.2.2-7 [315 kB] Get:45 http://ftpmaster.internal/ubuntu disco/main amd64 unzip amd64 6.0-21ubuntu1 [167 kB] Get:46 http://ftpmaster.internal/ubuntu disco/universe amd64 opam amd64 1.2.2-7 [2380 kB] Get:47 http://ftpmaster.internal/ubuntu disco/universe amd64 dh-ocaml all 1.1.0 [79.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 73.1 MB in 2s (43.7 MB/s) Selecting previously unselected package libbsd0:amd64. (Reading database ... 14539 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-1_amd64.deb ... Unpacking libbsd0:amd64 (0.9.1-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2ubuntu2_amd64.deb ... Unpacking bsdmainutils (11.1.2ubuntu2) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.3-10_amd64.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../03-libpipeline1_1.5.0-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.0-2) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.8.4-3_amd64.deb ... Unpacking man-db (2.8.4-3) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.34-2_amd64.deb ... Unpacking libmagic-mgc (1:5.34-2) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../06-libmagic1_1%3a5.34-2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.34-2) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.34-2_amd64.deb ... Unpacking file (1:5.34-2) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../08-libelf1_0.170-0.5.0ubuntu1_amd64.deb ... Unpacking libelf1:amd64 (0.170-0.5.0ubuntu1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../09-libglib2.0-0_2.58.1-2_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.58.1-2) ... Selecting previously unselected package libicu60:amd64. Preparing to unpack .../10-libicu60_60.2-6ubuntu1_amd64.deb ... Unpacking libicu60:amd64 (60.2-6ubuntu1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../11-libxml2_2.9.4+dfsg1-7ubuntu2_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-7ubuntu2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../12-gettext-base_0.19.8.1-8_amd64.deb ... Unpacking gettext-base (0.19.8.1-8) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../13-libpsl5_0.20.2-2_amd64.deb ... Unpacking libpsl5:amd64 (0.20.2-2) ... Selecting previously unselected package wget. Preparing to unpack .../14-wget_1.19.5-1ubuntu1_amd64.deb ... Unpacking wget (1.19.5-1ubuntu1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../15-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../16-m4_1.4.18-1ubuntu1_amd64.deb ... Unpacking m4 (1.4.18-1ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../17-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../18-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../19-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../20-autopoint_0.19.8.1-8_all.deb ... Unpacking autopoint (0.19.8.1-8) ... Selecting previously unselected package libtool. Preparing to unpack .../21-libtool_2.4.6-6_all.deb ... Unpacking libtool (2.4.6-6) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../22-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../23-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 .../24-libfile-stripnondeterminism-perl_0.044-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.044-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../25-dh-strip-nondeterminism_0.044-1_all.deb ... Unpacking dh-strip-nondeterminism (0.044-1) ... Selecting previously unselected package dwz. Preparing to unpack .../26-dwz_0.12-2_amd64.deb ... Unpacking dwz (0.12-2) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../27-libcroco3_0.6.12-2_amd64.deb ... Unpacking libcroco3:amd64 (0.6.12-2) ... Selecting previously unselected package gettext. Preparing to unpack .../28-gettext_0.19.8.1-8_amd64.deb ... Unpacking gettext (0.19.8.1-8) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../29-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 .../30-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../31-debhelper_11.3.2ubuntu1_all.deb ... Unpacking debhelper (11.3.2ubuntu1) ... Selecting previously unselected package dune. Preparing to unpack .../32-dune_1.0~beta20-1_amd64.deb ... Unpacking dune (1.0~beta20-1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../33-ocaml-base-nox_4.05.0-10ubuntu2_amd64.deb ... Unpacking ocaml-base-nox (4.05.0-10ubuntu2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../34-libfindlib-ocaml_1.7.3-2_amd64.deb ... Unpacking libfindlib-ocaml (1.7.3-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../35-libncurses-dev_6.1+20180210-4ubuntu1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.1+20180210-4ubuntu1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../36-libncurses5-dev_6.1+20180210-4ubuntu1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.1+20180210-4ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../37-ocaml-compiler-libs_4.05.0-10ubuntu2_amd64.deb ... Unpacking ocaml-compiler-libs (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../38-ocaml-interp_4.05.0-10ubuntu2_amd64.deb ... Unpacking ocaml-interp (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../39-ocaml-nox_4.05.0-10ubuntu2_amd64.deb ... Unpacking ocaml-nox (4.05.0-10ubuntu2) ... Selecting previously unselected package libounit-ocaml-dev. Preparing to unpack .../40-libounit-ocaml-dev_2.0.8-1_amd64.deb ... Unpacking libounit-ocaml-dev (2.0.8-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../41-ocaml-findlib_1.7.3-2_amd64.deb ... Unpacking ocaml-findlib (1.7.3-2) ... Selecting previously unselected package opam-docs. Preparing to unpack .../42-opam-docs_1.2.2-7_all.deb ... Unpacking opam-docs (1.2.2-7) ... Selecting previously unselected package unzip. Preparing to unpack .../43-unzip_6.0-21ubuntu1_amd64.deb ... Unpacking unzip (6.0-21ubuntu1) ... Selecting previously unselected package opam. Preparing to unpack .../44-opam_1.2.2-7_amd64.deb ... Unpacking opam (1.2.2-7) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../45-dh-ocaml_1.1.0_all.deb ... Unpacking dh-ocaml (1.1.0) ... Selecting previously unselected package sbuild-build-depends-ocaml-qcheck-dummy. Preparing to unpack .../46-sbuild-build-depends-ocaml-qcheck-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-ocaml-qcheck-dummy (0.invalid.0) ... Setting up opam-docs (1.2.2-7) ... Setting up libicu60:amd64 (60.2-6ubuntu1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up libpsl5:amd64 (0.20.2-2) ... Setting up libelf1:amd64 (0.170-0.5.0ubuntu1) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:amd64 (2.58.1-2) ... No schema files found: doing nothing. Setting up ocaml-base-nox (4.05.0-10ubuntu2) ... Setting up unzip (6.0-21ubuntu1) ... Setting up dh-ocaml (1.1.0) ... Setting up gettext-base (0.19.8.1-8) ... Setting up libpipeline1:amd64 (1.5.0-2) ... Setting up m4 (1.4.18-1ubuntu1) ... Setting up libbsd0:amd64 (0.9.1-1) ... Setting up libxml2:amd64 (2.9.4+dfsg1-7ubuntu2) ... Setting up libmagic-mgc (1:5.34-2) ... Setting up libmagic1:amd64 (1:5.34-2) ... Setting up libcroco3:amd64 (0.6.12-2) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Setting up dwz (0.12-2) ... Setting up autotools-dev (20180224.1) ... Setting up wget (1.19.5-1ubuntu1) ... 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 libncurses-dev:amd64 (6.1+20180210-4ubuntu1) ... Setting up libfindlib-ocaml (1.7.3-2) ... Setting up dune (1.0~beta20-1) ... Setting up ocaml-findlib (1.7.3-2) ... Setting up autopoint (0.19.8.1-8) ... Setting up libfile-stripnondeterminism-perl (0.044-1) ... Setting up gettext (0.19.8.1-8) ... Setting up opam (1.2.2-7) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.34-2) ... Setting up libncurses5-dev:amd64 (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 libtool (2.4.6-6) ... Setting up po-debconf (1.0.20) ... Setting up ocaml-compiler-libs (4.05.0-10ubuntu2) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.05.0-10ubuntu2) ... Setting up debhelper (11.3.2ubuntu1) ... Setting up ocaml-nox (4.05.0-10ubuntu2) ... Setting up libounit-ocaml-dev (2.0.8-1) ... Setting up sbuild-build-depends-ocaml-qcheck-dummy (0.invalid.0) ... Setting up dh-strip-nondeterminism (0.044-1) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-138-generic amd64 (x86_64) 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 apt_1.7.0 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-8 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-x86-64-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 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.044-1 diffutils_1:3.6-1 dmsetup_2:1.02.145-4.1ubuntu4 dpkg_1.19.0.5ubuntu5 dpkg-dev_1.19.0.5ubuntu5 dune_1.0~beta20-1 dwz_0.12-2 e2fslibs_1.44.4-2 e2fsprogs_1.44.4-2 fakeroot_1.22-2ubuntu1 fdisk_2.32-0.1ubuntu2 file_1:5.34-2 findutils_4.6.0+git+20181018-1 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-8 gettext-base_0.19.8.1-8 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 gzip_1.6-5ubuntu2 hostname_3.21 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.7.0 libarchive-zip-perl_1.64-1 libargon2-1_0~20171227-0.1 libasan5_8.2.0-9ubuntu1 libassuan0_2.5.1-2 libatomic1_8.2.0-9ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.3-1ubuntu3 libaudit1_1:2.8.3-1ubuntu3 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 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 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.4-2ubuntu2 libdb5.3_5.3.28+dfsg1-0.2 libdebconfclient0_0.244ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu4 libdpkg-perl_1.19.0.5ubuntu5 libelf1_0.170-0.5.0ubuntu1 libext2fs2_1.44.4-2 libfakeroot_1.22-2ubuntu1 libfdisk1_2.32-0.1ubuntu2 libffi6_3.2.1-8 libfile-stripnondeterminism-perl_0.044-1 libfindlib-ocaml_1.7.3-2 libgcc-8-dev_8.2.0-9ubuntu1 libgcc1_1:8.2.0-9ubuntu1 libgcrypt20_1.8.3-1ubuntu1 libgdbm-compat4_1.18.1-1 libgdbm5_1.14.1-6 libgdbm6_1.18.1-1 libglib2.0-0_2.58.1-2 libgmp10_2:6.1.2+dfsg-3 libgnutls30_3.6.4-2ubuntu1 libgomp1_8.2.0-9ubuntu1 libgpg-error0_1.32-3 libhogweed4_3.4-1 libicu60_60.2-6ubuntu1 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 libjson-c3_0.12.1-1.3 libkmod2_25-1ubuntu1.1 liblockfile-bin_1.14-1.1 liblockfile1_1.14-1.1 liblsan0_8.2.0-9ubuntu1 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 libounit-ocaml-dev_2.0.8-1 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 libpcre3_2:8.39-11 libperl5.26_5.26.2-7 libperl5.28_5.28.0-3 libpipeline1_1.5.0-2 libpng16-16_1.6.34-2 libprocps7_2:3.3.15-2ubuntu1 libpsl5_0.20.2-2 libquadmath0_8.2.0-9ubuntu1 libreadline7_7.0-5 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.1 libtasn1-6_4.13-3 libtinfo6_6.1+20180210-4ubuntu1 libtool_2.4.6-6 libtsan0_8.2.0-9ubuntu1 libubsan1_8.2.0-9ubuntu1 libudev1_239-7ubuntu10.1 libunistring2_0.9.10-1ubuntu1 libusb-0.1-4_2:0.1.12-32 libuuid1_2.32-0.1ubuntu2 libxml2_2.9.4+dfsg1-7ubuntu2 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 opam_1.2.2-7 opam-docs_1.2.2-7 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-ocaml-qcheck-dummy_0.invalid.0 sed_4.5-2 sensible-utils_0.0.12 systemd_239-7ubuntu10.1 systemd-sysv_239-7ubuntu10.1 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu2 tar_1.30+dfsg-2 tzdata_2018g-1 ubuntu-keyring_2018.09.18.1 unzip_6.0-21ubuntu1 util-linux_2.32-0.1ubuntu2 wget_1.19.5-1ubuntu1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Wed Aug 15 06:05:24 2018 UTC gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./ocaml-qcheck_0.8-1.dsc dpkg-source: info: extracting ocaml-qcheck in ocaml-qcheck-0.8 dpkg-source: info: unpacking ocaml-qcheck_0.8.orig.tar.gz dpkg-source: info: unpacking ocaml-qcheck_0.8-1.debian.tar.xz 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-15638859 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-15638859 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-15638859 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package ocaml-qcheck dpkg-buildpackage: info: source version 0.8-1 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build ocaml-qcheck-0.8 dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean --with ocaml dh_auto_clean make -j4 clean make[1]: Entering directory '/<>' jbuilder clean make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules build dh build --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit debian/rules override_dh_auto_build make[1]: Entering directory '/<>' jbuilder build @install make[1]: Leaving directory '/<>' dh_auto_test make -j4 test make[1]: Entering directory '/<>' jbuilder runtest --no-buffer make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary dh binary --with ocaml dh_testroot dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/<>' mkdir -p '/<>/debian/tmp/usr/lib/ocaml' jbuilder install --prefix=/<>/debian/tmp/usr --libdir=/<>/debian/tmp/usr/lib/ocaml --verbose # Workspace root: /<> Running[0]: /usr/bin/ocamlc.opt -config > /tmp/jbuild72ef4c.output # # Workspace root: /<> # Jbuilder context: # ((name default) # (kind default) # (merlin true) # (for_host ()) # (build_dir _build/default) # (toplevel_path ()) # (ocaml_bin /usr/bin) # (ocaml /usr/bin/ocaml) # (ocamlc /usr/bin/ocamlc.opt) # (ocamlopt (/usr/bin/ocamlopt.opt)) # (ocamldep /usr/bin/ocamldep.opt) # (ocamlmklib /usr/bin/ocamlmklib.opt) # (env # ((CAML_LD_LIBRARY_PATH # /<>/_build/install/default/lib/stublibs) # (INSIDE_DUNE 1) # (MANPATH # /<>/_build/install/default/bin) # (OCAMLPATH # /<>/_build/install/default/lib))) # (findlib_path (/usr/lib/ocaml)) # (arch_sixtyfour true) # (natdynlink_supported true) # (opam_vars ()) # (ocaml_config # ((version 4.05.0) # (standard_library_default /usr/lib/ocaml) # (standard_library /usr/lib/ocaml) # (standard_runtime /usr/bin/ocamlrun) # (ccomp_type cc) # (c_compiler gcc) # (ocamlc_cflags # (-O2 # -fno-strict-aliasing # -fwrapv # -D_FILE_OFFSET_BITS=64 # -D_REENTRANT # -fPIC)) # (ocamlopt_cflags # (-O2 # -fno-strict-aliasing # -fwrapv # -fPIC # -D_FILE_OFFSET_BITS=64 # -D_REENTRANT)) # (bytecomp_c_compiler # (gcc # -O2 # -fno-strict-aliasing # -fwrapv # -D_FILE_OFFSET_BITS=64 # -D_REENTRANT # -fPIC)) # (bytecomp_c_libraries (-lm -ldl -lcurses -lpthread)) # (native_c_compiler # (gcc # -O2 # -fno-strict-aliasing # -fwrapv # -fPIC # -D_FILE_OFFSET_BITS=64 # -D_REENTRANT)) # (native_c_libraries (-lm -ldl)) # (cc_profile (-pg)) # (architecture amd64) # (model default) # (int_size 63) # (word_size 64) # (system linux) # (asm (as)) # (asm_cfi_supported true) # (with_frame_pointers false) # (ext_exe "") # (ext_obj .o) # (ext_asm .s) # (ext_lib .a) # (ext_dll .so) # (os_type Unix) # (default_executable_name a.out) # (systhread_supported true) # (host x86_64-pc-linux-gnu) # (target x86_64-pc-linux-gnu) # (profiling true) # (flambda false) # (spacetime false) # (safe_string false) # (exec_magic_number Caml1999X011) # (cmi_magic_number Caml1999I021) # (cmo_magic_number Caml1999O011) # (cma_magic_number Caml1999A012) # (cmx_magic_number Caml1999Y015) # (cmxa_magic_number Caml1999Z014) # (ast_impl_magic_number Caml1999M020) # (ast_intf_magic_number Caml1999N018) # (cmxs_magic_number Caml2007D002) # (cmt_magic_number Caml2012T009) # (natdynlink_supported true))) # (which ((ocaml (/usr/bin/ocaml)) (ocamlc (/usr/bin/ocamlc.opt))))) Running[1]: /usr/bin/opam-installer -i _build/default/qcheck.install --prefix /<>/debian/tmp/usr --libdir /<>/debian/tmp/usr/lib/ocaml Output[1]: Creating directory /<>/debian/tmp/usr/lib/ocaml/qcheck _build/install/default/lib/qcheck/META => /<>/debian/tmp/usr/lib/ocaml/qcheck/META _build/install/default/lib/qcheck/opam => /<>/debian/tmp/usr/lib/ocaml/qcheck/opam _build/install/default/lib/qcheck/QCheck.cmi => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck.cmi _build/install/default/lib/qcheck/QCheck.cmx => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck.cmx _build/install/default/lib/qcheck/QCheck.cmt => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck.cmt _build/install/default/lib/qcheck/QCheck.cmti => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck.cmti _build/install/default/lib/qcheck/QCheck.mli => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck.mli _build/install/default/lib/qcheck/QCheck.ml => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck.ml _build/install/default/lib/qcheck/QCheck_runner.cmi => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.cmi _build/install/default/lib/qcheck/QCheck_runner.cmx => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.cmx _build/install/default/lib/qcheck/QCheck_runner.cmt => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.cmt _build/install/default/lib/qcheck/QCheck_runner.cmti => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.cmti _build/install/default/lib/qcheck/QCheck_runner.mli => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.mli _build/install/default/lib/qcheck/QCheck_runner.ml => /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.ml _build/install/default/lib/qcheck/qcheck.cma => /<>/debian/tmp/usr/lib/ocaml/qcheck/qcheck.cma _build/install/default/lib/qcheck/qcheck.cmxa => /<>/debian/tmp/usr/lib/ocaml/qcheck/qcheck.cmxa _build/install/default/lib/qcheck/qcheck.a => /<>/debian/tmp/usr/lib/ocaml/qcheck/qcheck.a _build/install/default/lib/qcheck/qcheck.cmxs => /<>/debian/tmp/usr/lib/ocaml/qcheck/qcheck.cmxs _build/install/default/lib/qcheck/qcheck.dune => /<>/debian/tmp/usr/lib/ocaml/qcheck/qcheck.dune Creating directory /<>/debian/tmp/usr/doc/qcheck _build/install/default/doc/qcheck/README.adoc => /<>/debian/tmp/usr/doc/qcheck/README.adoc _build/install/default/doc/qcheck/LICENSE => /<>/debian/tmp/usr/doc/qcheck/LICENSE _build/install/default/doc/qcheck/CHANGELOG.md => /<>/debian/tmp/usr/doc/qcheck/CHANGELOG.md make[1]: Leaving directory '/<>' dh_install dh_ocamldoc Warning: Element 'a arbitrary not found Warning: Element Generator not found Warning: Element 'a t not found Warning: Element B_cons not found Warning: Element Arg not found Warning: Element OUnit.>::: not found Warning: Element 'a t not found Warning: Element B_cons not found Warning: Element B_cons not found dh_installdocs dh_installchangelogs dh_installexamples dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms debian/rules override_dh_missing make[1]: Entering directory '/<>' dh_missing --fail-missing make[1]: Leaving directory '/<>' dh_strip dh_makeshlibs dh_shlibdeps dh_installdeb dh_ocaml dh_gencontrol dpkg-gencontrol: warning: Depends field of package libqcheck-ocaml-dev: unknown substitution variable ${shlibs:Depends} dpkg-gencontrol: warning: Depends field of package libqcheck-ocaml: unknown substitution variable ${shlibs:Depends} dpkg-gencontrol: warning: Depends field of package libqcheck-ocaml: unknown substitution variable ${shlibs:Depends} dh_md5sums dh_builddeb INFO: pkgstriptranslations version 143 INFO: pkgstriptranslations version 143 INFO: pkgstriptranslations version 143 INFO: pkgstriptranslations version 143 pkgstriptranslations: processing libqcheck-ocaml (in debian/libqcheck-ocaml); do_strip: , oemstrip: pkgstriptranslations: processing libqcheck-ocaml-dev (in debian/libqcheck-ocaml-dev); do_strip: , oemstrip: pkgstriptranslations: processing libqcheck-ocaml-doc (in debian/libqcheck-ocaml-doc); do_strip: , oemstrip: pkgstriptranslations: processing libqcheck-ocaml-dbgsym (in debian/.debhelper/libqcheck-ocaml/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libqcheck-ocaml/DEBIAN/control, package libqcheck-ocaml, directory debian/libqcheck-ocaml .. removing usr/share/doc/qcheck/CHANGELOG.md pkgstripfiles: processing control file: debian/libqcheck-ocaml-doc/DEBIAN/control, package libqcheck-ocaml-doc, directory debian/libqcheck-ocaml-doc pkgstripfiles: Running PNG optimization (using 4 cpus) for package libqcheck-ocaml ... INFO: pkgstripfiles: waiting for lock (libqcheck-ocaml-doc) ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libqcheck-ocaml' in '../libqcheck-ocaml_0.8-1_amd64.deb'. pkgstripfiles: processing control file: debian/.debhelper/libqcheck-ocaml/dbgsym-root/DEBIAN/control, package libqcheck-ocaml-dbgsym, directory debian/.debhelper/libqcheck-ocaml/dbgsym-root dpkg-deb: building package 'libqcheck-ocaml-dbgsym' in 'debian/.debhelper/scratch-space/build-libqcheck-ocaml/libqcheck-ocaml-dbgsym_0.8-1_amd64.deb'. Renaming libqcheck-ocaml-dbgsym_0.8-1_amd64.deb to libqcheck-ocaml-dbgsym_0.8-1_amd64.ddeb INFO: pkgstripfiles: waiting for lock (libqcheck-ocaml-doc) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ocaml-doc) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ocaml-doc) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ocaml-doc) ... pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libqcheck-ocaml-dev/DEBIAN/control, package libqcheck-ocaml-dev, directory debian/libqcheck-ocaml-dev pkgstripfiles: Running PNG optimization (using 4 cpus) for package libqcheck-ocaml-dev ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libqcheck-ocaml-dev' in '../libqcheck-ocaml-dev_0.8-1_amd64.deb'. pkgstripfiles: Disabled PNG optimization for -doc package libqcheck-ocaml-doc (to save build time) dpkg-deb: building package 'libqcheck-ocaml-doc' in '../libqcheck-ocaml-doc_0.8-1_all.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary -mLaunchpad Build Daemon >../ocaml-qcheck_0.8-1_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build ocaml-qcheck-0.8 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20181109-1555 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ ocaml-qcheck_0.8-1_amd64.changes: --------------------------------- Format: 1.8 Date: Wed, 15 Aug 2018 10:14:09 +0800 Source: ocaml-qcheck Binary: libqcheck-ocaml libqcheck-ocaml-dev libqcheck-ocaml-doc Architecture: amd64 all Version: 0.8-1 Distribution: disco-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Andy Li Description: libqcheck-ocaml - QuickCheck inspired property-based testing for OCaml (Runtime lib libqcheck-ocaml-dev - QuickCheck inspired property-based testing for OCaml (Development libqcheck-ocaml-doc - Documentation for ocaml-qcheck Closes: 903371 Changes: ocaml-qcheck (0.8-1) unstable; urgency=medium . * Initial release. (Closes: #903371) Checksums-Sha1: 7d437c1a2addc9269dbb5277380c6c29dfc64c33 22792 libqcheck-ocaml-dbgsym_0.8-1_amd64.ddeb b66957f7888c22dc26e471503ba23e84066ec0fe 463360 libqcheck-ocaml-dev_0.8-1_amd64.deb be5ef053e7028cb0606b0cf817d31697e10e906c 30156 libqcheck-ocaml-doc_0.8-1_all.deb 23f5386099c53b82de5270bd6ce4192538a8ac7e 206912 libqcheck-ocaml_0.8-1_amd64.deb aebe5bd128b5cfa61639df3747793dfa5aca8208 6066 ocaml-qcheck_0.8-1_amd64.buildinfo Checksums-Sha256: 345391905a1e00f108e28067dac280095fc4703324a47cd5a4ba68c2b5bb6342 22792 libqcheck-ocaml-dbgsym_0.8-1_amd64.ddeb bd741a159764427a2c7c40d5acfec3ecc593fffee246c7b873b9a9303877c36b 463360 libqcheck-ocaml-dev_0.8-1_amd64.deb 45bb998abbd55319ff459e06edcbb8a3f6cdc337cb41b7cd90cf4a07b59d90e0 30156 libqcheck-ocaml-doc_0.8-1_all.deb 0a52a096c468181bc77ab139eba93f7ff199bb9d3ca17c00267365974aba1e74 206912 libqcheck-ocaml_0.8-1_amd64.deb 48d097c1a1ec06d2292e0916e84da56ff94d0ce53a698313bce137f2503d9afe 6066 ocaml-qcheck_0.8-1_amd64.buildinfo Files: 736e6f2194dde35983b3a72e97859e5d 22792 debug optional libqcheck-ocaml-dbgsym_0.8-1_amd64.ddeb 71a1461c3c66327d239f672dbfb4c041 463360 ocaml optional libqcheck-ocaml-dev_0.8-1_amd64.deb e2be48868247928d41cdf371d8ba95be 30156 doc optional libqcheck-ocaml-doc_0.8-1_all.deb 97238cea85a349392d077e34f420ce08 206912 ocaml optional libqcheck-ocaml_0.8-1_amd64.deb 6d6a69f5fc3e8f1b30a18876dd5931a1 6066 ocaml optional ocaml-qcheck_0.8-1_amd64.buildinfo +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libqcheck-ocaml-dev_0.8-1_amd64.deb ----------------------------------- new debian package, version 2.0. size 463360 bytes: control archive=1372 bytes. 750 bytes, 17 lines control 1827 bytes, 24 lines md5sums Package: libqcheck-ocaml-dev Source: ocaml-qcheck Version: 0.8-1 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 1847 Depends: libounit-ocaml-dev-q0yf4, libqcheck-ocaml-azo86, ocaml-nox-4.05.0 Recommends: ocaml-findlib Provides: libqcheck-ocaml-dev-azo86 Section: ocaml Priority: optional Homepage: https://github.com/c-cube/qcheck Description: QuickCheck inspired property-based testing for OCaml (Development package) This module allows one to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them. drwxr-xr-x root/root 0 2018-08-15 02:14 ./ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/lib/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/ -rw-r--r-- root/root 31318 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck.cmi -rw-r--r-- root/root 734358 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck.cmt -rw-r--r-- root/root 225762 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck.cmti -rw-r--r-- root/root 19305 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck.cmx -rw-r--r-- root/root 47213 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck.ml -rw-r--r-- root/root 38150 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck.mli -rw-r--r-- root/root 3406 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck_runner.cmi -rw-r--r-- root/root 256511 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck_runner.cmt -rw-r--r-- root/root 24415 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck_runner.cmti -rw-r--r-- root/root 6561 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck_runner.cmx -rw-r--r-- root/root 18337 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck_runner.ml -rw-r--r-- root/root 6319 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/QCheck_runner.mli -rw-r--r-- root/root 441392 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/qcheck.a -rw-r--r-- root/root 2550 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/qcheck.cmxa -rw-r--r-- root/root 12 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/qcheck.dune drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-dev/ -rw-r--r-- root/root 156 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 1753 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-dev/copyright drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-dev/examples/ -rw-r--r-- root/root 789 2018-02-03 16:17 ./usr/share/doc/libqcheck-ocaml-dev/examples/QCheck_ounit_test.ml -rw-r--r-- root/root 1277 2018-02-03 16:17 ./usr/share/doc/libqcheck-ocaml-dev/examples/QCheck_runner_test.ml.gz -rw-r--r-- root/root 1016 2018-02-03 16:17 ./usr/share/doc/libqcheck-ocaml-dev/examples/QCheck_test.ml -rw-r--r-- root/root 111 2018-02-03 16:17 ./usr/share/doc/libqcheck-ocaml-dev/examples/jbuild drwxr-xr-x root/root 0 2018-08-15 02:14 ./var/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./var/lib/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 183 2018-08-15 02:14 ./var/lib/ocaml/lintian/libqcheck-ocaml-dev.META.qcheck -rw-r--r-- root/root 187 2018-08-15 02:14 ./var/lib/ocaml/lintian/libqcheck-ocaml-dev.info drwxr-xr-x root/root 0 2018-08-15 02:14 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 366 2018-08-15 02:14 ./var/lib/ocaml/md5sums/libqcheck-ocaml-dev.md5sums libqcheck-ocaml-doc_0.8-1_all.deb --------------------------------- new debian package, version 2.0. size 30156 bytes: control archive=1684 bytes. 667 bytes, 17 lines control 3755 bytes, 39 lines md5sums Package: libqcheck-ocaml-doc Source: ocaml-qcheck Version: 0.8-1 Architecture: all Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 431 Enhances: libqcheck-ocaml-dev Section: doc Priority: optional Homepage: https://github.com/c-cube/qcheck Description: Documentation for ocaml-qcheck This module allows one to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them. . This package contains documentation for ocaml-qcheck in html format. drwxr-xr-x root/root 0 2018-08-15 02:14 ./ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc-base/ -rw-r--r-- root/root 339 2018-08-15 02:14 ./usr/share/doc-base/libqcheck-ocaml-doc.doc-base.apiref drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/ -rw-r--r-- root/root 156 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/changelog.Debian.gz -rw-r--r-- root/root 1753 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/copyright drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/ -rw-r--r-- root/root 2170 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Fn.html -rw-r--r-- root/root 22029 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Gen.html -rw-r--r-- root/root 6177 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Iter.html -rw-r--r-- root/root 5233 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Observable.html -rw-r--r-- root/root 5395 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Print.html -rw-r--r-- root/root 6587 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Shrink.html -rw-r--r-- root/root 17475 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Test.html -rw-r--r-- root/root 7377 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.TestResult.html -rw-r--r-- root/root 1921 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Tuple.Infix.html -rw-r--r-- root/root 3797 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.Tuple.html -rw-r--r-- root/root 45100 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck.html -rw-r--r-- root/root 11609 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/QCheck_runner.html -rw-r--r-- root/root 1365 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index.html -rw-r--r-- root/root 872 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_attributes.html -rw-r--r-- root/root 862 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_class_types.html -rw-r--r-- root/root 854 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_classes.html -rw-r--r-- root/root 1588 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_exceptions.html -rw-r--r-- root/root 860 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_extensions.html -rw-r--r-- root/root 866 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_methods.html -rw-r--r-- root/root 864 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_module_types.html -rw-r--r-- root/root 2696 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_modules.html -rw-r--r-- root/root 5532 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_types.html -rw-r--r-- root/root 50131 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/index_values.html -rw-r--r-- root/root 2825 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/style.css -rw-r--r-- root/root 1833 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Fn.html -rw-r--r-- root/root 23352 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Gen.html -rw-r--r-- root/root 10720 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Iter.html -rw-r--r-- root/root 8222 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Observable.html -rw-r--r-- root/root 6226 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Print.html -rw-r--r-- root/root 6413 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Shrink.html -rw-r--r-- root/root 15151 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Test.html -rw-r--r-- root/root 3896 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.TestResult.html -rw-r--r-- root/root 1982 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Tuple.Infix.html -rw-r--r-- root/root 5910 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.Tuple.html -rw-r--r-- root/root 117389 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck.html -rw-r--r-- root/root 5577 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml-doc/html/api/type_QCheck_runner.html libqcheck-ocaml_0.8-1_amd64.deb ------------------------------- new debian package, version 2.0. size 206912 bytes: control archive=916 bytes. 693 bytes, 17 lines control 481 bytes, 7 lines md5sums Package: libqcheck-ocaml Source: ocaml-qcheck Version: 0.8-1 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 731 Depends: ocaml-base-nox-4.05.0 Recommends: ocaml-findlib Provides: libqcheck-ocaml-azo86 Section: ocaml Priority: optional Homepage: https://github.com/c-cube/qcheck Description: QuickCheck inspired property-based testing for OCaml (Runtime library) This module allows one to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them. drwxr-xr-x root/root 0 2018-08-15 02:14 ./ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/lib/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/ -rw-r--r-- root/root 183 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/META -rw-r--r-- root/root 663 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/opam -rw-r--r-- root/root 402994 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/qcheck.cma -rw-r--r-- root/root 321216 2018-08-15 02:14 ./usr/lib/ocaml/qcheck/qcheck.cmxs drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml/ -rw-r--r-- root/root 156 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml/changelog.Debian.gz -rw-r--r-- root/root 1753 2018-08-15 02:14 ./usr/share/doc/libqcheck-ocaml/copyright drwxr-xr-x root/root 0 2018-08-15 02:14 ./usr/share/doc/qcheck/ -rw-r--r-- root/root 3457 2018-08-15 02:14 ./usr/share/doc/qcheck/README.adoc.gz +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build-Space: 13680 Build-Time: 14 Distribution: disco-proposed Host Architecture: amd64 Install-Time: 21 Job: ocaml-qcheck_0.8-1.dsc Machine Architecture: amd64 Package: ocaml-qcheck Package-Time: 36 Source-Version: 0.8-1 Space: 13680 Status: successful Version: 0.8-1 -------------------------------------------------------------------------------- Finished at 20181109-1555 Build needed 00:00:36, 13680k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=disco --arch=amd64 PACKAGEBUILD-15638859 Scanning for processes to kill in build PACKAGEBUILD-15638859