RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux bos02-arm64-039 4.4.0-101-generic #124-Ubuntu SMP Fri Nov 10 18:30:44 UTC 2017 aarch64 Buildd toolchain package versions: launchpad-buildd_157 python-lpbuildd_157 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.3 dpkg-dev_1.18.4ubuntu1.3 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 4 Apr 21:07:53 ntpdate[1814]: adjust time server 10.211.37.1 offset -0.101826 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14531462 /home/buildd/filecache-default/b70461af4419c13dbae7acd6fe74d075a1a9550f Creating target for build PACKAGEBUILD-14531462 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14531462 Starting target for build PACKAGEBUILD-14531462 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14531462 'deb http://ftpmaster.internal/ubuntu bionic main universe' 'deb http://ftpmaster.internal/ubuntu bionic-security main universe' 'deb http://ftpmaster.internal/ubuntu bionic-updates main universe' 'deb http://ftpmaster.internal/ubuntu bionic-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-14531462 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14531462 Updating target for build PACKAGEBUILD-14531462 Get:1 http://ftpmaster.internal/ubuntu bionic InRelease [235 kB] Get:2 http://ftpmaster.internal/ubuntu bionic-security InRelease [65.4 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-updates InRelease [65.4 kB] Get:4 http://ftpmaster.internal/ubuntu bionic-proposed InRelease [235 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main armhf Packages [967 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main Translation-en [514 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/universe armhf Packages [8203 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/universe Translation-en [4936 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf Packages [21.3 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-proposed/main Translation-en [16.1 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-proposed/universe armhf Packages [76.6 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-proposed/universe Translation-en [52.5 kB] Fetched 15.4 MB in 5s (2590 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: gnupg-agent libcryptsetup4 libcurl3-gnutls libgdbm3 libgssapi-krb5-2 libisl15 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libmpfr4 libnghttp2-14 libpsl5 librtmp1 libssl1.0.0 libunistring0 libustr-1.0-1 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: dirmngr gcc-8-base gnupg-l10n gnupg-utils gpg gpg-agent gpg-wks-client gpg-wks-server gpgconf gpgsm libargon2-0 libcom-err2 libcryptsetup12 libext2fs2 libgdbm-compat4 libgdbm5 libisl19 libjson-c3 libmpfr6 libnghttp2-14 libssl1.1 libunistring2 The following packages will be upgraded: adduser advancecomp apt apt-transport-https base-files base-passwd bash binutils binutils-arm-linux-gnueabihf binutils-common bsdutils build-essential coreutils cpp cpp-7 dash debconf debianutils dmsetup dpkg dpkg-dev e2fslibs e2fsprogs fakeroot fdisk findutils g++ g++-7 gcc gcc-7 gcc-7-base gnupg gnupg-agent gpgv hostname init init-system-helpers libapparmor1 libapt-pkg5.0 libasan4 libasn1-8-heimdal libassuan0 libatomic1 libaudit-common libaudit1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcap2 libcc1-0 libcilkrts5 libcomerr2 libcurl3-gnutls libdevmapper1.02.1 libdpkg-perl libfakeroot libfdisk1 libffi6 libgcc-7-dev libgcc1 libgcrypt20 libgmp10 libgnutls30 libgomp1 libgpg-error0 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhogweed4 libhx509-5-heimdal libidn11 libidn2-0 libip4tc0 libisl15 libk5crypto3 libkeyutils1 libkmod2 libkrb5-26-heimdal libkrb5-3 libkrb5support0 liblockfile-bin liblockfile1 libmount1 libmpc3 libncurses5 libncursesw5 libnettle6 libnpth0 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre3 libperl5.26 libpng16-16 libprocps6 libpsl5 libreadline7 libroken18-heimdal libsasl2-2 libsasl2-modules-db libseccomp2 libselinux1 libsemanage-common libsemanage1 libslang2 libsmartcols1 libsqlite3-0 libss2 libssl1.0.0 libstdc++-7-dev libstdc++6 libsystemd0 libtasn1-6 libtinfo5 libubsan0 libudev1 libuuid1 libwind0-heimdal linux-libc-dev login lsb-base mount multiarch-support ncurses-base ncurses-bin openssl optipng passwd patch perl perl-base perl-modules-5.26 pinentry-curses pkgbinarymangler procps readline-common sed sensible-utils systemd systemd-sysv sysvinit-utils tzdata ubuntu-keyring util-linux 152 upgraded, 22 newly installed, 0 to remove and 0 not upgraded. Need to get 61.1 MB of archives. After this operation, 6254 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu bionic/main armhf perl-modules-5.26 all 5.26.1-5 [2761 kB] Get:2 http://ftpmaster.internal/ubuntu bionic/main armhf libgdbm5 armhf 1.14.1-6 [23.4 kB] Get:3 http://ftpmaster.internal/ubuntu bionic/main armhf libgdbm-compat4 armhf 1.14.1-6 [5764 B] Get:4 http://ftpmaster.internal/ubuntu bionic/main armhf libperl5.26 armhf 5.26.1-5 [2886 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main armhf perl armhf 5.26.1-5 [202 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main armhf perl-base armhf 5.26.1-5 [1289 kB] Get:7 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf libc6-dev armhf 2.27-0ubuntu3 [1900 kB] Get:8 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf libc-dev-bin armhf 2.27-0ubuntu3 [59.4 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf linux-libc-dev armhf 4.15.0-14.15 [988 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf libc6 armhf 2.27-0ubuntu3 [2211 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf libc-bin armhf 2.27-0ubuntu3 [459 kB] Get:12 http://ftpmaster.internal/ubuntu bionic/main armhf gcc-8-base armhf 8-20180402-1ubuntu1 [18.0 kB] Get:13 http://ftpmaster.internal/ubuntu bionic/main armhf libgcc1 armhf 1:8-20180402-1ubuntu1 [37.1 kB] Get:14 http://ftpmaster.internal/ubuntu bionic/main armhf init-system-helpers all 1.51 [37.3 kB] Get:15 http://ftpmaster.internal/ubuntu bionic/main armhf base-files armhf 10ubuntu1 [55.9 kB] Get:16 http://ftpmaster.internal/ubuntu bionic/main armhf debianutils armhf 4.8.4 [84.5 kB] Get:17 http://ftpmaster.internal/ubuntu bionic/main armhf bash armhf 4.4.18-1ubuntu1 [569 kB] Get:18 http://ftpmaster.internal/ubuntu bionic/main armhf bsdutils armhf 1:2.31.1-0.4ubuntu3 [55.2 kB] Get:19 http://ftpmaster.internal/ubuntu bionic/main armhf coreutils armhf 8.28-1ubuntu1 [1128 kB] Get:20 http://ftpmaster.internal/ubuntu bionic/main armhf dpkg armhf 1.19.0.5ubuntu1 [1095 kB] Get:21 http://ftpmaster.internal/ubuntu bionic/main armhf dash armhf 0.5.8-2.10 [80.4 kB] Get:22 http://ftpmaster.internal/ubuntu bionic/main armhf libcom-err2 armhf 1.44.1-1 [9076 B] Get:23 http://ftpmaster.internal/ubuntu bionic/main armhf libcomerr2 armhf 1.44.1-1 [2696 B] Get:24 http://ftpmaster.internal/ubuntu bionic/main armhf libext2fs2 armhf 1.44.1-1 [145 kB] Get:25 http://ftpmaster.internal/ubuntu bionic/main armhf e2fslibs armhf 1.44.1-1 [2700 B] Get:26 http://ftpmaster.internal/ubuntu bionic/main armhf e2fsprogs armhf 1.44.1-1 [369 kB] Get:27 http://ftpmaster.internal/ubuntu bionic/main armhf findutils armhf 4.6.0+git+20170828-2 [277 kB] Get:28 http://ftpmaster.internal/ubuntu bionic/main armhf hostname armhf 3.20 [10.4 kB] Get:29 http://ftpmaster.internal/ubuntu bionic/main armhf login armhf 1:4.5-1ubuntu1 [303 kB] Get:30 http://ftpmaster.internal/ubuntu bionic/main armhf libncurses5 armhf 6.1-1ubuntu1 [74.8 kB] Get:31 http://ftpmaster.internal/ubuntu bionic/main armhf libtinfo5 armhf 6.1-1ubuntu1 [68.4 kB] Get:32 http://ftpmaster.internal/ubuntu bionic/main armhf ncurses-bin armhf 6.1-1ubuntu1 [155 kB] Get:33 http://ftpmaster.internal/ubuntu bionic/main armhf libncursesw5 armhf 6.1-1ubuntu1 [95.7 kB] Get:34 http://ftpmaster.internal/ubuntu bionic/main armhf sed armhf 4.4-2 [175 kB] Get:35 http://ftpmaster.internal/ubuntu bionic/main armhf libuuid1 armhf 2.31.1-0.4ubuntu3 [19.2 kB] Get:36 http://ftpmaster.internal/ubuntu bionic/main armhf libblkid1 armhf 2.31.1-0.4ubuntu3 [112 kB] Get:37 http://ftpmaster.internal/ubuntu bionic/main armhf libsmartcols1 armhf 2.31.1-0.4ubuntu3 [74.3 kB] Get:38 http://ftpmaster.internal/ubuntu bionic/main armhf libfdisk1 armhf 2.31.1-0.4ubuntu3 [151 kB] Get:39 http://ftpmaster.internal/ubuntu bionic/main armhf libpcre3 armhf 2:8.39-9 [209 kB] Get:40 http://ftpmaster.internal/ubuntu bionic/main armhf libselinux1 armhf 2.7-2build2 [58.9 kB] Get:41 http://ftpmaster.internal/ubuntu bionic/main armhf libmount1 armhf 2.31.1-0.4ubuntu3 [122 kB] Get:42 http://ftpmaster.internal/ubuntu bionic/main armhf fdisk armhf 2.31.1-0.4ubuntu3 [97.6 kB] Get:43 http://ftpmaster.internal/ubuntu bionic/main armhf util-linux armhf 2.31.1-0.4ubuntu3 [845 kB] Get:44 http://ftpmaster.internal/ubuntu bionic/main armhf base-passwd armhf 3.5.44 [45.9 kB] Get:45 http://ftpmaster.internal/ubuntu bionic/main armhf ncurses-base all 6.1-1ubuntu1 [17.3 kB] Get:46 http://ftpmaster.internal/ubuntu bionic/main armhf sysvinit-utils armhf 2.88dsf-59.10ubuntu1 [17.2 kB] Get:47 http://ftpmaster.internal/ubuntu bionic/main armhf libstdc++6 armhf 8-20180402-1ubuntu1 [349 kB] Get:48 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf libudev1 armhf 237-3ubuntu7 [48.4 kB] Get:49 http://ftpmaster.internal/ubuntu bionic/main armhf libapt-pkg5.0 armhf 1.6~beta1 [726 kB] Get:50 http://ftpmaster.internal/ubuntu bionic/main armhf libaudit-common all 1:2.8.2-1ubuntu1 [4132 B] Get:51 http://ftpmaster.internal/ubuntu bionic/main armhf libcap-ng0 armhf 0.7.7-3.1 [9816 B] Get:52 http://ftpmaster.internal/ubuntu bionic/main armhf libaudit1 armhf 1:2.8.2-1ubuntu1 [35.5 kB] Get:53 http://ftpmaster.internal/ubuntu bionic/main armhf debconf all 1.5.66 [124 kB] Get:54 http://ftpmaster.internal/ubuntu bionic/main armhf libpam0g armhf 1.1.8-3.6ubuntu1 [49.4 kB] Get:55 http://ftpmaster.internal/ubuntu bionic/main armhf libsemanage-common all 2.7-2build2 [6904 B] Get:56 http://ftpmaster.internal/ubuntu bionic/main armhf libsemanage1 armhf 2.7-2build2 [72.1 kB] Get:57 http://ftpmaster.internal/ubuntu bionic/main armhf libpam-modules-bin armhf 1.1.8-3.6ubuntu1 [32.3 kB] Get:58 http://ftpmaster.internal/ubuntu bionic/main armhf libpam-modules armhf 1.1.8-3.6ubuntu1 [224 kB] Get:59 http://ftpmaster.internal/ubuntu bionic/main armhf passwd armhf 1:4.5-1ubuntu1 [769 kB] Get:60 http://ftpmaster.internal/ubuntu bionic/main armhf adduser all 3.116ubuntu1 [163 kB] Get:61 http://ftpmaster.internal/ubuntu bionic/main armhf libgpg-error0 armhf 1.27-6 [33.6 kB] Get:62 http://ftpmaster.internal/ubuntu bionic/main armhf libgcrypt20 armhf 1.8.1-4ubuntu1 [364 kB] Get:63 http://ftpmaster.internal/ubuntu bionic/main armhf gpgv armhf 2.2.4-1ubuntu1 [166 kB] Get:64 http://ftpmaster.internal/ubuntu bionic/main armhf ubuntu-keyring all 2018.02.28 [20.7 kB] Get:65 http://ftpmaster.internal/ubuntu bionic/main armhf libunistring2 armhf 0.9.9-0ubuntu1 [352 kB] Get:66 http://ftpmaster.internal/ubuntu bionic/main armhf libgmp10 armhf 2:6.1.2+dfsg-2 [182 kB] Get:67 http://ftpmaster.internal/ubuntu bionic/main armhf libnettle6 armhf 3.4-1 [123 kB] Get:68 http://ftpmaster.internal/ubuntu bionic/main armhf libhogweed4 armhf 3.4-1 [127 kB] Get:69 http://ftpmaster.internal/ubuntu bionic/main armhf libidn2-0 armhf 2.0.4-1.1build2 [46.1 kB] Get:70 http://ftpmaster.internal/ubuntu bionic/main armhf libffi6 armhf 3.2.1-8 [16.4 kB] Get:71 http://ftpmaster.internal/ubuntu bionic/main armhf libp11-kit0 armhf 0.23.9-2 [162 kB] Get:72 http://ftpmaster.internal/ubuntu bionic/main armhf libtasn1-6 armhf 4.13-2 [31.1 kB] Get:73 http://ftpmaster.internal/ubuntu bionic/main armhf libgnutls30 armhf 3.5.18-1ubuntu1 [585 kB] Get:74 http://ftpmaster.internal/ubuntu bionic/main armhf libseccomp2 armhf 2.3.1-2.1ubuntu4 [29.8 kB] Get:75 http://ftpmaster.internal/ubuntu bionic/main armhf apt armhf 1.6~beta1 [1112 kB] Get:76 http://ftpmaster.internal/ubuntu bionic/main armhf libargon2-0 armhf 0~20161029-1.1 [20.4 kB] Get:77 http://ftpmaster.internal/ubuntu bionic/main armhf libjson-c3 armhf 0.12.1-1.3 [19.6 kB] Get:78 http://ftpmaster.internal/ubuntu bionic/main armhf libdevmapper1.02.1 armhf 2:1.02.145-4.1ubuntu2 [117 kB] Get:79 http://ftpmaster.internal/ubuntu bionic/main armhf libcryptsetup12 armhf 2:2.0.1-0ubuntu2 [119 kB] Get:80 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf libapparmor1 armhf 2.12-4ubuntu4 [27.8 kB] Get:81 http://ftpmaster.internal/ubuntu bionic/main armhf libcap2 armhf 1:2.25-1.2 [11.7 kB] Get:82 http://ftpmaster.internal/ubuntu bionic/main armhf libidn11 armhf 1.33-2.1ubuntu1 [43.4 kB] Get:83 http://ftpmaster.internal/ubuntu bionic/main armhf libip4tc0 armhf 1.6.1-2ubuntu2 [17.8 kB] Get:84 http://ftpmaster.internal/ubuntu bionic/main armhf libkmod2 armhf 24-1ubuntu3 [34.4 kB] Get:85 http://ftpmaster.internal/ubuntu bionic/main armhf mount armhf 2.31.1-0.4ubuntu3 [99.7 kB] Get:86 http://ftpmaster.internal/ubuntu bionic/main armhf libprocps6 armhf 2:3.3.12-3ubuntu1 [28.4 kB] Get:87 http://ftpmaster.internal/ubuntu bionic/main armhf lsb-base all 9.20170808ubuntu1 [12.5 kB] Get:88 http://ftpmaster.internal/ubuntu bionic/main armhf procps armhf 2:3.3.12-3ubuntu1 [214 kB] Get:89 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf systemd armhf 237-3ubuntu7 [2720 kB] Get:90 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf libsystemd0 armhf 237-3ubuntu7 [185 kB] Get:91 http://ftpmaster.internal/ubuntu bionic/main armhf init armhf 1.51 [5864 B] Get:92 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf systemd-sysv armhf 237-3ubuntu7 [11.7 kB] Get:93 http://ftpmaster.internal/ubuntu bionic/main armhf libpam-runtime all 1.1.8-3.6ubuntu1 [36.9 kB] Get:94 http://ftpmaster.internal/ubuntu bionic/main armhf libss2 armhf 1.44.1-1 [9380 B] Get:95 http://ftpmaster.internal/ubuntu bionic/main armhf sensible-utils all 0.0.12 [14.8 kB] Get:96 http://ftpmaster.internal/ubuntu bionic/main armhf dmsetup armhf 2:1.02.145-4.1ubuntu2 [73.8 kB] Get:97 http://ftpmaster.internal/ubuntu bionic/main armhf readline-common all 7.0-3 [52.9 kB] Get:98 http://ftpmaster.internal/ubuntu bionic/main armhf libreadline7 armhf 7.0-3 [103 kB] Get:99 http://ftpmaster.internal/ubuntu bionic/main armhf libslang2 armhf 2.3.1a-3ubuntu1 [381 kB] Get:100 http://ftpmaster.internal/ubuntu bionic/main armhf libsqlite3-0 armhf 3.22.0-1 [421 kB] Get:101 http://ftpmaster.internal/ubuntu bionic/main armhf libssl1.1 armhf 1.1.0g-2ubuntu3 [911 kB] Get:102 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf multiarch-support armhf 2.27-0ubuntu3 [6916 B] Get:103 http://ftpmaster.internal/ubuntu bionic/main armhf openssl armhf 1.1.0g-2ubuntu3 [510 kB] Get:104 http://ftpmaster.internal/ubuntu bionic/main armhf tzdata all 2018d-1 [188 kB] Get:105 http://ftpmaster.internal/ubuntu bionic/main armhf libgssapi-krb5-2 armhf 1.16-2build1 [101 kB] Get:106 http://ftpmaster.internal/ubuntu bionic/main armhf libkrb5-3 armhf 1.16-2build1 [233 kB] Get:107 http://ftpmaster.internal/ubuntu bionic/main armhf libk5crypto3 armhf 1.16-2build1 [83.2 kB] Get:108 http://ftpmaster.internal/ubuntu bionic/main armhf libkrb5support0 armhf 1.16-2build1 [27.5 kB] Get:109 http://ftpmaster.internal/ubuntu bionic/main armhf libkeyutils1 armhf 1.5.9-9.2ubuntu1 [8380 B] Get:110 http://ftpmaster.internal/ubuntu bionic/main armhf libpng16-16 armhf 1.6.34-1 [159 kB] Get:111 http://ftpmaster.internal/ubuntu bionic/main armhf libpsl5 armhf 0.19.1-5build1 [40.5 kB] Get:112 http://ftpmaster.internal/ubuntu bionic/main armhf libssl1.0.0 armhf 1.0.2n-1ubuntu5 [710 kB] Get:113 http://ftpmaster.internal/ubuntu bionic/main armhf advancecomp armhf 2.1-1 [166 kB] Get:114 http://ftpmaster.internal/ubuntu bionic/universe armhf apt-transport-https all 1.6~beta1 [1692 B] Get:115 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf libbinutils armhf 2.30-13ubuntu1 [309 kB] Get:116 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf binutils armhf 2.30-13ubuntu1 [3348 B] Get:117 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf binutils-common armhf 2.30-13ubuntu1 [193 kB] Get:118 http://ftpmaster.internal/ubuntu bionic-proposed/main armhf binutils-arm-linux-gnueabihf armhf 2.30-13ubuntu1 [2175 kB] Get:119 http://ftpmaster.internal/ubuntu bionic/main armhf libgomp1 armhf 8-20180402-1ubuntu1 [66.6 kB] Get:120 http://ftpmaster.internal/ubuntu bionic/main armhf libatomic1 armhf 8-20180402-1ubuntu1 [7076 B] Get:121 http://ftpmaster.internal/ubuntu bionic/main armhf libasan4 armhf 7.3.0-14ubuntu1 [328 kB] Get:122 http://ftpmaster.internal/ubuntu bionic/main armhf libubsan0 armhf 7.3.0-14ubuntu1 [108 kB] Get:123 http://ftpmaster.internal/ubuntu bionic/main armhf libcilkrts5 armhf 7.3.0-14ubuntu1 [35.9 kB] Get:124 http://ftpmaster.internal/ubuntu bionic/main armhf g++-7 armhf 7.3.0-14ubuntu1 [6046 kB] Get:125 http://ftpmaster.internal/ubuntu bionic/main armhf gcc-7 armhf 7.3.0-14ubuntu1 [5944 kB] Get:126 http://ftpmaster.internal/ubuntu bionic/main armhf libstdc++-7-dev armhf 7.3.0-14ubuntu1 [1506 kB] Get:127 http://ftpmaster.internal/ubuntu bionic/main armhf libgcc-7-dev armhf 7.3.0-14ubuntu1 [708 kB] Get:128 http://ftpmaster.internal/ubuntu bionic/main armhf libcc1-0 armhf 8-20180402-1ubuntu1 [32.7 kB] Get:129 http://ftpmaster.internal/ubuntu bionic/main armhf cpp-7 armhf 7.3.0-14ubuntu1 [5294 kB] Get:130 http://ftpmaster.internal/ubuntu bionic/main armhf gcc-7-base armhf 7.3.0-14ubuntu1 [18.8 kB] Get:131 http://ftpmaster.internal/ubuntu bionic/main armhf libisl19 armhf 0.19-1 [426 kB] Get:132 http://ftpmaster.internal/ubuntu bionic/main armhf libmpc3 armhf 1.1.0-1 [33.2 kB] Get:133 http://ftpmaster.internal/ubuntu bionic/main armhf libmpfr6 armhf 4.0.1-1 [194 kB] Get:134 http://ftpmaster.internal/ubuntu bionic/main armhf cpp armhf 4:7.3.0-2ubuntu1 [27.6 kB] Get:135 http://ftpmaster.internal/ubuntu bionic/main armhf gcc armhf 4:7.3.0-2ubuntu1 [5208 B] Get:136 http://ftpmaster.internal/ubuntu bionic/main armhf g++ armhf 4:7.3.0-2ubuntu1 [1576 B] Get:137 http://ftpmaster.internal/ubuntu bionic/main armhf dpkg-dev all 1.19.0.5ubuntu1 [607 kB] Get:138 http://ftpmaster.internal/ubuntu bionic/main armhf libdpkg-perl all 1.19.0.5ubuntu1 [211 kB] Get:139 http://ftpmaster.internal/ubuntu bionic/main armhf patch armhf 2.7.6-1 [98.7 kB] Get:140 http://ftpmaster.internal/ubuntu bionic/main armhf build-essential armhf 12.4ubuntu1 [4752 B] Get:141 http://ftpmaster.internal/ubuntu bionic/main armhf gnupg-l10n all 2.2.4-1ubuntu1 [48.6 kB] Get:142 http://ftpmaster.internal/ubuntu bionic/main armhf libassuan0 armhf 2.5.1-2 [28.3 kB] Get:143 http://ftpmaster.internal/ubuntu bionic/main armhf gnupg armhf 2.2.4-1ubuntu1 [249 kB] Get:144 http://ftpmaster.internal/ubuntu bionic/universe armhf gnupg-agent all 2.2.4-1ubuntu1 [4544 B] Get:145 http://ftpmaster.internal/ubuntu bionic/main armhf gpgconf armhf 2.2.4-1ubuntu1 [105 kB] Get:146 http://ftpmaster.internal/ubuntu bionic/main armhf pinentry-curses armhf 1.1.0-1 [31.4 kB] Get:147 http://ftpmaster.internal/ubuntu bionic/main armhf libnpth0 armhf 1.5-3 [6632 B] Get:148 http://ftpmaster.internal/ubuntu bionic/main armhf gpg-agent armhf 2.2.4-1ubuntu1 [189 kB] Get:149 http://ftpmaster.internal/ubuntu bionic/main armhf gnupg-utils armhf 2.2.4-1ubuntu1 [106 kB] Get:150 http://ftpmaster.internal/ubuntu bionic/main armhf gpg armhf 2.2.4-1ubuntu1 [409 kB] Get:151 http://ftpmaster.internal/ubuntu bionic/main armhf gpg-wks-client armhf 2.2.4-1ubuntu1 [76.8 kB] Get:152 http://ftpmaster.internal/ubuntu bionic/main armhf gpg-wks-server armhf 2.2.4-1ubuntu1 [71.8 kB] Get:153 http://ftpmaster.internal/ubuntu bionic/main armhf gpgsm armhf 2.2.4-1ubuntu1 [183 kB] Get:154 http://ftpmaster.internal/ubuntu bionic/main armhf dirmngr armhf 2.2.4-1ubuntu1 [275 kB] Get:155 http://ftpmaster.internal/ubuntu bionic/main armhf libfakeroot armhf 1.22-2ubuntu1 [21.6 kB] Get:156 http://ftpmaster.internal/ubuntu bionic/main armhf fakeroot armhf 1.22-2ubuntu1 [60.3 kB] Get:157 http://ftpmaster.internal/ubuntu bionic/main armhf libroken18-heimdal armhf 7.5.0+dfsg-1 [34.1 kB] Get:158 http://ftpmaster.internal/ubuntu bionic/main armhf libasn1-8-heimdal armhf 7.5.0+dfsg-1 [136 kB] Get:159 http://ftpmaster.internal/ubuntu bionic/main armhf libnghttp2-14 armhf 1.30.0-1 [67.1 kB] Get:160 http://ftpmaster.internal/ubuntu bionic/main armhf libcurl3-gnutls armhf 7.58.0-2ubuntu3 [182 kB] Get:161 http://ftpmaster.internal/ubuntu bionic/main armhf libheimbase1-heimdal armhf 7.5.0+dfsg-1 [24.1 kB] Get:162 http://ftpmaster.internal/ubuntu bionic/main armhf libhcrypto4-heimdal armhf 7.5.0+dfsg-1 [76.5 kB] Get:163 http://ftpmaster.internal/ubuntu bionic/main armhf libwind0-heimdal armhf 7.5.0+dfsg-1 [47.2 kB] Get:164 http://ftpmaster.internal/ubuntu bionic/main armhf libhx509-5-heimdal armhf 7.5.0+dfsg-1 [87.9 kB] Get:165 http://ftpmaster.internal/ubuntu bionic/main armhf libkrb5-26-heimdal armhf 7.5.0+dfsg-1 [168 kB] Get:166 http://ftpmaster.internal/ubuntu bionic/main armhf libheimntlm0-heimdal armhf 7.5.0+dfsg-1 [13.1 kB] Get:167 http://ftpmaster.internal/ubuntu bionic/main armhf libgssapi3-heimdal armhf 7.5.0+dfsg-1 [78.8 kB] Get:168 http://ftpmaster.internal/ubuntu bionic/universe armhf libisl15 armhf 0.18-4 [423 kB] Get:169 http://ftpmaster.internal/ubuntu bionic/main armhf liblockfile-bin armhf 1.14-1.1 [10.9 kB] Get:170 http://ftpmaster.internal/ubuntu bionic/main armhf liblockfile1 armhf 1.14-1.1 [5784 B] Get:171 http://ftpmaster.internal/ubuntu bionic/main armhf libsasl2-modules-db armhf 2.1.27~101-g0780600+dfsg-3ubuntu2 [13.0 kB] Get:172 http://ftpmaster.internal/ubuntu bionic/main armhf libsasl2-2 armhf 2.1.27~101-g0780600+dfsg-3ubuntu2 [42.0 kB] Get:173 http://ftpmaster.internal/ubuntu bionic/main armhf optipng armhf 0.7.6-1.1 [80.6 kB] Get:174 http://ftpmaster.internal/ubuntu bionic/main armhf pkgbinarymangler all 135 [51.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 61.1 MB in 2s (23.5 MB/s) (Reading database ... 12457 files and directories currently installed.) Preparing to unpack .../0-perl_5.26.1-5_armhf.deb ... Unpacking perl (5.26.1-5) over (5.26.0-8ubuntu1) ... Preparing to unpack .../1-perl-modules-5.26_5.26.1-5_all.deb ... Unpacking perl-modules-5.26 (5.26.1-5) over (5.26.0-8ubuntu1) ... Selecting previously unselected package libgdbm5:armhf. Preparing to unpack .../2-libgdbm5_1.14.1-6_armhf.deb ... Unpacking libgdbm5:armhf (1.14.1-6) ... Selecting previously unselected package libgdbm-compat4:armhf. Preparing to unpack .../3-libgdbm-compat4_1.14.1-6_armhf.deb ... Unpacking libgdbm-compat4:armhf (1.14.1-6) ... Preparing to unpack .../4-libperl5.26_5.26.1-5_armhf.deb ... Unpacking libperl5.26:armhf (5.26.1-5) over (5.26.0-8ubuntu1) ... Preparing to unpack .../5-perl-base_5.26.1-5_armhf.deb ... Unpacking perl-base (5.26.1-5) over (5.26.0-8ubuntu1) ... Setting up perl-base (5.26.1-5) ... (Reading database ... 12468 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.27-0ubuntu3_armhf.deb ... Unpacking libc6-dev:armhf (2.27-0ubuntu3) over (2.26-0ubuntu1) ... Preparing to unpack .../libc-dev-bin_2.27-0ubuntu3_armhf.deb ... Unpacking libc-dev-bin (2.27-0ubuntu3) over (2.26-0ubuntu1) ... Preparing to unpack .../linux-libc-dev_4.15.0-14.15_armhf.deb ... Unpacking linux-libc-dev:armhf (4.15.0-14.15) over (4.13.0-11.12) ... Preparing to unpack .../libc6_2.27-0ubuntu3_armhf.deb ... Unpacking libc6:armhf (2.27-0ubuntu3) over (2.26-0ubuntu1) ... Setting up libc6:armhf (2.27-0ubuntu3) ... Installing new version of config file /etc/ld.so.conf.d/arm-linux-gnueabihf.conf ... (Reading database ... 12475 files and directories currently installed.) Preparing to unpack .../libc-bin_2.27-0ubuntu3_armhf.deb ... Unpacking libc-bin (2.27-0ubuntu3) over (2.26-0ubuntu1) ... Setting up libc-bin (2.27-0ubuntu3) ... Selecting previously unselected package gcc-8-base:armhf. (Reading database ... 12475 files and directories currently installed.) Preparing to unpack .../gcc-8-base_8-20180402-1ubuntu1_armhf.deb ... Unpacking gcc-8-base:armhf (8-20180402-1ubuntu1) ... Setting up gcc-8-base:armhf (8-20180402-1ubuntu1) ... (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a8-20180402-1ubuntu1_armhf.deb ... Unpacking libgcc1:armhf (1:8-20180402-1ubuntu1) over (1:7.2.0-6ubuntu1) ... Setting up libgcc1:armhf (1:8-20180402-1ubuntu1) ... (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.51_all.deb ... Unpacking init-system-helpers (1.51) over (1.49ubuntu1) ... Setting up init-system-helpers (1.51) ... (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../base-files_10ubuntu1_armhf.deb ... Unpacking base-files (10ubuntu1) over (9.6ubuntu101) ... Setting up base-files (10ubuntu1) ... Installing new version of config file /etc/debian_version ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.4_armhf.deb ... Unpacking debianutils (4.8.4) over (4.8.2) ... Setting up debianutils (4.8.4) ... (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../bash_4.4.18-1ubuntu1_armhf.deb ... Unpacking bash (4.4.18-1ubuntu1) over (4.4-5ubuntu1) ... Setting up bash (4.4.18-1ubuntu1) ... Installing new version of config file /etc/bash.bashrc ... Installing new version of config file /etc/skel/.profile ... 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 ... 12482 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.31.1-0.4ubuntu3_armhf.deb ... Unpacking bsdutils (1:2.31.1-0.4ubuntu3) over (1:2.30.1-0ubuntu4) ... Setting up bsdutils (1:2.31.1-0.4ubuntu3) ... (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../coreutils_8.28-1ubuntu1_armhf.deb ... Unpacking coreutils (8.28-1ubuntu1) over (8.26-3ubuntu3) ... Setting up coreutils (8.28-1ubuntu1) ... (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.0.5ubuntu1_armhf.deb ... Unpacking dpkg (1.19.0.5ubuntu1) over (1.18.24ubuntu1) ... Setting up dpkg (1.19.0.5ubuntu1) ... Installing new version of config file /etc/alternatives/README ... Installing new version of config file /etc/cron.daily/dpkg ... Installing new version of config file /etc/logrotate.d/dpkg ... (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../dash_0.5.8-2.10_armhf.deb ... Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' Unpacking dash (0.5.8-2.10) over (0.5.8-2.3ubuntu1) ... Setting up dash (0.5.8-2.10) ... Removing 'diversion of /bin/sh to /bin/sh.distrib by bash' Adding 'diversion of /bin/sh to /bin/sh.distrib by dash' Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.44.1-1_armhf.deb ... Unpacking libcomerr2:armhf (1.44.1-1) over (1.43.5-1) ... Selecting previously unselected package libcom-err2:armhf. Preparing to unpack .../libcom-err2_1.44.1-1_armhf.deb ... Unpacking libcom-err2:armhf (1.44.1-1) ... Setting up libcom-err2:armhf (1.44.1-1) ... (Reading database ... 12487 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.44.1-1_armhf.deb ... Unpacking e2fslibs:armhf (1.44.1-1) over (1.43.5-1) ... Selecting previously unselected package libext2fs2:armhf. Preparing to unpack .../libext2fs2_1.44.1-1_armhf.deb ... Unpacking libext2fs2:armhf (1.44.1-1) ... Setting up libext2fs2:armhf (1.44.1-1) ... (Reading database ... 12491 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.44.1-1_armhf.deb ... Unpacking e2fsprogs (1.44.1-1) over (1.43.5-1) ... Setting up e2fsprogs (1.44.1-1) ... Installing new version of config file /etc/mke2fs.conf ... (Reading database ... 12492 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20170828-2_armhf.deb ... Unpacking findutils (4.6.0+git+20170828-2) over (4.6.0+git+20170729-2) ... Setting up findutils (4.6.0+git+20170828-2) ... (Reading database ... 12492 files and directories currently installed.) Preparing to unpack .../hostname_3.20_armhf.deb ... Unpacking hostname (3.20) over (3.18) ... Setting up hostname (3.20) ... (Reading database ... 12492 files and directories currently installed.) Preparing to unpack .../login_1%3a4.5-1ubuntu1_armhf.deb ... Unpacking login (1:4.5-1ubuntu1) over (1:4.2-3.2ubuntu4) ... Setting up login (1:4.5-1ubuntu1) ... Installing new version of config file /etc/login.defs ... Installing new version of config file /etc/pam.d/login ... Installing new version of config file /etc/securetty ... (Reading database ... 12492 files and directories currently installed.) Preparing to unpack .../libncurses5_6.1-1ubuntu1_armhf.deb ... Unpacking libncurses5:armhf (6.1-1ubuntu1) over (6.0+20160625-1ubuntu1) ... Preparing to unpack .../libtinfo5_6.1-1ubuntu1_armhf.deb ... Unpacking libtinfo5:armhf (6.1-1ubuntu1) over (6.0+20160625-1ubuntu1) ... Setting up libtinfo5:armhf (6.1-1ubuntu1) ... (Reading database ... 12492 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.1-1ubuntu1_armhf.deb ... Unpacking ncurses-bin (6.1-1ubuntu1) over (6.0+20160625-1ubuntu1) ... Setting up ncurses-bin (6.1-1ubuntu1) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libncursesw5_6.1-1ubuntu1_armhf.deb ... Unpacking libncursesw5:armhf (6.1-1ubuntu1) over (6.0+20160625-1ubuntu1) ... Setting up libncursesw5:armhf (6.1-1ubuntu1) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../archives/sed_4.4-2_armhf.deb ... Unpacking sed (4.4-2) over (4.4-1) ... Setting up sed (4.4-2) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libuuid1_2.31.1-0.4ubuntu3_armhf.deb ... Unpacking libuuid1:armhf (2.31.1-0.4ubuntu3) over (2.30.1-0ubuntu4) ... Setting up libuuid1:armhf (2.31.1-0.4ubuntu3) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libblkid1_2.31.1-0.4ubuntu3_armhf.deb ... Unpacking libblkid1:armhf (2.31.1-0.4ubuntu3) over (2.30.1-0ubuntu4) ... Setting up libblkid1:armhf (2.31.1-0.4ubuntu3) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.31.1-0.4ubuntu3_armhf.deb ... Unpacking libsmartcols1:armhf (2.31.1-0.4ubuntu3) over (2.30.1-0ubuntu4) ... Setting up libsmartcols1:armhf (2.31.1-0.4ubuntu3) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.31.1-0.4ubuntu3_armhf.deb ... Unpacking libfdisk1:armhf (2.31.1-0.4ubuntu3) over (2.30.1-0ubuntu4) ... Setting up libfdisk1:armhf (2.31.1-0.4ubuntu3) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libpcre3_2%3a8.39-9_armhf.deb ... Unpacking libpcre3:armhf (2:8.39-9) over (2:8.39-4) ... Setting up libpcre3:armhf (2:8.39-9) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libselinux1_2.7-2build2_armhf.deb ... Unpacking libselinux1:armhf (2.7-2build2) over (2.7-1) ... Setting up libselinux1:armhf (2.7-2build2) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libmount1_2.31.1-0.4ubuntu3_armhf.deb ... Unpacking libmount1:armhf (2.31.1-0.4ubuntu3) over (2.30.1-0ubuntu4) ... Setting up libmount1:armhf (2.31.1-0.4ubuntu3) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../fdisk_2.31.1-0.4ubuntu3_armhf.deb ... Unpacking fdisk (2.31.1-0.4ubuntu3) over (2.30.1-0ubuntu4) ... Setting up fdisk (2.31.1-0.4ubuntu3) ... (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../util-linux_2.31.1-0.4ubuntu3_armhf.deb ... Unpacking util-linux (2.31.1-0.4ubuntu3) over (2.30.1-0ubuntu4) ... dpkg: warning: unable to delete old directory '/etc/cron.weekly': Directory not empty Setting up util-linux (2.31.1-0.4ubuntu3) ... Removing obsolete conffile /etc/cron.weekly/fstrim ... Created symlink /etc/systemd/system/timers.target.wants/fstrim.timer -> /lib/systemd/system/fstrim.timer. (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.44_armhf.deb ... Unpacking base-passwd (3.5.44) over (3.5.43) ... Setting up base-passwd (3.5.44) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.1-1ubuntu1_all.deb ... Unpacking ncurses-base (6.1-1ubuntu1) over (6.0+20160625-1ubuntu1) ... Setting up ncurses-base (6.1-1ubuntu1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.88dsf-59.10ubuntu1_armhf.deb ... Unpacking sysvinit-utils (2.88dsf-59.10ubuntu1) over (2.88dsf-59.8git1) ... Setting up sysvinit-utils (2.88dsf-59.10ubuntu1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../libstdc++6_8-20180402-1ubuntu1_armhf.deb ... Unpacking libstdc++6:armhf (8-20180402-1ubuntu1) over (7.2.0-6ubuntu1) ... Setting up libstdc++6:armhf (8-20180402-1ubuntu1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../libudev1_237-3ubuntu7_armhf.deb ... Unpacking libudev1:armhf (237-3ubuntu7) over (234-2ubuntu10) ... Setting up libudev1:armhf (237-3ubuntu7) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.6~beta1_armhf.deb ... Unpacking libapt-pkg5.0:armhf (1.6~beta1) over (1.5~rc4) ... Setting up libapt-pkg5.0:armhf (1.6~beta1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a2.8.2-1ubuntu1_all.deb ... Unpacking libaudit-common (1:2.8.2-1ubuntu1) over (1:2.7.7-1ubuntu2) ... Setting up libaudit-common (1:2.8.2-1ubuntu1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.7-3.1_armhf.deb ... Unpacking libcap-ng0:armhf (0.7.7-3.1) over (0.7.7-3build1) ... Setting up libcap-ng0:armhf (0.7.7-3.1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.2-1ubuntu1_armhf.deb ... Unpacking libaudit1:armhf (1:2.8.2-1ubuntu1) over (1:2.7.7-1ubuntu2) ... Setting up libaudit1:armhf (1:2.8.2-1ubuntu1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../debconf_1.5.66_all.deb ... Unpacking debconf (1.5.66) over (1.5.63) ... Setting up debconf (1.5.66) ... (Reading database ... 12487 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-3.6ubuntu1_armhf.deb ... Unpacking libpam0g:armhf (1.1.8-3.6ubuntu1) over (1.1.8-3.2ubuntu3) ... Setting up libpam0g:armhf (1.1.8-3.6ubuntu1) ... (Reading database ... 12487 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.7-2build2_all.deb ... Unpacking libsemanage-common (2.7-2build2) over (2.7-1) ... Setting up libsemanage-common (2.7-2build2) ... (Reading database ... 12487 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.7-2build2_armhf.deb ... Unpacking libsemanage1:armhf (2.7-2build2) over (2.7-1) ... Setting up libsemanage1:armhf (2.7-2build2) ... (Reading database ... 12487 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-3.6ubuntu1_armhf.deb ... Unpacking libpam-modules-bin (1.1.8-3.6ubuntu1) over (1.1.8-3.2ubuntu3) ... Setting up libpam-modules-bin (1.1.8-3.6ubuntu1) ... (Reading database ... 12487 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-3.6ubuntu1_armhf.deb ... Unpacking libpam-modules:armhf (1.1.8-3.6ubuntu1) over (1.1.8-3.2ubuntu3) ... Setting up libpam-modules:armhf (1.1.8-3.6ubuntu1) ... Installing new version of config file /etc/security/namespace.init ... (Reading database ... 12487 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.5-1ubuntu1_armhf.deb ... Unpacking passwd (1:4.5-1ubuntu1) over (1:4.2-3.2ubuntu4) ... Setting up passwd (1:4.5-1ubuntu1) ... (Reading database ... 12495 files and directories currently installed.) Preparing to unpack .../adduser_3.116ubuntu1_all.deb ... Unpacking adduser (3.116ubuntu1) over (3.113+nmu3ubuntu5) ... Setting up adduser (3.116ubuntu1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.27-6_armhf.deb ... Unpacking libgpg-error0:armhf (1.27-6) over (1.27-3) ... Setting up libgpg-error0:armhf (1.27-6) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.8.1-4ubuntu1_armhf.deb ... Unpacking libgcrypt20:armhf (1.8.1-4ubuntu1) over (1.7.8-2ubuntu1) ... Setting up libgcrypt20:armhf (1.8.1-4ubuntu1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.4-1ubuntu1_armhf.deb ... Unpacking gpgv (2.2.4-1ubuntu1) over (2.1.15-1ubuntu7) ... Setting up gpgv (2.2.4-1ubuntu1) ... (Reading database ... 12493 files and directories currently installed.) Preparing to unpack .../ubuntu-keyring_2018.02.28_all.deb ... Unpacking ubuntu-keyring (2018.02.28) over (2016.10.27) ... Setting up ubuntu-keyring (2018.02.28) ... Selecting previously unselected package libunistring2:armhf. (Reading database ... 12494 files and directories currently installed.) Preparing to unpack .../libunistring2_0.9.9-0ubuntu1_armhf.deb ... Unpacking libunistring2:armhf (0.9.9-0ubuntu1) ... Setting up libunistring2:armhf (0.9.9-0ubuntu1) ... (Reading database ... 12499 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.1.2+dfsg-2_armhf.deb ... Unpacking libgmp10:armhf (2:6.1.2+dfsg-2) over (2:6.1.2+dfsg-1) ... Setting up libgmp10:armhf (2:6.1.2+dfsg-2) ... (Reading database ... 12499 files and directories currently installed.) Preparing to unpack .../libnettle6_3.4-1_armhf.deb ... Unpacking libnettle6:armhf (3.4-1) over (3.3-1) ... Setting up libnettle6:armhf (3.4-1) ... (Reading database ... 12501 files and directories currently installed.) Preparing to unpack .../libhogweed4_3.4-1_armhf.deb ... Unpacking libhogweed4:armhf (3.4-1) over (3.3-1) ... Setting up libhogweed4:armhf (3.4-1) ... (Reading database ... 12501 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.0.4-1.1build2_armhf.deb ... Unpacking libidn2-0:armhf (2.0.4-1.1build2) over (2.0.2-5) ... Setting up libidn2-0:armhf (2.0.4-1.1build2) ... (Reading database ... 12502 files and directories currently installed.) Preparing to unpack .../libffi6_3.2.1-8_armhf.deb ... Unpacking libffi6:armhf (3.2.1-8) over (3.2.1-6) ... Setting up libffi6:armhf (3.2.1-8) ... (Reading database ... 12502 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.9-2_armhf.deb ... Unpacking libp11-kit0:armhf (0.23.9-2) over (0.23.7-3) ... Setting up libp11-kit0:armhf (0.23.9-2) ... (Reading database ... 12502 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.13-2_armhf.deb ... Unpacking libtasn1-6:armhf (4.13-2) over (4.12-2.1) ... Setting up libtasn1-6:armhf (4.13-2) ... (Reading database ... 12502 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.5.18-1ubuntu1_armhf.deb ... Unpacking libgnutls30:armhf (3.5.18-1ubuntu1) over (3.5.8-6ubuntu3) ... Setting up libgnutls30:armhf (3.5.18-1ubuntu1) ... (Reading database ... 12502 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.3.1-2.1ubuntu4_armhf.deb ... Unpacking libseccomp2:armhf (2.3.1-2.1ubuntu4) over (2.3.1-2.1ubuntu2) ... Setting up libseccomp2:armhf (2.3.1-2.1ubuntu4) ... (Reading database ... 12502 files and directories currently installed.) Preparing to unpack .../apt_1.6~beta1_armhf.deb ... Unpacking apt (1.6~beta1) over (1.5~rc4) ... Setting up apt (1.6~beta1) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... Installing new version of config file /etc/cron.daily/apt-compat ... Selecting previously unselected package libargon2-0:armhf. (Reading database ... 12505 files and directories currently installed.) Preparing to unpack .../00-libargon2-0_0~20161029-1.1_armhf.deb ... Unpacking libargon2-0:armhf (0~20161029-1.1) ... Selecting previously unselected package libjson-c3:armhf. Preparing to unpack .../01-libjson-c3_0.12.1-1.3_armhf.deb ... Unpacking libjson-c3:armhf (0.12.1-1.3) ... Preparing to unpack .../02-libdevmapper1.02.1_2%3a1.02.145-4.1ubuntu2_armhf.deb ... Unpacking libdevmapper1.02.1:armhf (2:1.02.145-4.1ubuntu2) over (2:1.02.137-2ubuntu3) ... Selecting previously unselected package libcryptsetup12:armhf. Preparing to unpack .../03-libcryptsetup12_2%3a2.0.1-0ubuntu2_armhf.deb ... Unpacking libcryptsetup12:armhf (2:2.0.1-0ubuntu2) ... Preparing to unpack .../04-libapparmor1_2.12-4ubuntu4_armhf.deb ... Unpacking libapparmor1:armhf (2.12-4ubuntu4) over (2.11.0-2ubuntu17) ... Preparing to unpack .../05-libcap2_1%3a2.25-1.2_armhf.deb ... Unpacking libcap2:armhf (1:2.25-1.2) over (1:2.25-1) ... Preparing to unpack .../06-libidn11_1.33-2.1ubuntu1_armhf.deb ... Unpacking libidn11:armhf (1.33-2.1ubuntu1) over (1.33-2) ... Preparing to unpack .../07-libip4tc0_1.6.1-2ubuntu2_armhf.deb ... Unpacking libip4tc0:armhf (1.6.1-2ubuntu2) over (1.6.1-2ubuntu1) ... Preparing to unpack .../08-libkmod2_24-1ubuntu3_armhf.deb ... Unpacking libkmod2:armhf (24-1ubuntu3) over (24-1ubuntu2) ... Preparing to unpack .../09-mount_2.31.1-0.4ubuntu3_armhf.deb ... Unpacking mount (2.31.1-0.4ubuntu3) over (2.30.1-0ubuntu4) ... Preparing to unpack .../10-libprocps6_2%3a3.3.12-3ubuntu1_armhf.deb ... Unpacking libprocps6:armhf (2:3.3.12-3ubuntu1) over (2:3.3.12-1ubuntu2) ... Preparing to unpack .../11-lsb-base_9.20170808ubuntu1_all.deb ... Unpacking lsb-base (9.20170808ubuntu1) over (9.20160110ubuntu5) ... Preparing to unpack .../12-procps_2%3a3.3.12-3ubuntu1_armhf.deb ... Unpacking procps (2:3.3.12-3ubuntu1) over (2:3.3.12-1ubuntu2) ... Preparing to unpack .../13-systemd_237-3ubuntu7_armhf.deb ... Unpacking systemd (237-3ubuntu7) over (234-2ubuntu10) ... Preparing to unpack .../14-libsystemd0_237-3ubuntu7_armhf.deb ... Unpacking libsystemd0:armhf (237-3ubuntu7) over (234-2ubuntu10) ... Setting up libsystemd0:armhf (237-3ubuntu7) ... (Reading database ... 12544 files and directories currently installed.) Preparing to unpack .../archives/init_1.51_armhf.deb ... Unpacking init (1.51) over (1.49ubuntu1) ... Setting up libapparmor1:armhf (2.12-4ubuntu4) ... Setting up libcap2:armhf (1:2.25-1.2) ... Setting up libargon2-0:armhf (0~20161029-1.1) ... Setting up libdevmapper1.02.1:armhf (2:1.02.145-4.1ubuntu2) ... Setting up libjson-c3:armhf (0.12.1-1.3) ... Setting up libcryptsetup12:armhf (2:2.0.1-0ubuntu2) ... Setting up libidn11:armhf (1.33-2.1ubuntu1) ... Setting up libip4tc0:armhf (1.6.1-2ubuntu2) ... Setting up libkmod2:armhf (24-1ubuntu3) ... Setting up mount (2.31.1-0.4ubuntu3) ... Setting up libncurses5:armhf (6.1-1ubuntu1) ... Setting up libprocps6:armhf (2:3.3.12-3ubuntu1) ... Setting up lsb-base (9.20170808ubuntu1) ... Setting up procps (2:3.3.12-3ubuntu1) ... Setting up systemd (237-3ubuntu7) ... Installing new version of config file /etc/systemd/journald.conf ... Installing new version of config file /etc/systemd/resolved.conf ... Installing new version of config file /etc/systemd/system.conf ... Installing new version of config file /etc/systemd/timesyncd.conf ... Removing empty /etc/rc.local Removed /etc/systemd/system/network-online.target.wants/systemd-networkd-wait-online.service. Removing user `systemd-bus-proxy' ... Warning: group `systemd-bus-proxy' has no more members. Done. (Reading database ... 12544 files and directories currently installed.) Preparing to unpack .../systemd-sysv_237-3ubuntu7_armhf.deb ... Unpacking systemd-sysv (237-3ubuntu7) over (234-2ubuntu10) ... Preparing to unpack .../libpam-runtime_1.1.8-3.6ubuntu1_all.deb ... Unpacking libpam-runtime (1.1.8-3.6ubuntu1) over (1.1.8-3.2ubuntu3) ... Setting up libpam-runtime (1.1.8-3.6ubuntu1) ... (Reading database ... 12544 files and directories currently installed.) Preparing to unpack .../libss2_1.44.1-1_armhf.deb ... Unpacking libss2:armhf (1.44.1-1) over (1.43.5-1) ... Setting up libss2:armhf (1.44.1-1) ... (Reading database ... 12544 files and directories currently installed.) Preparing to unpack .../00-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) over (0.0.10) ... Preparing to unpack .../01-dmsetup_2%3a1.02.145-4.1ubuntu2_armhf.deb ... Unpacking dmsetup (2:1.02.145-4.1ubuntu2) over (2:1.02.137-2ubuntu3) ... Preparing to unpack .../02-readline-common_7.0-3_all.deb ... Unpacking readline-common (7.0-3) over (7.0-0ubuntu2) ... Preparing to unpack .../03-libreadline7_7.0-3_armhf.deb ... Unpacking libreadline7:armhf (7.0-3) over (7.0-0ubuntu2) ... Preparing to unpack .../04-libslang2_2.3.1a-3ubuntu1_armhf.deb ... Unpacking libslang2:armhf (2.3.1a-3ubuntu1) over (2.3.1-5ubuntu1) ... Preparing to unpack .../05-libsqlite3-0_3.22.0-1_armhf.deb ... Unpacking libsqlite3-0:armhf (3.22.0-1) over (3.19.3-3) ... Selecting previously unselected package libssl1.1:armhf. Preparing to unpack .../06-libssl1.1_1.1.0g-2ubuntu3_armhf.deb ... Unpacking libssl1.1:armhf (1.1.0g-2ubuntu3) ... Preparing to unpack .../07-multiarch-support_2.27-0ubuntu3_armhf.deb ... Unpacking multiarch-support (2.27-0ubuntu3) over (2.26-0ubuntu1) ... Preparing to unpack .../08-openssl_1.1.0g-2ubuntu3_armhf.deb ... Unpacking openssl (1.1.0g-2ubuntu3) over (1.0.2g-1ubuntu13) ... Preparing to unpack .../09-tzdata_2018d-1_all.deb ... Unpacking tzdata (2018d-1) over (2017b-2) ... Preparing to unpack .../10-libgssapi-krb5-2_1.16-2build1_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.16-2build1) over (1.15.1-2) ... Preparing to unpack .../11-libkrb5-3_1.16-2build1_armhf.deb ... Unpacking libkrb5-3:armhf (1.16-2build1) over (1.15.1-2) ... Preparing to unpack .../12-libk5crypto3_1.16-2build1_armhf.deb ... Unpacking libk5crypto3:armhf (1.16-2build1) over (1.15.1-2) ... Preparing to unpack .../13-libkrb5support0_1.16-2build1_armhf.deb ... Unpacking libkrb5support0:armhf (1.16-2build1) over (1.15.1-2) ... Preparing to unpack .../14-libkeyutils1_1.5.9-9.2ubuntu1_armhf.deb ... Unpacking libkeyutils1:armhf (1.5.9-9.2ubuntu1) over (1.5.9-9ubuntu1) ... Preparing to unpack .../15-libpng16-16_1.6.34-1_armhf.deb ... Unpacking libpng16-16:armhf (1.6.34-1) over (1.6.32-2) ... Preparing to unpack .../16-libpsl5_0.19.1-5build1_armhf.deb ... Unpacking libpsl5:armhf (0.19.1-5build1) over (0.18.0-2) ... Preparing to unpack .../17-libssl1.0.0_1.0.2n-1ubuntu5_armhf.deb ... Unpacking libssl1.0.0:armhf (1.0.2n-1ubuntu5) over (1.0.2g-1ubuntu13) ... Preparing to unpack .../18-advancecomp_2.1-1_armhf.deb ... Unpacking advancecomp (2.1-1) over (2.0-1) ... Preparing to unpack .../19-apt-transport-https_1.6~beta1_all.deb ... Unpacking apt-transport-https (1.6~beta1) over (1.5~rc4) ... Preparing to unpack .../20-libbinutils_2.30-13ubuntu1_armhf.deb ... Unpacking libbinutils:armhf (2.30-13ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../21-binutils_2.30-13ubuntu1_armhf.deb ... Unpacking binutils (2.30-13ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../22-binutils-common_2.30-13ubuntu1_armhf.deb ... Unpacking binutils-common:armhf (2.30-13ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../23-binutils-arm-linux-gnueabihf_2.30-13ubuntu1_armhf.deb ... Unpacking binutils-arm-linux-gnueabihf (2.30-13ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../24-libgomp1_8-20180402-1ubuntu1_armhf.deb ... Unpacking libgomp1:armhf (8-20180402-1ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../25-libatomic1_8-20180402-1ubuntu1_armhf.deb ... Unpacking libatomic1:armhf (8-20180402-1ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../26-libasan4_7.3.0-14ubuntu1_armhf.deb ... Unpacking libasan4:armhf (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../27-libubsan0_7.3.0-14ubuntu1_armhf.deb ... Unpacking libubsan0:armhf (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../28-libcilkrts5_7.3.0-14ubuntu1_armhf.deb ... Unpacking libcilkrts5:armhf (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../29-g++-7_7.3.0-14ubuntu1_armhf.deb ... Unpacking g++-7 (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../30-gcc-7_7.3.0-14ubuntu1_armhf.deb ... Unpacking gcc-7 (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../31-libstdc++-7-dev_7.3.0-14ubuntu1_armhf.deb ... Unpacking libstdc++-7-dev:armhf (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../32-libgcc-7-dev_7.3.0-14ubuntu1_armhf.deb ... Unpacking libgcc-7-dev:armhf (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../33-libcc1-0_8-20180402-1ubuntu1_armhf.deb ... Unpacking libcc1-0:armhf (8-20180402-1ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../34-cpp-7_7.3.0-14ubuntu1_armhf.deb ... Unpacking cpp-7 (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../35-gcc-7-base_7.3.0-14ubuntu1_armhf.deb ... Unpacking gcc-7-base:armhf (7.3.0-14ubuntu1) over (7.2.0-6ubuntu1) ... Selecting previously unselected package libisl19:armhf. Preparing to unpack .../36-libisl19_0.19-1_armhf.deb ... Unpacking libisl19:armhf (0.19-1) ... Preparing to unpack .../37-libmpc3_1.1.0-1_armhf.deb ... Unpacking libmpc3:armhf (1.1.0-1) over (1.0.3-2) ... Selecting previously unselected package libmpfr6:armhf. Preparing to unpack .../38-libmpfr6_4.0.1-1_armhf.deb ... Unpacking libmpfr6:armhf (4.0.1-1) ... Preparing to unpack .../39-cpp_4%3a7.3.0-2ubuntu1_armhf.deb ... Unpacking cpp (4:7.3.0-2ubuntu1) over (4:7.2.0-1ubuntu1) ... Preparing to unpack .../40-gcc_4%3a7.3.0-2ubuntu1_armhf.deb ... Unpacking gcc (4:7.3.0-2ubuntu1) over (4:7.2.0-1ubuntu1) ... Preparing to unpack .../41-g++_4%3a7.3.0-2ubuntu1_armhf.deb ... Unpacking g++ (4:7.3.0-2ubuntu1) over (4:7.2.0-1ubuntu1) ... Preparing to unpack .../42-dpkg-dev_1.19.0.5ubuntu1_all.deb ... Unpacking dpkg-dev (1.19.0.5ubuntu1) over (1.18.24ubuntu1) ... Preparing to unpack .../43-libdpkg-perl_1.19.0.5ubuntu1_all.deb ... Unpacking libdpkg-perl (1.19.0.5ubuntu1) over (1.18.24ubuntu1) ... Preparing to unpack .../44-patch_2.7.6-1_armhf.deb ... Unpacking patch (2.7.6-1) over (2.7.5-1build1) ... Preparing to unpack .../45-build-essential_12.4ubuntu1_armhf.deb ... Unpacking build-essential (12.4ubuntu1) over (12.1ubuntu2) ... Selecting previously unselected package gnupg-l10n. Preparing to unpack .../46-gnupg-l10n_2.2.4-1ubuntu1_all.deb ... Unpacking gnupg-l10n (2.2.4-1ubuntu1) ... Preparing to unpack .../47-libassuan0_2.5.1-2_armhf.deb ... Unpacking libassuan0:armhf (2.5.1-2) over (2.4.3-3) ... Preparing to unpack .../48-gnupg_2.2.4-1ubuntu1_armhf.deb ... Unpacking gnupg (2.2.4-1ubuntu1) over (2.1.15-1ubuntu7) ... Preparing to unpack .../49-gnupg-agent_2.2.4-1ubuntu1_all.deb ... Unpacking gnupg-agent (2.2.4-1ubuntu1) over (2.1.15-1ubuntu7) ... dpkg: warning: unable to delete old directory '/etc/X11/Xsession.d': Directory not empty dpkg: warning: unable to delete old directory '/etc/X11': Directory not empty Selecting previously unselected package gpgconf. Preparing to unpack .../50-gpgconf_2.2.4-1ubuntu1_armhf.deb ... Unpacking gpgconf (2.2.4-1ubuntu1) ... Preparing to unpack .../51-pinentry-curses_1.1.0-1_armhf.deb ... Unpacking pinentry-curses (1.1.0-1) over (1.0.0-2) ... Preparing to unpack .../52-libnpth0_1.5-3_armhf.deb ... Unpacking libnpth0:armhf (1.5-3) over (1.5-2) ... Selecting previously unselected package gpg-agent. Preparing to unpack .../53-gpg-agent_2.2.4-1ubuntu1_armhf.deb ... Unpacking gpg-agent (2.2.4-1ubuntu1) ... Selecting previously unselected package gnupg-utils. Preparing to unpack .../54-gnupg-utils_2.2.4-1ubuntu1_armhf.deb ... Unpacking gnupg-utils (2.2.4-1ubuntu1) ... Selecting previously unselected package gpg. Preparing to unpack .../55-gpg_2.2.4-1ubuntu1_armhf.deb ... Unpacking gpg (2.2.4-1ubuntu1) ... Selecting previously unselected package gpg-wks-client. Preparing to unpack .../56-gpg-wks-client_2.2.4-1ubuntu1_armhf.deb ... Unpacking gpg-wks-client (2.2.4-1ubuntu1) ... Selecting previously unselected package gpg-wks-server. Preparing to unpack .../57-gpg-wks-server_2.2.4-1ubuntu1_armhf.deb ... Unpacking gpg-wks-server (2.2.4-1ubuntu1) ... Selecting previously unselected package gpgsm. Preparing to unpack .../58-gpgsm_2.2.4-1ubuntu1_armhf.deb ... Unpacking gpgsm (2.2.4-1ubuntu1) ... Selecting previously unselected package dirmngr. Preparing to unpack .../59-dirmngr_2.2.4-1ubuntu1_armhf.deb ... Unpacking dirmngr (2.2.4-1ubuntu1) ... Preparing to unpack .../60-libfakeroot_1.22-2ubuntu1_armhf.deb ... Unpacking libfakeroot:armhf (1.22-2ubuntu1) over (1.21-1ubuntu2) ... Preparing to unpack .../61-fakeroot_1.22-2ubuntu1_armhf.deb ... Unpacking fakeroot (1.22-2ubuntu1) over (1.21-1ubuntu2) ... Preparing to unpack .../62-libroken18-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libroken18-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Preparing to unpack .../63-libasn1-8-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libasn1-8-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Selecting previously unselected package libnghttp2-14:armhf. Preparing to unpack .../64-libnghttp2-14_1.30.0-1_armhf.deb ... Unpacking libnghttp2-14:armhf (1.30.0-1) ... Preparing to unpack .../65-libcurl3-gnutls_7.58.0-2ubuntu3_armhf.deb ... Unpacking libcurl3-gnutls:armhf (7.58.0-2ubuntu3) over (7.55.1-1ubuntu1) ... Preparing to unpack .../66-libheimbase1-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libheimbase1-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Preparing to unpack .../67-libhcrypto4-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libhcrypto4-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Preparing to unpack .../68-libwind0-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libwind0-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Preparing to unpack .../69-libhx509-5-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libhx509-5-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Preparing to unpack .../70-libkrb5-26-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libkrb5-26-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Preparing to unpack .../71-libheimntlm0-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libheimntlm0-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Preparing to unpack .../72-libgssapi3-heimdal_7.5.0+dfsg-1_armhf.deb ... Unpacking libgssapi3-heimdal:armhf (7.5.0+dfsg-1) over (7.4.0.dfsg.1-2) ... Preparing to unpack .../73-libisl15_0.18-4_armhf.deb ... Unpacking libisl15:armhf (0.18-4) over (0.18-1) ... Preparing to unpack .../74-liblockfile-bin_1.14-1.1_armhf.deb ... Unpacking liblockfile-bin (1.14-1.1) over (1.14-1) ... Preparing to unpack .../75-liblockfile1_1.14-1.1_armhf.deb ... Unpacking liblockfile1:armhf (1.14-1.1) over (1.14-1) ... Preparing to unpack .../76-libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3ubuntu2_armhf.deb ... Unpacking libsasl2-modules-db:armhf (2.1.27~101-g0780600+dfsg-3ubuntu2) over (2.1.27~101-g0780600+dfsg-3ubuntu1) ... Preparing to unpack .../77-libsasl2-2_2.1.27~101-g0780600+dfsg-3ubuntu2_armhf.deb ... Unpacking libsasl2-2:armhf (2.1.27~101-g0780600+dfsg-3ubuntu2) over (2.1.27~101-g0780600+dfsg-3ubuntu1) ... Preparing to unpack .../78-optipng_0.7.6-1.1_armhf.deb ... Unpacking optipng (0.7.6-1.1) over (0.7.6-1build1) ... Preparing to unpack .../79-pkgbinarymangler_135_all.deb ... Unpacking pkgbinarymangler (135) over (131) ... Setting up libnpth0:armhf (1.5-3) ... Setting up libgomp1:armhf (8-20180402-1ubuntu1) ... Setting up libatomic1:armhf (8-20180402-1ubuntu1) ... Setting up readline-common (7.0-3) ... Setting up liblockfile-bin (1.14-1.1) ... Setting up libcc1-0:armhf (8-20180402-1ubuntu1) ... Setting up apt-transport-https (1.6~beta1) ... Setting up libssl1.0.0:armhf (1.0.2n-1ubuntu5) ... Setting up libnghttp2-14:armhf (1.30.0-1) ... Setting up e2fslibs:armhf (1.44.1-1) ... Setting up libpng16-16:armhf (1.6.34-1) ... Setting up libreadline7:armhf (7.0-3) ... Setting up libpsl5:armhf (0.19.1-5build1) ... Setting up multiarch-support (2.27-0ubuntu3) ... Setting up tzdata (2018d-1) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Apr 4 21:08:51 UTC 2018. Universal Time is now: Wed Apr 4 21:08:51 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (237-3ubuntu7) ... Setting up liblockfile1:armhf (1.14-1.1) ... Setting up libsasl2-modules-db:armhf (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up linux-libc-dev:armhf (4.15.0-14.15) ... Setting up libmpfr6:armhf (4.0.1-1) ... Setting up advancecomp (2.1-1) ... Setting up libsasl2-2:armhf (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up libroken18-heimdal:armhf (7.5.0+dfsg-1) ... Setting up perl-modules-5.26 (5.26.1-5) ... Setting up libgdbm5:armhf (1.14.1-6) ... Setting up libkrb5support0:armhf (1.16-2build1) ... Setting up optipng (0.7.6-1.1) ... Setting up gnupg-l10n (2.2.4-1ubuntu1) ... Setting up gcc-7-base:armhf (7.3.0-14ubuntu1) ... Setting up binutils-common:armhf (2.30-13ubuntu1) ... Setting up libisl15:armhf (0.18-4) ... Setting up sensible-utils (0.0.12) ... Setting up patch (2.7.6-1) ... Processing triggers for libc-bin (2.27-0ubuntu3) ... Setting up libssl1.1:armhf (1.1.0g-2ubuntu3) ... Setting up libheimbase1-heimdal:armhf (7.5.0+dfsg-1) ... Setting up libfakeroot:armhf (1.22-2ubuntu1) ... Setting up openssl (1.1.0g-2ubuntu3) ... Installing new version of config file /etc/ssl/openssl.cnf ... Setting up libsqlite3-0:armhf (3.22.0-1) ... Setting up dmsetup (2:1.02.145-4.1ubuntu2) ... Setting up libmpc3:armhf (1.1.0-1) ... Setting up libc-dev-bin (2.27-0ubuntu3) ... Setting up libcomerr2:armhf (1.44.1-1) ... Setting up libgdbm-compat4:armhf (1.14.1-6) ... Setting up libkeyutils1:armhf (1.5.9-9.2ubuntu1) ... Setting up libc6-dev:armhf (2.27-0ubuntu3) ... Setting up libslang2:armhf (2.3.1a-3ubuntu1) ... Setting up libassuan0:armhf (2.5.1-2) ... Setting up libisl19:armhf (0.19-1) ... Setting up libk5crypto3:armhf (1.16-2build1) ... Setting up pkgbinarymangler (135) ... Setting up libwind0-heimdal:armhf (7.5.0+dfsg-1) ... Setting up libasan4:armhf (7.3.0-14ubuntu1) ... Setting up libbinutils:armhf (2.30-13ubuntu1) ... Setting up libcilkrts5:armhf (7.3.0-14ubuntu1) ... Setting up init (1.51) ... Setting up libasn1-8-heimdal:armhf (7.5.0+dfsg-1) ... Setting up libubsan0:armhf (7.3.0-14ubuntu1) ... Setting up gpgconf (2.2.4-1ubuntu1) ... Setting up libhcrypto4-heimdal:armhf (7.5.0+dfsg-1) ... Setting up binutils-arm-linux-gnueabihf (2.30-13ubuntu1) ... Setting up fakeroot (1.22-2ubuntu1) ... Setting up libhx509-5-heimdal:armhf (7.5.0+dfsg-1) ... Setting up libgcc-7-dev:armhf (7.3.0-14ubuntu1) ... Setting up cpp-7 (7.3.0-14ubuntu1) ... Setting up libstdc++-7-dev:armhf (7.3.0-14ubuntu1) ... Setting up libperl5.26:armhf (5.26.1-5) ... Setting up gpgsm (2.2.4-1ubuntu1) ... Setting up gnupg-utils (2.2.4-1ubuntu1) ... Setting up pinentry-curses (1.1.0-1) ... Setting up libkrb5-3:armhf (1.16-2build1) ... Setting up binutils (2.30-13ubuntu1) ... Setting up libkrb5-26-heimdal:armhf (7.5.0+dfsg-1) ... Setting up dirmngr (2.2.4-1ubuntu1) ... Setting up libheimntlm0-heimdal:armhf (7.5.0+dfsg-1) ... Setting up gpg (2.2.4-1ubuntu1) ... Setting up cpp (4:7.3.0-2ubuntu1) ... Setting up gcc-7 (7.3.0-14ubuntu1) ... Setting up g++-7 (7.3.0-14ubuntu1) ... Setting up gpg-agent (2.2.4-1ubuntu1) ... Installing new version of config file /etc/X11/Xsession.d/90gpg-agent ... Setting up gcc (4:7.3.0-2ubuntu1) ... Setting up gpg-wks-server (2.2.4-1ubuntu1) ... Setting up gpg-wks-client (2.2.4-1ubuntu1) ... Setting up libgssapi-krb5-2:armhf (1.16-2build1) ... Setting up perl (5.26.1-5) ... Setting up g++ (4:7.3.0-2ubuntu1) ... Setting up gnupg-agent (2.2.4-1ubuntu1) ... Setting up libgssapi3-heimdal:armhf (7.5.0+dfsg-1) ... Setting up libcurl3-gnutls:armhf (7.58.0-2ubuntu3) ... Setting up gnupg (2.2.4-1ubuntu1) ... Setting up libdpkg-perl (1.19.0.5ubuntu1) ... Setting up dpkg-dev (1.19.0.5ubuntu1) ... Setting up build-essential (12.4ubuntu1) ... Processing triggers for libc-bin (2.27-0ubuntu3) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-14531462 armhf bionic-proposed -c chroot:build-PACKAGEBUILD-14531462 --arch=armhf --dist=bionic-proposed --nolog ladr_0.0.200911a-2.1build1.dsc Initiating build PACKAGEBUILD-14531462 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-101-generic #124-Ubuntu SMP Fri Nov 10 18:30:44 UTC 2017 armv7l sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-arm64-039.buildd +==============================================================================+ | ladr 0.0.200911a-2.1build1 (armhf) 04 Apr 2018 21:08 | +==============================================================================+ Package: ladr Version: 0.0.200911a-2.1build1 Source Version: 0.0.200911a-2.1build1 Distribution: bionic-proposed Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf I: NOTICE: Log filtering will replace 'build/ladr-PGLlyS/ladr-0.0.200911a' with '<>' I: NOTICE: Log filtering will replace 'build/ladr-PGLlyS' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-14531462/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- ladr_0.0.200911a-2.1build1.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-ZsxVO8/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-ZsxVO8/apt_archive ./ InRelease Get:2 copy:/<>/resolver-ZsxVO8/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-ZsxVO8/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-ZsxVO8/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-ZsxVO8/apt_archive ./ Packages [525 B] Fetched 2858 B in 0s (63.3 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: gnupg-agent libcryptsetup4 libcurl3-gnutls libgdbm3 libgssapi-krb5-2 libisl15 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libmpfr4 libnghttp2-14 libpsl5 librtmp1 libssl1.0.0 libunistring0 libustr-1.0-1 Use 'apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 852 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-ZsxVO8/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 852 B in 0s (69.2 kB/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12738 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 7.0.50~), libtool, libtool-bin Filtered Build-Depends: debhelper (>= 7.0.50~), libtool, libtool-bin dpkg-deb: building package 'sbuild-build-depends-ladr-dummy' in '/<>/resolver-637FRV/apt_archive/sbuild-build-depends-ladr-dummy.deb'. Ign:1 copy:/<>/resolver-637FRV/apt_archive ./ InRelease Get:2 copy:/<>/resolver-637FRV/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-637FRV/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-637FRV/apt_archive ./ Sources [222 B] Get:5 copy:/<>/resolver-637FRV/apt_archive ./ Packages [540 B] Fetched 2881 B in 0s (66.0 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install ladr build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: gnupg-agent libcryptsetup4 libcurl3-gnutls libgdbm3 libgssapi-krb5-2 libisl15 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libmpfr4 libnghttp2-14 libpsl5 librtmp1 libssl1.0.0 libunistring0 libustr-1.0-1 Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libfile-stripnondeterminism-perl libglib2.0-0 libicu60 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libtimedate-perl libtool libtool-bin libxml2 m4 man-db po-debconf Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make dwz gettext-doc libasprintf-dev libgettextpo-dev groff libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser libmail-box-perl Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev libmail-sendmail-perl The following packages will be REMOVED: pkg-create-dbgsym* The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libfile-stripnondeterminism-perl libglib2.0-0 libicu60 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libtimedate-perl libtool libtool-bin libxml2 m4 man-db po-debconf sbuild-build-depends-ladr-dummy 0 upgraded, 31 newly installed, 1 to remove and 0 not upgraded. Need to get 15.9 MB of archives. After this operation, 57.5 MB of additional disk space will be used. Get:1 copy:/<>/resolver-637FRV/apt_archive ./ sbuild-build-depends-ladr-dummy 0.invalid.0 [868 B] Get:2 http://ftpmaster.internal/ubuntu bionic/main armhf libbsd0 armhf 0.8.7-1 [40.4 kB] Get:3 http://ftpmaster.internal/ubuntu bionic/main armhf bsdmainutils armhf 11.1.2ubuntu1 [177 kB] Get:4 http://ftpmaster.internal/ubuntu bionic/main armhf groff-base armhf 1.22.3-10 [1013 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main armhf libpipeline1 armhf 1.5.0-1 [21.1 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main armhf man-db armhf 2.8.2-1 [993 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/main armhf libmagic-mgc armhf 1:5.32-2 [184 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/main armhf libmagic1 armhf 1:5.32-2 [62.7 kB] Get:9 http://ftpmaster.internal/ubuntu bionic/main armhf file armhf 1:5.32-2 [21.5 kB] Get:10 http://ftpmaster.internal/ubuntu bionic/main armhf libglib2.0-0 armhf 2.56.0-4ubuntu1 [1015 kB] Get:11 http://ftpmaster.internal/ubuntu bionic/main armhf libicu60 armhf 60.2-3ubuntu3 [7797 kB] Get:12 http://ftpmaster.internal/ubuntu bionic/main armhf libxml2 armhf 2.9.4+dfsg1-6.1ubuntu1 [567 kB] Get:13 http://ftpmaster.internal/ubuntu bionic/main armhf gettext-base armhf 0.19.8.1-6 [46.2 kB] Get:14 http://ftpmaster.internal/ubuntu bionic/main armhf libsigsegv2 armhf 2.12-1 [14.0 kB] Get:15 http://ftpmaster.internal/ubuntu bionic/main armhf m4 armhf 1.4.18-1 [181 kB] Get:16 http://ftpmaster.internal/ubuntu bionic/main armhf autoconf all 2.69-11 [322 kB] Get:17 http://ftpmaster.internal/ubuntu bionic/main armhf autotools-dev all 20180224.1 [39.6 kB] Get:18 http://ftpmaster.internal/ubuntu bionic/main armhf automake all 1:1.15.1-3ubuntu2 [509 kB] Get:19 http://ftpmaster.internal/ubuntu bionic/main armhf autopoint all 0.19.8.1-6 [412 kB] Get:20 http://ftpmaster.internal/ubuntu bionic/main armhf libtool all 2.4.6-2 [194 kB] Get:21 http://ftpmaster.internal/ubuntu bionic/main armhf dh-autoreconf all 17 [15.8 kB] Get:22 http://ftpmaster.internal/ubuntu bionic/main armhf libarchive-zip-perl all 1.60-1 [83.9 kB] Get:23 http://ftpmaster.internal/ubuntu bionic/main armhf libfile-stripnondeterminism-perl all 0.040-1.1~build1 [13.8 kB] Get:24 http://ftpmaster.internal/ubuntu bionic/main armhf libtimedate-perl all 2.3000-2 [37.5 kB] Get:25 http://ftpmaster.internal/ubuntu bionic/main armhf dh-strip-nondeterminism all 0.040-1.1~build1 [5208 B] Get:26 http://ftpmaster.internal/ubuntu bionic/main armhf libcroco3 armhf 0.6.12-2 [69.4 kB] Get:27 http://ftpmaster.internal/ubuntu bionic/main armhf gettext armhf 0.19.8.1-6 [833 kB] Get:28 http://ftpmaster.internal/ubuntu bionic/main armhf intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:29 http://ftpmaster.internal/ubuntu bionic/main armhf po-debconf all 1.0.20 [232 kB] Get:30 http://ftpmaster.internal/ubuntu bionic/main armhf debhelper all 11.1.6ubuntu1 [902 kB] Get:31 http://ftpmaster.internal/ubuntu bionic/main armhf libtool-bin armhf 2.4.6-2 [79.5 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 15.9 MB in 1s (23.5 MB/s) (Reading database ... 12738 files and directories currently installed.) Removing pkg-create-dbgsym (0.73) ... Selecting previously unselected package libbsd0:armhf. (Reading database ... 12729 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.8.7-1_armhf.deb ... Unpacking libbsd0:armhf (0.8.7-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2ubuntu1_armhf.deb ... Unpacking bsdmainutils (11.1.2ubuntu1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.3-10_armhf.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../03-libpipeline1_1.5.0-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.0-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.8.2-1_armhf.deb ... Unpacking man-db (2.8.2-1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.32-2_armhf.deb ... Unpacking libmagic-mgc (1:5.32-2) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../06-libmagic1_1%3a5.32-2_armhf.deb ... Unpacking libmagic1:armhf (1:5.32-2) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.32-2_armhf.deb ... Unpacking file (1:5.32-2) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../08-libglib2.0-0_2.56.0-4ubuntu1_armhf.deb ... Unpacking libglib2.0-0:armhf (2.56.0-4ubuntu1) ... Selecting previously unselected package libicu60:armhf. Preparing to unpack .../09-libicu60_60.2-3ubuntu3_armhf.deb ... Unpacking libicu60:armhf (60.2-3ubuntu3) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../10-libxml2_2.9.4+dfsg1-6.1ubuntu1_armhf.deb ... Unpacking libxml2:armhf (2.9.4+dfsg1-6.1ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../11-gettext-base_0.19.8.1-6_armhf.deb ... Unpacking gettext-base (0.19.8.1-6) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../12-libsigsegv2_2.12-1_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.18-1_armhf.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.15.1-3ubuntu2_all.deb ... Unpacking automake (1:1.15.1-3ubuntu2) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.19.8.1-6_all.deb ... Unpacking autopoint (0.19.8.1-6) ... Selecting previously unselected package libtool. Preparing to unpack .../18-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../19-dh-autoreconf_17_all.deb ... Unpacking dh-autoreconf (17) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../20-libarchive-zip-perl_1.60-1_all.deb ... Unpacking libarchive-zip-perl (1.60-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_0.040-1.1~build1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.040-1.1~build1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../22-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../23-dh-strip-nondeterminism_0.040-1.1~build1_all.deb ... Unpacking dh-strip-nondeterminism (0.040-1.1~build1) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../24-libcroco3_0.6.12-2_armhf.deb ... Unpacking libcroco3:armhf (0.6.12-2) ... Selecting previously unselected package gettext. Preparing to unpack .../25-gettext_0.19.8.1-6_armhf.deb ... Unpacking gettext (0.19.8.1-6) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../26-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../27-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../28-debhelper_11.1.6ubuntu1_all.deb ... Unpacking debhelper (11.1.6ubuntu1) ... Selecting previously unselected package libtool-bin. Preparing to unpack .../29-libtool-bin_2.4.6-2_armhf.deb ... Unpacking libtool-bin (2.4.6-2) ... Selecting previously unselected package sbuild-build-depends-ladr-dummy. Preparing to unpack .../30-sbuild-build-depends-ladr-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-ladr-dummy (0.invalid.0) ... Setting up libicu60:armhf (60.2-3ubuntu3) ... Setting up libarchive-zip-perl (1.60-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libsigsegv2:armhf (2.12-1) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:armhf (2.56.0-4ubuntu1) ... No schema files found: doing nothing. Setting up gettext-base (0.19.8.1-6) ... Setting up libpipeline1:armhf (1.5.0-1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:armhf (0.8.7-1) ... Setting up libxml2:armhf (2.9.4+dfsg1-6.1ubuntu1) ... Setting up libmagic-mgc (1:5.32-2) ... Setting up libmagic1:armhf (1:5.32-2) ... Setting up libcroco3:armhf (0.6.12-2) ... Processing triggers for libc-bin (2.27-0ubuntu3) ... Setting up autotools-dev (20180224.1) ... Setting up bsdmainutils (11.1.2ubuntu1) ... 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 autopoint (0.19.8.1-6) ... Setting up libfile-stripnondeterminism-perl (0.040-1.1~build1) ... Setting up gettext (0.19.8.1-6) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.32-2) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.15.1-3ubuntu2) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.8.2-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libtool (2.4.6-2) ... Setting up libtool-bin (2.4.6-2) ... Setting up po-debconf (1.0.20) ... Setting up dh-autoreconf (17) ... Setting up dh-strip-nondeterminism (0.040-1.1~build1) ... Setting up debhelper (11.1.6ubuntu1) ... Setting up sbuild-build-depends-ladr-dummy (0.invalid.0) ... (Reading database ... 14596 files and directories currently installed.) Purging configuration files for pkg-create-dbgsym (0.73) ... Processing triggers for libc-bin (2.27-0ubuntu3) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-101-generic arm64 (armv7l) Toolchain package versions: binutils_2.30-13ubuntu1 dpkg-dev_1.19.0.5ubuntu1 g++-7_7.3.0-14ubuntu1 gcc-7_7.3.0-14ubuntu1 libc6-dev_2.27-0ubuntu3 libstdc++-7-dev_7.3.0-14ubuntu1 libstdc++6_8-20180402-1ubuntu1 linux-libc-dev_4.15.0-14.15 Package versions: adduser_3.116ubuntu1 advancecomp_2.1-1 apt_1.6~beta1 apt-transport-https_1.6~beta1 autoconf_2.69-11 automake_1:1.15.1-3ubuntu2 autopoint_0.19.8.1-6 autotools-dev_20180224.1 base-files_10ubuntu1 base-passwd_3.5.44 bash_4.4.18-1ubuntu1 binutils_2.30-13ubuntu1 binutils-arm-linux-gnueabihf_2.30-13ubuntu1 binutils-common_2.30-13ubuntu1 bsdmainutils_11.1.2ubuntu1 bsdutils_1:2.31.1-0.4ubuntu3 build-essential_12.4ubuntu1 bzip2_1.0.6-8.1 ca-certificates_20170717 coreutils_8.28-1ubuntu1 cpp_4:7.3.0-2ubuntu1 cpp-7_7.3.0-14ubuntu1 dash_0.5.8-2.10 debconf_1.5.66 debhelper_11.1.6ubuntu1 debianutils_4.8.4 dh-autoreconf_17 dh-strip-nondeterminism_0.040-1.1~build1 diffutils_1:3.6-1 dirmngr_2.2.4-1ubuntu1 dmsetup_2:1.02.145-4.1ubuntu2 dpkg_1.19.0.5ubuntu1 dpkg-dev_1.19.0.5ubuntu1 e2fslibs_1.44.1-1 e2fsprogs_1.44.1-1 fakeroot_1.22-2ubuntu1 fdisk_2.31.1-0.4ubuntu3 file_1:5.32-2 findutils_4.6.0+git+20170828-2 g++_4:7.3.0-2ubuntu1 g++-7_7.3.0-14ubuntu1 gcc_4:7.3.0-2ubuntu1 gcc-7_7.3.0-14ubuntu1 gcc-7-base_7.3.0-14ubuntu1 gcc-8-base_8-20180402-1ubuntu1 gettext_0.19.8.1-6 gettext-base_0.19.8.1-6 gnupg_2.2.4-1ubuntu1 gnupg-agent_2.2.4-1ubuntu1 gnupg-l10n_2.2.4-1ubuntu1 gnupg-utils_2.2.4-1ubuntu1 gpg_2.2.4-1ubuntu1 gpg-agent_2.2.4-1ubuntu1 gpg-wks-client_2.2.4-1ubuntu1 gpg-wks-server_2.2.4-1ubuntu1 gpgconf_2.2.4-1ubuntu1 gpgsm_2.2.4-1ubuntu1 gpgv_2.2.4-1ubuntu1 grep_3.1-2 groff-base_1.22.3-10 gzip_1.6-5ubuntu1 hostname_3.20 init_1.51 init-system-helpers_1.51 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.12-4ubuntu4 libapt-pkg5.0_1.6~beta1 libarchive-zip-perl_1.60-1 libargon2-0_0~20161029-1.1 libasan4_7.3.0-14ubuntu1 libasn1-8-heimdal_7.5.0+dfsg-1 libassuan0_2.5.1-2 libatomic1_8-20180402-1ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.2-1ubuntu1 libaudit1_1:2.8.2-1ubuntu1 libbinutils_2.30-13ubuntu1 libblkid1_2.31.1-0.4ubuntu3 libbsd0_0.8.7-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.27-0ubuntu3 libc-dev-bin_2.27-0ubuntu3 libc6_2.27-0ubuntu3 libc6-dev_2.27-0ubuntu3 libcap-ng0_0.7.7-3.1 libcap2_1:2.25-1.2 libcc1-0_8-20180402-1ubuntu1 libcilkrts5_7.3.0-14ubuntu1 libcom-err2_1.44.1-1 libcomerr2_1.44.1-1 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.1-0ubuntu2 libcryptsetup4_2:1.7.3-4ubuntu1 libcurl3-gnutls_7.58.0-2ubuntu3 libdb5.3_5.3.28-13.1 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu2 libdpkg-perl_1.19.0.5ubuntu1 libext2fs2_1.44.1-1 libfakeroot_1.22-2ubuntu1 libfdisk1_2.31.1-0.4ubuntu3 libffi6_3.2.1-8 libfile-stripnondeterminism-perl_0.040-1.1~build1 libgcc-7-dev_7.3.0-14ubuntu1 libgcc1_1:8-20180402-1ubuntu1 libgcrypt20_1.8.1-4ubuntu1 libgdbm-compat4_1.14.1-6 libgdbm3_1.8.3-14 libgdbm5_1.14.1-6 libglib2.0-0_2.56.0-4ubuntu1 libgmp10_2:6.1.2+dfsg-2 libgnutls30_3.5.18-1ubuntu1 libgomp1_8-20180402-1ubuntu1 libgpg-error0_1.27-6 libgssapi-krb5-2_1.16-2build1 libgssapi3-heimdal_7.5.0+dfsg-1 libhcrypto4-heimdal_7.5.0+dfsg-1 libheimbase1-heimdal_7.5.0+dfsg-1 libheimntlm0-heimdal_7.5.0+dfsg-1 libhogweed4_3.4-1 libhx509-5-heimdal_7.5.0+dfsg-1 libicu60_60.2-3ubuntu3 libidn11_1.33-2.1ubuntu1 libidn2-0_2.0.4-1.1build2 libip4tc0_1.6.1-2ubuntu2 libisl15_0.18-4 libisl19_0.19-1 libjson-c3_0.12.1-1.3 libk5crypto3_1.16-2build1 libkeyutils1_1.5.9-9.2ubuntu1 libkmod2_24-1ubuntu3 libkrb5-26-heimdal_7.5.0+dfsg-1 libkrb5-3_1.16-2build1 libkrb5support0_1.16-2build1 libksba8_1.3.5-2 libldap-2.4-2_2.4.45+dfsg-1ubuntu1 libldap-common_2.4.45+dfsg-1ubuntu1 liblockfile-bin_1.14-1.1 liblockfile1_1.14-1.1 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-2 libmagic1_1:5.32-2 libmount1_2.31.1-0.4ubuntu3 libmpc3_1.1.0-1 libmpfr4_3.1.6-1 libmpfr6_4.0.1-1 libncurses5_6.1-1ubuntu1 libncursesw5_6.1-1ubuntu1 libnettle6_3.4-1 libnghttp2-14_1.30.0-1 libnpth0_1.5-3 libp11-kit0_0.23.9-2 libpam-modules_1.1.8-3.6ubuntu1 libpam-modules-bin_1.1.8-3.6ubuntu1 libpam-runtime_1.1.8-3.6ubuntu1 libpam0g_1.1.8-3.6ubuntu1 libpcre3_2:8.39-9 libperl5.26_5.26.1-5 libpipeline1_1.5.0-1 libpng16-16_1.6.34-1 libprocps6_2:3.3.12-3ubuntu1 libpsl5_0.19.1-5build1 libreadline7_7.0-3 libroken18-heimdal_7.5.0+dfsg-1 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~101-g0780600+dfsg-3ubuntu2 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3ubuntu2 libseccomp2_2.3.1-2.1ubuntu4 libselinux1_2.7-2build2 libsemanage-common_2.7-2build2 libsemanage1_2.7-2build2 libsepol1_2.7-1 libsigsegv2_2.12-1 libslang2_2.3.1a-3ubuntu1 libsmartcols1_2.31.1-0.4ubuntu3 libsqlite3-0_3.22.0-1 libss2_1.44.1-1 libssl1.0.0_1.0.2n-1ubuntu5 libssl1.1_1.1.0g-2ubuntu3 libstdc++-7-dev_7.3.0-14ubuntu1 libstdc++6_8-20180402-1ubuntu1 libsystemd0_237-3ubuntu7 libtasn1-6_4.13-2 libtimedate-perl_2.3000-2 libtinfo5_6.1-1ubuntu1 libtool_2.4.6-2 libtool-bin_2.4.6-2 libubsan0_7.3.0-14ubuntu1 libudev1_237-3ubuntu7 libunistring0_0.9.3-5.2ubuntu1 libunistring2_0.9.9-0ubuntu1 libusb-0.1-4_2:0.1.12-31 libustr-1.0-1_1.0.4-6 libuuid1_2.31.1-0.4ubuntu3 libwind0-heimdal_7.5.0+dfsg-1 libxml2_2.9.4+dfsg1-6.1ubuntu1 linux-libc-dev_4.15.0-14.15 lockfile-progs_0.1.17build1 login_1:4.5-1ubuntu1 lsb-base_9.20170808ubuntu1 m4_1.4.18-1 make_4.1-9.1 man-db_2.8.2-1 mawk_1.3.3-17ubuntu2 mount_2.31.1-0.4ubuntu3 multiarch-support_2.27-0ubuntu3 ncurses-base_6.1-1ubuntu1 ncurses-bin_6.1-1ubuntu1 openssl_1.1.0g-2ubuntu3 optipng_0.7.6-1.1 passwd_1:4.5-1ubuntu1 patch_2.7.6-1 perl_5.26.1-5 perl-base_5.26.1-5 perl-modules-5.26_5.26.1-5 pinentry-curses_1.1.0-1 pkgbinarymangler_135 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-3ubuntu1 readline-common_7.0-3 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-ladr-dummy_0.invalid.0 sed_4.4-2 sensible-utils_0.0.12 systemd_237-3ubuntu7 systemd-sysv_237-3ubuntu7 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu1 tar_1.29b-2 tzdata_2018d-1 ubuntu-keyring_2018.02.28 util-linux_2.31.1-0.4ubuntu3 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Tue Apr 3 17:43:06 2018 UTC gpgv: using RSA key 397A4810EEB133068C2E8B7AF664D256B4691A7D gpgv: issuer "rbalint@ubuntu.com" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./ladr_0.0.200911a-2.1build1.dsc dpkg-source: info: extracting ladr in ladr-0.0.200911a dpkg-source: info: unpacking ladr_0.0.200911a.orig.tar.gz dpkg-source: info: unpacking ladr_0.0.200911a-2.1build1.debian.tar.xz dpkg-source: info: applying 01-libtoolise.patch dpkg-source: info: applying 03-no-2.5isms.patch Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-14531462 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-14531462 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-14531462 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package ladr dpkg-buildpackage: info: source version 0.0.200911a-2.1build1 dpkg-buildpackage: info: source distribution bionic dpkg-source --before-build ladr-0.0.200911a dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh clean dh: Compatibility levels before 9 are deprecated (level 7 in use) dh_auto_clean dh_auto_clean: Compatibility levels before 9 are deprecated (level 7 in use) make -j1 realclean make[1]: Entering directory '/<>' make clean make[2]: Entering directory '/<>' cd ladr && make realclean make[3]: Entering directory '/<>/ladr' libtool --mode=clean /bin/rm -f *.lo *.la make[3]: Leaving directory '/<>/ladr' cd apps.src && make realclean make[3]: Entering directory '/<>/apps.src' libtool --mode=clean /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs make[3]: Leaving directory '/<>/apps.src' cd mace4.src && make realclean make[3]: Entering directory '/<>/mace4.src' libtool --mode=clean /bin/rm -f *.o *.a mace4 make[3]: Leaving directory '/<>/mace4.src' cd provers.src && make realclean make[3]: Entering directory '/<>/provers.src' libtool --mode=clean /bin/rm -f *.o prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr make[3]: Leaving directory '/<>/provers.src' make[2]: Leaving directory '/<>' /bin/rm -f bin/* make[1]: Leaving directory '/<>' debian/rules override_dh_clean make[1]: Entering directory '/<>' /usr/bin/make realclean make[2]: Entering directory '/<>' /usr/bin/make clean make[3]: Entering directory '/<>' cd ladr && /usr/bin/make realclean make[4]: Entering directory '/<>/ladr' libtool --mode=clean /bin/rm -f *.lo *.la make[4]: Leaving directory '/<>/ladr' cd apps.src && /usr/bin/make realclean make[4]: Entering directory '/<>/apps.src' libtool --mode=clean /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs make[4]: Leaving directory '/<>/apps.src' cd mace4.src && /usr/bin/make realclean make[4]: Entering directory '/<>/mace4.src' libtool --mode=clean /bin/rm -f *.o *.a mace4 make[4]: Leaving directory '/<>/mace4.src' cd provers.src && /usr/bin/make realclean make[4]: Entering directory '/<>/provers.src' libtool --mode=clean /bin/rm -f *.o prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr make[4]: Leaving directory '/<>/provers.src' make[3]: Leaving directory '/<>' /bin/rm -f bin/* make[2]: Leaving directory '/<>' dh_clean dh_clean: Compatibility levels before 9 are deprecated (level 7 in use) make[1]: Leaving directory '/<>' debian/rules build-arch dh build-arch dh: Compatibility levels before 9 are deprecated (level 7 in use) dh_update_autotools_config -a dh_auto_configure -a dh_auto_configure: Compatibility levels before 9 are deprecated (level 7 in use) debian/rules override_dh_auto_build make[1]: Entering directory '/<>' dh_auto_build -- all dh_auto_build: Compatibility levels before 9 are deprecated (level 7 in use) make -j1 all make[2]: Entering directory '/<>' cd ladr && make lib make[3]: Entering directory '/<>/ladr' make libladr.la make[4]: Entering directory '/<>/ladr' libtool --mode=compile gcc -c -O -Wall -o order.lo order.c libtool: compile: gcc -c -O -Wall order.c -fPIC -DPIC -o .libs/order.o libtool: compile: gcc -c -O -Wall order.c -o order.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clock.lo clock.c libtool: compile: gcc -c -O -Wall clock.c -fPIC -DPIC -o .libs/clock.o libtool: compile: gcc -c -O -Wall clock.c -o clock.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o nonport.lo nonport.c libtool: compile: gcc -c -O -Wall nonport.c -fPIC -DPIC -o .libs/nonport.o libtool: compile: gcc -c -O -Wall nonport.c -o nonport.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o fatal.lo fatal.c libtool: compile: gcc -c -O -Wall fatal.c -fPIC -DPIC -o .libs/fatal.o libtool: compile: gcc -c -O -Wall fatal.c -o fatal.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o ibuffer.lo ibuffer.c libtool: compile: gcc -c -O -Wall ibuffer.c -fPIC -DPIC -o .libs/ibuffer.o libtool: compile: gcc -c -O -Wall ibuffer.c -o ibuffer.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o memory.lo memory.c libtool: compile: gcc -c -O -Wall memory.c -fPIC -DPIC -o .libs/memory.o libtool: compile: gcc -c -O -Wall memory.c -o memory.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o hash.lo hash.c libtool: compile: gcc -c -O -Wall hash.c -fPIC -DPIC -o .libs/hash.o libtool: compile: gcc -c -O -Wall hash.c -o hash.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o string.lo string.c libtool: compile: gcc -c -O -Wall string.c -fPIC -DPIC -o .libs/string.o libtool: compile: gcc -c -O -Wall string.c -o string.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o strbuf.lo strbuf.c libtool: compile: gcc -c -O -Wall strbuf.c -fPIC -DPIC -o .libs/strbuf.o libtool: compile: gcc -c -O -Wall strbuf.c -o strbuf.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o glist.lo glist.c libtool: compile: gcc -c -O -Wall glist.c -fPIC -DPIC -o .libs/glist.o libtool: compile: gcc -c -O -Wall glist.c -o glist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o options.lo options.c libtool: compile: gcc -c -O -Wall options.c -fPIC -DPIC -o .libs/options.o libtool: compile: gcc -c -O -Wall options.c -o options.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o symbols.lo symbols.c libtool: compile: gcc -c -O -Wall symbols.c -fPIC -DPIC -o .libs/symbols.o symbols.c: In function ‘declare_base_symbols’: symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] int sn; ^~ libtool: compile: gcc -c -O -Wall symbols.c -o symbols.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o avltree.lo avltree.c libtool: compile: gcc -c -O -Wall avltree.c -fPIC -DPIC -o .libs/avltree.o libtool: compile: gcc -c -O -Wall avltree.c -o avltree.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o term.lo term.c libtool: compile: gcc -c -O -Wall term.c -fPIC -DPIC -o .libs/term.o libtool: compile: gcc -c -O -Wall term.c -o term.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o termflag.lo termflag.c libtool: compile: gcc -c -O -Wall termflag.c -fPIC -DPIC -o .libs/termflag.o libtool: compile: gcc -c -O -Wall termflag.c -o termflag.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o listterm.lo listterm.c libtool: compile: gcc -c -O -Wall listterm.c -fPIC -DPIC -o .libs/listterm.o libtool: compile: gcc -c -O -Wall listterm.c -o listterm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o tlist.lo tlist.c libtool: compile: gcc -c -O -Wall tlist.c -fPIC -DPIC -o .libs/tlist.o libtool: compile: gcc -c -O -Wall tlist.c -o tlist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o flatterm.lo flatterm.c libtool: compile: gcc -c -O -Wall flatterm.c -fPIC -DPIC -o .libs/flatterm.o libtool: compile: gcc -c -O -Wall flatterm.c -o flatterm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o multiset.lo multiset.c libtool: compile: gcc -c -O -Wall multiset.c -fPIC -DPIC -o .libs/multiset.o libtool: compile: gcc -c -O -Wall multiset.c -o multiset.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o termorder.lo termorder.c libtool: compile: gcc -c -O -Wall termorder.c -fPIC -DPIC -o .libs/termorder.o libtool: compile: gcc -c -O -Wall termorder.c -o termorder.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o parse.lo parse.c libtool: compile: gcc -c -O -Wall parse.c -fPIC -DPIC -o .libs/parse.o libtool: compile: gcc -c -O -Wall parse.c -o parse.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o accanon.lo accanon.c libtool: compile: gcc -c -O -Wall accanon.c -fPIC -DPIC -o .libs/accanon.o libtool: compile: gcc -c -O -Wall accanon.c -o accanon.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o unify.lo unify.c libtool: compile: gcc -c -O -Wall unify.c -fPIC -DPIC -o .libs/unify.o libtool: compile: gcc -c -O -Wall unify.c -o unify.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o fpalist.lo fpalist.c libtool: compile: gcc -c -O -Wall fpalist.c -fPIC -DPIC -o .libs/fpalist.o libtool: compile: gcc -c -O -Wall fpalist.c -o fpalist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o fpa.lo fpa.c libtool: compile: gcc -c -O -Wall fpa.c -fPIC -DPIC -o .libs/fpa.o libtool: compile: gcc -c -O -Wall fpa.c -o fpa.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o discrim.lo discrim.c libtool: compile: gcc -c -O -Wall discrim.c -fPIC -DPIC -o .libs/discrim.o libtool: compile: gcc -c -O -Wall discrim.c -o discrim.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o discrimb.lo discrimb.c libtool: compile: gcc -c -O -Wall discrimb.c -fPIC -DPIC -o .libs/discrimb.o discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] Flat2 check_flat2(Flat2 f) ^~~~~~~~~~~ libtool: compile: gcc -c -O -Wall discrimb.c -o discrimb.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o discrimw.lo discrimw.c libtool: compile: gcc -c -O -Wall discrimw.c -fPIC -DPIC -o .libs/discrimw.o discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] Flat check_flat(Flat f) ^~~~~~~~~~ libtool: compile: gcc -c -O -Wall discrimw.c -o discrimw.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o dioph.lo dioph.c libtool: compile: gcc -c -O -Wall dioph.c -fPIC -DPIC -o .libs/dioph.o libtool: compile: gcc -c -O -Wall dioph.c -o dioph.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o btu.lo btu.c libtool: compile: gcc -c -O -Wall btu.c -fPIC -DPIC -o .libs/btu.o libtool: compile: gcc -c -O -Wall btu.c -o btu.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o btm.lo btm.c libtool: compile: gcc -c -O -Wall btm.c -fPIC -DPIC -o .libs/btm.o libtool: compile: gcc -c -O -Wall btm.c -o btm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o mindex.lo mindex.c libtool: compile: gcc -c -O -Wall mindex.c -fPIC -DPIC -o .libs/mindex.o mindex.c: In function ‘mindex_retrieve_next’: mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] Trail tr; ^~ libtool: compile: gcc -c -O -Wall mindex.c -o mindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o basic.lo basic.c libtool: compile: gcc -c -O -Wall basic.c -fPIC -DPIC -o .libs/basic.o libtool: compile: gcc -c -O -Wall basic.c -o basic.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o attrib.lo attrib.c libtool: compile: gcc -c -O -Wall attrib.c -fPIC -DPIC -o .libs/attrib.o libtool: compile: gcc -c -O -Wall attrib.c -o attrib.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o formula.lo formula.c libtool: compile: gcc -c -O -Wall formula.c -fPIC -DPIC -o .libs/formula.o libtool: compile: gcc -c -O -Wall formula.c -o formula.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o definitions.lo definitions.c libtool: compile: gcc -c -O -Wall definitions.c -fPIC -DPIC -o .libs/definitions.o libtool: compile: gcc -c -O -Wall definitions.c -o definitions.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o literals.lo literals.c libtool: compile: gcc -c -O -Wall literals.c -fPIC -DPIC -o .libs/literals.o libtool: compile: gcc -c -O -Wall literals.c -o literals.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o topform.lo topform.c libtool: compile: gcc -c -O -Wall topform.c -fPIC -DPIC -o .libs/topform.o libtool: compile: gcc -c -O -Wall topform.c -o topform.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clist.lo clist.c libtool: compile: gcc -c -O -Wall clist.c -fPIC -DPIC -o .libs/clist.o libtool: compile: gcc -c -O -Wall clist.c -o clist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clauseid.lo clauseid.c libtool: compile: gcc -c -O -Wall clauseid.c -fPIC -DPIC -o .libs/clauseid.o libtool: compile: gcc -c -O -Wall clauseid.c -o clauseid.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clauses.lo clauses.c libtool: compile: gcc -c -O -Wall clauses.c -fPIC -DPIC -o .libs/clauses.o libtool: compile: gcc -c -O -Wall clauses.c -o clauses.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o just.lo just.c libtool: compile: gcc -c -O -Wall just.c -fPIC -DPIC -o .libs/just.o libtool: compile: gcc -c -O -Wall just.c -o just.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o cnf.lo cnf.c libtool: compile: gcc -c -O -Wall cnf.c -fPIC -DPIC -o .libs/cnf.o libtool: compile: gcc -c -O -Wall cnf.c -o cnf.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clausify.lo clausify.c libtool: compile: gcc -c -O -Wall clausify.c -fPIC -DPIC -o .libs/clausify.o libtool: compile: gcc -c -O -Wall clausify.c -o clausify.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o parautil.lo parautil.c libtool: compile: gcc -c -O -Wall parautil.c -fPIC -DPIC -o .libs/parautil.o libtool: compile: gcc -c -O -Wall parautil.c -o parautil.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o pindex.lo pindex.c libtool: compile: gcc -c -O -Wall pindex.c -fPIC -DPIC -o .libs/pindex.o libtool: compile: gcc -c -O -Wall pindex.c -o pindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o compress.lo compress.c libtool: compile: gcc -c -O -Wall compress.c -fPIC -DPIC -o .libs/compress.o libtool: compile: gcc -c -O -Wall compress.c -o compress.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o maximal.lo maximal.c libtool: compile: gcc -c -O -Wall maximal.c -fPIC -DPIC -o .libs/maximal.o libtool: compile: gcc -c -O -Wall maximal.c -o maximal.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o lindex.lo lindex.c libtool: compile: gcc -c -O -Wall lindex.c -fPIC -DPIC -o .libs/lindex.o libtool: compile: gcc -c -O -Wall lindex.c -o lindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o weight.lo weight.c libtool: compile: gcc -c -O -Wall weight.c -fPIC -DPIC -o .libs/weight.o libtool: compile: gcc -c -O -Wall weight.c -o weight.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o weight2.lo weight2.c libtool: compile: gcc -c -O -Wall weight2.c -fPIC -DPIC -o .libs/weight2.o libtool: compile: gcc -c -O -Wall weight2.c -o weight2.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o int_code.lo int_code.c libtool: compile: gcc -c -O -Wall int_code.c -fPIC -DPIC -o .libs/int_code.o libtool: compile: gcc -c -O -Wall int_code.c -o int_code.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o features.lo features.c libtool: compile: gcc -c -O -Wall features.c -fPIC -DPIC -o .libs/features.o libtool: compile: gcc -c -O -Wall features.c -o features.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o di_tree.lo di_tree.c libtool: compile: gcc -c -O -Wall di_tree.c -fPIC -DPIC -o .libs/di_tree.o libtool: compile: gcc -c -O -Wall di_tree.c -o di_tree.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o fastparse.lo fastparse.c libtool: compile: gcc -c -O -Wall fastparse.c -fPIC -DPIC -o .libs/fastparse.o fastparse.c: In function ‘fast_read_term’: fastparse.c:186:7: warning: format not a string literal and no format arguments [-Wformat-security] fprintf(stderr, s); ^~~~~~~ fastparse.c:187:7: warning: format not a string literal and no format arguments [-Wformat-security] fprintf(stdout, s); ^~~~~~~ libtool: compile: gcc -c -O -Wall fastparse.c -o fastparse.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o random.lo random.c libtool: compile: gcc -c -O -Wall random.c -fPIC -DPIC -o .libs/random.o libtool: compile: gcc -c -O -Wall random.c -o random.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o subsume.lo subsume.c libtool: compile: gcc -c -O -Wall subsume.c -fPIC -DPIC -o .libs/subsume.o libtool: compile: gcc -c -O -Wall subsume.c -o subsume.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clause_misc.lo clause_misc.c libtool: compile: gcc -c -O -Wall clause_misc.c -fPIC -DPIC -o .libs/clause_misc.o libtool: compile: gcc -c -O -Wall clause_misc.c -o clause_misc.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clause_eval.lo clause_eval.c libtool: compile: gcc -c -O -Wall clause_eval.c -fPIC -DPIC -o .libs/clause_eval.o libtool: compile: gcc -c -O -Wall clause_eval.c -o clause_eval.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o complex.lo complex.c libtool: compile: gcc -c -O -Wall complex.c -fPIC -DPIC -o .libs/complex.o complex.c: In function ‘complex4_p1’: complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] BOOL dummy; ^~~~~ libtool: compile: gcc -c -O -Wall complex.c -o complex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o dollar.lo dollar.c libtool: compile: gcc -c -O -Wall dollar.c -fPIC -DPIC -o .libs/dollar.o libtool: compile: gcc -c -O -Wall dollar.c -o dollar.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o flatdemod.lo flatdemod.c libtool: compile: gcc -c -O -Wall flatdemod.c -fPIC -DPIC -o .libs/flatdemod.o flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: flatdemod.c:122:16: warning: comparison between ‘BOOL {aka enum }’ and ‘enum ’ [-Wenum-compare] if (status == BACKTRACK) { ^~ flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] Discrim dd = NULL; ^~ flatdemod.c:167:16: warning: comparison between ‘BOOL {aka enum }’ and ‘enum ’ [-Wenum-compare] if (status == GO) { ^~ libtool: compile: gcc -c -O -Wall flatdemod.c -o flatdemod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o demod.lo demod.c libtool: compile: gcc -c -O -Wall demod.c -fPIC -DPIC -o .libs/demod.o demod.c: In function ‘demod1’: demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] Term result; ^~~~~~ libtool: compile: gcc -c -O -Wall demod.c -o demod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clash.lo clash.c libtool: compile: gcc -c -O -Wall clash.c -fPIC -DPIC -o .libs/clash.o clash.c: In function ‘clash_recurse’: clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] else if (!p->clashable | p->clashed) ^~~~~~~~~~~~~ libtool: compile: gcc -c -O -Wall clash.c -o clash.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o resolve.lo resolve.c libtool: compile: gcc -c -O -Wall resolve.c -fPIC -DPIC -o .libs/resolve.o libtool: compile: gcc -c -O -Wall resolve.c -o resolve.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o paramod.lo paramod.c libtool: compile: gcc -c -O -Wall paramod.c -fPIC -DPIC -o .libs/paramod.o paramod.c: In function ‘para_into’: paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { libtool: compile: gcc -c -O -Wall paramod.c -o paramod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o backdemod.lo backdemod.c libtool: compile: gcc -c -O -Wall backdemod.c -fPIC -DPIC -o .libs/backdemod.o libtool: compile: gcc -c -O -Wall backdemod.c -o backdemod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o hints.lo hints.c libtool: compile: gcc -c -O -Wall hints.c -fPIC -DPIC -o .libs/hints.o libtool: compile: gcc -c -O -Wall hints.c -o hints.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o ac_redun.lo ac_redun.c libtool: compile: gcc -c -O -Wall ac_redun.c -fPIC -DPIC -o .libs/ac_redun.o libtool: compile: gcc -c -O -Wall ac_redun.c -o ac_redun.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o xproofs.lo xproofs.c libtool: compile: gcc -c -O -Wall xproofs.c -fPIC -DPIC -o .libs/xproofs.o libtool: compile: gcc -c -O -Wall xproofs.c -o xproofs.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o ivy.lo ivy.c libtool: compile: gcc -c -O -Wall ivy.c -fPIC -DPIC -o .libs/ivy.o ivy.c: In function ‘factor2_instances’: ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] Literals l1i, l2i, lit; ^~~ libtool: compile: gcc -c -O -Wall ivy.c -o ivy.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o interp.lo interp.c libtool: compile: gcc -c -O -Wall interp.c -fPIC -DPIC -o .libs/interp.o interp.c: In function ‘transpose_binary’: interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] int i, rc; ^~ libtool: compile: gcc -c -O -Wall interp.c -o interp.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o std_options.lo std_options.c libtool: compile: gcc -c -O -Wall std_options.c -fPIC -DPIC -o .libs/std_options.o libtool: compile: gcc -c -O -Wall std_options.c -o std_options.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o banner.lo banner.c libtool: compile: gcc -c -O -Wall banner.c -fPIC -DPIC -o .libs/banner.o libtool: compile: gcc -c -O -Wall banner.c -o banner.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o ioutil.lo ioutil.c libtool: compile: gcc -c -O -Wall ioutil.c -fPIC -DPIC -o .libs/ioutil.o libtool: compile: gcc -c -O -Wall ioutil.c -o ioutil.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o tptp_trans.lo tptp_trans.c libtool: compile: gcc -c -O -Wall tptp_trans.c -fPIC -DPIC -o .libs/tptp_trans.o libtool: compile: gcc -c -O -Wall tptp_trans.c -o tptp_trans.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o top_input.lo top_input.c libtool: compile: gcc -c -O -Wall top_input.c -fPIC -DPIC -o .libs/top_input.o libtool: compile: gcc -c -O -Wall top_input.c -o top_input.o >/dev/null 2>&1 libtool --mode=link gcc -rpath /usr/lib -version-info 4:0:0 -o libladr.la order.lo clock.lo nonport.lo fatal.lo ibuffer.lo memory.lo hash.lo string.lo strbuf.lo glist.lo options.lo symbols.lo avltree.lo term.lo termflag.lo listterm.lo tlist.lo flatterm.lo multiset.lo termorder.lo parse.lo accanon.lo unify.lo fpalist.lo fpa.lo discrim.lo discrimb.lo discrimw.lo dioph.lo btu.lo btm.lo mindex.lo basic.lo attrib.lo formula.lo definitions.lo literals.lo topform.lo clist.lo clauseid.lo clauses.lo just.lo cnf.lo clausify.lo parautil.lo pindex.lo compress.lo maximal.lo lindex.lo weight.lo weight2.lo int_code.lo features.lo di_tree.lo fastparse.lo random.lo subsume.lo clause_misc.lo clause_eval.lo complex.lo dollar.lo flatdemod.lo demod.lo clash.lo resolve.lo paramod.lo backdemod.lo hints.lo ac_redun.lo xproofs.lo ivy.lo interp.lo std_options.lo banner.lo ioutil.lo tptp_trans.lo top_input.lo -lm libtool: link: gcc -shared -fPIC -DPIC .libs/order.o .libs/clock.o .libs/nonport.o .libs/fatal.o .libs/ibuffer.o .libs/memory.o .libs/hash.o .libs/string.o .libs/strbuf.o .libs/glist.o .libs/options.o .libs/symbols.o .libs/avltree.o .libs/term.o .libs/termflag.o .libs/listterm.o .libs/tlist.o .libs/flatterm.o .libs/multiset.o .libs/termorder.o .libs/parse.o .libs/accanon.o .libs/unify.o .libs/fpalist.o .libs/fpa.o .libs/discrim.o .libs/discrimb.o .libs/discrimw.o .libs/dioph.o .libs/btu.o .libs/btm.o .libs/mindex.o .libs/basic.o .libs/attrib.o .libs/formula.o .libs/definitions.o .libs/literals.o .libs/topform.o .libs/clist.o .libs/clauseid.o .libs/clauses.o .libs/just.o .libs/cnf.o .libs/clausify.o .libs/parautil.o .libs/pindex.o .libs/compress.o .libs/maximal.o .libs/lindex.o .libs/weight.o .libs/weight2.o .libs/int_code.o .libs/features.o .libs/di_tree.o .libs/fastparse.o .libs/random.o .libs/subsume.o .libs/clause_misc.o .libs/clause_eval.o .libs/complex.o .libs/dollar.o .libs/flatdemod.o .libs/demod.o .libs/clash.o .libs/resolve.o .libs/paramod.o .libs/backdemod.o .libs/hints.o .libs/ac_redun.o .libs/xproofs.o .libs/ivy.o .libs/interp.o .libs/std_options.o .libs/banner.o .libs/ioutil.o .libs/tptp_trans.o .libs/top_input.o -lm -Wl,-soname -Wl,libladr.so.4 -o .libs/libladr.so.4.0.0 libtool: link: (cd ".libs" && rm -f "libladr.so.4" && ln -s "libladr.so.4.0.0" "libladr.so.4") libtool: link: (cd ".libs" && rm -f "libladr.so" && ln -s "libladr.so.4.0.0" "libladr.so") libtool: link: ar cru .libs/libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib .libs/libladr.a libtool: link: ( cd ".libs" && rm -f "libladr.la" && ln -s "../libladr.la" "libladr.la" ) make[4]: Leaving directory '/<>/ladr' make[3]: Leaving directory '/<>/ladr' cd mace4.src && make all make[3]: Entering directory '/<>/mace4.src' cd ../ladr && make libladr.la make[4]: Entering directory '/<>/ladr' make[4]: 'libladr.la' is up to date. make[4]: Leaving directory '/<>/ladr' make clean make[4]: Entering directory '/<>/mace4.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory '/<>/mace4.src' make libmace4.a make[4]: Entering directory '/<>/mace4.src' gcc -O -Wall -c -o estack.o estack.c gcc -O -Wall -c -o util.o util.c gcc -O -Wall -c -o print.o print.c print.c: In function ‘p_model’: print.c:114:6: warning: format not a string literal and no format arguments [-Wformat-security] printf(s2); ^~~~~~ print.c:119:8: warning: format not a string literal and no format arguments [-Wformat-security] printf(s3); ^~~~~~ print.c:137:4: warning: format not a string literal and no format arguments [-Wformat-security] printf(s2); ^~~~~~ print.c:145:8: warning: format not a string literal and no format arguments [-Wformat-security] printf(s3); ^~~~~~ gcc -O -Wall -c -o syms.o syms.c gcc -O -Wall -c -o ground.o ground.c gcc -O -Wall -c -o arithmetic.o arithmetic.c gcc -O -Wall -c -o select.o select.c select.c: In function ‘select_concentric_band’: select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] int select_concentric_band(min_id, max_id, max_constrained) ^~~~~~~~~~~~~~~~~~~~~~ select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] gcc -O -Wall -c -o propagate.o propagate.c gcc -O -Wall -c -o mstate.o mstate.c gcc -O -Wall -c -o negpropindex.o negpropindex.c gcc -O -Wall -c -o negprop.o negprop.c gcc -O -Wall -c -o ordercells.o ordercells.c gcc -O -Wall -c -o commandline.o commandline.c gcc -O -Wall -c -o msearch.o msearch.c msearch.c: In function ‘next_domain_size’: msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] int next_domain_size(n) ^~~~~~~~~~~~~~~~ ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o ar: creating libmace4.a make[4]: Leaving directory '/<>/mace4.src' gcc -O -Wall -c -o mace4.o mace4.c mace4.c: In function ‘init_attrs’: mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] int id; ^~ libtool --mode=link gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/mace4 mace4.o libmace4.a ../ladr/.libs/libladr.so libtool --mode=install /bin/cp mace4 `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/mace4 /<>/mace4.src/../bin/mace4 make[3]: Leaving directory '/<>/mace4.src' cd provers.src && make all make[3]: Entering directory '/<>/provers.src' cd ../ladr && make libladr make[4]: Entering directory '/<>/ladr' make libladr.la make[5]: Entering directory '/<>/ladr' make[5]: 'libladr.la' is up to date. make[5]: Leaving directory '/<>/ladr' make[4]: Leaving directory '/<>/ladr' make clean make[4]: Entering directory '/<>/provers.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory '/<>/provers.src' cd ../mace4.src && make libmace4 make[4]: Entering directory '/<>/mace4.src' make libmace4.a make[5]: Entering directory '/<>/mace4.src' make[5]: 'libmace4.a' is up to date. make[5]: Leaving directory '/<>/mace4.src' make[4]: Leaving directory '/<>/mace4.src' make clean make[4]: Entering directory '/<>/provers.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory '/<>/provers.src' gcc -O -Wall -c -o prover9.o prover9.c gcc -O -Wall -c -o index_lits.o index_lits.c gcc -O -Wall -c -o forward_subsume.o forward_subsume.c gcc -O -Wall -c -o demodulate.o demodulate.c gcc -O -Wall -c -o pred_elim.o pred_elim.c gcc -O -Wall -c -o unfold.o unfold.c gcc -O -Wall -c -o semantics.o semantics.c gcc -O -Wall -c -o giv_select.o giv_select.c gcc -O -Wall -c -o white_black.o white_black.c gcc -O -Wall -c -o actions.o actions.c gcc -O -Wall -c -o search.o search.c gcc -O -Wall -c -o utilities.o utilities.c gcc -O -Wall -c -o provers.o provers.c gcc -O -Wall -c -o foffer.o foffer.c libtool --mode=link gcc -O -Wall -lm -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o fof-prover9.o fof-prover9.c libtool --mode=link gcc -O -Wall -lm -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o autosketches4.o autosketches4.c libtool --mode=link gcc -O -Wall -lm -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o newauto.o newauto.c libtool --mode=link gcc -O -Wall -lm -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o newsax.o newsax.c libtool --mode=link gcc -O -Wall -lm -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c libtool --mode=link gcc -O -Wall -lm -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c tptp_to_ladr.c: In function ‘main’: tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -lm -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so libtool --mode=install /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/prover9 /<>/provers.src/../bin/prover9 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/fof-prover9 /<>/provers.src/../bin/fof-prover9 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/autosketches4 /<>/provers.src/../bin/autosketches4 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/newauto /<>/provers.src/../bin/newauto libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/newsax /<>/provers.src/../bin/newsax libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/ladr_to_tptp /<>/provers.src/../bin/ladr_to_tptp libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/tptp_to_ladr /<>/provers.src/../bin/tptp_to_ladr libtool --mode=clean /bin/rm -f *.o libtool: clean: /bin/rm -f actions.o libtool: clean: /bin/rm -f autosketches4.o libtool: clean: /bin/rm -f demodulate.o libtool: clean: /bin/rm -f fof-prover9.o libtool: clean: /bin/rm -f foffer.o libtool: clean: /bin/rm -f forward_subsume.o libtool: clean: /bin/rm -f giv_select.o libtool: clean: /bin/rm -f index_lits.o libtool: clean: /bin/rm -f ladr_to_tptp.o libtool: clean: /bin/rm -f newauto.o libtool: clean: /bin/rm -f newsax.o libtool: clean: /bin/rm -f pred_elim.o libtool: clean: /bin/rm -f prover9.o libtool: clean: /bin/rm -f provers.o libtool: clean: /bin/rm -f search.o libtool: clean: /bin/rm -f semantics.o libtool: clean: /bin/rm -f tptp_to_ladr.o libtool: clean: /bin/rm -f unfold.o libtool: clean: /bin/rm -f utilities.o libtool: clean: /bin/rm -f white_black.o libtool: clean: rmdir .libs >/dev/null 2>&1 make[3]: Leaving directory '/<>/provers.src' cd apps.src && make all make[3]: Entering directory '/<>/apps.src' cd ../ladr && make libladr.la make[4]: Entering directory '/<>/ladr' make[4]: 'libladr.la' is up to date. make[4]: Leaving directory '/<>/ladr' gcc -O -Wall -c -o latfilter.o latfilter.c libtool --mode=link gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/latfilter latfilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o olfilter.o olfilter.c libtool --mode=link gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/olfilter olfilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o clausefilter.o clausefilter.c clausefilter.c: In function ‘main’: clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/clausefilter clausefilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o idfilter.o idfilter.c libtool --mode=link gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/idfilter idfilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o renamer.o renamer.c renamer.c: In function ‘main’: renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o renamer renamer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/renamer renamer.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o unfast.o unfast.c libtool --mode=link gcc -O -Wall -o unfast unfast.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/unfast unfast.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o clausetester.o clausetester.c libtool --mode=link gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/clausetester clausetester.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o rewriter.o rewriter.c libtool --mode=link gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/rewriter rewriter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o isofilter0.o isofilter0.c libtool --mode=link gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/isofilter0 isofilter0.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o isofilter.o isofilter.c libtool --mode=link gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/isofilter isofilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o isofilter2.o isofilter2.c libtool --mode=link gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/isofilter2 isofilter2.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o dprofiles.o dprofiles.c libtool --mode=link gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/dprofiles dprofiles.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o interpfilter.o interpfilter.c interpfilter.c: In function ‘main’: interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/interpfilter interpfilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o upper-covers.o upper-covers.c libtool --mode=link gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/upper-covers upper-covers.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o miniscope.o miniscope.c libtool --mode=link gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/miniscope miniscope.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o interpformat.o interpformat.c libtool --mode=link gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/interpformat interpformat.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o prooftrans.o prooftrans.c prooftrans.c: In function ‘main’: prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] int label_attr, answer_attr, props_attr; ^~~~~~~~~~ prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] int rc, n, number_of_proofs; ^~ prooftrans.c:361:7: warning: ignoring return value of ‘fgets’, declared with attribute warn_unused_result [-Wunused-result] fgets(s, BUF_MAX, fin); ^~~~~~~~~~~~~~~~~~~~~~ libtool --mode=link gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/prooftrans prooftrans.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o mirror-flip.o mirror-flip.c mirror-flip.c: In function ‘main’: mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/mirror-flip mirror-flip.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o perm3.o perm3.c perm3.c: In function ‘main’: perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/perm3 perm3.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o sigtest.o sigtest.c sigtest.c: In function ‘main’: sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/sigtest sigtest.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o directproof.o directproof.c directproof.c: In function ‘main’: directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] int label_attr, answer_attr, props_attr; ^~~~~~~~~~ directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] int label_attr, answer_attr, props_attr; ^~~~~~~~~~ directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] int rc, n, number_of_proofs; ^~ directproof.c:706:7: warning: ignoring return value of ‘fgets’, declared with attribute warn_unused_result [-Wunused-result] fgets(s, BUF_MAX, fin); ^~~~~~~~~~~~~~~~~~~~~~ libtool --mode=link gcc -O -Wall -o directproof directproof.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/directproof directproof.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c test_clause_eval.c: In function ‘main’: test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/test_clause_eval test_clause_eval.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o test_complex.o test_complex.c libtool --mode=link gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/test_complex test_complex.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o complex.o complex.c complex.c: In function ‘complex4_p1’: complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] BOOL dummy; ^~~~~ complex.c: In function ‘main’: complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] double d; ^ libtool --mode=link gcc -O -Wall -o complex complex.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/complex complex.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c libtool --mode=link gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/gen_trc_defs gen_trc_defs.o ../ladr/.libs/libladr.so libtool --mode=install /bin/cp latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/latfilter /<>/apps.src/../bin/latfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/olfilter /<>/apps.src/../bin/olfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/clausefilter /<>/apps.src/../bin/clausefilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/idfilter /<>/apps.src/../bin/idfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/renamer /<>/apps.src/../bin/renamer libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/unfast /<>/apps.src/../bin/unfast libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/clausetester /<>/apps.src/../bin/clausetester libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/rewriter /<>/apps.src/../bin/rewriter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter0 /<>/apps.src/../bin/isofilter0 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter /<>/apps.src/../bin/isofilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter2 /<>/apps.src/../bin/isofilter2 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/dprofiles /<>/apps.src/../bin/dprofiles libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/interpfilter /<>/apps.src/../bin/interpfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/upper-covers /<>/apps.src/../bin/upper-covers libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/miniscope /<>/apps.src/../bin/miniscope libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/interpformat /<>/apps.src/../bin/interpformat libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/prooftrans /<>/apps.src/../bin/prooftrans libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/mirror-flip /<>/apps.src/../bin/mirror-flip libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/perm3 /<>/apps.src/../bin/perm3 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/sigtest /<>/apps.src/../bin/sigtest libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/directproof /<>/apps.src/../bin/directproof libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/test_clause_eval /<>/apps.src/../bin/test_clause_eval libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/test_complex /<>/apps.src/../bin/test_complex libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/complex /<>/apps.src/../bin/complex libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/gen_trc_defs /<>/apps.src/../bin/gen_trc_defs libtool --mode=clean /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs libtool: clean: /bin/rm -f clausefilter.o libtool: clean: /bin/rm -f clausetester.o libtool: clean: /bin/rm -f complex.o libtool: clean: /bin/rm -f directproof.o libtool: clean: /bin/rm -f dprofiles.o libtool: clean: /bin/rm -f gen_trc_defs.o libtool: clean: /bin/rm -f idfilter.o libtool: clean: /bin/rm -f interpfilter.o libtool: clean: /bin/rm -f interpformat.o libtool: clean: /bin/rm -f isofilter.o libtool: clean: /bin/rm -f isofilter0.o libtool: clean: /bin/rm -f isofilter2.o libtool: clean: /bin/rm -f latfilter.o libtool: clean: /bin/rm -f miniscope.o libtool: clean: /bin/rm -f mirror-flip.o libtool: clean: /bin/rm -f olfilter.o libtool: clean: /bin/rm -f perm3.o libtool: clean: /bin/rm -f prooftrans.o libtool: clean: /bin/rm -f renamer.o libtool: clean: /bin/rm -f rewriter.o libtool: clean: /bin/rm -f sigtest.o libtool: clean: /bin/rm -f test_clause_eval.o libtool: clean: /bin/rm -f test_complex.o libtool: clean: /bin/rm -f unfast.o libtool: clean: /bin/rm -f upper-covers.o libtool: clean: /bin/rm -f latfilter .libs/latfilter .libs/latfilterS.o .libs/lt-latfilter libtool: clean: /bin/rm -f olfilter .libs/olfilter .libs/olfilterS.o .libs/lt-olfilter libtool: clean: /bin/rm -f clausefilter .libs/clausefilter .libs/clausefilterS.o .libs/lt-clausefilter libtool: clean: /bin/rm -f idfilter .libs/idfilter .libs/idfilterS.o .libs/lt-idfilter libtool: clean: /bin/rm -f renamer .libs/renamer .libs/renamerS.o .libs/lt-renamer libtool: clean: /bin/rm -f unfast .libs/unfast .libs/unfastS.o .libs/lt-unfast libtool: clean: /bin/rm -f clausetester .libs/clausetester .libs/clausetesterS.o .libs/lt-clausetester libtool: clean: /bin/rm -f rewriter .libs/rewriter .libs/rewriterS.o .libs/lt-rewriter libtool: clean: /bin/rm -f isofilter0 .libs/isofilter0 .libs/isofilter0S.o .libs/lt-isofilter0 libtool: clean: /bin/rm -f isofilter .libs/isofilter .libs/isofilterS.o .libs/lt-isofilter libtool: clean: /bin/rm -f isofilter2 .libs/isofilter2 .libs/isofilter2S.o .libs/lt-isofilter2 libtool: clean: /bin/rm -f dprofiles .libs/dprofiles .libs/dprofilesS.o .libs/lt-dprofiles libtool: clean: /bin/rm -f interpfilter .libs/interpfilter .libs/interpfilterS.o .libs/lt-interpfilter libtool: clean: /bin/rm -f upper-covers .libs/upper-covers .libs/upper-coversS.o .libs/lt-upper-covers libtool: clean: /bin/rm -f miniscope .libs/miniscope .libs/miniscopeS.o .libs/lt-miniscope libtool: clean: /bin/rm -f interpformat .libs/interpformat .libs/interpformatS.o .libs/lt-interpformat libtool: clean: /bin/rm -f prooftrans .libs/prooftrans .libs/prooftransS.o .libs/lt-prooftrans libtool: clean: /bin/rm -f mirror-flip .libs/mirror-flip .libs/mirror-flipS.o .libs/lt-mirror-flip libtool: clean: /bin/rm -f perm3 .libs/perm3 .libs/perm3S.o .libs/lt-perm3 libtool: clean: /bin/rm -f sigtest .libs/sigtest .libs/sigtestS.o .libs/lt-sigtest libtool: clean: /bin/rm -f directproof .libs/directproof .libs/directproofS.o .libs/lt-directproof libtool: clean: /bin/rm -f test_clause_eval .libs/test_clause_eval .libs/test_clause_evalS.o .libs/lt-test_clause_eval libtool: clean: /bin/rm -f test_complex .libs/test_complex .libs/test_complexS.o .libs/lt-test_complex libtool: clean: /bin/rm -f complex .libs/complex .libs/complexS.o .libs/lt-complex libtool: clean: /bin/rm -f gen_trc_defs .libs/gen_trc_defs .libs/gen_trc_defsS.o .libs/lt-gen_trc_defs libtool: clean: rmdir .libs >/dev/null 2>&1 make[3]: Leaving directory '/<>/apps.src' /bin/cp -p utilities/* bin **** Now try 'make test1'. **** make[2]: Leaving directory '/<>' mkdir -p "/<>/usr/lib/`dpkg-architecture -qDEB_BUILD_MULTIARCH`" && libtool --mode=install install -m0644 ladr/libladr.la "/<>/usr/lib/`dpkg-architecture -qDEB_BUILD_MULTIARCH`" libtool: install: install -m0644 ladr/.libs/libladr.so.4.0.0 /<>/usr/lib/arm-linux-gnueabihf/libladr.so.4.0.0 libtool: install: (cd /<>/usr/lib/arm-linux-gnueabihf && { ln -s -f libladr.so.4.0.0 libladr.so.4 || { rm -f libladr.so.4 && ln -s libladr.so.4.0.0 libladr.so.4; }; }) libtool: install: (cd /<>/usr/lib/arm-linux-gnueabihf && { ln -s -f libladr.so.4.0.0 libladr.so || { rm -f libladr.so && ln -s libladr.so.4.0.0 libladr.so; }; }) libtool: install: install -m0644 ladr/.libs/libladr.lai /<>/usr/lib/arm-linux-gnueabihf/libladr.la libtool: install: install -m0644 ladr/.libs/libladr.a /<>/usr/lib/arm-linux-gnueabihf/libladr.a libtool: install: chmod 644 /<>/usr/lib/arm-linux-gnueabihf/libladr.a libtool: install: ranlib /<>/usr/lib/arm-linux-gnueabihf/libladr.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/<>' dh_auto_test -a dh_auto_test: Compatibility levels before 9 are deprecated (level 7 in use) fakeroot debian/rules binary-arch dh binary-arch dh: Compatibility levels before 9 are deprecated (level 7 in use) dh_testroot -a dh_prep -a dh_installdirs -a dh_installdirs: Compatibility levels before 9 are deprecated (level 7 in use) dh_auto_install -a dh_auto_install: Compatibility levels before 9 are deprecated (level 7 in use) dh_install -a dh_install: Compatibility levels before 9 are deprecated (level 7 in use) dh_installdocs -a dh_installdocs: Compatibility levels before 9 are deprecated (level 7 in use) dh_installchangelogs -a dh_installexamples -a dh_installexamples: Compatibility levels before 9 are deprecated (level 7 in use) dh_installman -a dh_installman: Compatibility levels before 9 are deprecated (level 7 in use) dh_perl -a dh_link -a dh_link: Compatibility levels before 9 are deprecated (level 7 in use) dh_strip_nondeterminism -a dh_compress -a dh_compress: Compatibility levels before 9 are deprecated (level 7 in use) dh_compress: Compatibility levels before 9 are deprecated (level 7 in use) dh_compress: Compatibility levels before 9 are deprecated (level 7 in use) dh_compress: Compatibility levels before 9 are deprecated (level 7 in use) dh_fixperms -a dh_missing -a dh_missing: Compatibility levels before 9 are deprecated (level 7 in use) dh_strip -a dh_strip: Compatibility levels before 9 are deprecated (level 7 in use) dh_strip: Compatibility levels before 9 are deprecated (level 7 in use) dh_strip: Compatibility levels before 9 are deprecated (level 7 in use) dh_strip: Compatibility levels before 9 are deprecated (level 7 in use) dh_makeshlibs -a dh_makeshlibs: Compatibility levels before 9 are deprecated (level 7 in use) dh_shlibdeps -a dh_shlibdeps: Compatibility levels before 9 are deprecated (level 7 in use) dh_shlibdeps: Compatibility levels before 9 are deprecated (level 7 in use) dh_shlibdeps: Compatibility levels before 9 are deprecated (level 7 in use) dh_shlibdeps: Compatibility levels before 9 are deprecated (level 7 in use) dh_installdeb -a dh_installdeb: Compatibility levels before 9 are deprecated (level 7 in use) dh_gencontrol -a dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 135 INFO: pkgstriptranslations version 135 INFO: pkgstriptranslations version 135 INFO: pkgstriptranslations version 135 pkgstriptranslations: processing libladr-dev (in debian/libladr-dev); do_strip: , oemstrip: pkgstriptranslations: processing ladr4-apps-dbgsym (in debian/.debhelper/ladr4-apps/dbgsym-root); do_strip: , oemstrip: pkgstriptranslations: processing libladr4-dbgsym (in debian/.debhelper/libladr4/dbgsym-root); do_strip: , oemstrip: pkgstriptranslations: processing prover9-dbgsym (in debian/.debhelper/prover9/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/libladr-dev/DEBIAN/control, package libladr-dev, directory debian/libladr-dev pkgstripfiles: processing control file: debian/.debhelper/prover9/dbgsym-root/DEBIAN/control, package prover9-dbgsym, directory debian/.debhelper/prover9/dbgsym-root pkgstripfiles: Running PNG optimization (using 4 cpus) for package prover9-dbgsym ... Searching for duplicated docs in dependency libladr4... pkgstripfiles: No PNG files. dpkg-deb: building package 'prover9-dbgsym' in 'debian/.debhelper/scratch-space/build-prover9/prover9-dbgsym_0.0.200911a-2.1build1_armhf.deb'. symlinking changelog.Debian.gz in libladr-dev to file in libladr4 pkgstripfiles: Running PNG optimization (using 4 cpus) for package libladr-dev ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libladr-dev' in '../libladr-dev_0.0.200911a-2.1build1_armhf.deb'. Renaming prover9-dbgsym_0.0.200911a-2.1build1_armhf.deb to prover9-dbgsym_0.0.200911a-2.1build1_armhf.ddeb INFO: pkgstriptranslations version 135 pkgstriptranslations: processing ladr4-apps (in debian/ladr4-apps); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/ladr4-apps/DEBIAN/control, package ladr4-apps, directory debian/ladr4-apps INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstriptranslations version 135 pkgstriptranslations: processing libladr4 (in debian/libladr4); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... pkgstripfiles: processing control file: debian/libladr4/DEBIAN/control, package libladr4, directory debian/libladr4 pkgstripfiles: Truncating usr/share/doc/libladr4/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package libladr4 ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libladr4' in '../libladr4_0.0.200911a-2.1build1_armhf.deb'. INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... pkgstripfiles: processing control file: debian/.debhelper/ladr4-apps/dbgsym-root/DEBIAN/control, package ladr4-apps-dbgsym, directory debian/.debhelper/ladr4-apps/dbgsym-root pkgstripfiles: Running PNG optimization (using 4 cpus) for package ladr4-apps-dbgsym ... pkgstripfiles: No PNG files. dpkg-deb: building package 'ladr4-apps-dbgsym' in 'debian/.debhelper/scratch-space/build-ladr4-apps/ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.deb'. Renaming ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.deb to ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.ddeb INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... pkgstripfiles: processing control file: debian/.debhelper/libladr4/dbgsym-root/DEBIAN/control, package libladr4-dbgsym, directory debian/.debhelper/libladr4/dbgsym-root pkgstripfiles: Running PNG optimization (using 4 cpus) for package libladr4-dbgsym ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libladr4-dbgsym' in 'debian/.debhelper/scratch-space/build-libladr4/libladr4-dbgsym_0.0.200911a-2.1build1_armhf.deb'. Renaming libladr4-dbgsym_0.0.200911a-2.1build1_armhf.deb to libladr4-dbgsym_0.0.200911a-2.1build1_armhf.ddeb INFO: pkgstriptranslations version 135 INFO: pkgstripfiles: waiting for lock (ladr4-apps) ... pkgstriptranslations: processing prover9 (in debian/prover9); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/prover9/DEBIAN/control, package prover9, directory debian/prover9 Searching for duplicated docs in dependency libladr4... symlinking changelog.Debian.gz in prover9 to file in libladr4 pkgstripfiles: Running PNG optimization (using 4 cpus) for package prover9 ... pkgstripfiles: No PNG files. dpkg-deb: building package 'prover9' in '../prover9_0.0.200911a-2.1build1_armhf.deb'. Searching for duplicated docs in dependency libladr4... symlinking changelog.Debian.gz in ladr4-apps to file in libladr4 pkgstripfiles: Running PNG optimization (using 4 cpus) for package ladr4-apps ... pkgstripfiles: No PNG files. dpkg-deb: building package 'ladr4-apps' in '../ladr4-apps_0.0.200911a-2.1build1_armhf.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../ladr_0.0.200911a-2.1build1_armhf.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build ladr-0.0.200911a dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20180404-2111 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ ladr_0.0.200911a-2.1build1_armhf.changes: ----------------------------------------- Format: 1.8 Date: Tue, 03 Apr 2018 12:31:30 +0000 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: armhf Version: 0.0.200911a-2.1build1 Distribution: bionic-proposed Urgency: high Maintainer: Launchpad Build Daemon Changed-By: Balint Reczey Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9 - theorem prover and countermodel generator Changes: ladr (0.0.200911a-2.1build1) bionic; urgency=high . * No change rebuild to pick up -fPIE compiler default Checksums-Sha1: 90abb26e73df6b1c89eb145d9e897bccf96b6211 29072 ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 834959c407b017067afd1968099ba9418101ee8e 109796 ladr4-apps_0.0.200911a-2.1build1_armhf.deb b8c45d1bf022aa6a360333592480ea3a6c2bbc24 6471 ladr_0.0.200911a-2.1build1_armhf.buildinfo b0659b861917ac5b7f0364857393c0ee6b0aacbf 238256 libladr-dev_0.0.200911a-2.1build1_armhf.deb 6f79e22fe8f835d0bcb9ca44e2b783a51cabcb73 24284 libladr4-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 3cf6b9631ecf9388bc38ba8af0d9641669da91d1 137772 libladr4_0.0.200911a-2.1build1_armhf.deb 3a6613908c4422bd1cf709ea637edb81d1fccdc6 15728 prover9-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 6e680662ed700e229e65acece235286f88d893a0 71568 prover9_0.0.200911a-2.1build1_armhf.deb Checksums-Sha256: ff580b3f75478803849c1ac40b000ea5e524ed8268b829809007bc6dddc74e77 29072 ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.ddeb ef6783065d77e17b2a68142e711ec52dcd838ddd35ffc94c59777d31b49ed2c6 109796 ladr4-apps_0.0.200911a-2.1build1_armhf.deb ffd4732885f4ead85ae96e8402fa31dd2290afbb6d92eaf70cd6d57084013da7 6471 ladr_0.0.200911a-2.1build1_armhf.buildinfo edc632937deb72ecf106c5edb0533983b2becac11b3a11b7671da4c1c35a1968 238256 libladr-dev_0.0.200911a-2.1build1_armhf.deb eb0d72d83d1b7ee3faa7a78c75103b2e22e6a58e2474b92b7f46752ccadb3a01 24284 libladr4-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 1b3901aba1b5201790f380ac22cf0ad671cfda1d794ef6dd49bcfa43cfd011d5 137772 libladr4_0.0.200911a-2.1build1_armhf.deb f09388af5179c2c9386311273af04645b792ab2322c9cbeb10cb1a3d06268ec3 15728 prover9-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 91fb9d09fdfb801737a7e22d5c64c2e455f2fa49e07257ec2023ef1f7426b078 71568 prover9_0.0.200911a-2.1build1_armhf.deb Files: 09602348dd103e786da9f1557fb236f3 29072 debug optional ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 2a20d5c7f4e62bb2059a3db2e99653e3 109796 math optional ladr4-apps_0.0.200911a-2.1build1_armhf.deb 3c805677b280dc751d86b966b88ef5bc 6471 math optional ladr_0.0.200911a-2.1build1_armhf.buildinfo 5d9281e7260968d67824eb7bb44bf90a 238256 libdevel optional libladr-dev_0.0.200911a-2.1build1_armhf.deb 16e2cfb733474a7d36e927f81b4d0f1b 24284 debug optional libladr4-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 1756a06f047968880c49d4ac9fc9e071 137772 libs optional libladr4_0.0.200911a-2.1build1_armhf.deb 292921b2bd4f5243b924bed854badbd9 15728 debug optional prover9-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 21eaf92130ffd9bcaca8c3fa74ea2612 71568 math optional prover9_0.0.200911a-2.1build1_armhf.deb Original-Maintainer: Debian QA Group +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ ladr4-apps_0.0.200911a-2.1build1_armhf.deb ------------------------------------------ new debian package, version 2.0. size 109796 bytes: control archive=1804 bytes. 898 bytes, 20 lines control 2081 bytes, 37 lines md5sums Package: ladr4-apps Source: ladr Version: 0.0.200911a-2.1build1 Architecture: armhf Maintainer: Ubuntu Developers Installed-Size: 717 Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200902a), python Recommends: prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Section: math Priority: optional Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: the LADR deduction library, miscellaneous applications LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. . This package provides miscellaneous LADR applications. Original-Maintainer: Debian QA Group drwxr-xr-x root/root 0 2018-04-03 12:31 ./ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/bin/ -rwxr-xr-x root/root 4795 2007-02-09 23:19 ./usr/bin/attack -rwxr-xr-x root/root 85324 2018-04-03 12:31 ./usr/bin/autosketches4 -rwxr-xr-x root/root 9936 2018-04-03 12:31 ./usr/bin/clausefilter -rwxr-xr-x root/root 9852 2018-04-03 12:31 ./usr/bin/clausetester -rwxr-xr-x root/root 5540 2018-04-03 12:31 ./usr/bin/complex -rwxr-xr-x root/root 13732 2018-04-03 12:31 ./usr/bin/directproof -rwxr-xr-x root/root 5672 2018-04-03 12:31 ./usr/bin/dprofiles -rwxr-xr-x root/root 85324 2018-04-03 12:31 ./usr/bin/fof-prover9 -rwxr-xr-x root/root 72 2008-01-11 20:11 ./usr/bin/get_givens -rwxr-xr-x root/root 190 2008-01-11 20:11 ./usr/bin/get_interps -rwxr-xr-x root/root 73 2008-01-11 20:11 ./usr/bin/get_kept -rwxr-xr-x root/root 11964 2018-04-03 12:31 ./usr/bin/gvizify -rwxr-xr-x root/root 10324 2018-04-03 12:31 ./usr/bin/idfilter -rwxr-xr-x root/root 10104 2018-04-03 12:31 ./usr/bin/interpfilter -rwxr-xr-x root/root 85324 2018-04-03 12:31 ./usr/bin/ladr_to_tptp -rwxr-xr-x root/root 6056 2018-04-03 12:31 ./usr/bin/latfilter -rwxr-xr-x root/root 5084 2007-05-30 19:04 ./usr/bin/looper -rwxr-xr-x root/root 5540 2018-04-03 12:31 ./usr/bin/miniscope -rwxr-xr-x root/root 5560 2018-04-03 12:31 ./usr/bin/mirror-flip -rwxr-xr-x root/root 85324 2018-04-03 12:31 ./usr/bin/newauto -rwxr-xr-x root/root 85324 2018-04-03 12:31 ./usr/bin/newsax -rwxr-xr-x root/root 10220 2018-04-03 12:31 ./usr/bin/olfilter -rwxr-xr-x root/root 9656 2018-04-03 12:31 ./usr/bin/perm3 -rwxr-xr-x root/root 5820 2018-04-03 12:31 ./usr/bin/renamer -rwxr-xr-x root/root 10264 2018-04-03 12:31 ./usr/bin/rewriter -rwxr-xr-x root/root 5548 2018-04-03 12:31 ./usr/bin/sigtest -rwxr-xr-x root/root 85324 2018-04-03 12:31 ./usr/bin/tptp_to_ladr -rwxr-xr-x root/root 5876 2018-04-03 12:31 ./usr/bin/unfast -rwxr-xr-x root/root 5812 2018-04-03 12:31 ./usr/bin/upper-covers drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/ladr4-apps/ -rw-r--r-- root/root 372 2012-12-12 16:44 ./usr/share/doc/ladr4-apps/README.Debian -rw-r--r-- root/root 1610 2008-01-29 22:02 ./usr/share/doc/ladr4-apps/README.directproof.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/doc/ladr4-apps/changelog.Debian.gz -> ../libladr4/changelog.Debian.gz -rw-r--r-- root/root 2136 2012-12-12 16:44 ./usr/share/doc/ladr4-apps/copyright drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/man/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/man/man1/ lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/attack.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/autosketches4.1.gz -> ladr4-apps.1.gz -rw-r--r-- root/root 600 2018-04-03 12:31 ./usr/share/man/man1/clausefilter.1.gz -rw-r--r-- root/root 554 2018-04-03 12:31 ./usr/share/man/man1/clausetester.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/complex.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/directproof.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/dprofiles.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/fof-prover9.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/get_givens.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/get_interps.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/get_kept.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/gvizify.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/idfilter.1.gz -> ladr4-apps.1.gz -rw-r--r-- root/root 599 2018-04-03 12:31 ./usr/share/man/man1/interpfilter.1.gz -rw-r--r-- root/root 506 2018-04-03 12:31 ./usr/share/man/man1/ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/ladr_to_tptp.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/latfilter.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/looper.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/miniscope.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/mirror-flip.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/newauto.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/newsax.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/olfilter.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/perm3.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/renamer.1.gz -> ladr4-apps.1.gz -rw-r--r-- root/root 783 2018-04-03 12:31 ./usr/share/man/man1/rewriter.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/sigtest.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/tptp_to_ladr.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/unfast.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/upper-covers.1.gz -> ladr4-apps.1.gz libladr-dev_0.0.200911a-2.1build1_armhf.deb ------------------------------------------- new debian package, version 2.0. size 238256 bytes: control archive=4540 bytes. 828 bytes, 20 lines control 10889 bytes, 158 lines md5sums Package: libladr-dev Source: ladr Version: 0.0.200911a-2.1build1 Architecture: armhf Maintainer: Ubuntu Developers Installed-Size: 1210 Depends: libladr4 (= 0.0.200911a-2.1build1) Section: libdevel Priority: optional Multi-Arch: same Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: the LADR deduction library, development files LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. . This package provides development support files for LADR. Original-Maintainer: Debian QA Group drwxr-xr-x root/root 0 2018-04-03 12:31 ./ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/include/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/include/ladr/ -rw-r--r-- root/root 1299 2009-02-25 15:59 ./usr/include/ladr/ac_redun.h -rw-r--r-- root/root 1392 2009-02-25 15:59 ./usr/include/ladr/accanon.h -rw-r--r-- root/root 3513 2009-02-25 15:59 ./usr/include/ladr/attrib.h -rw-r--r-- root/root 2691 2009-02-25 15:59 ./usr/include/ladr/avltree.h -rw-r--r-- root/root 1300 2009-02-25 15:59 ./usr/include/ladr/backdemod.h -rw-r--r-- root/root 1190 2009-02-25 15:59 ./usr/include/ladr/banner.h -rw-r--r-- root/root 1467 2009-02-25 15:59 ./usr/include/ladr/basic.h -rw-r--r-- root/root 1785 2009-02-25 15:59 ./usr/include/ladr/btm.h -rw-r--r-- root/root 1799 2009-02-25 15:59 ./usr/include/ladr/btu.h -rw-r--r-- root/root 1905 2009-02-25 15:59 ./usr/include/ladr/clash.h -rw-r--r-- root/root 1243 2009-02-25 15:59 ./usr/include/ladr/clause_eval.h -rw-r--r-- root/root 1490 2009-02-25 15:59 ./usr/include/ladr/clause_misc.h -rw-r--r-- root/root 1340 2009-02-25 15:59 ./usr/include/ladr/clauseid.h -rw-r--r-- root/root 1562 2009-07-09 21:35 ./usr/include/ladr/clauses.h -rw-r--r-- root/root 1255 2009-02-25 15:59 ./usr/include/ladr/clausify.h -rw-r--r-- root/root 3368 2009-02-25 15:59 ./usr/include/ladr/clist.h -rw-r--r-- root/root 2571 2009-02-25 15:59 ./usr/include/ladr/clock.h -rw-r--r-- root/root 1442 2009-02-25 15:59 ./usr/include/ladr/cnf.h -rw-r--r-- root/root 1263 2009-02-25 15:59 ./usr/include/ladr/complex.h -rw-r--r-- root/root 1180 2009-02-25 15:59 ./usr/include/ladr/compress.h -rw-r--r-- root/root 1464 2009-02-25 15:59 ./usr/include/ladr/definitions.h -rw-r--r-- root/root 1622 2009-02-25 15:59 ./usr/include/ladr/demod.h -rw-r--r-- root/root 1910 2009-02-25 15:59 ./usr/include/ladr/di_tree.h -rw-r--r-- root/root 2651 2009-02-25 15:59 ./usr/include/ladr/dioph.h -rw-r--r-- root/root 3392 2009-02-25 15:59 ./usr/include/ladr/discrim.h -rw-r--r-- root/root 1624 2009-04-10 23:04 ./usr/include/ladr/discrimb.h -rw-r--r-- root/root 1581 2009-02-25 15:59 ./usr/include/ladr/discrimw.h -rw-r--r-- root/root 1244 2009-02-25 15:59 ./usr/include/ladr/dollar.h -rw-r--r-- root/root 2271 2009-02-25 15:59 ./usr/include/ladr/fastparse.h -rw-r--r-- root/root 1183 2009-02-25 15:59 ./usr/include/ladr/fatal.h -rw-r--r-- root/root 1185 2009-02-25 15:59 ./usr/include/ladr/features.h -rw-r--r-- root/root 1663 2009-02-25 15:59 ./usr/include/ladr/flatdemod.h -rw-r--r-- root/root 2696 2009-04-10 16:25 ./usr/include/ladr/flatterm.h -rw-r--r-- root/root 4126 2009-02-25 15:59 ./usr/include/ladr/formula.h -rw-r--r-- root/root 2723 2009-02-25 15:59 ./usr/include/ladr/fpa.h -rw-r--r-- root/root 3009 2009-02-25 15:59 ./usr/include/ladr/fpalist.h -rw-r--r-- root/root 4670 2009-02-25 15:59 ./usr/include/ladr/glist.h -rw-r--r-- root/root 1464 2009-02-25 15:59 ./usr/include/ladr/hash.h -rw-r--r-- root/root 1126 2008-10-14 06:11 ./usr/include/ladr/header.h -rw-r--r-- root/root 1537 2009-02-25 15:59 ./usr/include/ladr/hints.h -rw-r--r-- root/root 1691 2009-02-25 15:59 ./usr/include/ladr/ibuffer.h -rw-r--r-- root/root 1221 2007-04-13 18:20 ./usr/include/ladr/index.h -rw-r--r-- root/root 1153 2009-02-25 15:59 ./usr/include/ladr/int_code.h -rw-r--r-- root/root 3618 2009-02-25 15:59 ./usr/include/ladr/interp.h -rw-r--r-- root/root 2883 2009-02-25 15:59 ./usr/include/ladr/ioutil.h -rw-r--r-- root/root 1159 2009-02-25 15:59 ./usr/include/ladr/ivy.h -rw-r--r-- root/root 6057 2009-02-25 15:59 ./usr/include/ladr/just.h -rw-r--r-- root/root 1079 2009-01-23 06:01 ./usr/include/ladr/ladr.h -rw-r--r-- root/root 2480 2009-02-25 15:59 ./usr/include/ladr/lindex.h -rw-r--r-- root/root 1623 2009-02-25 15:59 ./usr/include/ladr/listterm.h -rw-r--r-- root/root 3283 2009-02-25 15:59 ./usr/include/ladr/literals.h -rw-r--r-- root/root 1718 2009-02-25 15:59 ./usr/include/ladr/maximal.h -rw-r--r-- root/root 1743 2009-02-25 15:59 ./usr/include/ladr/memory.h -rw-r--r-- root/root 3867 2009-02-25 15:59 ./usr/include/ladr/mindex.h -rw-r--r-- root/root 1137 2009-02-25 15:59 ./usr/include/ladr/multiset.h -rw-r--r-- root/root 1361 2009-02-25 15:59 ./usr/include/ladr/nonport.h -rw-r--r-- root/root 4079 2009-02-25 15:59 ./usr/include/ladr/options.h -rw-r--r-- root/root 1839 2009-02-25 15:59 ./usr/include/ladr/order.h -rw-r--r-- root/root 1950 2009-02-25 15:59 ./usr/include/ladr/paramod.h -rw-r--r-- root/root 1821 2009-02-25 15:59 ./usr/include/ladr/parautil.h -rw-r--r-- root/root 2959 2009-03-17 17:04 ./usr/include/ladr/parse.h -rw-r--r-- root/root 2446 2009-02-25 15:59 ./usr/include/ladr/pindex.h -rw-r--r-- root/root 1870 2009-02-25 15:59 ./usr/include/ladr/random.h -rw-r--r-- root/root 2206 2009-02-25 15:59 ./usr/include/ladr/resolve.h -rw-r--r-- root/root 1185 2009-02-25 15:59 ./usr/include/ladr/std_options.h -rw-r--r-- root/root 2204 2009-02-25 15:59 ./usr/include/ladr/strbuf.h -rw-r--r-- root/root 1718 2009-02-25 15:59 ./usr/include/ladr/string.h -rw-r--r-- root/root 1661 2009-02-25 15:59 ./usr/include/ladr/subsume.h -rw-r--r-- root/root 6882 2009-02-25 15:59 ./usr/include/ladr/symbols.h -rw-r--r-- root/root 7690 2009-02-25 15:59 ./usr/include/ladr/term.h -rw-r--r-- root/root 1372 2009-02-25 15:59 ./usr/include/ladr/termflag.h -rw-r--r-- root/root 2010 2009-02-25 15:59 ./usr/include/ladr/termorder.h -rw-r--r-- root/root 1408 2009-02-25 15:59 ./usr/include/ladr/tlist.h -rw-r--r-- root/root 2202 2009-02-25 15:59 ./usr/include/ladr/top_input.h -rw-r--r-- root/root 4339 2009-02-25 15:59 ./usr/include/ladr/topform.h -rw-r--r-- root/root 1505 2009-02-25 15:59 ./usr/include/ladr/tptp_trans.h -rw-r--r-- root/root 6873 2009-02-25 15:59 ./usr/include/ladr/unify.h -rw-r--r-- root/root 1375 2009-02-25 15:59 ./usr/include/ladr/weight.h -rw-r--r-- root/root 1148 2009-02-25 15:59 ./usr/include/ladr/weight2.h -rw-r--r-- root/root 1399 2009-02-25 15:59 ./usr/include/ladr/xproofs.h drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/lib/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/lib/arm-linux-gnueabihf/ -rw-r--r-- root/root 520504 2018-04-03 12:31 ./usr/lib/arm-linux-gnueabihf/libladr.a drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/libladr-dev/ lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/doc/libladr-dev/changelog.Debian.gz -> ../libladr4/changelog.Debian.gz -rw-r--r-- root/root 2136 2012-12-12 16:44 ./usr/share/doc/libladr-dev/copyright drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/libladr-dev/html/ -rw-r--r-- root/root 3348 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/ac_redun.html -rw-r--r-- root/root 2251 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/accanon.html -rw-r--r-- root/root 11887 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/attrib.html -rw-r--r-- root/root 6222 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/avltree.html -rw-r--r-- root/root 2222 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/backdemod.html -rw-r--r-- root/root 1101 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/banner.html -rw-r--r-- root/root 3158 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/basic.html -rw-r--r-- root/root 4359 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/btm.html -rw-r--r-- root/root 4599 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/btu.html -rw-r--r-- root/root 3597 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clash.html -rw-r--r-- root/root 1579 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clause_eval.html -rw-r--r-- root/root 3597 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clause_misc.html -rw-r--r-- root/root 3032 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clauseid.html -rw-r--r-- root/root 3693 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clauses.html -rw-r--r-- root/root 3085 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clausify.html -rw-r--r-- root/root 11914 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clist.html -rw-r--r-- root/root 6152 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clock.html -rw-r--r-- root/root 4621 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/cnf.html -rw-r--r-- root/root 1663 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/compress.html -rw-r--r-- root/root 1991 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/definitions.html -rw-r--r-- root/root 2827 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/demod.html -rw-r--r-- root/root 3441 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/di_tree.html -rw-r--r-- root/root 5992 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/dioph.html -rw-r--r-- root/root 5204 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/discrim.html -rw-r--r-- root/root 4736 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/discrimb.html -rw-r--r-- root/root 4299 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/discrimw.html -rw-r--r-- root/root 4511 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/fastparse.html -rw-r--r-- root/root 1692 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/fatal.html -rw-r--r-- root/root 1788 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/features.html -rw-r--r-- root/root 3616 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/flatdemod.html -rw-r--r-- root/root 4362 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/flatterm.html -rw-r--r-- root/root 16911 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/formula.html -rw-r--r-- root/root 7804 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/fpa.html -rw-r--r-- root/root 4266 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/fpalist.html -rw-r--r-- root/root 18338 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/glist.html -rw-r--r-- root/root 2281 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/hash.html -rw-r--r-- root/root 2013 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/hints.html -rw-r--r-- root/root 2865 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/ibuffer.html -rw-r--r-- root/root 3136 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/index.html -rw-r--r-- root/root 1149 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/int_code.html -rw-r--r-- root/root 17256 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/interp.html -rw-r--r-- root/root 10408 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/ioutil.html -rw-r--r-- root/root 1206 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/ivy.html -rw-r--r-- root/root 14981 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/just.html -rw-r--r-- root/root 4294 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/lindex.html -rw-r--r-- root/root 4479 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/listterm.html -rw-r--r-- root/root 13298 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/literals.html -rw-r--r-- root/root 3397 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/maximal.html -rw-r--r-- root/root 3496 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/memory.html -rw-r--r-- root/root 10391 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/mindex.html -rw-r--r-- root/root 1148 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/multiset.html -rw-r--r-- root/root 1585 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/nonport.html -rw-r--r-- root/root 12258 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/options.html -rw-r--r-- root/root 2924 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/order.html -rw-r--r-- root/root 3109 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/paramod.html -rw-r--r-- root/root 5580 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/parautil.html -rw-r--r-- root/root 7267 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/parse.html -rw-r--r-- root/root 5042 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/pindex.html -rw-r--r-- root/root 3630 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/random.html -rw-r--r-- root/root 3818 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/resolve.html -rw-r--r-- root/root 4644 2006-09-13 21:54 ./usr/share/doc/libladr-dev/html/sos.html -rw-r--r-- root/root 1298 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/std_options.html -rw-r--r-- root/root 6816 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/strbuf.html -rw-r--r-- root/root 2906 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/string.html -rw-r--r-- root/root 4157 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/subsume.html -rw-r--r-- root/root 25956 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/symbols.html -rw-r--r-- root/root 25048 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/term.html -rw-r--r-- root/root 4026 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/termflag.html -rw-r--r-- root/root 5467 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/termorder.html -rw-r--r-- root/root 2063 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/tlist.html -rw-r--r-- root/root 4127 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/top_input.html -rw-r--r-- root/root 12404 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/topform.html -rw-r--r-- root/root 1889 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/tptp_trans.html -rw-r--r-- root/root 15379 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/unify.html -rw-r--r-- root/root 1346 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/weight.html -rw-r--r-- root/root 2443 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/xproofs.html libladr4_0.0.200911a-2.1build1_armhf.deb ---------------------------------------- new debian package, version 2.0. size 137772 bytes: control archive=7252 bytes. 703 bytes, 17 lines control 223 bytes, 3 lines md5sums 19 bytes, 1 lines shlibs 42267 bytes, 1281 lines symbols 74 bytes, 2 lines triggers Package: libladr4 Source: ladr Version: 0.0.200911a-2.1build1 Architecture: armhf Maintainer: Ubuntu Developers Installed-Size: 329 Depends: libc6 (>= 2.11) Section: libs Priority: optional Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: the LADR deduction library LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. Original-Maintainer: Debian QA Group drwxr-xr-x root/root 0 2018-04-03 12:31 ./ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/lib/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/lib/arm-linux-gnueabihf/ lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/lib/arm-linux-gnueabihf/libladr.so.4 -> libladr.so.4.0.0 -rw-r--r-- root/root 275620 2018-04-03 12:31 ./usr/lib/arm-linux-gnueabihf/libladr.so.4.0.0 drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/libladr4/ -rw-r--r-- root/root 1679 2018-04-03 12:31 ./usr/share/doc/libladr4/changelog.Debian.gz -rw-r--r-- root/root 2136 2012-12-12 16:44 ./usr/share/doc/libladr4/copyright prover9_0.0.200911a-2.1build1_armhf.deb --------------------------------------- new debian package, version 2.0. size 71568 bytes: control archive=1512 bytes. 1371 bytes, 30 lines control 1392 bytes, 20 lines md5sums Package: prover9 Source: ladr Version: 0.0.200911a-2.1build1 Architecture: armhf Maintainer: Ubuntu Developers Installed-Size: 219 Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200911a-1) Suggests: ladr4-apps (= 0.0.200911a-2.1build1), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Section: math Priority: optional Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: theorem prover and countermodel generator This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator. . Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. . Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9. Original-Maintainer: Debian QA Group drwxr-xr-x root/root 0 2018-04-03 12:31 ./ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/bin/ -rwxr-xr-x root/root 10332 2018-04-03 12:31 ./usr/bin/interpformat -rwxr-xr-x root/root 10084 2018-04-03 12:31 ./usr/bin/isofilter -rwxr-xr-x root/root 10040 2018-04-03 12:31 ./usr/bin/isofilter0 -rwxr-xr-x root/root 10084 2018-04-03 12:31 ./usr/bin/isofilter2 -rwxr-xr-x root/root 46504 2018-04-03 12:31 ./usr/bin/mace4 -rwxr-xr-x root/root 14156 2018-04-03 12:31 ./usr/bin/prooftrans -rwxr-xr-x root/root 85324 2018-04-03 12:31 ./usr/bin/prover9 drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/prover9/ lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/doc/prover9/changelog.Debian.gz -> ../libladr4/changelog.Debian.gz -rw-r--r-- root/root 2136 2012-12-12 16:44 ./usr/share/doc/prover9/copyright drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/prover9/examples/ drwxr-xr-x root/root 0 2007-10-22 19:56 ./usr/share/doc/prover9/examples/mace4.examples/ -rw-r--r-- root/root 80 2007-10-22 19:56 ./usr/share/doc/prover9/examples/mace4.examples/README -rw-r--r-- root/root 601 2006-07-12 21:34 ./usr/share/doc/prover9/examples/mace4.examples/group2.in -rw-r--r-- root/root 722 2007-10-22 19:53 ./usr/share/doc/prover9/examples/mace4.examples/rw1.in drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/doc/prover9/examples/prover9.examples/ -rw-r--r-- root/root 80 2007-10-22 19:54 ./usr/share/doc/prover9/examples/prover9.examples/README -rw-r--r-- root/root 496 2006-05-05 14:04 ./usr/share/doc/prover9/examples/prover9.examples/x2.hints -rw-r--r-- root/root 152 2006-07-12 21:29 ./usr/share/doc/prover9/examples/prover9.examples/x2.in -rw-r--r-- root/root 1560 2006-05-05 14:04 ./usr/share/doc/prover9/examples/prover9.examples/x2.out.gz drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/man/ drwxr-xr-x root/root 0 2018-04-03 12:31 ./usr/share/man/man1/ -rw-r--r-- root/root 774 2018-04-03 12:31 ./usr/share/man/man1/interpformat.1.gz -rw-r--r-- root/root 797 2018-04-03 12:31 ./usr/share/man/man1/isofilter.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/isofilter0.1.gz -> isofilter.1.gz lrwxrwxrwx root/root 0 2018-04-03 12:31 ./usr/share/man/man1/isofilter2.1.gz -> isofilter.1.gz -rw-r--r-- root/root 1812 2018-04-03 12:31 ./usr/share/man/man1/mace4.1.gz -rw-r--r-- root/root 838 2018-04-03 12:31 ./usr/share/man/man1/prooftrans.1.gz -rw-r--r-- root/root 750 2018-04-03 12:31 ./usr/share/man/man1/prover9.1.gz +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: armhf Build-Space: 20452 Build-Time: 115 Distribution: bionic-proposed Host Architecture: armhf Install-Time: 17 Job: ladr_0.0.200911a-2.1build1.dsc Machine Architecture: arm64 Package: ladr Package-Time: 134 Source-Version: 0.0.200911a-2.1build1 Space: 20452 Status: successful Version: 0.0.200911a-2.1build1 -------------------------------------------------------------------------------- Finished at 20180404-2111 Build needed 00:02:14, 20452k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14531462 Scanning for processes to kill in build PACKAGEBUILD-14531462 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14531462 Stopping target for build PACKAGEBUILD-14531462 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14531462 Removing build PACKAGEBUILD-14531462