https://launchpad.net/~jgross-h/+archive/ubuntu/coq-master-daily/+recipebuild/3713584 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lcy02-amd64-029 5.4.0-176-generic #196-Ubuntu SMP Fri Mar 22 16:46:39 UTC 2024 x86_64 Buildd toolchain package versions: launchpad-buildd_236~650~ubuntu20.04.1 python3-lpbuildd_236~650~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.11 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1.1. Syncing the system clock with the buildd NTP service... 17 Apr 19:32:23 ntpdate[1845]: adjust time server 10.131.248.1 offset 0.000391 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-3713584 --image-type chroot /home/buildd/filecache-default/bcd5dc063ce51e1147d70d5a7a54c6f9cc3d3ea4 Creating target for build RECIPEBRANCHBUILD-3713584 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-3713584 Starting target for build RECIPEBRANCHBUILD-3713584 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-3713584 'deb http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu trusty main' 'deb http://ftpmaster.internal/ubuntu trusty main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu trusty-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu trusty-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-3713584 RUN: /usr/share/launchpad-buildd/bin/in-target add-trusted-keys --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-3713584 Adding trusted keys to build-RECIPEBRANCHBUILD-3713584 pub rsa4096/E58B19DAA454A7D9 2014-12-19 [SC] Key fingerprint = 017C CCC8 B006 C270 6476 BBE4 E58B 19DA A454 A7D9 uid Launchpad PPA for Jason Gross RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-3713584 Updating target for build RECIPEBRANCHBUILD-3713584 Get:1 http://ppa.launchpadcontent.net trusty InRelease [13.8 kB] Ign http://ftpmaster.internal trusty InRelease Get:2 http://ftpmaster.internal trusty-security InRelease [56.4 kB] Get:3 http://ppa.launchpadcontent.net trusty/main amd64 Packages [13.0 kB] Get:4 http://ftpmaster.internal trusty-updates InRelease [56.4 kB] Get:5 http://ftpmaster.internal trusty Release.gpg [933 B] Get:6 http://ppa.launchpadcontent.net trusty/main Translation-en [10.1 kB] Get:7 http://ftpmaster.internal trusty Release [58.5 kB] Get:8 http://ftpmaster.internal trusty-security/main amd64 Packages [702 kB] Get:9 http://ftpmaster.internal trusty-security/restricted amd64 Packages [19.7 kB] Get:10 http://ftpmaster.internal trusty-security/universe amd64 Packages [387 kB] Get:11 http://ftpmaster.internal trusty-security/multiverse amd64 Packages [6007 B] Get:12 http://ftpmaster.internal trusty-security/main Translation-en [225 kB] Get:13 http://ftpmaster.internal trusty-security/multiverse Translation-en [2564 B] Get:14 http://ftpmaster.internal trusty-security/restricted Translation-en [3556 B] Get:15 http://ftpmaster.internal trusty-security/universe Translation-en [156 kB] Get:16 http://ftpmaster.internal trusty-updates/main amd64 Packages [1173 kB] Get:17 http://ftpmaster.internal trusty-updates/restricted amd64 Packages [23.4 kB] Get:18 http://ftpmaster.internal trusty-updates/universe amd64 Packages [699 kB] Get:19 http://ftpmaster.internal trusty-updates/multiverse amd64 Packages [19.1 kB] Get:20 http://ftpmaster.internal trusty-updates/main Translation-en [348 kB] Get:21 http://ftpmaster.internal trusty-updates/multiverse Translation-en [7616 B] Get:22 http://ftpmaster.internal trusty-updates/restricted Translation-en [4028 B] Get:23 http://ftpmaster.internal trusty-updates/universe Translation-en [275 kB] Get:24 http://ftpmaster.internal trusty/main amd64 Packages [1350 kB] Get:25 http://ftpmaster.internal trusty/restricted amd64 Packages [13.0 kB] Get:26 http://ftpmaster.internal trusty/universe amd64 Packages [5859 kB] Get:27 http://ftpmaster.internal trusty/multiverse amd64 Packages [132 kB] Get:28 http://ftpmaster.internal trusty/main Translation-en [762 kB] Get:29 http://ftpmaster.internal trusty/multiverse Translation-en [102 kB] Get:30 http://ftpmaster.internal trusty/restricted Translation-en [3457 B] Get:31 http://ftpmaster.internal trusty/universe Translation-en [4089 kB] Fetched 16.6 MB in 4s (3716 kB/s) Reading package lists... W: Ignoring Provides line with DepCompareOp for package libcoq-ocaml W: Ignoring Provides line with DepCompareOp for package libcoq-ocaml-dev W: Ignoring Provides line with DepCompareOp for package coq-theories W: You may want to run apt-get update to correct these problems Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: advancecomp apt apt-transport-https base-files bash binutils bsdutils busybox-initramfs ca-certificates coreutils cpio cpp-4.8 dpkg dpkg-dev e2fslibs e2fsprogs g++-4.8 gcc-4.8 gcc-4.8-base gcc-4.9-base gnupg gpgv ifupdown initramfs-tools initramfs-tools-bin initscripts iproute2 klibc-utils kmod libapt-pkg4.12 libasan0 libasn1-8-heimdal libatomic1 libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcgmanager0 libcomerr2 libcurl3-gnutls libdb5.3 libdbus-1-3 libdpkg-perl libdrm2 libffi6 libgcc-4.8-dev libgcc1 libgcrypt11 libgnutls26 libgomp1 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libidn11 libitm1 libjson-c2 libjson0 libk5crypto3 libklibc libkmod2 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libmount1 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre3 libplymouth2 libpng12-0 libprocps3 libquadmath0 libroken18-heimdal librtmp0 libselinux1 libsepol1 libsqlite3-0 libss2 libssl1.0.0 libstdc++-4.8-dev libstdc++6 libtasn1-6 libtsan0 libudev1 libuuid1 libwind0-heimdal linux-libc-dev login lsb-base makedev module-init-tools mount mountall multiarch-support openssl optipng passwd patch perl perl-base perl-modules pkg-create-dbgsym plymouth procps sensible-utils sysv-rc sysvinit-utils tar tzdata udev upstart util-linux zlib1g 119 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 67.3 MB of archives. After this operation, 11.0 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty-updates/main base-files amd64 7.2ubuntu5.6 [69.3 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty-security/main bash amd64 4.3-7ubuntu1.7 [575 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty-updates/main coreutils amd64 8.21-1ubuntu5.4 [1091 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty-updates/main dpkg amd64 1.17.5ubuntu5.8 [1958 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpcre3 amd64 1:8.31-2ubuntu2.3 [144 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty-updates/main libselinux1 amd64 2.2.2-1ubuntu0.1 [58.7 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty-updates/main sysv-rc all 2.88dsf-41ubuntu6.3 [36.6 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty-updates/main sysvinit-utils amd64 2.88dsf-41ubuntu6.3 [52.9 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty-security/main libpam0g amd64 1.1.8-1ubuntu2.2 [56.1 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty-security/main libpam-modules-bin amd64 1.1.8-1ubuntu2.2 [31.2 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty-security/main libpam-modules amd64 1.1.8-1ubuntu2.2 [234 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty-security/main passwd amd64 1:4.1.5.1-1ubuntu9.5 [759 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty-updates/main libuuid1 amd64 2.20.1-5.1ubuntu20.9 [10.8 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty-updates/main libblkid1 amd64 2.20.1-5.1ubuntu20.9 [62.6 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty-updates/main libdbus-1-3 amd64 1.6.18-0ubuntu4.5 [132 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcgmanager0 amd64 0.24-0ubuntu7.5 [28.9 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty-security/main libkmod2 amd64 15-0ubuntu7 [38.1 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty-updates/main lsb-base all 4.1+Debian11ubuntu6.2 [13.3 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty-security/main tzdata all 2019a-0ubuntu0.14.04 [167 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty-updates/main util-linux amd64 2.20.1-5.1ubuntu20.9 [458 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty-security/main libprocps3 amd64 1:3.3.9-1ubuntu2.3 [31.7 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty-security/main procps amd64 1:3.3.9-1ubuntu2.3 [210 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty-updates/main plymouth amd64 0.8.8-0ubuntu17.2 [98.4 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty-updates/main libplymouth2 amd64 0.8.8-0ubuntu17.2 [76.6 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty-updates/main klibc-utils amd64 2.0.3-0ubuntu1.14.04.3 [107 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty-updates/main initramfs-tools all 0.103ubuntu4.11 [44.6 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty-updates/main mountall amd64 2.53ubuntu1 [55.6 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty-updates/main initscripts amd64 2.88dsf-41ubuntu6.3 [27.7 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty-security/main udev amd64 204-5ubuntu20.31 [736 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty-security/main libudev1 amd64 204-5ubuntu20.31 [34.1 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty-updates/main initramfs-tools-bin amd64 0.103ubuntu4.11 [8610 B] Get:32 http://ftpmaster.internal/ubuntu/ trusty-updates/main libklibc amd64 2.0.3-0ubuntu1.14.04.3 [40.6 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty-security/main busybox-initramfs amd64 1:1.21.0-1ubuntu1.4 [166 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty-security/main cpio amd64 2.11+dfsg-1ubuntu1.2 [73.8 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty-security/main kmod amd64 15-0ubuntu7 [84.9 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty-security/main module-init-tools all 15-0ubuntu7 [1944 B] Get:37 http://ftpmaster.internal/ubuntu/ trusty-security/main libdrm2 amd64 2.4.67-1ubuntu0.14.04.2 [27.2 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty-updates/main zlib1g amd64 1:1.2.8.dfsg-1ubuntu1.1 [49.8 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty-security/main libpng12-0 amd64 1.2.50-1ubuntu2.14.04.3 [118 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty-updates/main makedev all 2.3.1-93ubuntu2~ubuntu14.04.1 [24.5 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty-updates/main mount amd64 2.20.1-5.1ubuntu20.9 [115 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty-security/main libjson-c2 amd64 0.11-3ubuntu1.2 [22.0 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty-security/main libdb5.3 amd64 5.3.28-3ubuntu3.1 [646 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty-updates/main iproute2 amd64 3.12.0-2ubuntu1.2 [401 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty-updates/main ifupdown amd64 0.7.47.2ubuntu4.5 [53.3 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty-security/main libjson0 amd64 0.11-3ubuntu1.2 [1080 B] Get:47 http://ftpmaster.internal/ubuntu/ trusty-updates/main upstart amd64 1.12.1-0ubuntu4.2 [390 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty-security/main libc6-dev amd64 2.19-0ubuntu6.15 [1913 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty-security/main libc-dev-bin amd64 2.19-0ubuntu6.15 [68.9 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty-security/main linux-libc-dev amd64 3.13.0-170.220 [772 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty-security/main libc-bin amd64 2.19-0ubuntu6.15 [1166 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty-updates/main gcc-4.9-base amd64 4.9.3-0ubuntu4 [15.1 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty-updates/main libgcc1 amd64 1:4.9.3-0ubuntu4 [39.2 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty-security/main libc6 amd64 2.19-0ubuntu6.15 [4727 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty-updates/main e2fslibs amd64 1.42.9-3ubuntu1.3 [182 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty-updates/main e2fsprogs amd64 1.42.9-3ubuntu1.3 [667 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty-security/main login amd64 1:4.1.5.1-1ubuntu9.5 [302 kB] Get:58 http://ftpmaster.internal/ubuntu/ trusty-security/main perl amd64 5.18.2-2ubuntu1.7 [2650 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty-security/main perl-base amd64 5.18.2-2ubuntu1.7 [1150 kB] Get:60 http://ftpmaster.internal/ubuntu/ trusty-security/main perl-modules all 5.18.2-2ubuntu1.7 [2674 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty-security/main tar amd64 1.27.1-1ubuntu0.1 [196 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty-security/main libtsan0 amd64 4.8.4-2ubuntu1~14.04.4 [94.8 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty-security/main libgomp1 amd64 4.8.4-2ubuntu1~14.04.4 [23.1 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty-security/main libitm1 amd64 4.8.4-2ubuntu1~14.04.4 [28.6 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty-security/main libatomic1 amd64 4.8.4-2ubuntu1~14.04.4 [8630 B] Get:66 http://ftpmaster.internal/ubuntu/ trusty-security/main libasan0 amd64 4.8.4-2ubuntu1~14.04.4 [63.1 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty-security/main libquadmath0 amd64 4.8.4-2ubuntu1~14.04.4 [126 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty-security/main g++-4.8 amd64 4.8.4-2ubuntu1~14.04.4 [18.0 MB] Get:69 http://ftpmaster.internal/ubuntu/ trusty-security/main gcc-4.8 amd64 4.8.4-2ubuntu1~14.04.4 [5040 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty-security/main cpp-4.8 amd64 4.8.4-2ubuntu1~14.04.4 [4452 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty-security/main binutils amd64 2.24-5ubuntu14.2 [2076 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty-security/main libstdc++-4.8-dev amd64 4.8.4-2ubuntu1~14.04.4 [1051 kB] Get:73 http://ftpmaster.internal/ubuntu/ trusty-security/main libgcc-4.8-dev amd64 4.8.4-2ubuntu1~14.04.4 [1688 kB] Get:74 http://ftpmaster.internal/ubuntu/ trusty-security/main gcc-4.8-base amd64 4.8.4-2ubuntu1~14.04.4 [16.7 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty-security/main libstdc++6 amd64 4.8.4-2ubuntu1~14.04.4 [260 kB] Get:76 http://ftpmaster.internal/ubuntu/ trusty-updates/main libapt-pkg4.12 amd64 1.0.1ubuntu2.24 [646 kB] Get:77 http://ftpmaster.internal/ubuntu/ trusty-security/main gpgv amd64 1.4.16-1ubuntu2.6 [161 kB] Get:78 http://ftpmaster.internal/ubuntu/ trusty-security/main gnupg amd64 1.4.16-1ubuntu2.6 [611 kB] Get:79 http://ftpmaster.internal/ubuntu/ trusty-updates/main apt amd64 1.0.1ubuntu2.24 [962 kB] Get:80 http://ftpmaster.internal/ubuntu/ trusty-updates/main bsdutils amd64 1:2.20.1-5.1ubuntu20.9 [33.9 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcomerr2 amd64 1.42.9-3ubuntu1.3 [62.9 kB] Get:82 http://ftpmaster.internal/ubuntu/ trusty-updates/main libmount1 amd64 2.20.1-5.1ubuntu20.9 [60.3 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty-updates/main libsepol1 amd64 2.2-1ubuntu0.1 [107 kB] Get:84 http://ftpmaster.internal/ubuntu/ trusty-updates/main libss2 amd64 1.42.9-3ubuntu1.3 [67.1 kB] Get:85 http://ftpmaster.internal/ubuntu/ trusty-security/main libffi6 amd64 3.1~rc1+r3.0.13-12ubuntu0.2 [17.9 kB] Get:86 http://ftpmaster.internal/ubuntu/ trusty-security/main libgcrypt11 amd64 1.5.3-2ubuntu4.6 [238 kB] Get:87 http://ftpmaster.internal/ubuntu/ trusty-security/main libtasn1-6 amd64 3.4-3ubuntu0.6 [43.6 kB] Get:88 http://ftpmaster.internal/ubuntu/ trusty-security/main libgnutls26 amd64 2.12.23-12ubuntu2.8 [395 kB] Get:89 http://ftpmaster.internal/ubuntu/ trusty-security/main libsqlite3-0 amd64 3.8.2-1ubuntu2.2 [342 kB] Get:90 http://ftpmaster.internal/ubuntu/ trusty-security/main libssl1.0.0 amd64 1.0.1f-1ubuntu2.27 [831 kB] Get:91 http://ftpmaster.internal/ubuntu/ trusty-security/main libroken18-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [39.9 kB] Get:92 http://ftpmaster.internal/ubuntu/ trusty-security/main libasn1-8-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [160 kB] Get:93 http://ftpmaster.internal/ubuntu/ trusty-security/main libk5crypto3 amd64 1.12+dfsg-2ubuntu5.4 [79.4 kB] Get:94 http://ftpmaster.internal/ubuntu/ trusty-security/main libgssapi-krb5-2 amd64 1.12+dfsg-2ubuntu5.4 [114 kB] Get:95 http://ftpmaster.internal/ubuntu/ trusty-security/main libkrb5-3 amd64 1.12+dfsg-2ubuntu5.4 [262 kB] Get:96 http://ftpmaster.internal/ubuntu/ trusty-security/main libkrb5support0 amd64 1.12+dfsg-2ubuntu5.4 [31.1 kB] Get:97 http://ftpmaster.internal/ubuntu/ trusty-security/main libidn11 amd64 1.28-1ubuntu2.2 [94.6 kB] Get:98 http://ftpmaster.internal/ubuntu/ trusty-security/main libhcrypto4-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [84.1 kB] Get:99 http://ftpmaster.internal/ubuntu/ trusty-security/main libheimbase1-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [29.0 kB] Get:100 http://ftpmaster.internal/ubuntu/ trusty-security/main libwind0-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [47.9 kB] Get:101 http://ftpmaster.internal/ubuntu/ trusty-security/main libhx509-5-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [104 kB] Get:102 http://ftpmaster.internal/ubuntu/ trusty-security/main libkrb5-26-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [196 kB] Get:103 http://ftpmaster.internal/ubuntu/ trusty-security/main libheimntlm0-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [15.2 kB] Get:104 http://ftpmaster.internal/ubuntu/ trusty-security/main libgssapi3-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [89.7 kB] Get:105 http://ftpmaster.internal/ubuntu/ trusty-updates/main libldap-2.4-2 amd64 2.4.31-1+nmu2ubuntu8.5 [153 kB] Get:106 http://ftpmaster.internal/ubuntu/ trusty-security/main librtmp0 amd64 2.4+20121230.gitdf6c518-1ubuntu0.1 [50.4 kB] Get:107 http://ftpmaster.internal/ubuntu/ trusty-security/main libcurl3-gnutls amd64 7.35.0-1ubuntu2.20 [166 kB] Get:108 http://ftpmaster.internal/ubuntu/ trusty-security/main libpam-runtime all 1.1.8-1ubuntu2.2 [37.8 kB] Get:109 http://ftpmaster.internal/ubuntu/ trusty-security/main multiarch-support amd64 2.19-0ubuntu6.15 [4490 B] Get:110 http://ftpmaster.internal/ubuntu/ trusty-security/main sensible-utils all 0.0.9ubuntu0.14.04.1 [10.0 kB] Get:111 http://ftpmaster.internal/ubuntu/ trusty-updates/main apt-transport-https amd64 1.0.1ubuntu2.24 [25.7 kB] Get:112 http://ftpmaster.internal/ubuntu/ trusty-security/main openssl amd64 1.0.1f-1ubuntu2.27 [489 kB] Get:113 http://ftpmaster.internal/ubuntu/ trusty-updates/main ca-certificates all 20170717~14.04.2 [166 kB] Get:114 http://ftpmaster.internal/ubuntu/ trusty-security/main advancecomp amd64 1.18-1ubuntu0.2 [156 kB] Get:115 http://ftpmaster.internal/ubuntu/ trusty-updates/main dpkg-dev all 1.17.5ubuntu5.8 [726 kB] Get:116 http://ftpmaster.internal/ubuntu/ trusty-updates/main libdpkg-perl all 1.17.5ubuntu5.8 [179 kB] Get:117 http://ftpmaster.internal/ubuntu/ trusty-security/main patch amd64 2.7.1-4ubuntu2.4 [86.9 kB] Get:118 http://ftpmaster.internal/ubuntu/ trusty-security/main optipng amd64 0.6.4-1ubuntu0.14.04.2 [79.8 kB] Get:119 http://ftpmaster.internal/ubuntu/ trusty-security/main pkg-create-dbgsym all 0.67~trusty [8844 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 67.3 MB in 2s (32.3 MB/s) (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../base-files_7.2ubuntu5.6_amd64.deb ... Unpacking base-files (7.2ubuntu5.6) over (7.2ubuntu5) ... Setting up base-files (7.2ubuntu5.6) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... Installing new version of config file /etc/os-release ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../bash_4.3-7ubuntu1.7_amd64.deb ... Unpacking bash (4.3-7ubuntu1.7) over (4.3-6ubuntu1) ... Setting up bash (4.3-7ubuntu1.7) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../coreutils_8.21-1ubuntu5.4_amd64.deb ... Unpacking coreutils (8.21-1ubuntu5.4) over (8.21-1ubuntu5) ... Setting up coreutils (8.21-1ubuntu5.4) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../dpkg_1.17.5ubuntu5.8_amd64.deb ... Unpacking dpkg (1.17.5ubuntu5.8) over (1.17.5ubuntu5) ... Setting up dpkg (1.17.5ubuntu5.8) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libpcre3_1%3a8.31-2ubuntu2.3_amd64.deb ... Unpacking libpcre3:amd64 (1:8.31-2ubuntu2.3) over (1:8.31-2ubuntu2) ... Preparing to unpack .../libc6_2.19-0ubuntu6.15_amd64.deb ... Unpacking libc6:amd64 (2.19-0ubuntu6.15) over (2.19-0ubuntu6) ... Preparing to unpack .../libgcc1_1%3a4.9.3-0ubuntu4_amd64.deb ... Unpacking libgcc1:amd64 (1:4.9.3-0ubuntu4) over (1:4.9-20140406-0ubuntu1) ... Preparing to unpack .../gcc-4.9-base_4.9.3-0ubuntu4_amd64.deb ... Unpacking gcc-4.9-base:amd64 (4.9.3-0ubuntu4) over (4.9-20140406-0ubuntu1) ... Setting up gcc-4.9-base:amd64 (4.9.3-0ubuntu4) ... Setting up libgcc1:amd64 (1:4.9.3-0ubuntu4) ... Setting up libc6:amd64 (2.19-0ubuntu6.15) ... Setting up libpcre3:amd64 (1:8.31-2ubuntu2.3) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libselinux1_2.2.2-1ubuntu0.1_amd64.deb ... Unpacking libselinux1:amd64 (2.2.2-1ubuntu0.1) over (2.2.2-1) ... Setting up libselinux1:amd64 (2.2.2-1ubuntu0.1) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../sysv-rc_2.88dsf-41ubuntu6.3_all.deb ... Unpacking sysv-rc (2.88dsf-41ubuntu6.3) over (2.88dsf-41ubuntu6) ... Preparing to unpack .../sysvinit-utils_2.88dsf-41ubuntu6.3_amd64.deb ... Unpacking sysvinit-utils (2.88dsf-41ubuntu6.3) over (2.88dsf-41ubuntu6) ... Setting up sysvinit-utils (2.88dsf-41ubuntu6.3) ... Setting up sysv-rc (2.88dsf-41ubuntu6.3) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-1ubuntu2.2_amd64.deb ... Unpacking libpam0g:amd64 (1.1.8-1ubuntu2.2) over (1.1.8-1ubuntu2) ... Setting up libpam0g:amd64 (1.1.8-1ubuntu2.2) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-1ubuntu2.2_amd64.deb ... Unpacking libpam-modules-bin (1.1.8-1ubuntu2.2) over (1.1.8-1ubuntu2) ... Setting up libpam-modules-bin (1.1.8-1ubuntu2.2) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-1ubuntu2.2_amd64.deb ... Unpacking libpam-modules:amd64 (1.1.8-1ubuntu2.2) over (1.1.8-1ubuntu2) ... Setting up libpam-modules:amd64 (1.1.8-1ubuntu2.2) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.1.5.1-1ubuntu9.5_amd64.deb ... Unpacking passwd (1:4.1.5.1-1ubuntu9.5) over (1:4.1.5.1-1ubuntu9) ... Setting up passwd (1:4.1.5.1-1ubuntu9.5) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libuuid1_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking libuuid1:amd64 (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up libuuid1:amd64 (2.20.1-5.1ubuntu20.9) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libblkid1_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking libblkid1:amd64 (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up libblkid1:amd64 (2.20.1-5.1ubuntu20.9) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libdbus-1-3_1.6.18-0ubuntu4.5_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.6.18-0ubuntu4.5) over (1.6.18-0ubuntu4) ... Preparing to unpack .../libcgmanager0_0.24-0ubuntu7.5_amd64.deb ... Unpacking libcgmanager0:amd64 (0.24-0ubuntu7.5) over (0.24-0ubuntu5) ... Preparing to unpack .../libkmod2_15-0ubuntu7_amd64.deb ... Unpacking libkmod2:amd64 (15-0ubuntu7) over (15-0ubuntu6) ... Preparing to unpack .../lsb-base_4.1+Debian11ubuntu6.2_all.deb ... Unpacking lsb-base (4.1+Debian11ubuntu6.2) over (4.1+Debian11ubuntu6) ... Setting up lsb-base (4.1+Debian11ubuntu6.2) ... (Reading database ... 11789 files and directories currently installed.) Preparing to unpack .../tzdata_2019a-0ubuntu0.14.04_all.deb ... Unpacking tzdata (2019a-0ubuntu0.14.04) over (2014b-1) ... Setting up tzdata (2019a-0ubuntu0.14.04) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Apr 17 19:32:38 UTC 2024. Universal Time is now: Wed Apr 17 19:32:38 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 11832 files and directories currently installed.) Preparing to unpack .../util-linux_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking util-linux (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up util-linux (2.20.1-5.1ubuntu20.9) ... (Reading database ... 11832 files and directories currently installed.) Preparing to unpack .../libprocps3_1%3a3.3.9-1ubuntu2.3_amd64.deb ... Unpacking libprocps3:amd64 (1:3.3.9-1ubuntu2.3) over (1:3.3.9-1ubuntu2) ... Preparing to unpack .../procps_1%3a3.3.9-1ubuntu2.3_amd64.deb ... invoke-rc.d: policy-rc.d denied execution of stop. Unpacking procps (1:3.3.9-1ubuntu2.3) over (1:3.3.9-1ubuntu2) ... Preparing to unpack .../plymouth_0.8.8-0ubuntu17.2_amd64.deb ... Unpacking plymouth (0.8.8-0ubuntu17.2) over (0.8.8-0ubuntu17) ... Preparing to unpack .../libplymouth2_0.8.8-0ubuntu17.2_amd64.deb ... Unpacking libplymouth2:amd64 (0.8.8-0ubuntu17.2) over (0.8.8-0ubuntu17) ... Preparing to unpack .../klibc-utils_2.0.3-0ubuntu1.14.04.3_amd64.deb ... Unpacking klibc-utils (2.0.3-0ubuntu1.14.04.3) over (2.0.3-0ubuntu1) ... Preparing to unpack .../initramfs-tools_0.103ubuntu4.11_all.deb ... Unpacking initramfs-tools (0.103ubuntu4.11) over (0.103ubuntu4) ... Preparing to unpack .../mountall_2.53ubuntu1_amd64.deb ... Unpacking mountall (2.53ubuntu1) over (2.53) ... Preparing to unpack .../initscripts_2.88dsf-41ubuntu6.3_amd64.deb ... Unpacking initscripts (2.88dsf-41ubuntu6.3) over (2.88dsf-41ubuntu6) ... Preparing to unpack .../udev_204-5ubuntu20.31_amd64.deb ... Adding 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' Unpacking udev (204-5ubuntu20.31) over (204-5ubuntu20) ... Preparing to unpack .../libudev1_204-5ubuntu20.31_amd64.deb ... Unpacking libudev1:amd64 (204-5ubuntu20.31) over (204-5ubuntu20) ... Preparing to unpack .../initramfs-tools-bin_0.103ubuntu4.11_amd64.deb ... Unpacking initramfs-tools-bin (0.103ubuntu4.11) over (0.103ubuntu4) ... Preparing to unpack .../libklibc_2.0.3-0ubuntu1.14.04.3_amd64.deb ... Unpacking libklibc (2.0.3-0ubuntu1.14.04.3) over (2.0.3-0ubuntu1) ... Preparing to unpack .../busybox-initramfs_1%3a1.21.0-1ubuntu1.4_amd64.deb ... Unpacking busybox-initramfs (1:1.21.0-1ubuntu1.4) over (1:1.21.0-1ubuntu1) ... Preparing to unpack .../cpio_2.11+dfsg-1ubuntu1.2_amd64.deb ... Unpacking cpio (2.11+dfsg-1ubuntu1.2) over (2.11+dfsg-1ubuntu1) ... Preparing to unpack .../kmod_15-0ubuntu7_amd64.deb ... Unpacking kmod (15-0ubuntu7) over (15-0ubuntu6) ... Preparing to unpack .../module-init-tools_15-0ubuntu7_all.deb ... Unpacking module-init-tools (15-0ubuntu7) over (15-0ubuntu6) ... Preparing to unpack .../libdrm2_2.4.67-1ubuntu0.14.04.2_amd64.deb ... Unpacking libdrm2:amd64 (2.4.67-1ubuntu0.14.04.2) over (2.4.52-1) ... Preparing to unpack .../zlib1g_1%3a1.2.8.dfsg-1ubuntu1.1_amd64.deb ... Unpacking zlib1g:amd64 (1:1.2.8.dfsg-1ubuntu1.1) over (1:1.2.8.dfsg-1ubuntu1) ... Setting up zlib1g:amd64 (1:1.2.8.dfsg-1ubuntu1.1) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../libpng12-0_1.2.50-1ubuntu2.14.04.3_amd64.deb ... Unpacking libpng12-0:amd64 (1.2.50-1ubuntu2.14.04.3) over (1.2.50-1ubuntu2) ... Preparing to unpack .../makedev_2.3.1-93ubuntu2~ubuntu14.04.1_all.deb ... Unpacking makedev (2.3.1-93ubuntu2~ubuntu14.04.1) over (2.3.1-93ubuntu1) ... Preparing to unpack .../mount_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking mount (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up mount (2.20.1-5.1ubuntu20.9) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../libjson-c2_0.11-3ubuntu1.2_amd64.deb ... Unpacking libjson-c2:amd64 (0.11-3ubuntu1.2) over (0.11-3ubuntu1) ... Preparing to unpack .../libdb5.3_5.3.28-3ubuntu3.1_amd64.deb ... Unpacking libdb5.3:amd64 (5.3.28-3ubuntu3.1) over (5.3.28-3ubuntu3) ... Setting up libdb5.3:amd64 (5.3.28-3ubuntu3.1) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../iproute2_3.12.0-2ubuntu1.2_amd64.deb ... Unpacking iproute2 (3.12.0-2ubuntu1.2) over (3.12.0-2) ... Preparing to unpack .../ifupdown_0.7.47.2ubuntu4.5_amd64.deb ... Unpacking ifupdown (0.7.47.2ubuntu4.5) over (0.7.47.2ubuntu4) ... Preparing to unpack .../libjson0_0.11-3ubuntu1.2_amd64.deb ... Unpacking libjson0:amd64 (0.11-3ubuntu1.2) over (0.11-3ubuntu1) ... Preparing to unpack .../upstart_1.12.1-0ubuntu4.2_amd64.deb ... Unpacking upstart (1.12.1-0ubuntu4.2) over (1.12.1-0ubuntu4) ... Preparing to unpack .../libc6-dev_2.19-0ubuntu6.15_amd64.deb ... Unpacking libc6-dev:amd64 (2.19-0ubuntu6.15) over (2.19-0ubuntu6) ... Preparing to unpack .../libc-dev-bin_2.19-0ubuntu6.15_amd64.deb ... Unpacking libc-dev-bin (2.19-0ubuntu6.15) over (2.19-0ubuntu6) ... Preparing to unpack .../linux-libc-dev_3.13.0-170.220_amd64.deb ... Unpacking linux-libc-dev:amd64 (3.13.0-170.220) over (3.13.0-24.46) ... Preparing to unpack .../libc-bin_2.19-0ubuntu6.15_amd64.deb ... Unpacking libc-bin (2.19-0ubuntu6.15) over (2.19-0ubuntu6) ... Setting up libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.42.9-3ubuntu1.3_amd64.deb ... Unpacking e2fslibs:amd64 (1.42.9-3ubuntu1.3) over (1.42.9-3ubuntu1) ... Setting up e2fslibs:amd64 (1.42.9-3ubuntu1.3) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.42.9-3ubuntu1.3_amd64.deb ... Unpacking e2fsprogs (1.42.9-3ubuntu1.3) over (1.42.9-3ubuntu1) ... Setting up e2fsprogs (1.42.9-3ubuntu1.3) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../login_1%3a4.1.5.1-1ubuntu9.5_amd64.deb ... Unpacking login (1:4.1.5.1-1ubuntu9.5) over (1:4.1.5.1-1ubuntu9) ... Setting up login (1:4.1.5.1-1ubuntu9.5) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../perl_5.18.2-2ubuntu1.7_amd64.deb ... Unpacking perl (5.18.2-2ubuntu1.7) over (5.18.2-2ubuntu1) ... Preparing to unpack .../perl-base_5.18.2-2ubuntu1.7_amd64.deb ... Unpacking perl-base (5.18.2-2ubuntu1.7) over (5.18.2-2ubuntu1) ... Setting up perl-base (5.18.2-2ubuntu1.7) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../perl-modules_5.18.2-2ubuntu1.7_all.deb ... Unpacking perl-modules (5.18.2-2ubuntu1.7) over (5.18.2-2ubuntu1) ... Preparing to unpack .../tar_1.27.1-1ubuntu0.1_amd64.deb ... Unpacking tar (1.27.1-1ubuntu0.1) over (1.27.1-1) ... Setting up tar (1.27.1-1ubuntu0.1) ... (Reading database ... 11834 files and directories currently installed.) Preparing to unpack .../libtsan0_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libtsan0:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libgomp1_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libgomp1:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libitm1_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libitm1:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libatomic1_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libatomic1:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libasan0_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libasan0:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libquadmath0_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libquadmath0:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../g++-4.8_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking g++-4.8 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../gcc-4.8_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking gcc-4.8 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../cpp-4.8_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking cpp-4.8 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../binutils_2.24-5ubuntu14.2_amd64.deb ... Unpacking binutils (2.24-5ubuntu14.2) over (2.24-5ubuntu3) ... Preparing to unpack .../libstdc++-4.8-dev_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libstdc++-4.8-dev:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libgcc-4.8-dev_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libgcc-4.8-dev:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Preparing to unpack .../gcc-4.8-base_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking gcc-4.8-base:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Setting up gcc-4.8-base:amd64 (4.8.4-2ubuntu1~14.04.4) ... (Reading database ... 11848 files and directories currently installed.) Preparing to unpack .../libstdc++6_4.8.4-2ubuntu1~14.04.4_amd64.deb ... Unpacking libstdc++6:amd64 (4.8.4-2ubuntu1~14.04.4) over (4.8.2-19ubuntu1) ... Setting up libstdc++6:amd64 (4.8.4-2ubuntu1~14.04.4) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11861 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_1.0.1ubuntu2.24_amd64.deb ... Unpacking libapt-pkg4.12:amd64 (1.0.1ubuntu2.24) over (1.0.1ubuntu2) ... Setting up libapt-pkg4.12:amd64 (1.0.1ubuntu2.24) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11861 files and directories currently installed.) Preparing to unpack .../gpgv_1.4.16-1ubuntu2.6_amd64.deb ... Unpacking gpgv (1.4.16-1ubuntu2.6) over (1.4.16-1ubuntu2) ... Setting up gpgv (1.4.16-1ubuntu2.6) ... (Reading database ... 11861 files and directories currently installed.) Preparing to unpack .../gnupg_1.4.16-1ubuntu2.6_amd64.deb ... Unpacking gnupg (1.4.16-1ubuntu2.6) over (1.4.16-1ubuntu2) ... Setting up gnupg (1.4.16-1ubuntu2.6) ... (Reading database ... 11861 files and directories currently installed.) Preparing to unpack .../apt_1.0.1ubuntu2.24_amd64.deb ... Unpacking apt (1.0.1ubuntu2.24) over (1.0.1ubuntu2) ... Setting up apt (1.0.1ubuntu2.24) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking bsdutils (1:2.20.1-5.1ubuntu20.9) over (1:2.20.1-5.1ubuntu20) ... Setting up bsdutils (1:2.20.1-5.1ubuntu20.9) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.42.9-3ubuntu1.3_amd64.deb ... Unpacking libcomerr2:amd64 (1.42.9-3ubuntu1.3) over (1.42.9-3ubuntu1) ... Setting up libcomerr2:amd64 (1.42.9-3ubuntu1.3) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../libmount1_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking libmount1:amd64 (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up libmount1:amd64 (2.20.1-5.1ubuntu20.9) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../libsepol1_2.2-1ubuntu0.1_amd64.deb ... Unpacking libsepol1:amd64 (2.2-1ubuntu0.1) over (2.2-1) ... Setting up libsepol1:amd64 (2.2-1ubuntu0.1) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../libss2_1.42.9-3ubuntu1.3_amd64.deb ... Unpacking libss2:amd64 (1.42.9-3ubuntu1.3) over (1.42.9-3ubuntu1) ... Setting up libss2:amd64 (1.42.9-3ubuntu1.3) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../libffi6_3.1~rc1+r3.0.13-12ubuntu0.2_amd64.deb ... Unpacking libffi6:amd64 (3.1~rc1+r3.0.13-12ubuntu0.2) over (3.1~rc1+r3.0.13-12) ... Preparing to unpack .../libgcrypt11_1.5.3-2ubuntu4.6_amd64.deb ... Unpacking libgcrypt11:amd64 (1.5.3-2ubuntu4.6) over (1.5.3-2ubuntu4) ... Preparing to unpack .../libtasn1-6_3.4-3ubuntu0.6_amd64.deb ... Unpacking libtasn1-6:amd64 (3.4-3ubuntu0.6) over (3.4-3) ... Preparing to unpack .../libgnutls26_2.12.23-12ubuntu2.8_amd64.deb ... Unpacking libgnutls26:amd64 (2.12.23-12ubuntu2.8) over (2.12.23-12ubuntu2) ... Preparing to unpack .../libsqlite3-0_3.8.2-1ubuntu2.2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.8.2-1ubuntu2.2) over (3.8.2-1ubuntu2) ... Preparing to unpack .../libssl1.0.0_1.0.1f-1ubuntu2.27_amd64.deb ... Unpacking libssl1.0.0:amd64 (1.0.1f-1ubuntu2.27) over (1.0.1f-1ubuntu2) ... Preparing to unpack .../libroken18-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libroken18-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libasn1-8-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libasn1-8-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libk5crypto3_1.12+dfsg-2ubuntu5.4_amd64.deb ... Unpacking libk5crypto3:amd64 (1.12+dfsg-2ubuntu5.4) over (1.12+dfsg-2ubuntu4) ... Preparing to unpack .../libgssapi-krb5-2_1.12+dfsg-2ubuntu5.4_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.12+dfsg-2ubuntu5.4) over (1.12+dfsg-2ubuntu4) ... Preparing to unpack .../libkrb5-3_1.12+dfsg-2ubuntu5.4_amd64.deb ... Unpacking libkrb5-3:amd64 (1.12+dfsg-2ubuntu5.4) over (1.12+dfsg-2ubuntu4) ... Preparing to unpack .../libkrb5support0_1.12+dfsg-2ubuntu5.4_amd64.deb ... Unpacking libkrb5support0:amd64 (1.12+dfsg-2ubuntu5.4) over (1.12+dfsg-2ubuntu4) ... Preparing to unpack .../libidn11_1.28-1ubuntu2.2_amd64.deb ... Unpacking libidn11:amd64 (1.28-1ubuntu2.2) over (1.28-1ubuntu2) ... Preparing to unpack .../libhcrypto4-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libhcrypto4-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libheimbase1-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libheimbase1-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libwind0-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libwind0-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libhx509-5-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libhx509-5-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libkrb5-26-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libkrb5-26-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libheimntlm0-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libheimntlm0-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libgssapi3-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libgssapi3-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libldap-2.4-2_2.4.31-1+nmu2ubuntu8.5_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.31-1+nmu2ubuntu8.5) over (2.4.31-1+nmu2ubuntu8) ... Preparing to unpack .../librtmp0_2.4+20121230.gitdf6c518-1ubuntu0.1_amd64.deb ... Unpacking librtmp0:amd64 (2.4+20121230.gitdf6c518-1ubuntu0.1) over (2.4+20121230.gitdf6c518-1) ... Preparing to unpack .../libcurl3-gnutls_7.35.0-1ubuntu2.20_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.35.0-1ubuntu2.20) over (7.35.0-1ubuntu2) ... Preparing to unpack .../libpam-runtime_1.1.8-1ubuntu2.2_all.deb ... Unpacking libpam-runtime (1.1.8-1ubuntu2.2) over (1.1.8-1ubuntu2) ... Setting up libpam-runtime (1.1.8-1ubuntu2.2) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.19-0ubuntu6.15_amd64.deb ... Unpacking multiarch-support (2.19-0ubuntu6.15) over (2.19-0ubuntu6) ... Setting up multiarch-support (2.19-0ubuntu6.15) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../sensible-utils_0.0.9ubuntu0.14.04.1_all.deb ... Unpacking sensible-utils (0.0.9ubuntu0.14.04.1) over (0.0.9) ... Setting up sensible-utils (0.0.9ubuntu0.14.04.1) ... (Reading database ... 11862 files and directories currently installed.) Preparing to unpack .../apt-transport-https_1.0.1ubuntu2.24_amd64.deb ... Unpacking apt-transport-https (1.0.1ubuntu2.24) over (1.0.1ubuntu2) ... Preparing to unpack .../openssl_1.0.1f-1ubuntu2.27_amd64.deb ... Unpacking openssl (1.0.1f-1ubuntu2.27) over (1.0.1f-1ubuntu2) ... Preparing to unpack .../ca-certificates_20170717~14.04.2_all.deb ... Unpacking ca-certificates (20170717~14.04.2) over (20130906ubuntu2) ... Preparing to unpack .../advancecomp_1.18-1ubuntu0.2_amd64.deb ... Unpacking advancecomp (1.18-1ubuntu0.2) over (1.18-1) ... Preparing to unpack .../dpkg-dev_1.17.5ubuntu5.8_all.deb ... Unpacking dpkg-dev (1.17.5ubuntu5.8) over (1.17.5ubuntu5) ... Preparing to unpack .../libdpkg-perl_1.17.5ubuntu5.8_all.deb ... Unpacking libdpkg-perl (1.17.5ubuntu5.8) over (1.17.5ubuntu5) ... Preparing to unpack .../patch_2.7.1-4ubuntu2.4_amd64.deb ... Unpacking patch (2.7.1-4ubuntu2.4) over (2.7.1-4) ... Preparing to unpack .../optipng_0.6.4-1ubuntu0.14.04.2_amd64.deb ... Unpacking optipng (0.6.4-1ubuntu0.14.04.2) over (0.6.4-1build1) ... Preparing to unpack .../pkg-create-dbgsym_0.67~trusty_all.deb ... Unpacking pkg-create-dbgsym (0.67~trusty) over (0.64) ... Setting up libdbus-1-3:amd64 (1.6.18-0ubuntu4.5) ... Setting up libcgmanager0:amd64 (0.24-0ubuntu7.5) ... Setting up libkmod2:amd64 (15-0ubuntu7) ... Setting up libprocps3:amd64 (1:3.3.9-1ubuntu2.3) ... Setting up initscripts (2.88dsf-41ubuntu6.3) ... Installing new version of config file /etc/init.d/ondemand ... Setting up procps (1:3.3.9-1ubuntu2.3) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libudev1:amd64 (204-5ubuntu20.31) ... Setting up initramfs-tools-bin (0.103ubuntu4.11) ... Setting up libklibc (2.0.3-0ubuntu1.14.04.3) ... Setting up klibc-utils (2.0.3-0ubuntu1.14.04.3) ... Setting up busybox-initramfs (1:1.21.0-1ubuntu1.4) ... Setting up cpio (2.11+dfsg-1ubuntu1.2) ... Setting up kmod (15-0ubuntu7) ... Setting up module-init-tools (15-0ubuntu7) ... Setting up udev (204-5ubuntu20.31) ... Installing new version of config file /etc/init/udev-fallback-graphics.conf ... invoke-rc.d: policy-rc.d denied execution of restart. Removing 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up initramfs-tools (0.103ubuntu4.11) ... update-initramfs: deferring update (trigger activated) Setting up libpng12-0:amd64 (1.2.50-1ubuntu2.14.04.3) ... Setting up libplymouth2:amd64 (0.8.8-0ubuntu17.2) ... Setting up makedev (2.3.1-93ubuntu2~ubuntu14.04.1) ... Setting up libjson-c2:amd64 (0.11-3ubuntu1.2) ... Setting up iproute2 (3.12.0-2ubuntu1.2) ... Setting up ifupdown (0.7.47.2ubuntu4.5) ... Installing new version of config file /etc/init/network-interface.conf ... Setting up libjson0:amd64 (0.11-3ubuntu1.2) ... Setting up libdrm2:amd64 (2.4.67-1ubuntu0.14.04.2) ... Setting up libc-dev-bin (2.19-0ubuntu6.15) ... Setting up linux-libc-dev:amd64 (3.13.0-170.220) ... Setting up libc6-dev:amd64 (2.19-0ubuntu6.15) ... Setting up libtsan0:amd64 (4.8.4-2ubuntu1~14.04.4) ... Setting up libgomp1:amd64 (4.8.4-2ubuntu1~14.04.4) ... Setting up libitm1:amd64 (4.8.4-2ubuntu1~14.04.4) ... Setting up libatomic1:amd64 (4.8.4-2ubuntu1~14.04.4) ... Setting up libasan0:amd64 (4.8.4-2ubuntu1~14.04.4) ... Setting up libquadmath0:amd64 (4.8.4-2ubuntu1~14.04.4) ... Setting up cpp-4.8 (4.8.4-2ubuntu1~14.04.4) ... Setting up binutils (2.24-5ubuntu14.2) ... Setting up libgcc-4.8-dev:amd64 (4.8.4-2ubuntu1~14.04.4) ... Setting up gcc-4.8 (4.8.4-2ubuntu1~14.04.4) ... Setting up libstdc++-4.8-dev:amd64 (4.8.4-2ubuntu1~14.04.4) ... Setting up g++-4.8 (4.8.4-2ubuntu1~14.04.4) ... Setting up libffi6:amd64 (3.1~rc1+r3.0.13-12ubuntu0.2) ... Setting up libgcrypt11:amd64 (1.5.3-2ubuntu4.6) ... Setting up libtasn1-6:amd64 (3.4-3ubuntu0.6) ... Setting up libgnutls26:amd64 (2.12.23-12ubuntu2.8) ... Setting up libsqlite3-0:amd64 (3.8.2-1ubuntu2.2) ... Setting up libssl1.0.0:amd64 (1.0.1f-1ubuntu2.27) ... Setting up libroken18-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libasn1-8-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libkrb5support0:amd64 (1.12+dfsg-2ubuntu5.4) ... Setting up libk5crypto3:amd64 (1.12+dfsg-2ubuntu5.4) ... Setting up libkrb5-3:amd64 (1.12+dfsg-2ubuntu5.4) ... Setting up libgssapi-krb5-2:amd64 (1.12+dfsg-2ubuntu5.4) ... Setting up libidn11:amd64 (1.28-1ubuntu2.2) ... Setting up libhcrypto4-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libheimbase1-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libwind0-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libhx509-5-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libkrb5-26-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libheimntlm0-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libgssapi3-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libldap-2.4-2:amd64 (2.4.31-1+nmu2ubuntu8.5) ... Setting up librtmp0:amd64 (2.4+20121230.gitdf6c518-1ubuntu0.1) ... Setting up libcurl3-gnutls:amd64 (7.35.0-1ubuntu2.20) ... Setting up apt-transport-https (1.0.1ubuntu2.24) ... Setting up openssl (1.0.1f-1ubuntu2.27) ... Setting up ca-certificates (20170717~14.04.2) ... Setting up advancecomp (1.18-1ubuntu0.2) ... Setting up patch (2.7.1-4ubuntu2.4) ... Setting up optipng (0.6.4-1ubuntu0.14.04.2) ... Setting up pkg-create-dbgsym (0.67~trusty) ... Setting up perl-modules (5.18.2-2ubuntu1.7) ... Setting up mountall (2.53ubuntu1) ... Setting up perl (5.18.2-2ubuntu1.7) ... Setting up libdpkg-perl (1.17.5ubuntu5.8) ... Setting up dpkg-dev (1.17.5ubuntu5.8) ... Setting up upstart (1.12.1-0ubuntu4.2) ... Installing new version of config file /etc/cron.daily/upstart ... Setting up plymouth (0.8.8-0ubuntu17.2) ... update-initramfs: deferring update (trigger activated) Processing triggers for libc-bin (2.19-0ubuntu6.15) ... Processing triggers for initramfs-tools (0.103ubuntu4.11) ... Processing triggers for ca-certificates (20170717~14.04.2) ... Updating certificates in /etc/ssl/certs... 46 added, 62 removed; done. Running hooks in /etc/ca-certificates/update.d....done. RUN: /usr/share/launchpad-buildd/bin/buildrecipe --git RECIPEBRANCHBUILD-3713584 'Jason Gross' jgross@mit.edu trusty trusty universe PPA Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: dh-python libexpat1 libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib mime-support python3 python3-minimal python3.4 python3.4-minimal Suggested packages: lsb python3-doc python3-tk python3.4-venv python3.4-doc binfmt-support Recommended packages: file The following NEW packages will be installed: dh-python libexpat1 libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib lsb-release mime-support python3 python3-minimal python3.4 python3.4-minimal 0 upgraded, 11 newly installed, 0 to remove and 0 not upgraded. Need to get 4051 kB of archives. After this operation, 18.3 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty-security/main libexpat1 amd64 2.1.0-4ubuntu1.4 [70.9 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty-security/main libpython3.4-minimal amd64 3.4.3-1ubuntu1~14.04.7 [461 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty-security/main mime-support all 3.54ubuntu1.1 [29.3 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty-security/main libpython3.4-stdlib amd64 3.4.3-1ubuntu1~14.04.7 [1986 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty-security/main python3.4-minimal amd64 3.4.3-1ubuntu1~14.04.7 [1224 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty-security/main python3.4 amd64 3.4.3-1ubuntu1~14.04.7 [178 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main python3-minimal amd64 3.4.0-0ubuntu2 [23.2 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libpython3-stdlib amd64 3.4.0-0ubuntu2 [6912 B] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main python3 amd64 3.4.0-0ubuntu2 [8666 B] Get:10 http://ftpmaster.internal/ubuntu/ trusty-updates/main dh-python all 1.20140128-1ubuntu8.2 [51.1 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty-updates/main lsb-release all 4.1+Debian11ubuntu6.2 [11.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 4051 kB in 0s (26.0 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 11845 files and directories currently installed.) Preparing to unpack .../libexpat1_2.1.0-4ubuntu1.4_amd64.deb ... Unpacking libexpat1:amd64 (2.1.0-4ubuntu1.4) ... Selecting previously unselected package libpython3.4-minimal:amd64. Preparing to unpack .../libpython3.4-minimal_3.4.3-1ubuntu1~14.04.7_amd64.deb ... Unpacking libpython3.4-minimal:amd64 (3.4.3-1ubuntu1~14.04.7) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.54ubuntu1.1_all.deb ... Unpacking mime-support (3.54ubuntu1.1) ... Selecting previously unselected package libpython3.4-stdlib:amd64. Preparing to unpack .../libpython3.4-stdlib_3.4.3-1ubuntu1~14.04.7_amd64.deb ... Unpacking libpython3.4-stdlib:amd64 (3.4.3-1ubuntu1~14.04.7) ... Selecting previously unselected package python3.4-minimal. Preparing to unpack .../python3.4-minimal_3.4.3-1ubuntu1~14.04.7_amd64.deb ... Unpacking python3.4-minimal (3.4.3-1ubuntu1~14.04.7) ... Selecting previously unselected package python3.4. Preparing to unpack .../python3.4_3.4.3-1ubuntu1~14.04.7_amd64.deb ... Unpacking python3.4 (3.4.3-1ubuntu1~14.04.7) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../python3-minimal_3.4.0-0ubuntu2_amd64.deb ... Unpacking python3-minimal (3.4.0-0ubuntu2) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../libpython3-stdlib_3.4.0-0ubuntu2_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.4.0-0ubuntu2) ... Selecting previously unselected package python3. Preparing to unpack .../python3_3.4.0-0ubuntu2_amd64.deb ... Unpacking python3 (3.4.0-0ubuntu2) ... Selecting previously unselected package dh-python. Preparing to unpack .../dh-python_1.20140128-1ubuntu8.2_all.deb ... Unpacking dh-python (1.20140128-1ubuntu8.2) ... Selecting previously unselected package lsb-release. Preparing to unpack .../lsb-release_4.1+Debian11ubuntu6.2_all.deb ... Unpacking lsb-release (4.1+Debian11ubuntu6.2) ... Setting up libexpat1:amd64 (2.1.0-4ubuntu1.4) ... Setting up libpython3.4-minimal:amd64 (3.4.3-1ubuntu1~14.04.7) ... Setting up mime-support (3.54ubuntu1.1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libpython3.4-stdlib:amd64 (3.4.3-1ubuntu1~14.04.7) ... Setting up python3.4-minimal (3.4.3-1ubuntu1~14.04.7) ... Setting up python3.4 (3.4.3-1ubuntu1~14.04.7) ... Setting up python3-minimal (3.4.0-0ubuntu2) ... Setting up libpython3-stdlib:amd64 (3.4.0-0ubuntu2) ... Setting up dh-python (1.20140128-1ubuntu8.2) ... Setting up python3 (3.4.0-0ubuntu2) ... running python rtupdate hooks for python3.4... running python post-rtupdate hooks for python3.4... Setting up lsb-release (4.1+Debian11ubuntu6.2) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... Git version: git version 2.25.1 git-build-recipe 0.3.6 Building recipe: # git-build-recipe format 0.4 deb-version {debupstream}~{time}+{revno}-0~daily{revno:packaging}-{git-commit} lp:~jgross-h/coq/+git/coq master nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian master-coqide-no RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-3713584/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'trusty', '--allow-fallback-to-native', '--append-version', '~ubuntu14.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-3713584/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-3713584/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-3713584/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/find_timing_scripts.patch patching file tools/CoqMakefile.in Hunk #1 succeeded at 109 (offset 1 line). patching file tools/make-both-single-timing-files.py patching file tools/make-both-time-files.py patching file tools/make-one-time-file.py Now at patch /home/buildd/build-RECIPEBRANCHBUILD-3713584/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/find_timing_scripts.patch /usr/lib/python3/dist-packages/debian/changelog.py:484: UserWarning: Found eof where expected first heading warnings.warn(message) /usr/lib/python3/dist-packages/debian/changelog.py:484: UserWarning: Found eof where expected first heading warnings.warn(message) Initialized empty Git repository in /home/buildd/build-RECIPEBRANCHBUILD-3713584/chroot-autobuild/home/buildd/work/tree/recipe/.git/ From https://git.launchpad.net/~jgross-h/coq/+git/coq * [new branch] master -> source/master * [new branch] v8.0 -> source/v8.0 * [new branch] v8.1 -> source/v8.1 * [new branch] v8.10 -> source/v8.10 * [new branch] v8.11 -> source/v8.11 * [new branch] v8.12 -> source/v8.12 * [new branch] v8.13 -> source/v8.13 * [new branch] v8.14 -> source/v8.14 * [new branch] v8.15 -> source/v8.15 * [new branch] v8.16 -> source/v8.16 * [new branch] v8.17 -> source/v8.17 * [new branch] v8.18 -> source/v8.18 * [new branch] v8.19 -> source/v8.19 * [new branch] v8.2 -> source/v8.2 * [new branch] v8.3 -> source/v8.3 * [new branch] v8.4 -> source/v8.4 * [new branch] v8.5 -> source/v8.5 * [new branch] v8.6 -> source/v8.6 * [new branch] v8.7 -> source/v8.7 * [new branch] v8.8 -> source/v8.8 * [new branch] v8.9 -> source/v8.9 * [new tag] V8.18.0 -> V8.18.0 * [new tag] V8.19.1 -> V8.19.1 * [new tag] V8.10+beta1 -> V8.10+beta1 * [new tag] V8.10+beta2 -> V8.10+beta2 * [new tag] V8.10+beta3 -> V8.10+beta3 * [new tag] V8.10.0 -> V8.10.0 * [new tag] V8.10.1 -> V8.10.1 * [new tag] V8.10.2 -> V8.10.2 * [new tag] V8.11+beta1 -> V8.11+beta1 * [new tag] V8.11.0 -> V8.11.0 * [new tag] V8.11.1 -> V8.11.1 * [new tag] V8.11.2 -> V8.11.2 * [new tag] V8.12+beta1 -> V8.12+beta1 * [new tag] V8.12.0 -> V8.12.0 * [new tag] V8.12.1 -> V8.12.1 * [new tag] V8.12.2 -> V8.12.2 * [new tag] V8.13+beta1 -> V8.13+beta1 * [new tag] V8.13.0 -> V8.13.0 * [new tag] V8.13.1 -> V8.13.1 * [new tag] V8.13.2 -> V8.13.2 * [new tag] V8.14+rc1 -> V8.14+rc1 * [new tag] V8.14.0 -> V8.14.0 * [new tag] V8.14.1 -> V8.14.1 * [new tag] V8.15+rc1 -> V8.15+rc1 * [new tag] V8.15.0 -> V8.15.0 * [new tag] V8.15.1 -> V8.15.1 * [new tag] V8.15.2 -> V8.15.2 * [new tag] V8.16+rc1 -> V8.16+rc1 * [new tag] V8.16.0 -> V8.16.0 * [new tag] V8.16.1 -> V8.16.1 * [new tag] V8.17+rc1 -> V8.17+rc1 * [new tag] V8.17.0 -> V8.17.0 * [new tag] V8.17.1 -> V8.17.1 * [new tag] V8.18+rc1 -> V8.18+rc1 * [new tag] V8.19+rc1 -> V8.19+rc1 * [new tag] V8.19.0 -> V8.19.0 * [new tag] V8.4pl3 -> V8.4pl3 * [new tag] V8.4pl4 -> V8.4pl4 * [new tag] V8.4pl5 -> V8.4pl5 * [new tag] V8.4pl6 -> V8.4pl6 * [new tag] V8.6.1 -> V8.6.1 * [new tag] V8.7+beta1 -> V8.7+beta1 * [new tag] V8.7+beta2 -> V8.7+beta2 * [new tag] V8.7.0 -> V8.7.0 * [new tag] V8.7.1 -> V8.7.1 * [new tag] V8.7.2 -> V8.7.2 * [new tag] V8.8+beta1 -> V8.8+beta1 * [new tag] V8.8.0 -> V8.8.0 * [new tag] V8.8.1 -> V8.8.1 * [new tag] V8.8.2 -> V8.8.2 * [new tag] V8.9+beta1 -> V8.9+beta1 * [new tag] V8.9.0 -> V8.9.0 * [new tag] V8.9.1 -> V8.9.1 Note: switching to '3964411a73be30e6371b26cce4c6b3d7b8a3522a'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at 3964411a73 Merge PR #18424: [stm] Remove support for .vio files From https://git.launchpad.net/~jgross-h/coq/+git/coq-packaging * [new branch] master -> source-packaging/master * [new branch] master-coqide-no -> source-packaging/master-coqide-no * [new branch] master-precise -> source-packaging/master-precise * [new branch] precise -> source-packaging/precise * [new branch] trunk -> source-packaging/trunk * [new branch] trunk-precise -> source-packaging/trunk-precise * [new branch] v8.10 -> source-packaging/v8.10 * [new branch] v8.10-coqide-no -> source-packaging/v8.10-coqide-no * [new branch] v8.11 -> source-packaging/v8.11 * [new branch] v8.11-coqide-no -> source-packaging/v8.11-coqide-no * [new branch] v8.12 -> source-packaging/v8.12 * [new branch] v8.12-coqide-no -> source-packaging/v8.12-coqide-no * [new branch] v8.13 -> source-packaging/v8.13 * [new branch] v8.13-coqide-no -> source-packaging/v8.13-coqide-no * [new branch] v8.14 -> source-packaging/v8.14 * [new branch] v8.14-coqide-no -> source-packaging/v8.14-coqide-no * [new branch] v8.15 -> source-packaging/v8.15 * [new branch] v8.15-coqide-no -> source-packaging/v8.15-coqide-no * [new branch] v8.16 -> source-packaging/v8.16 * [new branch] v8.16-coqide-no -> source-packaging/v8.16-coqide-no * [new branch] v8.17 -> source-packaging/v8.17 * [new branch] v8.17-coqide-no -> source-packaging/v8.17-coqide-no * [new branch] v8.18 -> source-packaging/v8.18 * [new branch] v8.18-coqide-no -> source-packaging/v8.18-coqide-no * [new branch] v8.3 -> source-packaging/v8.3 * [new branch] v8.5 -> source-packaging/v8.5 * [new branch] v8.5-coqide-no -> source-packaging/v8.5-coqide-no * [new branch] v8.5-precise -> source-packaging/v8.5-precise * [new branch] v8.6 -> source-packaging/v8.6 * [new branch] v8.6-coqide-no -> source-packaging/v8.6-coqide-no * [new branch] v8.6-precise -> source-packaging/v8.6-precise * [new branch] v8.7 -> source-packaging/v8.7 * [new branch] v8.7-coqide-no -> source-packaging/v8.7-coqide-no * [new branch] v8.7-precise -> source-packaging/v8.7-precise * [new branch] v8.8 -> source-packaging/v8.8 * [new branch] v8.8-coqide-no -> source-packaging/v8.8-coqide-no * [new branch] v8.9 -> source-packaging/v8.9 * [new branch] v8.9-coqide-no -> source-packaging/v8.9-coqide-no Ign file: ./ InRelease Ign file: ./ Release.gpg Get:1 file: ./ Release [1331 B] Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: bsdmainutils debhelper dh-apparmor dh-exec dh-ocaml file gettext gettext-base groff-base intltool-debian libasprintf0c2 libcroco3 libfindlib-ocaml libfindlib-ocaml-dev libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libmagic1 libncurses5-dev libpipeline1 libpopt0 libtinfo-dev libunistring0 libxml2 libzarith-ocaml libzarith-ocaml-dev man-db ocaml-base-nox ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp ocaml-nox po-debconf rsync tex-common ucf 0 upgraded, 38 newly installed, 0 to remove and 0 not upgraded. Need to get 115 MB of archives. After this operation, 487 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty-security/main libmagic1 amd64 1:5.14-2ubuntu3.4 [185 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libpopt0 amd64 1.16-8ubuntu1 [25.5 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty-security/main libasprintf0c2 amd64 0.18.3.1-1ubuntu3.1 [6466 B] Get:4 http://ftpmaster.internal/ubuntu/ trusty-security/main libglib2.0-0 amd64 2.40.2-0ubuntu1.1 [1059 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 amd64 1.3.0-1 [24.0 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty-security/main libxml2 amd64 2.9.1+dfsg1-3ubuntu4.13 [573 kB] Get:7 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-base-nox amd64 4.11.1-4.1~trusty~ppa1 [560 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main groff-base amd64 1.22.2-5 [1053 kB] Get:9 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main libfindlib-ocaml amd64 1.8.1-2.1~trusty~ppa1 [193 kB] Get:10 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-compiler-libs amd64 4.11.1-4.1~trusty~ppa1 [30.2 MB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils amd64 9.0.5ubuntu1 [203 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty-updates/main man-db amd64 2.6.7.1-1ubuntu1 [857 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 amd64 0.6.8-2ubuntu1 [82.4 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libgmpxx4ldbl amd64 2:5.1.3+dfsg-1ubuntu1 [8736 B] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 amd64 0.9.3-5ubuntu3 [271 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty-security/main file amd64 1:5.14-2ubuntu3.4 [19.4 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main ucf all 3.0027+nmu1 [56.3 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty-security/main gettext-base amd64 0.18.3.1-1ubuntu3.1 [48.6 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty-security/main rsync amd64 3.1.0-2ubuntu0.4 [284 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty-security/main gettext amd64 0.18.3.1-1ubuntu3.1 [829 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty-security/main dh-apparmor all 2.10.95-0ubuntu2.6~14.04.4 [11.3 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20131227ubuntu1 [604 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo-dev amd64 5.9+20140118-1ubuntu1 [76.3 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5-dev amd64 5.9+20140118-1ubuntu1 [170 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libgmp-dev amd64 2:5.1.3+dfsg-1ubuntu1 [292 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main libgmp3-dev amd64 2:5.1.3+dfsg-1ubuntu1 [1866 B] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main tex-common all 4.04 [621 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main dh-exec amd64 0.12 [27.1 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main dh-ocaml all 1.0.8 [80.5 kB] Get:32 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-interp amd64 4.11.1-4.1~trusty~ppa1 [5722 kB] Get:33 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-nox amd64 4.11.1-4.1~trusty~ppa1 [66.0 MB] Get:34 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main libfindlib-ocaml-dev amd64 1.8.1-2.1~trusty~ppa1 [154 kB] Get:35 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main libzarith-ocaml amd64 1.11-1.1~trusty~ppa19 [52.6 kB] Get:36 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main libzarith-ocaml-dev amd64 1.11-1.1~trusty~ppa19 [88.1 kB] Get:37 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-dune amd64 3.11.1-1build1.1~trusty~ppa19 [3566 kB] Get:38 http://ppa.launchpadcontent.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-findlib amd64 1.8.1-2.1~trusty~ppa1 [445 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 115 MB in 3s (34.8 MB/s) Selecting previously unselected package libmagic1:amd64. (Reading database ... 12803 files and directories currently installed.) Preparing to unpack .../libmagic1_1%3a5.14-2ubuntu3.4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.14-2ubuntu3.4) ... Selecting previously unselected package libpopt0:amd64. Preparing to unpack .../libpopt0_1.16-8ubuntu1_amd64.deb ... Unpacking libpopt0:amd64 (1.16-8ubuntu1) ... Selecting previously unselected package libasprintf0c2:amd64. Preparing to unpack .../libasprintf0c2_0.18.3.1-1ubuntu3.1_amd64.deb ... Unpacking libasprintf0c2:amd64 (0.18.3.1-1ubuntu3.1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../libglib2.0-0_2.40.2-0ubuntu1.1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.40.2-0ubuntu1.1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../libpipeline1_1.3.0-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.3.0-1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../libxml2_2.9.1+dfsg1-3ubuntu4.13_amd64.deb ... Unpacking libxml2:amd64 (2.9.1+dfsg1-3ubuntu4.13) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-5_amd64.deb ... Unpacking groff-base (1.22.2-5) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5ubuntu1_amd64.deb ... Unpacking bsdmainutils (9.0.5ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.6.7.1-1ubuntu1_amd64.deb ... Unpacking man-db (2.6.7.1-1ubuntu1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../libcroco3_0.6.8-2ubuntu1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.8-2ubuntu1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../libgmpxx4ldbl_2%3a5.1.3+dfsg-1ubuntu1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../libunistring0_0.9.3-5ubuntu3_amd64.deb ... Unpacking libunistring0:amd64 (0.9.3-5ubuntu3) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.14-2ubuntu3.4_amd64.deb ... Unpacking file (1:5.14-2ubuntu3.4) ... Selecting previously unselected package ucf. Preparing to unpack .../ucf_3.0027+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0027+nmu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.18.3.1-1ubuntu3.1_amd64.deb ... Unpacking gettext-base (0.18.3.1-1ubuntu3.1) ... Selecting previously unselected package rsync. Preparing to unpack .../rsync_3.1.0-2ubuntu0.4_amd64.deb ... Unpacking rsync (3.1.0-2ubuntu0.4) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.18.3.1-1ubuntu3.1_amd64.deb ... Unpacking gettext (0.18.3.1-1ubuntu3.1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu2ubuntu1_all.deb ... Unpacking po-debconf (1.0.16+nmu2ubuntu1) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.10.95-0ubuntu2.6~14.04.4_all.deb ... Unpacking dh-apparmor (2.10.95-0ubuntu2.6~14.04.4) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20131227ubuntu1_all.deb ... Unpacking debhelper (9.20131227ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../ocaml-base-nox_4.11.1-4.1~trusty~ppa1_amd64.deb ... Unpacking ocaml-base-nox (4.11.1-4.1~trusty~ppa1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../libfindlib-ocaml_1.8.1-2.1~trusty~ppa1_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-2.1~trusty~ppa1) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../libtinfo-dev_5.9+20140118-1ubuntu1_amd64.deb ... Unpacking libtinfo-dev:amd64 (5.9+20140118-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../libncurses5-dev_5.9+20140118-1ubuntu1_amd64.deb ... Unpacking libncurses5-dev:amd64 (5.9+20140118-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../ocaml-compiler-libs_4.11.1-4.1~trusty~ppa1_amd64.deb ... Unpacking ocaml-compiler-libs (4.11.1-4.1~trusty~ppa1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../ocaml-interp_4.11.1-4.1~trusty~ppa1_amd64.deb ... Unpacking ocaml-interp (4.11.1-4.1~trusty~ppa1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../ocaml-nox_4.11.1-4.1~trusty~ppa1_amd64.deb ... Unpacking ocaml-nox (4.11.1-4.1~trusty~ppa1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../libfindlib-ocaml-dev_1.8.1-2.1~trusty~ppa1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.8.1-2.1~trusty~ppa1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../libgmp-dev_2%3a5.1.3+dfsg-1ubuntu1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../libgmp3-dev_2%3a5.1.3+dfsg-1ubuntu1_amd64.deb ... Unpacking libgmp3-dev (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../libzarith-ocaml_1.11-1.1~trusty~ppa19_amd64.deb ... Unpacking libzarith-ocaml (1.11-1.1~trusty~ppa19) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../libzarith-ocaml-dev_1.11-1.1~trusty~ppa19_amd64.deb ... Unpacking libzarith-ocaml-dev (1.11-1.1~trusty~ppa19) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../ocaml-dune_3.11.1-1build1.1~trusty~ppa19_amd64.deb ... Unpacking ocaml-dune (3.11.1-1build1.1~trusty~ppa19) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../ocaml-findlib_1.8.1-2.1~trusty~ppa1_amd64.deb ... Unpacking ocaml-findlib (1.8.1-2.1~trusty~ppa1) ... Selecting previously unselected package tex-common. Preparing to unpack .../tex-common_4.04_all.deb ... Unpacking tex-common (4.04) ... Selecting previously unselected package dh-exec. Preparing to unpack .../dh-exec_0.12_amd64.deb ... Unpacking dh-exec (0.12) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../dh-ocaml_1.0.8_all.deb ... Unpacking dh-ocaml (1.0.8) ... Processing triggers for mime-support (3.54ubuntu1.1) ... Setting up libmagic1:amd64 (1:5.14-2ubuntu3.4) ... Setting up libpopt0:amd64 (1.16-8ubuntu1) ... Setting up libasprintf0c2:amd64 (0.18.3.1-1ubuntu3.1) ... Setting up libglib2.0-0:amd64 (2.40.2-0ubuntu1.1) ... No schema files found: doing nothing. Setting up libpipeline1:amd64 (1.3.0-1) ... Setting up libxml2:amd64 (2.9.1+dfsg1-3ubuntu4.13) ... Setting up groff-base (1.22.2-5) ... Setting up bsdmainutils (9.0.5ubuntu1) ... 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 man-db (2.6.7.1-1ubuntu1) ... Not building database; man-db/auto-update is not 'true'. Setting up libcroco3:amd64 (0.6.8-2ubuntu1) ... Setting up libgmpxx4ldbl:amd64 (2:5.1.3+dfsg-1ubuntu1) ... Setting up libunistring0:amd64 (0.9.3-5ubuntu3) ... Setting up file (1:5.14-2ubuntu3.4) ... Setting up ucf (3.0027+nmu1) ... Setting up gettext-base (0.18.3.1-1ubuntu3.1) ... Setting up rsync (3.1.0-2ubuntu0.4) ... Removing any system startup links for /etc/init.d/rsync ... update-rc.d: warning: default stop runlevel arguments (0 1 6) do not match rsync Default-Stop values (none) Adding system startup for /etc/init.d/rsync ... /etc/rc0.d/K20rsync -> ../init.d/rsync /etc/rc1.d/K20rsync -> ../init.d/rsync /etc/rc6.d/K20rsync -> ../init.d/rsync /etc/rc2.d/S20rsync -> ../init.d/rsync /etc/rc3.d/S20rsync -> ../init.d/rsync /etc/rc4.d/S20rsync -> ../init.d/rsync /etc/rc5.d/S20rsync -> ../init.d/rsync invoke-rc.d: policy-rc.d denied execution of restart. Setting up gettext (0.18.3.1-1ubuntu3.1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.10.95-0ubuntu2.6~14.04.4) ... Setting up debhelper (9.20131227ubuntu1) ... Setting up ocaml-base-nox (4.11.1-4.1~trusty~ppa1) ... Setting up libfindlib-ocaml (1.8.1-2.1~trusty~ppa1) ... Setting up libtinfo-dev:amd64 (5.9+20140118-1ubuntu1) ... Setting up libncurses5-dev:amd64 (5.9+20140118-1ubuntu1) ... Setting up libgmp-dev:amd64 (2:5.1.3+dfsg-1ubuntu1) ... Setting up libgmp3-dev (2:5.1.3+dfsg-1ubuntu1) ... Setting up libzarith-ocaml (1.11-1.1~trusty~ppa19) ... Setting up ocaml-dune (3.11.1-1build1.1~trusty~ppa19) ... Setting up ocaml-findlib (1.8.1-2.1~trusty~ppa1) ... Setting up tex-common (4.04) ... Setting up dh-exec (0.12) ... Setting up dh-ocaml (1.0.8) ... Setting up ocaml-compiler-libs (4.11.1-4.1~trusty~ppa1) ... Setting up ocaml-interp (4.11.1-4.1~trusty~ppa1) ... Setting up ocaml-nox (4.11.1-4.1~trusty~ppa1) ... Setting up libfindlib-ocaml-dev (1.8.1-2.1~trusty~ppa1) ... Setting up libzarith-ocaml-dev (1.11-1.1~trusty~ppa19) ... Processing triggers for libc-bin (2.19-0ubuntu6.15) ... W: Ignoring Provides line with DepCompareOp for package libcoq-ocaml W: Ignoring Provides line with DepCompareOp for package libcoq-ocaml-dev W: Ignoring Provides line with DepCompareOp for package coq-theories W: You may want to run apt-get update to correct these problems dpkg-buildpackage: source package coq dpkg-buildpackage: source version 8.master~git~202404171934+24828-0~daily398-3964411a73~ubuntu14.04.1 dpkg-buildpackage: source distribution trusty dpkg-buildpackage: source changed by Jason Gross dpkg-source -i -I.bzr -I.git --before-build recipe dpkg-source: warning: unknown information field 'Rules-Requires-Root' in input data in general section of control info file fakeroot debian/rules clean dh clean --with ocaml dh_testdir dh_auto_clean make[1]: Entering directory `/home/buildd/work/tree/recipe' rm -f .dune-stamp dune clean make[1]: Leaving directory `/home/buildd/work/tree/recipe' dh_ocamlclean dh_clean dpkg-source -i -I.bzr -I.git -b recipe dpkg-source: warning: unknown information field 'Rules-Requires-Root' in input data in general section of control info file dpkg-source: warning: native package version may not have a revision dpkg-source: warning: Version number suggests Ubuntu changes, but Maintainer: does not have Ubuntu address dpkg-source: warning: Version number suggests Ubuntu changes, but there is no XSBC-Original-Maintainer field dpkg-source: info: using source format `3.0 (native)' dpkg-source: info: building coq in coq_8.master~git~202404171934+24828-0~daily398-3964411a73~ubuntu14.04.1.tar.gz dpkg-source: info: building coq in coq_8.master~git~202404171934+24828-0~daily398-3964411a73~ubuntu14.04.1.dsc dpkg-genchanges -S -sa >../coq_8.master~git~202404171934+24828-0~daily398-3964411a73~ubuntu14.04.1_source.changes dpkg-genchanges: warning: the current version (8.master~git~202404171934+24828-0~daily398-3964411a73~ubuntu14.04.1) is earlier than the previous one (8.master~git) dpkg-genchanges: warning: unknown information field 'Rules-Requires-Root' in input data in general section of control info file dpkg-genchanges: including full source code in upload dpkg-source -i -I.bzr -I.git --after-build recipe dpkg-source: warning: unknown information field 'Rules-Requires-Root' in input data in general section of control info file dpkg-buildpackage: source only upload: Debian-native package RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-3713584 Scanning for processes to kill in build RECIPEBRANCHBUILD-3713584