https://launchpad.net/ubuntu/+source/ocaml-qcheck/0.11-1build1/+build/19108281 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux riscv64-qemu-lcy01-092 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 Buildd toolchain package versions: launchpad-buildd_188 python-lpbuildd_188 sbuild_0.79.0-1ubuntu1 git_1:2.25.1-1ubuntu1 dpkg-dev_1.19.7ubuntu2 python-debian_0.1.36build1. Syncing the system clock with the buildd NTP service... 13 Apr 03:01:00 ntpdate[23404]: adjust time server 10.211.37.1 offset -0.000308 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19108281 --image-type chroot /home/buildd/filecache-default/88ad86cb2b525f1abddded96eadf8014548f7845 Creating target for build PACKAGEBUILD-19108281 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19108281 Starting target for build PACKAGEBUILD-19108281 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19108281 'deb http://ftpmaster.internal/ubuntu focal main universe' Overriding sources.list in build-PACKAGEBUILD-19108281 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19108281 Updating target for build PACKAGEBUILD-19108281 Ign:1 http://archive-team.internal/bootstrap/riscv64 focal InRelease Get:2 http://ftpmaster.internal/ubuntu focal InRelease [265 kB] Get:3 http://archive-team.internal/bootstrap/riscv64 focal Release [754 B] Ign:4 http://archive-team.internal/bootstrap/riscv64 focal Release.gpg Get:5 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 Packages [27.3 kB] Get:6 http://ftpmaster.internal/ubuntu focal-proposed InRelease [265 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main riscv64 Packages [857 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main Translation-en [503 kB] Get:9 http://ftpmaster.internal/ubuntu focal/universe riscv64 Packages [7505 kB] Get:10 http://ftpmaster.internal/ubuntu focal/universe Translation-en [5131 kB] Get:11 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 Packages [27.2 kB] Get:12 http://ftpmaster.internal/ubuntu focal-proposed/main Translation-en [22.8 kB] Get:13 http://ftpmaster.internal/ubuntu focal-proposed/restricted Translation-en [1396 B] Get:14 http://ftpmaster.internal/ubuntu focal-proposed/universe riscv64 Packages [194 kB] Get:15 http://ftpmaster.internal/ubuntu focal-proposed/universe Translation-en [131 kB] Get:16 http://ftpmaster.internal/ubuntu focal-proposed/multiverse riscv64 Packages [1140 B] Get:17 http://ftpmaster.internal/ubuntu focal-proposed/multiverse Translation-en [4424 B] Fetched 14.9 MB in 26s (568 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt binutils binutils-common binutils-riscv64-linux-gnu bsdutils coreutils cpp-9 g++-9 gcc-10-base gcc-8-base gcc-9 gcc-9-base libapt-pkg6.0 libatomic1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libctf-nobfd0 libctf0 libgcc-9-dev libgcc-s1 libgcc1 libgnutls30 libgomp1 liblocale-gettext-perl libmount1 libperl5.30 libsmartcols1 libstdc++-9-dev libstdc++6 libsystemd0 libtext-charwidth-perl libtext-iconv-perl libudev1 libuuid1 linux-libc-dev login mount passwd perl-base util-linux 45 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 45.0 MB of archives. After this operation, 104 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu focal/main riscv64 bsdutils riscv64 1:2.34-0.1ubuntu9 [57.0 kB] Get:2 http://ftpmaster.internal/ubuntu focal/main riscv64 coreutils riscv64 8.30-3ubuntu2 [1158 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main riscv64 login riscv64 1:4.8.1-1ubuntu4 [216 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main riscv64 perl-base riscv64 5.30.0-9build1 [1419 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main riscv64 util-linux riscv64 2.34-0.1ubuntu9 [947 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main riscv64 libc6-dev riscv64 2.31-0ubuntu7 [3659 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main riscv64 libc-dev-bin riscv64 2.31-0ubuntu7 [62.5 kB] Get:8 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 linux-libc-dev riscv64 5.4.0-23.27 [1089 kB] Get:9 http://ftpmaster.internal/ubuntu focal/main riscv64 libatomic1 riscv64 10-20200411-0ubuntu1 [7488 B] Get:10 http://ftpmaster.internal/ubuntu focal/main riscv64 libgomp1 riscv64 10-20200411-0ubuntu1 [83.4 kB] Get:11 http://ftpmaster.internal/ubuntu focal/main riscv64 gcc-10-base riscv64 10-20200411-0ubuntu1 [19.0 kB] Get:12 http://ftpmaster.internal/ubuntu focal/main riscv64 libgcc-s1 riscv64 10-20200411-0ubuntu1 [40.4 kB] Get:13 http://ftpmaster.internal/ubuntu focal/universe riscv64 libgcc1 riscv64 1:10-20200411-0ubuntu1 [40.3 kB] Get:14 http://ftpmaster.internal/ubuntu focal/main riscv64 libcc1-0 riscv64 10-20200411-0ubuntu1 [38.2 kB] Get:15 http://ftpmaster.internal/ubuntu focal/main riscv64 libstdc++6 riscv64 10-20200411-0ubuntu1 [506 kB] Get:16 http://ftpmaster.internal/ubuntu focal/main riscv64 libc6 riscv64 2.31-0ubuntu7 [2272 kB] Get:17 http://ftpmaster.internal/ubuntu focal/main riscv64 libc-bin riscv64 2.31-0ubuntu7 [505 kB] Get:18 http://ftpmaster.internal/ubuntu focal/main riscv64 libsystemd0 riscv64 245.4-2ubuntu1 [242 kB] Get:19 http://ftpmaster.internal/ubuntu focal/main riscv64 libudev1 riscv64 245.4-2ubuntu1 [69.9 kB] Get:20 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libapt-pkg6.0 riscv64 2.0.2 [798 kB] Get:21 http://ftpmaster.internal/ubuntu focal/main riscv64 libgnutls30 riscv64 3.6.13-2ubuntu1 [720 kB] Get:22 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 apt riscv64 2.0.2 [1232 kB] Get:23 http://ftpmaster.internal/ubuntu focal/main riscv64 mount riscv64 2.34-0.1ubuntu9 [107 kB] Get:24 http://ftpmaster.internal/ubuntu focal/main riscv64 liblocale-gettext-perl riscv64 1.07-4 [16.5 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main riscv64 libblkid1 riscv64 2.34-0.1ubuntu9 [129 kB] Get:26 http://ftpmaster.internal/ubuntu focal/main riscv64 libmount1 riscv64 2.34-0.1ubuntu9 [135 kB] Get:27 http://ftpmaster.internal/ubuntu focal/main riscv64 libsmartcols1 riscv64 2.34-0.1ubuntu9 [90.4 kB] Get:28 http://ftpmaster.internal/ubuntu focal/main riscv64 libuuid1 riscv64 2.34-0.1ubuntu9 [22.2 kB] Get:29 http://ftpmaster.internal/ubuntu focal/main riscv64 passwd riscv64 1:4.8.1-1ubuntu4 [752 kB] Get:30 http://ftpmaster.internal/ubuntu focal/main riscv64 libtext-charwidth-perl riscv64 0.04-10 [9460 B] Get:31 http://ftpmaster.internal/ubuntu focal/main riscv64 libtext-iconv-perl riscv64 1.7-7 [13.2 kB] Get:32 http://ftpmaster.internal/ubuntu focal/main riscv64 libctf0 riscv64 2.34-6ubuntu1 [39.9 kB] Get:33 http://ftpmaster.internal/ubuntu focal/main riscv64 binutils-riscv64-linux-gnu riscv64 2.34-6ubuntu1 [646 kB] Get:34 http://ftpmaster.internal/ubuntu focal/main riscv64 libbinutils riscv64 2.34-6ubuntu1 [279 kB] Get:35 http://ftpmaster.internal/ubuntu focal/main riscv64 binutils riscv64 2.34-6ubuntu1 [3292 B] Get:36 http://ftpmaster.internal/ubuntu focal/main riscv64 binutils-common riscv64 2.34-6ubuntu1 [199 kB] Get:37 http://ftpmaster.internal/ubuntu focal/main riscv64 libctf-nobfd0 riscv64 2.34-6ubuntu1 [40.6 kB] Get:38 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 g++-9 riscv64 9.3.0-10ubuntu2 [6928 kB] Get:39 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libstdc++-9-dev riscv64 9.3.0-10ubuntu2 [3674 kB] Get:40 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 gcc-9 riscv64 9.3.0-10ubuntu2 [6784 kB] Get:41 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libgcc-9-dev riscv64 9.3.0-10ubuntu2 [404 kB] Get:42 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 cpp-9 riscv64 9.3.0-10ubuntu2 [6046 kB] Get:43 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 gcc-9-base riscv64 9.3.0-10ubuntu2 [19.3 kB] Get:44 http://ftpmaster.internal/ubuntu focal/universe riscv64 gcc-8-base riscv64 8.4.0-3ubuntu2 [18.4 kB] Get:45 http://ftpmaster.internal/ubuntu focal/main riscv64 libperl5.30 riscv64 5.30.0-9build1 [3422 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 45.0 MB in 10s (4597 kB/s) (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.34-0.1ubuntu9_riscv64.deb ... Unpacking bsdutils (1:2.34-0.1ubuntu9) over (1:2.34-0.1ubuntu8) ... Setting up bsdutils (1:2.34-0.1ubuntu9) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../coreutils_8.30-3ubuntu2_riscv64.deb ... Unpacking coreutils (8.30-3ubuntu2) over (8.30-3ubuntu2) ... Setting up coreutils (8.30-3ubuntu2) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../login_1%3a4.8.1-1ubuntu4_riscv64.deb ... Unpacking login (1:4.8.1-1ubuntu4) over (1:4.8.1-1ubuntu3) ... Setting up login (1:4.8.1-1ubuntu4) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../perl-base_5.30.0-9build1_riscv64.deb ... Unpacking perl-base (5.30.0-9build1) over (5.30.0-9build1) ... Setting up perl-base (5.30.0-9build1) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../util-linux_2.34-0.1ubuntu9_riscv64.deb ... Unpacking util-linux (2.34-0.1ubuntu9) over (2.34-0.1ubuntu8) ... Setting up util-linux (2.34-0.1ubuntu9) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.31-0ubuntu7_riscv64.deb ... Unpacking libc6-dev:riscv64 (2.31-0ubuntu7) over (2.31-0ubuntu6~riscv64.1) ... Preparing to unpack .../1-libc-dev-bin_2.31-0ubuntu7_riscv64.deb ... Unpacking libc-dev-bin (2.31-0ubuntu7) over (2.31-0ubuntu6~riscv64.1) ... Preparing to unpack .../2-linux-libc-dev_5.4.0-23.27_riscv64.deb ... Unpacking linux-libc-dev:riscv64 (5.4.0-23.27) over (5.4.0-21.25) ... Preparing to unpack .../3-libatomic1_10-20200411-0ubuntu1_riscv64.deb ... Unpacking libatomic1:riscv64 (10-20200411-0ubuntu1) over (10-20200324-1ubuntu1) ... Preparing to unpack .../4-libgomp1_10-20200411-0ubuntu1_riscv64.deb ... Unpacking libgomp1:riscv64 (10-20200411-0ubuntu1) over (10-20200324-1ubuntu1) ... Preparing to unpack .../5-gcc-10-base_10-20200411-0ubuntu1_riscv64.deb ... Unpacking gcc-10-base:riscv64 (10-20200411-0ubuntu1) over (10-20200324-1ubuntu1) ... Setting up gcc-10-base:riscv64 (10-20200411-0ubuntu1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libgcc-s1_10-20200411-0ubuntu1_riscv64.deb ... Unpacking libgcc-s1:riscv64 (10-20200411-0ubuntu1) over (10-20200324-1ubuntu1) ... Setting up libgcc-s1:riscv64 (10-20200411-0ubuntu1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a10-20200411-0ubuntu1_riscv64.deb ... Unpacking libgcc1 (1:10-20200411-0ubuntu1) over (1:10-20200324-1ubuntu1) ... Preparing to unpack .../libcc1-0_10-20200411-0ubuntu1_riscv64.deb ... Unpacking libcc1-0:riscv64 (10-20200411-0ubuntu1) over (10-20200324-1ubuntu1) ... Preparing to unpack .../libstdc++6_10-20200411-0ubuntu1_riscv64.deb ... Unpacking libstdc++6:riscv64 (10-20200411-0ubuntu1) over (10-20200324-1ubuntu1) ... Setting up libstdc++6:riscv64 (10-20200411-0ubuntu1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libc6_2.31-0ubuntu7_riscv64.deb ... Unpacking libc6:riscv64 (2.31-0ubuntu7) over (2.31-0ubuntu6~riscv64.1) ... Setting up libc6:riscv64 (2.31-0ubuntu7) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libc-bin_2.31-0ubuntu7_riscv64.deb ... Unpacking libc-bin (2.31-0ubuntu7) over (2.31-0ubuntu6~riscv64.1) ... Setting up libc-bin (2.31-0ubuntu7) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libsystemd0_245.4-2ubuntu1_riscv64.deb ... Unpacking libsystemd0:riscv64 (245.4-2ubuntu1) over (244.3-1ubuntu1) ... Setting up libsystemd0:riscv64 (245.4-2ubuntu1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libudev1_245.4-2ubuntu1_riscv64.deb ... Unpacking libudev1:riscv64 (245.4-2ubuntu1) over (244.3-1ubuntu1) ... Setting up libudev1:riscv64 (245.4-2ubuntu1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.0.2_riscv64.deb ... Unpacking libapt-pkg6.0:riscv64 (2.0.2) over (2.0.1) ... Setting up libapt-pkg6.0:riscv64 (2.0.2) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.6.13-2ubuntu1_riscv64.deb ... Unpacking libgnutls30:riscv64 (3.6.13-2ubuntu1) over (3.6.11.1-2ubuntu2) ... Setting up libgnutls30:riscv64 (3.6.13-2ubuntu1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../archives/apt_2.0.2_riscv64.deb ... Unpacking apt (2.0.2) over (2.0.1) ... Setting up apt (2.0.2) ... Installing new version of config file /etc/apt/apt.conf.d/01-vendor-ubuntu ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../mount_2.34-0.1ubuntu9_riscv64.deb ... Unpacking mount (2.34-0.1ubuntu9) over (2.34-0.1ubuntu8) ... Preparing to unpack .../liblocale-gettext-perl_1.07-4_riscv64.deb ... Unpacking liblocale-gettext-perl (1.07-4) over (1.07-4) ... Preparing to unpack .../libblkid1_2.34-0.1ubuntu9_riscv64.deb ... Unpacking libblkid1:riscv64 (2.34-0.1ubuntu9) over (2.34-0.1ubuntu8) ... Setting up libblkid1:riscv64 (2.34-0.1ubuntu9) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libmount1_2.34-0.1ubuntu9_riscv64.deb ... Unpacking libmount1:riscv64 (2.34-0.1ubuntu9) over (2.34-0.1ubuntu8) ... Setting up libmount1:riscv64 (2.34-0.1ubuntu9) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.34-0.1ubuntu9_riscv64.deb ... Unpacking libsmartcols1:riscv64 (2.34-0.1ubuntu9) over (2.34-0.1ubuntu8) ... Setting up libsmartcols1:riscv64 (2.34-0.1ubuntu9) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libuuid1_2.34-0.1ubuntu9_riscv64.deb ... Unpacking libuuid1:riscv64 (2.34-0.1ubuntu9) over (2.34-0.1ubuntu8) ... Setting up libuuid1:riscv64 (2.34-0.1ubuntu9) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.8.1-1ubuntu4_riscv64.deb ... Unpacking passwd (1:4.8.1-1ubuntu4) over (1:4.8.1-1ubuntu3) ... Setting up passwd (1:4.8.1-1ubuntu4) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../00-libtext-charwidth-perl_0.04-10_riscv64.deb ... Unpacking libtext-charwidth-perl (0.04-10) over (0.04-10) ... Preparing to unpack .../01-libtext-iconv-perl_1.7-7_riscv64.deb ... Unpacking libtext-iconv-perl (1.7-7) over (1.7-7) ... Preparing to unpack .../02-libctf0_2.34-6ubuntu1_riscv64.deb ... Unpacking libctf0:riscv64 (2.34-6ubuntu1) over (2.34-5ubuntu1) ... Preparing to unpack .../03-binutils-riscv64-linux-gnu_2.34-6ubuntu1_riscv64.deb ... Unpacking binutils-riscv64-linux-gnu (2.34-6ubuntu1) over (2.34-5ubuntu1) ... Preparing to unpack .../04-libbinutils_2.34-6ubuntu1_riscv64.deb ... Unpacking libbinutils:riscv64 (2.34-6ubuntu1) over (2.34-5ubuntu1) ... Preparing to unpack .../05-binutils_2.34-6ubuntu1_riscv64.deb ... Unpacking binutils (2.34-6ubuntu1) over (2.34-5ubuntu1) ... Preparing to unpack .../06-binutils-common_2.34-6ubuntu1_riscv64.deb ... Unpacking binutils-common:riscv64 (2.34-6ubuntu1) over (2.34-5ubuntu1) ... Preparing to unpack .../07-libctf-nobfd0_2.34-6ubuntu1_riscv64.deb ... Unpacking libctf-nobfd0:riscv64 (2.34-6ubuntu1) over (2.34-5ubuntu1) ... Preparing to unpack .../08-g++-9_9.3.0-10ubuntu2_riscv64.deb ... Unpacking g++-9 (9.3.0-10ubuntu2) over (9.3.0-8ubuntu1) ... Preparing to unpack .../09-libstdc++-9-dev_9.3.0-10ubuntu2_riscv64.deb ... Unpacking libstdc++-9-dev:riscv64 (9.3.0-10ubuntu2) over (9.3.0-8ubuntu1) ... Preparing to unpack .../10-gcc-9_9.3.0-10ubuntu2_riscv64.deb ... Unpacking gcc-9 (9.3.0-10ubuntu2) over (9.3.0-8ubuntu1) ... Preparing to unpack .../11-libgcc-9-dev_9.3.0-10ubuntu2_riscv64.deb ... Unpacking libgcc-9-dev:riscv64 (9.3.0-10ubuntu2) over (9.3.0-8ubuntu1) ... Preparing to unpack .../12-cpp-9_9.3.0-10ubuntu2_riscv64.deb ... Unpacking cpp-9 (9.3.0-10ubuntu2) over (9.3.0-8ubuntu1) ... Preparing to unpack .../13-gcc-9-base_9.3.0-10ubuntu2_riscv64.deb ... Unpacking gcc-9-base:riscv64 (9.3.0-10ubuntu2) over (9.3.0-8ubuntu1) ... Preparing to unpack .../14-gcc-8-base_8.4.0-3ubuntu2_riscv64.deb ... Unpacking gcc-8-base:riscv64 (8.4.0-3ubuntu2) over (8.4.0-3ubuntu1) ... Preparing to unpack .../15-libperl5.30_5.30.0-9build1_riscv64.deb ... Unpacking libperl5.30:riscv64 (5.30.0-9build1) over (5.30.0-9build1) ... Setting up libtext-iconv-perl (1.7-7) ... Setting up libtext-charwidth-perl (0.04-10) ... Setting up libgcc1 (1:10-20200411-0ubuntu1) ... Setting up binutils-common:riscv64 (2.34-6ubuntu1) ... Setting up linux-libc-dev:riscv64 (5.4.0-23.27) ... Setting up libctf-nobfd0:riscv64 (2.34-6ubuntu1) ... Setting up libgomp1:riscv64 (10-20200411-0ubuntu1) ... Setting up libatomic1:riscv64 (10-20200411-0ubuntu1) ... Setting up gcc-8-base:riscv64 (8.4.0-3ubuntu2) ... Setting up mount (2.34-0.1ubuntu9) ... Setting up libperl5.30:riscv64 (5.30.0-9build1) ... Setting up libbinutils:riscv64 (2.34-6ubuntu1) ... Setting up libc-dev-bin (2.31-0ubuntu7) ... Setting up libcc1-0:riscv64 (10-20200411-0ubuntu1) ... Setting up liblocale-gettext-perl (1.07-4) ... Setting up gcc-9-base:riscv64 (9.3.0-10ubuntu2) ... Setting up libctf0:riscv64 (2.34-6ubuntu1) ... Setting up binutils-riscv64-linux-gnu (2.34-6ubuntu1) ... Setting up binutils (2.34-6ubuntu1) ... Setting up libgcc-9-dev:riscv64 (9.3.0-10ubuntu2) ... Setting up cpp-9 (9.3.0-10ubuntu2) ... Setting up libc6-dev:riscv64 (2.31-0ubuntu7) ... Setting up gcc-9 (9.3.0-10ubuntu2) ... Setting up libstdc++-9-dev:riscv64 (9.3.0-10ubuntu2) ... Setting up g++-9 (9.3.0-10ubuntu2) ... Processing triggers for libc-bin (2.31-0ubuntu7) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-19108281 riscv64 focal -c chroot:build-PACKAGEBUILD-19108281 --arch=riscv64 --dist=focal --nolog ocaml-qcheck_0.11-1build1.dsc Initiating build PACKAGEBUILD-19108281 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on riscv64-qemu-lcy01-092 +==============================================================================+ | ocaml-qcheck 0.11-1build1 (riscv64) Mon, 13 Apr 2020 03:05:13 +0000 | +==============================================================================+ Package: ocaml-qcheck Version: 0.11-1build1 Source Version: 0.11-1build1 Distribution: focal Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-19108281/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/ocaml-qcheck-5sfOuN/resolver-NAA201' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- ocaml-qcheck_0.11-1build1.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/ocaml-qcheck-5sfOuN/ocaml-qcheck-0.11' with '<>' I: NOTICE: Log filtering will replace 'build/ocaml-qcheck-5sfOuN' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 10~), dh-ocaml, ocaml-nox (>= 4.02.0), dune, ocaml-findlib, opam-installer, libounit-ocaml-dev, build-essential, fakeroot Filtered Build-Depends: debhelper (>= 10~), dh-ocaml, ocaml-nox (>= 4.02.0), dune, ocaml-findlib, opam-installer, libounit-ocaml-dev, build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [418 B] Get:5 copy:/<>/apt_archive ./ Packages [502 B] Fetched 1877 B in 0s (4706 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libgpm2 Use 'apt autoremove' to remove it. 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 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu66 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libncurses6 libounit-ocaml-dev libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp ocaml-nox opam-installer po-debconf tzdata 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 libmail-box-perl Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor 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 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu66 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libncurses6 libounit-ocaml-dev libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp ocaml-nox opam-installer po-debconf sbuild-build-depends-main-dummy tzdata 0 upgraded, 49 newly installed, 0 to remove and 0 not upgraded. Need to get 75.8 MB of archives. After this operation, 319 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [928 B] Get:2 http://ftpmaster.internal/ubuntu focal/main riscv64 libbsd0 riscv64 0.10.0-1 [42.0 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main riscv64 bsdmainutils riscv64 11.1.2ubuntu3 [176 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main riscv64 libuchardet0 riscv64 0.0.6-3build1 [64.9 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main riscv64 groff-base riscv64 1.22.4-4build1 [816 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main riscv64 libpipeline1 riscv64 1.5.2-2build1 [23.9 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main riscv64 man-db riscv64 2.9.1-1 [1075 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main riscv64 libncurses6 riscv64 6.2-0ubuntu2 [86.2 kB] Get:9 http://ftpmaster.internal/ubuntu focal/main riscv64 libmagic-mgc riscv64 1:5.38-4 [218 kB] Get:10 http://ftpmaster.internal/ubuntu focal/main riscv64 libmagic1 riscv64 1:5.38-4 [70.5 kB] Get:11 http://ftpmaster.internal/ubuntu focal/main riscv64 file riscv64 1:5.38-4 [22.5 kB] Get:12 http://ftpmaster.internal/ubuntu focal/main riscv64 libelf1 riscv64 0.176-1.1build1 [41.8 kB] Get:13 http://ftpmaster.internal/ubuntu focal/main riscv64 libglib2.0-0 riscv64 2.64.1-1 [1122 kB] Get:14 http://ftpmaster.internal/ubuntu focal/main riscv64 tzdata all 2019c-3ubuntu1 [294 kB] Get:15 http://ftpmaster.internal/ubuntu focal/main riscv64 libicu66 riscv64 66.1-2ubuntu2 [8406 kB] Get:16 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libxml2 riscv64 2.9.10+dfsg-5 [559 kB] Get:17 http://ftpmaster.internal/ubuntu focal/main riscv64 gettext-base riscv64 0.19.8.1-10build1 [47.4 kB] Get:18 http://ftpmaster.internal/ubuntu focal/main riscv64 libsigsegv2 riscv64 2.12-2 [13.0 kB] Get:19 http://ftpmaster.internal/ubuntu focal/main riscv64 m4 riscv64 1.4.18-4 [188 kB] Get:20 http://ftpmaster.internal/ubuntu focal/main riscv64 autoconf all 2.69-11.1 [321 kB] Get:21 http://ftpmaster.internal/ubuntu focal/main riscv64 autotools-dev all 20180224.1 [39.6 kB] Get:22 http://ftpmaster.internal/ubuntu focal/main riscv64 automake all 1:1.16.1-4ubuntu6 [522 kB] Get:23 http://ftpmaster.internal/ubuntu focal/main riscv64 autopoint all 0.19.8.1-10build1 [412 kB] Get:24 http://ftpmaster.internal/ubuntu focal/main riscv64 libtool all 2.4.6-14 [161 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main riscv64 dh-autoreconf all 19 [16.1 kB] Get:26 http://ftpmaster.internal/ubuntu focal/main riscv64 libdebhelper-perl all 12.10ubuntu1 [62.1 kB] Get:27 http://ftpmaster.internal/ubuntu focal/main riscv64 libarchive-zip-perl all 1.67-2 [90.5 kB] Get:28 http://ftpmaster.internal/ubuntu focal/main riscv64 libsub-override-perl all 0.09-2 [9532 B] Get:29 http://ftpmaster.internal/ubuntu focal/main riscv64 libfile-stripnondeterminism-perl all 1.6.3-2 [16.0 kB] Get:30 http://ftpmaster.internal/ubuntu focal/main riscv64 dh-strip-nondeterminism all 1.6.3-2 [5228 B] Get:31 http://ftpmaster.internal/ubuntu focal/main riscv64 dwz riscv64 0.13-5 [147 kB] Get:32 http://ftpmaster.internal/ubuntu focal/main riscv64 libcroco3 riscv64 0.6.13-1 [71.1 kB] Get:33 http://ftpmaster.internal/ubuntu focal/main riscv64 gettext riscv64 0.19.8.1-10build1 [844 kB] Get:34 http://ftpmaster.internal/ubuntu focal/main riscv64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:35 http://ftpmaster.internal/ubuntu focal/main riscv64 po-debconf all 1.0.21 [233 kB] Get:36 http://ftpmaster.internal/ubuntu focal/main riscv64 debhelper all 12.10ubuntu1 [877 kB] Get:37 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-dune riscv64 2.1.3-2 [484 kB] Get:38 http://ftpmaster.internal/ubuntu focal/universe riscv64 dune all 2.1.3-2 [2964 B] Get:39 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-base-nox riscv64 4.08.1-8 [337 kB] Get:40 http://ftpmaster.internal/ubuntu focal/universe riscv64 libfindlib-ocaml riscv64 1.8.1-1build3 [114 kB] Get:41 http://ftpmaster.internal/ubuntu focal/main riscv64 libncurses-dev riscv64 6.2-0ubuntu2 [696 kB] Get:42 http://ftpmaster.internal/ubuntu focal/main riscv64 libncurses5-dev riscv64 6.2-0ubuntu2 [980 B] Get:43 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-compiler-libs riscv64 4.08.1-8 [15.2 MB] Get:44 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-interp riscv64 4.08.1-8 [4636 kB] Get:45 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-nox riscv64 4.08.1-8 [35.8 MB] Get:46 http://ftpmaster.internal/ubuntu focal/universe riscv64 libounit-ocaml-dev riscv64 2.0.8-2build2 [822 kB] Get:47 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-findlib riscv64 1.8.1-1build3 [217 kB] Get:48 http://ftpmaster.internal/ubuntu focal-proposed/universe riscv64 opam-installer riscv64 2.0.5-1ubuntu1 [284 kB] Get:49 http://ftpmaster.internal/ubuntu focal/universe riscv64 dh-ocaml all 1.1.1 [79.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 75.8 MB in 13s (5981 kB/s) Selecting previously unselected package libbsd0:riscv64. (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.10.0-1_riscv64.deb ... Unpacking libbsd0:riscv64 (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2ubuntu3_riscv64.deb ... Unpacking bsdmainutils (11.1.2ubuntu3) ... Selecting previously unselected package libuchardet0:riscv64. Preparing to unpack .../02-libuchardet0_0.0.6-3build1_riscv64.deb ... Unpacking libuchardet0:riscv64 (0.0.6-3build1) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-4build1_riscv64.deb ... Unpacking groff-base (1.22.4-4build1) ... Selecting previously unselected package libpipeline1:riscv64. Preparing to unpack .../04-libpipeline1_1.5.2-2build1_riscv64.deb ... Unpacking libpipeline1:riscv64 (1.5.2-2build1) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.9.1-1_riscv64.deb ... Unpacking man-db (2.9.1-1) ... Selecting previously unselected package libncurses6:riscv64. Preparing to unpack .../06-libncurses6_6.2-0ubuntu2_riscv64.deb ... Unpacking libncurses6:riscv64 (6.2-0ubuntu2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.38-4_riscv64.deb ... Unpacking libmagic-mgc (1:5.38-4) ... Selecting previously unselected package libmagic1:riscv64. Preparing to unpack .../08-libmagic1_1%3a5.38-4_riscv64.deb ... Unpacking libmagic1:riscv64 (1:5.38-4) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.38-4_riscv64.deb ... Unpacking file (1:5.38-4) ... Selecting previously unselected package libelf1:riscv64. Preparing to unpack .../10-libelf1_0.176-1.1build1_riscv64.deb ... Unpacking libelf1:riscv64 (0.176-1.1build1) ... Selecting previously unselected package libglib2.0-0:riscv64. Preparing to unpack .../11-libglib2.0-0_2.64.1-1_riscv64.deb ... Unpacking libglib2.0-0:riscv64 (2.64.1-1) ... Selecting previously unselected package tzdata. Preparing to unpack .../12-tzdata_2019c-3ubuntu1_all.deb ... Unpacking tzdata (2019c-3ubuntu1) ... Selecting previously unselected package libicu66:riscv64. Preparing to unpack .../13-libicu66_66.1-2ubuntu2_riscv64.deb ... Unpacking libicu66:riscv64 (66.1-2ubuntu2) ... Selecting previously unselected package libxml2:riscv64. Preparing to unpack .../14-libxml2_2.9.10+dfsg-5_riscv64.deb ... Unpacking libxml2:riscv64 (2.9.10+dfsg-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../15-gettext-base_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libsigsegv2:riscv64. Preparing to unpack .../16-libsigsegv2_2.12-2_riscv64.deb ... Unpacking libsigsegv2:riscv64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../17-m4_1.4.18-4_riscv64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../18-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../19-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../20-automake_1%3a1.16.1-4ubuntu6_all.deb ... Unpacking automake (1:1.16.1-4ubuntu6) ... Selecting previously unselected package autopoint. Preparing to unpack .../21-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package libtool. Preparing to unpack .../22-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../23-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../24-libdebhelper-perl_12.10ubuntu1_all.deb ... Unpacking libdebhelper-perl (12.10ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../25-libarchive-zip-perl_1.67-2_all.deb ... Unpacking libarchive-zip-perl (1.67-2) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../26-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../27-libfile-stripnondeterminism-perl_1.6.3-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.6.3-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../28-dh-strip-nondeterminism_1.6.3-2_all.deb ... Unpacking dh-strip-nondeterminism (1.6.3-2) ... Selecting previously unselected package dwz. Preparing to unpack .../29-dwz_0.13-5_riscv64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:riscv64. Preparing to unpack .../30-libcroco3_0.6.13-1_riscv64.deb ... Unpacking libcroco3:riscv64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../31-gettext_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../32-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../33-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../34-debhelper_12.10ubuntu1_all.deb ... Unpacking debhelper (12.10ubuntu1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../35-ocaml-dune_2.1.3-2_riscv64.deb ... Unpacking ocaml-dune (2.1.3-2) ... Selecting previously unselected package dune. Preparing to unpack .../36-dune_2.1.3-2_all.deb ... Unpacking dune (2.1.3-2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../37-ocaml-base-nox_4.08.1-8_riscv64.deb ... Unpacking ocaml-base-nox (4.08.1-8) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../38-libfindlib-ocaml_1.8.1-1build3_riscv64.deb ... Unpacking libfindlib-ocaml (1.8.1-1build3) ... Selecting previously unselected package libncurses-dev:riscv64. Preparing to unpack .../39-libncurses-dev_6.2-0ubuntu2_riscv64.deb ... Unpacking libncurses-dev:riscv64 (6.2-0ubuntu2) ... Selecting previously unselected package libncurses5-dev:riscv64. Preparing to unpack .../40-libncurses5-dev_6.2-0ubuntu2_riscv64.deb ... Unpacking libncurses5-dev:riscv64 (6.2-0ubuntu2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../41-ocaml-compiler-libs_4.08.1-8_riscv64.deb ... Unpacking ocaml-compiler-libs (4.08.1-8) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../42-ocaml-interp_4.08.1-8_riscv64.deb ... Unpacking ocaml-interp (4.08.1-8) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../43-ocaml-nox_4.08.1-8_riscv64.deb ... Unpacking ocaml-nox (4.08.1-8) ... Selecting previously unselected package libounit-ocaml-dev. Preparing to unpack .../44-libounit-ocaml-dev_2.0.8-2build2_riscv64.deb ... Unpacking libounit-ocaml-dev (2.0.8-2build2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../45-ocaml-findlib_1.8.1-1build3_riscv64.deb ... Unpacking ocaml-findlib (1.8.1-1build3) ... Selecting previously unselected package opam-installer. Preparing to unpack .../46-opam-installer_2.0.5-1ubuntu1_riscv64.deb ... Unpacking opam-installer (2.0.5-1ubuntu1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../47-dh-ocaml_1.1.1_all.deb ... Unpacking dh-ocaml (1.1.1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../48-sbuild-build-depends-main-dummy_0.invalid.0_riscv64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libpipeline1:riscv64 (1.5.2-2build1) ... Setting up libmagic-mgc (1:5.38-4) ... Setting up libarchive-zip-perl (1.67-2) ... Setting up libglib2.0-0:riscv64 (2.64.1-1) ... No schema files found: doing nothing. Setting up libdebhelper-perl (12.10ubuntu1) ... Setting up dh-ocaml (1.1.1) ... Setting up libmagic1:riscv64 (1:5.38-4) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up file (1:5.38-4) ... Setting up ocaml-dune (2.1.3-2) ... Setting up tzdata (2019c-3ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Mon Apr 13 03:08:16 UTC 2020. Universal Time is now: Mon Apr 13 03:08:16 UTC 2020. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20180224.1) ... Setting up libncurses6:riscv64 (6.2-0ubuntu2) ... Setting up libsigsegv2:riscv64 (2.12-2) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up dune (2.1.3-2) ... Setting up opam-installer (2.0.5-1ubuntu1) ... Setting up libuchardet0:riscv64 (0.0.6-3build1) ... Setting up libsub-override-perl (0.09-2) ... Setting up ocaml-base-nox (4.08.1-8) ... Setting up libbsd0:riscv64 (0.10.0-1) ... Setting up libelf1:riscv64 (0.176-1.1build1) ... Setting up libfile-stripnondeterminism-perl (1.6.3-2) ... Setting up libncurses-dev:riscv64 (6.2-0ubuntu2) ... Setting up libtool (2.4.6-14) ... Setting up libicu66:riscv64 (66.1-2ubuntu2) ... Setting up libfindlib-ocaml (1.8.1-1build3) ... Setting up m4 (1.4.18-4) ... Setting up bsdmainutils (11.1.2ubuntu3) ... 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 ocaml-findlib (1.8.1-1build3) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.6.3-2) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4build1) ... Setting up libncurses5-dev:riscv64 (6.2-0ubuntu2) ... Setting up libxml2:riscv64 (2.9.10+dfsg-5) ... Setting up automake (1:1.16.1-4ubuntu6) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.9.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libcroco3:riscv64 (0.6.13-1) ... Setting up gettext (0.19.8.1-10build1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up ocaml-compiler-libs (4.08.1-8) ... Setting up debhelper (12.10ubuntu1) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.08.1-8) ... Setting up ocaml-nox (4.08.1-8) ... Setting up libounit-ocaml-dev (2.0.8-2build2) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.31-0ubuntu7) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any all) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 (riscv64) Toolchain package versions: binutils_2.34-6ubuntu1 dpkg-dev_1.19.7ubuntu3 g++-9_9.3.0-10ubuntu2 gcc-9_9.3.0-10ubuntu2 libc6-dev_2.31-0ubuntu7 libstdc++-9-dev_9.3.0-10ubuntu2 libstdc++6_10-20200411-0ubuntu1 linux-libc-dev_5.4.0-23.27 Package versions: adduser_3.118ubuntu1 advancecomp_2.1-2.1build1 apt_2.0.2 autoconf_2.69-11.1 automake_1:1.16.1-4ubuntu6 autopoint_0.19.8.1-10build1 autotools-dev_20180224.1 base-files_11ubuntu4 base-passwd_3.5.47 bash_5.0-6ubuntu1 binutils_2.34-6ubuntu1 binutils-common_2.34-6ubuntu1 binutils-riscv64-linux-gnu_2.34-6ubuntu1 bsdmainutils_11.1.2ubuntu3 bsdutils_1:2.34-0.1ubuntu9 build-essential_12.8ubuntu1 bzip2_1.0.8-2 ca-certificates_20190110ubuntu1 coreutils_8.30-3ubuntu2 cpp_4:9.3.0-1ubuntu2 cpp-9_9.3.0-10ubuntu2 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.10ubuntu1 debianutils_4.9.1 dh-autoreconf_19 dh-ocaml_1.1.1 dh-strip-nondeterminism_1.6.3-2 diffutils_1:3.7-3 dpkg_1.19.7ubuntu3 dpkg-dev_1.19.7ubuntu3 dune_2.1.3-2 dwz_0.13-5 e2fsprogs_1.45.5-2ubuntu1 fakeroot_1.24-1 file_1:5.38-4 findutils_4.7.0-1ubuntu1 g++_4:9.3.0-1ubuntu2 g++-9_9.3.0-10ubuntu2 gcc_4:9.3.0-1ubuntu2 gcc-10-base_10-20200411-0ubuntu1 gcc-8-base_8.4.0-3ubuntu2 gcc-9_9.3.0-10ubuntu2 gcc-9-base_9.3.0-10ubuntu2 gettext_0.19.8.1-10build1 gettext-base_0.19.8.1-10build1 gpg_2.2.19-3ubuntu2 gpg-agent_2.2.19-3ubuntu2 gpgconf_2.2.19-3ubuntu2 gpgv_2.2.19-3ubuntu2 grep_3.4-1 groff-base_1.22.4-4build1 gzip_1.10-0ubuntu4 hostname_3.23 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-6 libapt-pkg6.0_2.0.2 libarchive-zip-perl_1.67-2 libassuan0_2.5.3-7ubuntu2 libatomic1_10-20200411-0ubuntu1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2ubuntu6 libaudit1_1:2.8.5-2ubuntu6 libbinutils_2.34-6ubuntu1 libblkid1_2.34-0.1ubuntu9 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.31-0ubuntu7 libc-dev-bin_2.31-0ubuntu7 libc6_2.31-0ubuntu7 libc6-dev_2.31-0ubuntu7 libcap-ng0_0.7.9-2.1build1 libcc1-0_10-20200411-0ubuntu1 libcom-err2_1.45.5-2ubuntu1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.10-10ubuntu4 libcrypt1_1:4.4.10-10ubuntu4 libctf-nobfd0_2.34-6ubuntu1 libctf0_2.34-6ubuntu1 libdb5.3_5.3.28+dfsg1-0.6ubuntu2 libdebconfclient0_0.251ubuntu1 libdebhelper-perl_12.10ubuntu1 libdpkg-perl_1.19.7ubuntu3 libelf1_0.176-1.1build1 libext2fs2_1.45.5-2ubuntu1 libfakeroot_1.24-1 libffi7_3.3-4 libfile-stripnondeterminism-perl_1.6.3-2 libfindlib-ocaml_1.8.1-1build3 libgcc-9-dev_9.3.0-10ubuntu2 libgcc-s1_10-20200411-0ubuntu1 libgcc1_1:10-20200411-0ubuntu1 libgcrypt20_1.8.5-5ubuntu1 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.64.1-1 libgmp10_2:6.2.0+dfsg-4 libgnutls30_3.6.13-2ubuntu1 libgomp1_10-20200411-0ubuntu1 libgpg-error0_1.37-1 libgpm2_1.20.7-5 libhogweed5_3.5.1+really3.5.1-2 libicu66_66.1-2ubuntu2 libidn2-0_2.2.0-2 libisl22_0.22.1-1 liblocale-gettext-perl_1.07-4 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 libmagic-mgc_1:5.38-4 libmagic1_1:5.38-4 libmount1_2.34-0.1ubuntu9 libmpc3_1.1.0-1 libmpfr6_4.0.2-1 libncurses-dev_6.2-0ubuntu2 libncurses5-dev_6.2-0ubuntu2 libncurses6_6.2-0ubuntu2 libncursesw6_6.2-0ubuntu2 libnettle7_3.5.1+really3.5.1-2 libnpth0_1.6-1 libounit-ocaml-dev_2.0.8-2build2 libp11-kit0_0.23.20-1build1 libpam-modules_1.3.1-5ubuntu4 libpam-modules-bin_1.3.1-5ubuntu4 libpam-runtime_1.3.1-5ubuntu4 libpam0g_1.3.1-5ubuntu4 libpcre2-8-0_10.34-7 libpcre3_2:8.39-12build1 libperl5.30_5.30.0-9build1 libpipeline1_1.5.2-2build1 libpng16-16_1.6.37-2 libreadline8_8.0-4 libselinux1_3.0-1build2 libsemanage-common_3.0-1build2 libsemanage1_3.0-1build2 libsepol1_3.0-1 libsigsegv2_2.12-2 libsmartcols1_2.34-0.1ubuntu9 libsqlite3-0_3.31.1-4 libss2_1.45.5-2ubuntu1 libssl1.1_1.1.1d-2ubuntu6 libstdc++-9-dev_9.3.0-10ubuntu2 libstdc++6_10-20200411-0ubuntu1 libsub-override-perl_0.09-2 libsystemd0_245.4-2ubuntu1 libtasn1-6_4.16.0-2 libtext-charwidth-perl_0.04-10 libtext-iconv-perl_1.7-7 libtinfo6_6.2-0ubuntu2 libtool_2.4.6-14 libuchardet0_0.0.6-3build1 libudev1_245.4-2ubuntu1 libunistring2_0.9.10-2 libuuid1_2.34-0.1ubuntu9 libxml2_2.9.10+dfsg-5 libzstd1_1.4.4+dfsg-3 linux-libc-dev_5.4.0-23.27 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu4 logsave_1.45.5-2ubuntu1 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.1-1 mawk_1.3.4.20200120-2 mount_2.34-0.1ubuntu9 ncurses-base_6.2-0ubuntu2 ncurses-bin_6.2-0ubuntu2 ocaml-base-nox_4.08.1-8 ocaml-compiler-libs_4.08.1-8 ocaml-dune_2.1.3-2 ocaml-findlib_1.8.1-1build3 ocaml-interp_4.08.1-8 ocaml-nox_4.08.1-8 opam-installer_2.0.5-1ubuntu1 openssl_1.1.1d-2ubuntu6 optipng_0.7.7-1 passwd_1:4.8.1-1ubuntu4 patch_2.7.6-6 perl_5.30.0-9build1 perl-base_5.30.0-9build1 perl-modules-5.30_5.30.0-9build1 pinentry-curses_1.1.0-3build1 pkgbinarymangler_144 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 readline-common_8.0-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-2.1ubuntu1 tar_1.30+dfsg-7 tzdata_2019c-3ubuntu1 ubuntu-keyring_2020.02.11.1 util-linux_2.34-0.1ubuntu9 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-2ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: ocaml-qcheck Binary: libqcheck-ocaml, libqcheck-ocaml-dev, libqcheck-core-ocaml, libqcheck-core-ocaml-dev, libqcheck-ounit-ocaml, libqcheck-ounit-ocaml-dev, libqcheck-ocaml-doc Architecture: any all Version: 0.11-1build1 Maintainer: Ubuntu Developers Uploaders: Andy Li Homepage: https://github.com/c-cube/qcheck Standards-Version: 4.4.1 Vcs-Browser: https://salsa.debian.org/ocaml-team/ocaml-qcheck Vcs-Git: https://salsa.debian.org/ocaml-team/ocaml-qcheck.git Testsuite: autopkgtest Testsuite-Triggers: dune, ocaml-findlib, ocaml-nox Build-Depends: debhelper (>= 10~), dh-ocaml, ocaml-nox (>= 4.02.0), dune, ocaml-findlib, opam-installer, libounit-ocaml-dev Package-List: libqcheck-core-ocaml deb ocaml optional arch=any libqcheck-core-ocaml-dev deb ocaml optional arch=any libqcheck-ocaml deb ocaml optional arch=any libqcheck-ocaml-dev deb ocaml optional arch=any libqcheck-ocaml-doc deb doc optional arch=all libqcheck-ounit-ocaml deb ocaml optional arch=any libqcheck-ounit-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: 9678d8b5a152535bf158acac8c8e19cd8504c104 47084 ocaml-qcheck_0.11.orig.tar.gz 81f4be6b6d2be335b6db722555a63cd899f00738 3848 ocaml-qcheck_0.11-1build1.debian.tar.xz Checksums-Sha256: 68d6b6fb7932cc95d86cfa594d1b6ef925dd628e31a27c00937902c7f0cb7e1c 47084 ocaml-qcheck_0.11.orig.tar.gz e452a1f048d2d7b723f36bdec39c98d370910c4e952836adf7111bf0f6778f01 3848 ocaml-qcheck_0.11-1build1.debian.tar.xz Files: 36f06108bb49df27b8a1b95aacfd4859 47084 ocaml-qcheck_0.11.orig.tar.gz 8663a5504599dfd768ab92a194e62018 3848 ocaml-qcheck_0.11-1build1.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl5Ph0AaHHN0ZXZlLmxh bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1/ixAAviJg+a3A7AuLlSHrbY/B Bb+a+1UprhjWUiuP/Y4Vdoe94fWs83PIFCwdV383qv/mYjSvddw06NWTC/9Y8cDN FtZ74l0KSXQz83HD2lbwJJp8Yo29Ev1i1GDB9gi7UKAl04/dislL2IRRGEz0Lycg awm5BMmEGJnPtpTSI7+gJjbQvINdC99T5cgALPmv6UJvppmP6cSgyuvuJHP31mYt De5K24o2ps/qlRCupU0udjUzT8/L3TDMp+WBzcr17jWiR/LV3qLSUJJF24qR86t9 HeoaRHDS8Wp0PM36w5vB6nzJCehNU9RP26gTmnFgc1Ma8p6kSde0S1BaDYphrWW7 44h9GSiirqZ3NKdmCmvOUiOnhvhtFzz/Suklabxhl1VktQdDuJQF33HuD7xDE0fj bwlgxpi4l/58NojEQ6sOT5hjzVsweqZuLKh2WNmoXZAzHS/SQQoUT3QghsEDu6lL oNJBN7tKiocvFYKgFkQ5uY3u6YjTZKz5l+8Dd9y5oHmQ5LjvH82JX70dZeQUggBO B1uWk5ZqXmfikNn9Rl3OkZImhoWlrfgTmeKWZpXj0x0cMm9fbjEw6pBtJS5uX42n G9LitZhkVu9J60GXOz8W9XlATipv1wrwxWLmZxu4yORZ9rH5FjdVfitpqydV0pbd gf8z/xCtpbCoRkBvLecO1SI= =3kj4 -----END PGP SIGNATURE----- gpgv: Signature made Fri Feb 21 07:31:12 2020 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 ./ocaml-qcheck_0.11-1build1.dsc dpkg-source: info: extracting ocaml-qcheck in /<> dpkg-source: info: unpacking ocaml-qcheck_0.11.orig.tar.gz dpkg-source: info: unpacking ocaml-qcheck_0.11-1build1.debian.tar.xz Check disk 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-19108281 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-19108281 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-19108281 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -mLaunchpad Build Daemon -B -rfakeroot dpkg-buildpackage: info: source package ocaml-qcheck dpkg-buildpackage: info: source version 0.11-1build1 dpkg-buildpackage: info: source distribution focal dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 fakeroot debian/rules clean dh clean --with ocaml dh_auto_clean make -j4 clean make[1]: Entering directory '/<>' make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules build-arch dh build-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' dune build @install --verbose -p qcheck,qcheck-core,qcheck-ounit # Workspace root: /<> Running[0]: /usr/bin/nproc > /tmp/dune6425bf.output 2> /dev/null # Auto-detected concurrency: 4 # disable binary cache Running[1]: /usr/bin/ocamlc -config > /tmp/duneaa4f59.output # Dune context: # { name = "default" # ; kind = "default" # ; profile = Release # ; merlin = true # ; for_host = None # ; fdo_target_exe = None # ; build_dir = "default" # ; toplevel_path = None # ; ocaml_bin = External "/usr/bin" # ; ocaml = External "/usr/bin/ocaml" # ; ocamlc = External "/usr/bin/ocamlc" # ; ocamlopt = None # ; ocamldep = External "/usr/bin/ocamldep" # ; ocamlmklib = External "/usr/bin/ocamlmklib" # ; # env = # map # { # "CAML_LD_LIBRARY_PATH" : # "/<>/_build/install/default/lib/stublibs" # ; "DUNE_CONFIGURATOR" : "/usr/bin/ocamlc" # ; "INSIDE_DUNE" : "1" # ; # "MANPATH" : # "/<>/_build/install/default/bin" # ; # "OCAMLFIND_IGNORE_DUPS_IN" : # "/<>/_build/install/default/lib" # ; # "OCAMLPATH" : # "/<>/_build/install/default/lib" # } # ; findlib_path = [ External "/usr/lib/ocaml" ] # ; arch_sixtyfour = true # ; natdynlink_supported = false # ; supports_shared_libraries = true # ; opam_vars = map {} # ; # ocaml_config = # { version = "4.08.1" # ; standard_library_default = "/usr/lib/ocaml" # ; standard_library = "/usr/lib/ocaml" # ; standard_runtime = "the_standard_runtime_variable_was_deleted" # ; ccomp_type = "cc" # ; c_compiler = "riscv64-linux-gnu-gcc" # ; ocamlc_cflags = [ "-O2"; "-fno-strict-aliasing"; "-fwrapv"; "-fPIC" ] # ; ocamlopt_cflags = [ "-O2"; "-fno-strict-aliasing"; "-fwrapv" ] # ; # bytecomp_c_compiler = # [ "riscv64-linux-gnu-gcc" # ; "-O2" # ; "-fno-strict-aliasing" # ; "-fwrapv" # ; "-fPIC" # ; "-D_FILE_OFFSET_BITS=64" # ; "-D_REENTRANT" # ] # ; bytecomp_c_libraries = [ "-lm"; "-ldl"; "-lpthread" ] # ; # native_c_compiler = # [ "riscv64-linux-gnu-gcc" # ; "-O2" # ; "-fno-strict-aliasing" # ; "-fwrapv" # ; "-D_FILE_OFFSET_BITS=64" # ; "-D_REENTRANT" # ] # ; native_c_libraries = [ "-lm"; "-ldl" ] # ; cc_profile = [ "-pg" ] # ; architecture = "none" # ; model = "default" # ; int_size = 63 # ; word_size = 64 # ; system = "unknown" # ; asm = [ "asm-not-found-in-ocaml-config" ] # ; asm_cfi_supported = false # ; 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 = "riscv64-unknown-linux-gnu" # ; target = "riscv64-unknown-linux-gnu" # ; profiling = false # ; flambda = false # ; spacetime = false # ; safe_string = false # ; exec_magic_number = "Caml1999X025" # ; cmi_magic_number = "Caml1999I025" # ; cmo_magic_number = "Caml1999O025" # ; cma_magic_number = "Caml1999A025" # ; cmx_magic_number = "Caml1999Y025" # ; cmxa_magic_number = "Caml1999Z025" # ; ast_impl_magic_number = "Caml1999M025" # ; ast_intf_magic_number = "Caml1999N025" # ; cmxs_magic_number = "Caml1999D025" # ; cmt_magic_number = "Caml1999T025" # ; natdynlink_supported = false # ; supports_shared_libraries = true # ; windows_unicode = false # } # ; # which = # map # { "ocaml" : Some External "/usr/bin/ocaml" # ; "ocamlc" : Some External "/usr/bin/ocamlc" # ; "ocamlobjinfo" : Some External "/usr/bin/ocamlobjinfo" # } # } # Actual targets: # - recursive alias @./install Running[2]: (cd _build/default && /usr/bin/ocamldep -modules -intf src/core/QCheck.mli) > _build/default/src/core/.qcheck_core.objs/QCheck.mli.d Running[3]: (cd _build/default && /usr/bin/ocamldep -modules -impl src/core/QCheck.ml) > _build/default/src/core/.qcheck_core.objs/QCheck.ml.d Running[4]: (cd _build/default && /usr/bin/ocamldep -modules -intf src/runner/QCheck_base_runner.mli) > _build/default/src/runner/.qcheck_runner.objs/QCheck_base_runner.mli.d Running[5]: (cd _build/default && /usr/bin/ocamldep -modules -impl src/runner/QCheck_base_runner.ml) > _build/default/src/runner/.qcheck_runner.objs/QCheck_base_runner.ml.d Running[6]: (cd _build/default && /usr/bin/ocamldep -modules -intf src/ounit/QCheck_ounit.mli) > _build/default/src/ounit/.qcheck_ounit.objs/QCheck_ounit.mli.d Running[7]: (cd _build/default && /usr/bin/ocamldep -modules -impl src/ounit/QCheck_ounit.ml) > _build/default/src/ounit/.qcheck_ounit.objs/QCheck_ounit.ml.d Running[8]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -bin-annot -I src/core/.qcheck_core.objs/byte -I /usr/lib/ocaml/bytes -no-alias-deps -o src/core/.qcheck_core.objs/byte/QCheck.cmi -c -intf src/core/QCheck.mli) Running[9]: (cd _build/default && /usr/bin/ocamldep -modules -impl src/QCheck_runner.ml) > _build/default/src/.qcheck.objs/QCheck_runner.ml.d Running[10]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -bin-annot -I src/core/.qcheck_core.objs/byte -I /usr/lib/ocaml/bytes -intf-suffix .ml -no-alias-deps -o src/core/.qcheck_core.objs/byte/QCheck.cmo -c -impl src/core/QCheck.ml) Running[11]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -bin-annot -I src/runner/.qcheck_runner.objs/byte -I /usr/lib/ocaml/bytes -I src/core/.qcheck_core.objs/byte -I src/core/.qcheck_core.objs/native -no-alias-deps -o src/runner/.qcheck_runner.objs/byte/QCheck_base_runner.cmi -c -intf src/runner/QCheck_base_runner.mli) Running[12]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -bin-annot -I src/runner/.qcheck_runner.objs/byte -I /usr/lib/ocaml/bytes -I src/core/.qcheck_core.objs/byte -I src/core/.qcheck_core.objs/native -intf-suffix .ml -no-alias-deps -o src/runner/.qcheck_runner.objs/byte/QCheck_base_runner.cmo -c -impl src/runner/QCheck_base_runner.ml) Running[13]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -bin-annot -I src/ounit/.qcheck_ounit.objs/byte -I /usr/lib/ocaml/bytes -I /usr/lib/ocaml/oUnit -I src/core/.qcheck_core.objs/byte -I src/core/.qcheck_core.objs/native -I src/runner/.qcheck_runner.objs/byte -I src/runner/.qcheck_runner.objs/native -no-alias-deps -o src/ounit/.qcheck_ounit.objs/byte/QCheck_ounit.cmi -c -intf src/ounit/QCheck_ounit.mli) Running[14]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -bin-annot -I src/ounit/.qcheck_ounit.objs/byte -I /usr/lib/ocaml/bytes -I /usr/lib/ocaml/oUnit -I src/core/.qcheck_core.objs/byte -I src/core/.qcheck_core.objs/native -I src/runner/.qcheck_runner.objs/byte -I src/runner/.qcheck_runner.objs/native -intf-suffix .ml -no-alias-deps -o src/ounit/.qcheck_ounit.objs/byte/QCheck_ounit.cmo -c -impl src/ounit/QCheck_ounit.ml) Running[15]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -bin-annot -I src/.qcheck.objs/byte -I /usr/lib/ocaml/bytes -I /usr/lib/ocaml/oUnit -I src/core/.qcheck_core.objs/byte -I src/core/.qcheck_core.objs/native -I src/ounit/.qcheck_ounit.objs/byte -I src/ounit/.qcheck_ounit.objs/native -I src/runner/.qcheck_runner.objs/byte -I src/runner/.qcheck_runner.objs/native -no-alias-deps -o src/.qcheck.objs/byte/QCheck_runner.cmo -c -impl src/QCheck_runner.ml) Running[16]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o src/qcheck.cma src/.qcheck.objs/byte/QCheck_runner.cmo) Running[17]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -a -o src/runner/qcheck_runner.cma src/runner/.qcheck_runner.objs/byte/QCheck_base_runner.cmo) Running[18]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -a -o src/ounit/qcheck_ounit.cma src/ounit/.qcheck_ounit.objs/byte/QCheck_ounit.cmo) Output[10]: File "src/core/QCheck.ml", line 1170, characters 24-42: 1170 | begin match Pervasives.compare (small instance) (small c_ex'.instance) with ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims Running[19]: (cd _build/default && /usr/bin/ocamlc -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -a -o src/core/qcheck_core.cma src/core/.qcheck_core.objs/byte/QCheck.cmo) make[1]: Leaving directory '/<>' dh_auto_test -a make -j4 test make[1]: Entering directory '/<>' make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml dh_testroot -a dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/<>' mkdir -p '/<>/debian/tmp/usr/lib/ocaml' dune install --prefix=/<>/debian/tmp/usr --libdir=/<>/debian/tmp/usr/lib/ocaml --verbose qcheck qcheck-core qcheck-ounit # Workspace root: /<> Running[0]: /usr/bin/nproc > /tmp/dunef141b1.output 2> /dev/null # Auto-detected concurrency: 4 Running[1]: /usr/bin/ocamlc -config > /tmp/dune0cd447.output # Dune context: # { name = "default" # ; kind = "default" # ; profile = Dyn # ; merlin = true # ; for_host = None # ; fdo_target_exe = None # ; build_dir = "default" # ; toplevel_path = None # ; ocaml_bin = External "/usr/bin" # ; ocaml = External "/usr/bin/ocaml" # ; ocamlc = External "/usr/bin/ocamlc" # ; ocamlopt = None # ; ocamldep = External "/usr/bin/ocamldep" # ; ocamlmklib = External "/usr/bin/ocamlmklib" # ; # env = # map # { # "CAML_LD_LIBRARY_PATH" : # "/<>/_build/install/default/lib/stublibs" # ; "DUNE_CONFIGURATOR" : "/usr/bin/ocamlc" # ; "INSIDE_DUNE" : "1" # ; # "MANPATH" : # "/<>/_build/install/default/bin" # ; # "OCAMLFIND_IGNORE_DUPS_IN" : # "/<>/_build/install/default/lib" # ; # "OCAMLPATH" : # "/<>/_build/install/default/lib" # } # ; findlib_path = [ External "/usr/lib/ocaml" ] # ; arch_sixtyfour = true # ; natdynlink_supported = false # ; supports_shared_libraries = true # ; opam_vars = map {} # ; # ocaml_config = # { version = "4.08.1" # ; standard_library_default = "/usr/lib/ocaml" # ; standard_library = "/usr/lib/ocaml" # ; standard_runtime = "the_standard_runtime_variable_was_deleted" # ; ccomp_type = "cc" # ; c_compiler = "riscv64-linux-gnu-gcc" # ; ocamlc_cflags = [ "-O2"; "-fno-strict-aliasing"; "-fwrapv"; "-fPIC" ] # ; ocamlopt_cflags = [ "-O2"; "-fno-strict-aliasing"; "-fwrapv" ] # ; # bytecomp_c_compiler = # [ "riscv64-linux-gnu-gcc" # ; "-O2" # ; "-fno-strict-aliasing" # ; "-fwrapv" # ; "-fPIC" # ; "-D_FILE_OFFSET_BITS=64" # ; "-D_REENTRANT" # ] # ; bytecomp_c_libraries = [ "-lm"; "-ldl"; "-lpthread" ] # ; # native_c_compiler = # [ "riscv64-linux-gnu-gcc" # ; "-O2" # ; "-fno-strict-aliasing" # ; "-fwrapv" # ; "-D_FILE_OFFSET_BITS=64" # ; "-D_REENTRANT" # ] # ; native_c_libraries = [ "-lm"; "-ldl" ] # ; cc_profile = [ "-pg" ] # ; architecture = "none" # ; model = "default" # ; int_size = 63 # ; word_size = 64 # ; system = "unknown" # ; asm = [ "asm-not-found-in-ocaml-config" ] # ; asm_cfi_supported = false # ; 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 = "riscv64-unknown-linux-gnu" # ; target = "riscv64-unknown-linux-gnu" # ; profiling = false # ; flambda = false # ; spacetime = false # ; safe_string = false # ; exec_magic_number = "Caml1999X025" # ; cmi_magic_number = "Caml1999I025" # ; cmo_magic_number = "Caml1999O025" # ; cma_magic_number = "Caml1999A025" # ; cmx_magic_number = "Caml1999Y025" # ; cmxa_magic_number = "Caml1999Z025" # ; ast_impl_magic_number = "Caml1999M025" # ; ast_intf_magic_number = "Caml1999N025" # ; cmxs_magic_number = "Caml1999D025" # ; cmt_magic_number = "Caml1999T025" # ; natdynlink_supported = false # ; supports_shared_libraries = true # ; windows_unicode = false # } # ; # which = # map # { "ocaml" : Some External "/usr/bin/ocaml" # ; "ocamlc" : Some External "/usr/bin/ocamlc" # ; "ocamlobjinfo" : Some External "/usr/bin/ocamlobjinfo" # } # } Installing /<>/debian/tmp/usr/lib/ocaml/qcheck/META Installing /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.cmi Installing /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.cmt Installing /<>/debian/tmp/usr/lib/ocaml/qcheck/QCheck_runner.ml Installing /<>/debian/tmp/usr/lib/ocaml/qcheck/dune-package Installing /<>/debian/tmp/usr/lib/ocaml/qcheck/opam Installing /<>/debian/tmp/usr/lib/ocaml/qcheck/qcheck.cma Installing /<>/debian/tmp/usr/doc/qcheck/CHANGELOG.md Installing /<>/debian/tmp/usr/doc/qcheck/LICENSE Installing /<>/debian/tmp/usr/doc/qcheck/README.adoc Installing /<>/debian/tmp/usr/doc/qcheck/odoc-pages/index.mld Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/META Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/QCheck.cmi Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/QCheck.cmt Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/QCheck.cmti Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/QCheck.ml Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/QCheck.mli Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/dune-package Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/opam Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/qcheck_core.cma Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.cmi Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.cmt Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.cmti Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.ml Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.mli Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-core/runner/qcheck_runner.cma Installing /<>/debian/tmp/usr/doc/qcheck-core/CHANGELOG.md Installing /<>/debian/tmp/usr/doc/qcheck-core/LICENSE Installing /<>/debian/tmp/usr/doc/qcheck-core/README.adoc Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/META Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/QCheck_ounit.cmi Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/QCheck_ounit.cmt Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/QCheck_ounit.cmti Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/QCheck_ounit.ml Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/QCheck_ounit.mli Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/dune-package Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/opam Installing /<>/debian/tmp/usr/lib/ocaml/qcheck-ounit/qcheck_ounit.cma Installing /<>/debian/tmp/usr/doc/qcheck-ounit/CHANGELOG.md Installing /<>/debian/tmp/usr/doc/qcheck-ounit/LICENSE Installing /<>/debian/tmp/usr/doc/qcheck-ounit/README.adoc make[1]: Leaving directory '/<>' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a debian/rules override_dh_missing make[1]: Entering directory '/<>' dh_missing --fail-missing make[1]: Leaving directory '/<>' dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package libqcheck-core-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libqcheck-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libqcheck-ounit-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libqcheck-ounit-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libqcheck-core-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libqcheck-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 144 INFO: pkgstriptranslations version 144 INFO: pkgstriptranslations version 144 pkgstriptranslations: processing libqcheck-ounit-ocaml (in debian/libqcheck-ounit-ocaml); do_strip: , oemstrip: pkgstriptranslations: processing libqcheck-ocaml (in debian/libqcheck-ocaml); do_strip: , oemstrip: pkgstriptranslations: processing libqcheck-core-ocaml (in debian/libqcheck-core-ocaml); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/libqcheck-ounit-ocaml/DEBIAN/control, package libqcheck-ounit-ocaml, directory debian/libqcheck-ounit-ocaml pkgstripfiles: processing control file: debian/libqcheck-ocaml/DEBIAN/control, package libqcheck-ocaml, directory debian/libqcheck-ocaml INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... pkgstripfiles: Running PNG optimization (using 4 cpus) for package libqcheck-ocaml ... pkgstripfiles: processing control file: debian/libqcheck-core-ocaml/DEBIAN/control, package libqcheck-core-ocaml, directory debian/libqcheck-core-ocaml pkgstripfiles: No PNG files. INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... dpkg-deb: building package 'libqcheck-ocaml' in '../libqcheck-ocaml_0.11-1build1_riscv64.deb'. INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstriptranslations version 144 INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... pkgstriptranslations: processing libqcheck-ocaml-dev (in debian/libqcheck-ocaml-dev); do_strip: , oemstrip: INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-core-ocaml) ... pkgstripfiles: processing control file: debian/libqcheck-ocaml-dev/DEBIAN/control, package libqcheck-ocaml-dev, directory debian/libqcheck-ocaml-dev INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... 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.11-1build1_riscv64.deb'. INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... pkgstripfiles: Running PNG optimization (using 4 cpus) for package libqcheck-core-ocaml ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libqcheck-core-ocaml' in '../libqcheck-core-ocaml_0.11-1build1_riscv64.deb'. INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstriptranslations version 144 INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... pkgstriptranslations: processing libqcheck-core-ocaml-dev (in debian/libqcheck-core-ocaml-dev); do_strip: , oemstrip: INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... pkgstripfiles: processing control file: debian/libqcheck-core-ocaml-dev/DEBIAN/control, package libqcheck-core-ocaml-dev, directory debian/libqcheck-core-ocaml-dev pkgstripfiles: Running PNG optimization (using 4 cpus) for package libqcheck-core-ocaml-dev ... INFO: pkgstripfiles: waiting for lock (libqcheck-ounit-ocaml) ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libqcheck-core-ocaml-dev' in '../libqcheck-core-ocaml-dev_0.11-1build1_riscv64.deb'. pkgstripfiles: Running PNG optimization (using 4 cpus) for package libqcheck-ounit-ocaml ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libqcheck-ounit-ocaml' in '../libqcheck-ounit-ocaml_0.11-1build1_riscv64.deb'. INFO: pkgstriptranslations version 144 pkgstriptranslations: processing libqcheck-ounit-ocaml-dev (in debian/libqcheck-ounit-ocaml-dev); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/libqcheck-ounit-ocaml-dev/DEBIAN/control, package libqcheck-ounit-ocaml-dev, directory debian/libqcheck-ounit-ocaml-dev pkgstripfiles: Running PNG optimization (using 4 cpus) for package libqcheck-ounit-ocaml-dev ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libqcheck-ounit-ocaml-dev' in '../libqcheck-ounit-ocaml-dev_0.11-1build1_riscv64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../ocaml-qcheck_0.11-1build1_riscv64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2020-04-13T03:12:06Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ ocaml-qcheck_0.11-1build1_riscv64.changes: ------------------------------------------ Format: 1.8 Date: Fri, 21 Feb 2020 07:31:12 +0000 Source: ocaml-qcheck Binary: libqcheck-core-ocaml libqcheck-core-ocaml-dev libqcheck-ocaml libqcheck-ocaml-dev libqcheck-ounit-ocaml libqcheck-ounit-ocaml-dev Architecture: riscv64 Version: 0.11-1build1 Distribution: focal Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Steve Langasek Description: libqcheck-core-ocaml - QuickCheck inspired property-based testing for OCaml (Runtime lib libqcheck-core-ocaml-dev - QuickCheck inspired property-based testing for OCaml (Development libqcheck-ocaml - QuickCheck inspired property-based testing for OCaml (Runtime lib libqcheck-ocaml-dev - QuickCheck inspired property-based testing for OCaml (Development libqcheck-ounit-ocaml - QCheck integration with OUnit (Runtime library) libqcheck-ounit-ocaml-dev - QCheck integration with OUnit (Development package) Changes: ocaml-qcheck (0.11-1build1) focal; urgency=medium . * No-change rebuild against ocaml-nox-4.08.1 Checksums-Sha1: cabb20ac9af3801b0a9a4cfd481ee465ad7c1127 421056 libqcheck-core-ocaml-dev_0.11-1build1_riscv64.deb 29918eb6463546989bb9d4c7feb9d10b5b677b59 138376 libqcheck-core-ocaml_0.11-1build1_riscv64.deb 967061d718fe65c9350dd97867200eed351ce2d1 8800 libqcheck-ocaml-dev_0.11-1build1_riscv64.deb 9f7ee813a2e68a7ef3d9ed01fb0f97fde7edab68 11516 libqcheck-ocaml_0.11-1build1_riscv64.deb 9dd349d08c2825ef203afdfaddcff367ba7663c0 50268 libqcheck-ounit-ocaml-dev_0.11-1build1_riscv64.deb b43f3b90c5d3cdd35aae8b9301e60a40ebf881d9 23672 libqcheck-ounit-ocaml_0.11-1build1_riscv64.deb f541d1a4c8f375aef827eaf6d6854156e4b3fd17 6855 ocaml-qcheck_0.11-1build1_riscv64.buildinfo Checksums-Sha256: 5343ceccdf0320fc195fe358dbb98d3dbfcfe1cf5ea12b02ce74f402eafa93a6 421056 libqcheck-core-ocaml-dev_0.11-1build1_riscv64.deb f15b015a57ebd38f0e92f6b3fade23065717e59eee8f899039ea4945728fa6e8 138376 libqcheck-core-ocaml_0.11-1build1_riscv64.deb 5cd1fe1ad1c94f18e7b5d69b264dfd282cc1a48e6270c660030c6badee6d383a 8800 libqcheck-ocaml-dev_0.11-1build1_riscv64.deb 7e74e7c6b04567a5c6c613fcf3d9f4b8b146a2ed735341b333b89ca36eeaed9c 11516 libqcheck-ocaml_0.11-1build1_riscv64.deb a5cdbc2ac47bb45958fb8bf3e7d7048300c975ef1ea47b1bfd9c1a9ec0f4f662 50268 libqcheck-ounit-ocaml-dev_0.11-1build1_riscv64.deb ff62964069222feef0dc95a4b7e6b683f79c136dabc59dbf9fd91a2c424a6bf1 23672 libqcheck-ounit-ocaml_0.11-1build1_riscv64.deb 5ce2937f365b7c2c27618b5b976b8d5d904fe36e5c9f71514006094c6742a7e0 6855 ocaml-qcheck_0.11-1build1_riscv64.buildinfo Files: 9f338d9764e079ebbb9dc87f036f92cc 421056 ocaml optional libqcheck-core-ocaml-dev_0.11-1build1_riscv64.deb 3fc2959f0c4e30a11b396b20dcc369ce 138376 ocaml optional libqcheck-core-ocaml_0.11-1build1_riscv64.deb 56b4a461c206a8e353ab661ad11d31a1 8800 ocaml optional libqcheck-ocaml-dev_0.11-1build1_riscv64.deb 36121f20ec8082e00a014ef27fa13753 11516 ocaml optional libqcheck-ocaml_0.11-1build1_riscv64.deb 68f2465d9679800522c05706c881032f 50268 ocaml optional libqcheck-ounit-ocaml-dev_0.11-1build1_riscv64.deb 0d8710a444deb06fba525dbabb3058e1 23672 ocaml optional libqcheck-ounit-ocaml_0.11-1build1_riscv64.deb 479feba5846265d686c4b66b88bceebb 6855 ocaml optional ocaml-qcheck_0.11-1build1_riscv64.buildinfo Original-Maintainer: Debian OCaml Maintainers /<>/ocaml-qcheck_0.11-1build1_riscv64.changes.new could not be renamed to /<>/ocaml-qcheck_0.11-1build1_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: ocaml-qcheck Binary: libqcheck-ocaml libqcheck-ocaml-dev libqcheck-core-ocaml libqcheck-core-ocaml-dev libqcheck-ounit-ocaml libqcheck-ounit-ocaml-dev libqcheck-ocaml-doc Architecture: riscv64 Version: 0.11-1build1 Checksums-Md5: 9f338d9764e079ebbb9dc87f036f92cc 421056 libqcheck-core-ocaml-dev_0.11-1build1_riscv64.deb 3fc2959f0c4e30a11b396b20dcc369ce 138376 libqcheck-core-ocaml_0.11-1build1_riscv64.deb 56b4a461c206a8e353ab661ad11d31a1 8800 libqcheck-ocaml-dev_0.11-1build1_riscv64.deb 36121f20ec8082e00a014ef27fa13753 11516 libqcheck-ocaml_0.11-1build1_riscv64.deb 68f2465d9679800522c05706c881032f 50268 libqcheck-ounit-ocaml-dev_0.11-1build1_riscv64.deb 0d8710a444deb06fba525dbabb3058e1 23672 libqcheck-ounit-ocaml_0.11-1build1_riscv64.deb Checksums-Sha1: cabb20ac9af3801b0a9a4cfd481ee465ad7c1127 421056 libqcheck-core-ocaml-dev_0.11-1build1_riscv64.deb 29918eb6463546989bb9d4c7feb9d10b5b677b59 138376 libqcheck-core-ocaml_0.11-1build1_riscv64.deb 967061d718fe65c9350dd97867200eed351ce2d1 8800 libqcheck-ocaml-dev_0.11-1build1_riscv64.deb 9f7ee813a2e68a7ef3d9ed01fb0f97fde7edab68 11516 libqcheck-ocaml_0.11-1build1_riscv64.deb 9dd349d08c2825ef203afdfaddcff367ba7663c0 50268 libqcheck-ounit-ocaml-dev_0.11-1build1_riscv64.deb b43f3b90c5d3cdd35aae8b9301e60a40ebf881d9 23672 libqcheck-ounit-ocaml_0.11-1build1_riscv64.deb Checksums-Sha256: 5343ceccdf0320fc195fe358dbb98d3dbfcfe1cf5ea12b02ce74f402eafa93a6 421056 libqcheck-core-ocaml-dev_0.11-1build1_riscv64.deb f15b015a57ebd38f0e92f6b3fade23065717e59eee8f899039ea4945728fa6e8 138376 libqcheck-core-ocaml_0.11-1build1_riscv64.deb 5cd1fe1ad1c94f18e7b5d69b264dfd282cc1a48e6270c660030c6badee6d383a 8800 libqcheck-ocaml-dev_0.11-1build1_riscv64.deb 7e74e7c6b04567a5c6c613fcf3d9f4b8b146a2ed735341b333b89ca36eeaed9c 11516 libqcheck-ocaml_0.11-1build1_riscv64.deb a5cdbc2ac47bb45958fb8bf3e7d7048300c975ef1ea47b1bfd9c1a9ec0f4f662 50268 libqcheck-ounit-ocaml-dev_0.11-1build1_riscv64.deb ff62964069222feef0dc95a4b7e6b683f79c136dabc59dbf9fd91a2c424a6bf1 23672 libqcheck-ounit-ocaml_0.11-1build1_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Mon, 13 Apr 2020 03:12:02 +0000 Build-Path: /<> Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: autoconf (= 2.69-11.1), automake (= 1:1.16.1-4ubuntu6), autopoint (= 0.19.8.1-10build1), autotools-dev (= 20180224.1), base-files (= 11ubuntu4), base-passwd (= 3.5.47), bash (= 5.0-6ubuntu1), binutils (= 2.34-6ubuntu1), binutils-common (= 2.34-6ubuntu1), binutils-riscv64-linux-gnu (= 2.34-6ubuntu1), bsdmainutils (= 11.1.2ubuntu3), bsdutils (= 1:2.34-0.1ubuntu9), build-essential (= 12.8ubuntu1), bzip2 (= 1.0.8-2), coreutils (= 8.30-3ubuntu2), cpp (= 4:9.3.0-1ubuntu2), cpp-9 (= 9.3.0-10ubuntu2), dash (= 0.5.10.2-6), debconf (= 1.5.73), debhelper (= 12.10ubuntu1), debianutils (= 4.9.1), dh-autoreconf (= 19), dh-ocaml (= 1.1.1), dh-strip-nondeterminism (= 1.6.3-2), diffutils (= 1:3.7-3), dpkg (= 1.19.7ubuntu3), dpkg-dev (= 1.19.7ubuntu3), dune (= 2.1.3-2), dwz (= 0.13-5), file (= 1:5.38-4), findutils (= 4.7.0-1ubuntu1), g++ (= 4:9.3.0-1ubuntu2), g++-9 (= 9.3.0-10ubuntu2), gcc (= 4:9.3.0-1ubuntu2), gcc-10-base (= 10-20200411-0ubuntu1), gcc-9 (= 9.3.0-10ubuntu2), gcc-9-base (= 9.3.0-10ubuntu2), gettext (= 0.19.8.1-10build1), gettext-base (= 0.19.8.1-10build1), grep (= 3.4-1), groff-base (= 1.22.4-4build1), gzip (= 1.10-0ubuntu4), hostname (= 3.23), init-system-helpers (= 1.57), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.2.53-6), libarchive-zip-perl (= 1.67-2), libatomic1 (= 10-20200411-0ubuntu1), libattr1 (= 1:2.4.48-5), libaudit-common (= 1:2.8.5-2ubuntu6), libaudit1 (= 1:2.8.5-2ubuntu6), libbinutils (= 2.34-6ubuntu1), libblkid1 (= 2.34-0.1ubuntu9), libbsd0 (= 0.10.0-1), libbz2-1.0 (= 1.0.8-2), libc-bin (= 2.31-0ubuntu7), libc-dev-bin (= 2.31-0ubuntu7), libc6 (= 2.31-0ubuntu7), libc6-dev (= 2.31-0ubuntu7), libcap-ng0 (= 0.7.9-2.1build1), libcc1-0 (= 10-20200411-0ubuntu1), libcroco3 (= 0.6.13-1), libcrypt-dev (= 1:4.4.10-10ubuntu4), libcrypt1 (= 1:4.4.10-10ubuntu4), libctf-nobfd0 (= 2.34-6ubuntu1), libctf0 (= 2.34-6ubuntu1), libdb5.3 (= 5.3.28+dfsg1-0.6ubuntu2), libdebconfclient0 (= 0.251ubuntu1), libdebhelper-perl (= 12.10ubuntu1), libdpkg-perl (= 1.19.7ubuntu3), libelf1 (= 0.176-1.1build1), libffi7 (= 3.3-4), libfile-stripnondeterminism-perl (= 1.6.3-2), libfindlib-ocaml (= 1.8.1-1build3), libgcc-9-dev (= 9.3.0-10ubuntu2), libgcc-s1 (= 10-20200411-0ubuntu1), libgcrypt20 (= 1.8.5-5ubuntu1), libgdbm-compat4 (= 1.18.1-5), libgdbm6 (= 1.18.1-5), libglib2.0-0 (= 2.64.1-1), libgmp10 (= 2:6.2.0+dfsg-4), libgomp1 (= 10-20200411-0ubuntu1), libgpg-error0 (= 1.37-1), libicu66 (= 66.1-2ubuntu2), libisl22 (= 0.22.1-1), liblz4-1 (= 1.9.2-2), liblzma5 (= 5.2.4-1), libmagic-mgc (= 1:5.38-4), libmagic1 (= 1:5.38-4), libmount1 (= 2.34-0.1ubuntu9), libmpc3 (= 1.1.0-1), libmpfr6 (= 4.0.2-1), libncurses-dev (= 6.2-0ubuntu2), libncurses5-dev (= 6.2-0ubuntu2), libncurses6 (= 6.2-0ubuntu2), libncursesw6 (= 6.2-0ubuntu2), libounit-ocaml-dev (= 2.0.8-2build2), libpam-modules (= 1.3.1-5ubuntu4), libpam-modules-bin (= 1.3.1-5ubuntu4), libpam-runtime (= 1.3.1-5ubuntu4), libpam0g (= 1.3.1-5ubuntu4), libpcre2-8-0 (= 10.34-7), libpcre3 (= 2:8.39-12build1), libperl5.30 (= 5.30.0-9build1), libpipeline1 (= 1.5.2-2build1), libselinux1 (= 3.0-1build2), libsigsegv2 (= 2.12-2), libsmartcols1 (= 2.34-0.1ubuntu9), libstdc++-9-dev (= 9.3.0-10ubuntu2), libstdc++6 (= 10-20200411-0ubuntu1), libsub-override-perl (= 0.09-2), libsystemd0 (= 245.4-2ubuntu1), libtinfo6 (= 6.2-0ubuntu2), libtool (= 2.4.6-14), libuchardet0 (= 0.0.6-3build1), libudev1 (= 245.4-2ubuntu1), libunistring2 (= 0.9.10-2), libuuid1 (= 2.34-0.1ubuntu9), libxml2 (= 2.9.10+dfsg-5), libzstd1 (= 1.4.4+dfsg-3), linux-libc-dev (= 5.4.0-23.27), login (= 1:4.8.1-1ubuntu4), lsb-base (= 11.1.0ubuntu2), m4 (= 1.4.18-4), make (= 4.2.1-1.2), man-db (= 2.9.1-1), mawk (= 1.3.4.20200120-2), ncurses-base (= 6.2-0ubuntu2), ncurses-bin (= 6.2-0ubuntu2), ocaml-base-nox (= 4.08.1-8), ocaml-compiler-libs (= 4.08.1-8), ocaml-dune (= 2.1.3-2), ocaml-findlib (= 1.8.1-1build3), ocaml-interp (= 4.08.1-8), ocaml-nox (= 4.08.1-8), opam-installer (= 2.0.5-1ubuntu1), patch (= 2.7.6-6), perl (= 5.30.0-9build1), perl-base (= 5.30.0-9build1), perl-modules-5.30 (= 5.30.0-9build1), po-debconf (= 1.0.21), sed (= 4.7-1), sensible-utils (= 0.0.12+nmu1), sysvinit-utils (= 2.96-2.1ubuntu1), tar (= 1.30+dfsg-7), tzdata (= 2019c-3ubuntu1), util-linux (= 2.34-0.1ubuntu9), xz-utils (= 5.2.4-1), zlib1g (= 1:1.2.11.dfsg-2ubuntu1) Environment: DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1582270272" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libqcheck-core-ocaml-dev_0.11-1build1_riscv64.deb ------------------------------------------------- new Debian package, version 2.0. size 421056 bytes: control archive=1232 bytes. 748 bytes, 17 lines control 1521 bytes, 18 lines md5sums Package: libqcheck-core-ocaml-dev Source: ocaml-qcheck Version: 0.11-1build1 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 1534 Depends: libqcheck-core-ocaml-lw330, ocaml-nox-4.08.1 Recommends: ocaml-findlib Provides: libqcheck-core-ocaml-dev-lw330 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. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2020-02-21 07:31 ./ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/ -rw-r--r-- root/root 43779 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/QCheck.cmi -rw-r--r-- root/root 897587 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/QCheck.cmt -rw-r--r-- root/root 266065 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/QCheck.cmti -rw-r--r-- root/root 52743 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/QCheck.ml -rw-r--r-- root/root 42990 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/QCheck.mli -rw-r--r-- root/root 811 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/dune-package drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/runner/ -rw-r--r-- root/root 4061 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.cmi -rw-r--r-- root/root 189923 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.cmt -rw-r--r-- root/root 26117 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.cmti -rw-r--r-- root/root 12570 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.ml -rw-r--r-- root/root 4998 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.mli drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/libqcheck-core-ocaml-dev/ -rw-r--r-- root/root 651 2020-02-21 07:31 ./usr/share/doc/libqcheck-core-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 1753 2019-11-05 06:04 ./usr/share/doc/libqcheck-core-ocaml-dev/copyright drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/libqcheck-core-ocaml-dev/examples/ -rw-r--r-- root/root 1376 2019-10-02 14:29 ./usr/share/doc/libqcheck-core-ocaml-dev/examples/QCheck_runner_test.ml.gz -rw-r--r-- root/root 68 2019-10-02 14:29 ./usr/share/doc/libqcheck-core-ocaml-dev/examples/dune drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 463 2020-02-21 07:31 ./var/lib/ocaml/lintian/libqcheck-core-ocaml-dev.META.qcheck-core -rw-r--r-- root/root 361 2020-02-21 07:31 ./var/lib/ocaml/lintian/libqcheck-core-ocaml-dev.info drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 222 2020-02-21 07:31 ./var/lib/ocaml/md5sums/libqcheck-core-ocaml-dev.md5sums libqcheck-core-ocaml_0.11-1build1_riscv64.deb --------------------------------------------- new Debian package, version 2.0. size 138376 bytes: control archive=932 bytes. 712 bytes, 17 lines control 534 bytes, 7 lines md5sums Package: libqcheck-core-ocaml Source: ocaml-qcheck Version: 0.11-1build1 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 420 Depends: ocaml-base-nox-4.08.1 Recommends: ocaml-findlib Provides: libqcheck-core-ocaml-lw330 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. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2020-02-21 07:31 ./ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/ -rw-r--r-- root/root 463 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/META -rw-r--r-- root/root 700 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/opam -rw-r--r-- root/root 339787 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/qcheck_core.cma drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/runner/ -rw-r--r-- root/root 68073 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-core/runner/qcheck_runner.cma drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/libqcheck-core-ocaml/ -rw-r--r-- root/root 651 2020-02-21 07:31 ./usr/share/doc/libqcheck-core-ocaml/changelog.Debian.gz -rw-r--r-- root/root 1753 2019-11-05 06:04 ./usr/share/doc/libqcheck-core-ocaml/copyright drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/qcheck-core/ -rw-r--r-- root/root 4290 2020-02-21 07:31 ./usr/share/doc/qcheck-core/README.adoc.gz libqcheck-ocaml-dev_0.11-1build1_riscv64.deb -------------------------------------------- new Debian package, version 2.0. size 8800 bytes: control archive=1056 bytes. 887 bytes, 19 lines control 705 bytes, 9 lines md5sums Package: libqcheck-ocaml-dev Source: ocaml-qcheck Version: 0.11-1build1 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 42 Depends: libounit-ocaml-dev-gwzq4, libqcheck-core-ocaml-dev-lw330, libqcheck-ocaml-jtap0, libqcheck-ounit-ocaml-dev-i3bg0, ocaml-nox-4.08.1 Recommends: ocaml-findlib Provides: libqcheck-ocaml-dev-jtap0 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. . This is a compatibility library, depends on libqcheck-ocaml. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2020-02-21 07:31 ./ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/ -rw-r--r-- root/root 4482 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/QCheck_runner.cmi -rw-r--r-- root/root 14837 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/QCheck_runner.cmt -rw-r--r-- root/root 49 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/QCheck_runner.ml -rw-r--r-- root/root 441 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/dune-package drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/libqcheck-ocaml-dev/ -rw-r--r-- root/root 651 2020-02-21 07:31 ./usr/share/doc/libqcheck-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 1753 2019-11-05 06:04 ./usr/share/doc/libqcheck-ocaml-dev/copyright drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 243 2020-02-21 07:31 ./var/lib/ocaml/lintian/libqcheck-ocaml-dev.META.qcheck -rw-r--r-- root/root 194 2020-02-21 07:31 ./var/lib/ocaml/lintian/libqcheck-ocaml-dev.info drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 102 2020-02-21 07:31 ./var/lib/ocaml/md5sums/libqcheck-ocaml-dev.md5sums libqcheck-ocaml_0.11-1build1_riscv64.deb ---------------------------------------- new Debian package, version 2.0. size 11516 bytes: control archive=948 bytes. 823 bytes, 19 lines control 414 bytes, 6 lines md5sums Package: libqcheck-ocaml Source: ocaml-qcheck Version: 0.11-1build1 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 28 Depends: libqcheck-core-ocaml-lw330, libqcheck-ounit-ocaml-i3bg0, ocaml-base-nox-4.08.1 Recommends: ocaml-findlib Provides: libqcheck-ocaml-jtap0 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. . This is a compatibility library, depends on libqcheck-ocaml. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2020-02-21 07:31 ./ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/ -rw-r--r-- root/root 243 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/META -rw-r--r-- root/root 774 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/opam -rw-r--r-- root/root 8005 2020-02-21 07:31 ./usr/lib/ocaml/qcheck/qcheck.cma drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/libqcheck-ocaml/ -rw-r--r-- root/root 651 2020-02-21 07:31 ./usr/share/doc/libqcheck-ocaml/changelog.Debian.gz -rw-r--r-- root/root 1753 2019-11-05 06:04 ./usr/share/doc/libqcheck-ocaml/copyright drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/qcheck/ -rw-r--r-- root/root 4290 2020-02-21 07:31 ./usr/share/doc/qcheck/README.adoc.gz libqcheck-ounit-ocaml-dev_0.11-1build1_riscv64.deb -------------------------------------------------- new Debian package, version 2.0. size 50268 bytes: control archive=1160 bytes. 852 bytes, 20 lines control 1227 bytes, 14 lines md5sums Package: libqcheck-ounit-ocaml-dev Source: ocaml-qcheck Version: 0.11-1build1 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 166 Depends: libounit-ocaml-dev-gwzq4, libqcheck-core-ocaml-dev-lw330, libqcheck-ounit-ocaml-i3bg0, ocaml-nox-4.08.1 Recommends: ocaml-findlib Enhances: ounit Provides: libqcheck-ounit-ocaml-dev-i3bg0 Section: ocaml Priority: optional Homepage: https://github.com/c-cube/qcheck Description: QCheck integration with OUnit (Development package) This module provides QCheck integration with OUnit. . QCheck 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. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2020-02-21 07:31 ./ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/ -rw-r--r-- root/root 2888 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/QCheck_ounit.cmi -rw-r--r-- root/root 109979 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/QCheck_ounit.cmt -rw-r--r-- root/root 16924 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/QCheck_ounit.cmti -rw-r--r-- root/root 7258 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/QCheck_ounit.ml -rw-r--r-- root/root 3108 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/QCheck_ounit.mli -rw-r--r-- root/root 448 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/dune-package drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/libqcheck-ounit-ocaml-dev/ -rw-r--r-- root/root 651 2020-02-21 07:31 ./usr/share/doc/libqcheck-ounit-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 1753 2019-11-05 06:04 ./usr/share/doc/libqcheck-ounit-ocaml-dev/copyright drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/libqcheck-ounit-ocaml-dev/examples/ drwxr-xr-x root/root 0 2019-10-02 14:29 ./usr/share/doc/libqcheck-ounit-ocaml-dev/examples/ounit/ -rw-r--r-- root/root 788 2019-10-02 14:29 ./usr/share/doc/libqcheck-ounit-ocaml-dev/examples/ounit/QCheck_ounit_test.ml -rw-r--r-- root/root 1014 2019-10-02 14:29 ./usr/share/doc/libqcheck-ounit-ocaml-dev/examples/ounit/QCheck_test.ml -rw-r--r-- root/root 98 2019-10-02 14:29 ./usr/share/doc/libqcheck-ounit-ocaml-dev/examples/ounit/dune drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 239 2020-02-21 07:31 ./var/lib/ocaml/lintian/libqcheck-ounit-ocaml-dev.META.qcheck-ounit -rw-r--r-- root/root 224 2020-02-21 07:31 ./var/lib/ocaml/lintian/libqcheck-ounit-ocaml-dev.info drwxr-xr-x root/root 0 2020-02-21 07:31 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 113 2020-02-21 07:31 ./var/lib/ocaml/md5sums/libqcheck-ounit-ocaml-dev.md5sums libqcheck-ounit-ocaml_0.11-1build1_riscv64.deb ---------------------------------------------- new Debian package, version 2.0. size 23672 bytes: control archive=928 bytes. 785 bytes, 20 lines control 456 bytes, 6 lines md5sums Package: libqcheck-ounit-ocaml Source: ocaml-qcheck Version: 0.11-1build1 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 59 Depends: libqcheck-core-ocaml-lw330, ocaml-base-nox-4.08.1 Recommends: ocaml-findlib Enhances: ounit Provides: libqcheck-ounit-ocaml-i3bg0 Section: ocaml Priority: optional Homepage: https://github.com/c-cube/qcheck Description: QCheck integration with OUnit (Runtime library) This module provides QCheck integration with OUnit. . QCheck 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. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2020-02-21 07:31 ./ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/ -rw-r--r-- root/root 239 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/META -rw-r--r-- root/root 718 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/opam -rw-r--r-- root/root 39786 2020-02-21 07:31 ./usr/lib/ocaml/qcheck-ounit/qcheck_ounit.cma drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/libqcheck-ounit-ocaml/ -rw-r--r-- root/root 651 2020-02-21 07:31 ./usr/share/doc/libqcheck-ounit-ocaml/changelog.Debian.gz -rw-r--r-- root/root 1753 2019-11-05 06:04 ./usr/share/doc/libqcheck-ounit-ocaml/copyright drwxr-xr-x root/root 0 2020-02-21 07:31 ./usr/share/doc/qcheck-ounit/ -rw-r--r-- root/root 4290 2020-02-21 07:31 ./usr/share/doc/qcheck-ounit/README.adoc.gz +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 9164 Build-Time: 207 Distribution: focal Host Architecture: riscv64 Install-Time: 180 Job: ocaml-qcheck_0.11-1build1.dsc Machine Architecture: riscv64 Package: ocaml-qcheck Package-Time: 413 Source-Version: 0.11-1build1 Space: 9164 Status: successful Version: 0.11-1build1 -------------------------------------------------------------------------------- Finished at 2020-04-13T03:12:06Z Build needed 00:06:53, 9164k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19108281 Scanning for processes to kill in build PACKAGEBUILD-19108281 RUN: /usr/share/launchpad-buildd/bin/in-target umount-chroot --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19108281 Stopping target for build PACKAGEBUILD-19108281 RUN: /usr/share/launchpad-buildd/bin/in-target remove-build --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19108281 Removing build PACKAGEBUILD-19108281