Start: 2018-06-30 19:01:45 UTC [wheezy] Package: minlog Version: 4.0.99.20100221-5.2 Installed-Size: 8584 Maintainer: Freiric Barral Architecture: all Depends: plt-scheme | guile Recommends: emacs23 | emacs22 | emacsen Suggests: proofgeneral-minlog, quack-el Description: Proof assistant based on first order natural deduction calculus Homepage: http://www.minlog-system.de Description-md5: 5282cef3106afd8fdee9635a8a3692bd Section: math Priority: optional Filename: pool/main/m/minlog/minlog_4.0.99.20100221-5.2_all.deb Size: 2884278 MD5sum: c6aa2fdac3b9355dae48c8fcc42b1403 SHA1: e55bdfe6d7c22f21dbe752ccd2cdbd0937d1a204 SHA256: 0e8119c4ee6aeaefa926d5e23f45106a5f3db85633156012c8633c259ed71d2e [wheezy-lts] Package: minlog Version: 4.0.99.20100221-5.2 Installed-Size: 8584 Maintainer: Freiric Barral Architecture: all Depends: plt-scheme | guile Recommends: emacs23 | emacs22 | emacsen Suggests: proofgeneral-minlog, quack-el Description: Proof assistant based on first order natural deduction calculus Homepage: http://www.minlog-system.de Description-md5: 5282cef3106afd8fdee9635a8a3692bd Section: math Priority: optional Filename: pool/main/m/minlog/minlog_4.0.99.20100221-5.2_all.deb Size: 2884278 MD5sum: c6aa2fdac3b9355dae48c8fcc42b1403 SHA1: e55bdfe6d7c22f21dbe752ccd2cdbd0937d1a204 SHA256: 0e8119c4ee6aeaefa926d5e23f45106a5f3db85633156012c8633c259ed71d2e Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python2.7/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy -d wheezy-lts -B reference-chroot-metadata.dat --apt minlog=4.0.99.20100221-5.2 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 0.90~201806121501~0.89-1-g6355f063 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy -d wheezy-lts -B reference-chroot-metadata.dat --apt minlog=4.0.99.20100221-5.2 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 4.9.0-6-amd64 #1 SMP Debian 4.9.88-1+deb9u1 (2018-05-07) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpQ4WReR 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpQ4WReR 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.9s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/proc'] 0m1.9s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/proc'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/pts'] 0m1.9s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/pts'] 0m1.9s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/ptmx'] 0m1.9s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/ptmx'] 0m1.9s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/console'] 0m2.0s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/console'] 0m2.0s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/run/shm'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/run/shm'] 0m2.0s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ wheezy main 0m2.0s DEBUG: Created policy-rc.d and chmodded it. 0m2.0s DEBUG: Created resolv.conf. 0m2.0s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpQ4WReR/tmp/scripts/ 0m2.0s DEBUG: Copying scriptsdir /etc/piuparts/scripts-wheezy to /srv/piuparts.debian.org/tmp/tmpQ4WReR/tmp/scripts/ 0m2.0s INFO: Running scripts post_chroot_unpack 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', 'update'] 0m4.1s DUMP: Hit http://mirror-ubc.debian.org wheezy Release.gpg Hit http://mirror-ubc.debian.org wheezy Release Hit http://mirror-ubc.debian.org wheezy/main amd64 Packages Hit http://mirror-ubc.debian.org wheezy/main Translation-en Reading package lists... 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', 'update'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-yf', 'dist-upgrade'] 0m4.4s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-yf', 'dist-upgrade'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.6s DUMP: 0c96df6df725ee7ec7aebd2b6a77fb72 - 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.6s INFO: Running scripts post_setup 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_dummy_users'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_dummy_users'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_forbid_home'] 0m5.4s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_forbid_home'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.4s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' `/bin/sync' -> `true' 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_minimize'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_minimize'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m6.3s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... Suggested packages: perl-modules The following NEW packages will be installed: adduser ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 335 kB of archives. After this operation, 1327 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main adduser all 3.113+nmu3 [264 kB] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main ucf all 3.0025+nmu3 [70.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 335 kB in 0s (21.9 MB/s) Selecting previously unselected package adduser. (Reading database ... 6639 files and directories currently installed.) Unpacking adduser (from .../adduser_3.113+nmu3_all.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Setting up adduser (3.113+nmu3) ... Setting up ucf (3.0025+nmu3) ... 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_zz_backports'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_setup_zz_backports'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m6.3s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u3 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed findutils findutils 4.4.2-4 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u7 install ok installed gpgv gpgv 1.4.12-7+deb7u7 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed login login 1:4.1.5.1-1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u10 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed passwd passwd 1:4.1.5.1-1 install ok installed perl-base perl-base 5.14.2-21+deb7u3 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1 install ok installed tzdata tzdata 2016d-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m6.3s DEBUG: Loading chroot meta data from reference-chroot-metadata.dat 0m6.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m7.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m7.5s INFO: Running scripts is_testable 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/is_testable_uninstallable'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/is_testable_uninstallable'] 0m7.5s INFO: Running scripts pre_test 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_test_exceptions'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_test_exceptions'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_test_root_password'] 0m7.5s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_test_root_password'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'show', '--no-all-versions', 'minlog'] 0m7.5s DUMP: Package: minlog Version: 4.0.99.20100221-5.2 Installed-Size: 8584 Maintainer: Freiric Barral Architecture: all Depends: plt-scheme | guile Recommends: emacs23 | emacs22 | emacsen Suggests: proofgeneral-minlog, quack-el Description-en: Proof assistant based on first order natural deduction calculus intended to reason about computable functionals, using minimal rather than classical or intuitionistic logic. The main motivation behind MINLOG is to exploit the proofs-as-programs paradigm for program development and program verification. Proofs are in fact treated as first class objects which can be normalized. If a formula is existential then its proof can be used for reading off an instance of it, or changed appropriately for program development by proof transformation. To this end MINLOG is equipped with tools to extract functional programs directly from proof terms. This also applies to non-constructive proofs, using a refined A-translation. The system is supported by automatic proof search and normalization by evaluation as an efficient term rewriting device. . Minlog can be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-minlog package to be installed. Homepage: http://www.minlog-system.de Description-md5: 5282cef3106afd8fdee9635a8a3692bd Section: math Priority: optional Filename: pool/main/m/minlog/minlog_4.0.99.20100221-5.2_all.deb Size: 2884278 MD5sum: c6aa2fdac3b9355dae48c8fcc42b1403 SHA1: e55bdfe6d7c22f21dbe752ccd2cdbd0937d1a204 SHA256: 0e8119c4ee6aeaefa926d5e23f45106a5f3db85633156012c8633c259ed71d2e 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'show', '--no-all-versions', 'minlog'] 0m7.5s INFO: apt-cache knows about the following packages: minlog 0m7.5s INFO: Running scripts pre_install 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_database-server'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_database-server'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_exceptions'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_exceptions'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_extras'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_extras'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy'] 0m7.5s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian/ wheezy/main Translation-en 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror-ubc.debian.org Pinned packages: 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy', 'minlog'] 0m7.6s DUMP: minlog: Installed: (none) Candidate: 4.0.99.20100221-5.2 Version table: 4.0.99.20100221-5.2 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy', 'minlog'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-y', 'install', 'minlog'] 0m11.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: libffi5 plt-scheme racket racket-common Suggested packages: proofgeneral-minlog quack-el Recommended packages: emacs23 emacs22 emacsen racket-doc The following NEW packages will be installed: libffi5 minlog plt-scheme racket racket-common 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 48.5 MB of archives. After this operation, 155 MB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main libffi5 amd64 3.0.10-3 [24.8 kB] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main racket-common all 5.2.1+g6~92c8784+dfsg2-2+deb7u1 [41.7 MB] Get:3 http://mirror-ubc.debian.org/debian/ wheezy/main racket amd64 5.2.1+g6~92c8784+dfsg2-2+deb7u1 [3916 kB] Get:4 http://mirror-ubc.debian.org/debian/ wheezy/main plt-scheme all 5.2.1+g6~92c8784+dfsg2-2+deb7u1 [22.8 kB] Get:5 http://mirror-ubc.debian.org/debian/ wheezy/main minlog all 4.0.99.20100221-5.2 [2884 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 48.5 MB in 1s (41.1 MB/s) Selecting previously unselected package libffi5:amd64. (Reading database ... 6768 files and directories currently installed.) Unpacking libffi5:amd64 (from .../libffi5_3.0.10-3_amd64.deb) ... Selecting previously unselected package racket-common. Unpacking racket-common (from .../racket-common_5.2.1+g6~92c8784+dfsg2-2+deb7u1_all.deb) ... Selecting previously unselected package racket. Unpacking racket (from .../racket_5.2.1+g6~92c8784+dfsg2-2+deb7u1_amd64.deb) ... Selecting previously unselected package plt-scheme. Unpacking plt-scheme (from .../plt-scheme_5.2.1+g6~92c8784+dfsg2-2+deb7u1_all.deb) ... Selecting previously unselected package minlog. Unpacking minlog (from .../minlog_4.0.99.20100221-5.2_all.deb) ... Setting up libffi5:amd64 (3.0.10-3) ... Setting up racket-common (5.2.1+g6~92c8784+dfsg2-2+deb7u1) ... Setting up racket (5.2.1+g6~92c8784+dfsg2-2+deb7u1) ... Setting up plt-scheme (5.2.1+g6~92c8784+dfsg2-2+deb7u1) ... Setting up minlog (4.0.99.20100221-5.2) ... 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-y', 'install', 'minlog'] 0m11.7s INFO: Running scripts post_install 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_install_exceptions'] 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_install_exceptions'] 0m11.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m13.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m13.1s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpQ4WReR to wheezy-lts 0m13.1s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ wheezy main deb http://security.debian.org wheezy/updates main 0m13.1s INFO: Running scripts pre_distupgrade 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_exceptions'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_exceptions'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_wheezy'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_wheezy'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', 'update'] 0m15.6s DUMP: Hit http://mirror-ubc.debian.org wheezy Release.gpg Hit http://mirror-ubc.debian.org wheezy Release Hit http://mirror-ubc.debian.org wheezy/main amd64 Packages Hit http://mirror-ubc.debian.org wheezy/main Translation-en Get:1 http://security.debian.org wheezy/updates Release.gpg [1601 B] Get:2 http://security.debian.org wheezy/updates Release [52.3 kB] Get:3 http://security.debian.org wheezy/updates/main amd64 Packages [589 kB] Get:4 http://security.debian.org wheezy/updates/main Translation-en [338 kB] Fetched 981 kB in 1s (860 kB/s) Reading package lists... 0m15.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', 'update'] 0m15.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-yf', 'dist-upgrade'] 0m20.8s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: bash gnupg gpgv libc-bin libc6 libdb5.1 libffi5 login multiarch-support passwd perl-base sensible-utils tar tzdata 14 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 15.4 MB of archives. After this operation, 665 kB of additional disk space will be used. Get:1 http://security.debian.org/ wheezy/updates/main bash amd64 4.2+dfsg-0.1+deb7u4 [1499 kB] Get:2 http://security.debian.org/ wheezy/updates/main login amd64 1:4.1.5.1-1+deb7u1 [984 kB] Get:3 http://security.debian.org/ wheezy/updates/main perl-base amd64 5.14.2-21+deb7u6 [1534 kB] Get:4 http://security.debian.org/ wheezy/updates/main tar amd64 1.26+dfsg-0.1+deb7u1 [984 kB] Get:5 http://security.debian.org/ wheezy/updates/main libc-bin amd64 2.13-38+deb7u12 [1275 kB] Get:6 http://security.debian.org/ wheezy/updates/main libc6 amd64 2.13-38+deb7u12 [4226 kB] Get:7 http://security.debian.org/ wheezy/updates/main libdb5.1 amd64 5.1.29-5+deb7u1 [723 kB] Get:8 http://security.debian.org/ wheezy/updates/main libffi5 amd64 3.0.10-3+deb7u2 [25.5 kB] Get:9 http://security.debian.org/ wheezy/updates/main gpgv amd64 1.4.12-7+deb7u9 [229 kB] Get:10 http://security.debian.org/ wheezy/updates/main gnupg amd64 1.4.12-7+deb7u9 [1954 kB] Get:11 http://security.debian.org/ wheezy/updates/main passwd amd64 1:4.1.5.1-1+deb7u1 [1262 kB] Get:12 http://security.debian.org/ wheezy/updates/main sensible-utils all 0.0.7+deb7u1 [9000 B] Get:13 http://security.debian.org/ wheezy/updates/main tzdata all 2018e-0+deb7u1 [496 kB] Get:14 http://security.debian.org/ wheezy/updates/main multiarch-support amd64 2.13-38+deb7u12 [152 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 15.4 MB in 1s (11.0 MB/s) (Reading database ... 21339 files and directories currently installed.) Preparing to replace bash 4.2+dfsg-0.1+deb7u3 (using .../bash_4.2+dfsg-0.1+deb7u4_amd64.deb) ... Unpacking replacement bash ... Setting up bash (4.2+dfsg-0.1+deb7u4) ... 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 ... 21339 files and directories currently installed.) Preparing to replace login 1:4.1.5.1-1 (using .../login_1%3a4.1.5.1-1+deb7u1_amd64.deb) ... Unpacking replacement login ... Setting up login (1:4.1.5.1-1+deb7u1) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace perl-base 5.14.2-21+deb7u3 (using .../perl-base_5.14.2-21+deb7u6_amd64.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.14.2-21+deb7u6) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace tar 1.26+dfsg-0.1 (using .../tar_1.26+dfsg-0.1+deb7u1_amd64.deb) ... Unpacking replacement tar ... Setting up tar (1.26+dfsg-0.1+deb7u1) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace libc-bin 2.13-38+deb7u10 (using .../libc-bin_2.13-38+deb7u12_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-38+deb7u12) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace libc6:amd64 2.13-38+deb7u10 (using .../libc6_2.13-38+deb7u12_amd64.deb) ... Unpacking replacement libc6:amd64 ... Setting up libc6:amd64 (2.13-38+deb7u12) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace libdb5.1:amd64 5.1.29-5 (using .../libdb5.1_5.1.29-5+deb7u1_amd64.deb) ... Unpacking replacement libdb5.1:amd64 ... Setting up libdb5.1:amd64 (5.1.29-5+deb7u1) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace libffi5:amd64 3.0.10-3 (using .../libffi5_3.0.10-3+deb7u2_amd64.deb) ... Unpacking replacement libffi5:amd64 ... Preparing to replace gpgv 1.4.12-7+deb7u7 (using .../gpgv_1.4.12-7+deb7u9_amd64.deb) ... Unpacking replacement gpgv ... Setting up gpgv (1.4.12-7+deb7u9) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace gnupg 1.4.12-7+deb7u7 (using .../gnupg_1.4.12-7+deb7u9_amd64.deb) ... Unpacking replacement gnupg ... Setting up gnupg (1.4.12-7+deb7u9) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace passwd 1:4.1.5.1-1 (using .../passwd_1%3a4.1.5.1-1+deb7u1_amd64.deb) ... Unpacking replacement passwd ... Setting up passwd (1:4.1.5.1-1+deb7u1) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace sensible-utils 0.0.7 (using .../sensible-utils_0.0.7+deb7u1_all.deb) ... Unpacking replacement sensible-utils ... Setting up sensible-utils (0.0.7+deb7u1) ... (Reading database ... 21339 files and directories currently installed.) Preparing to replace tzdata 2016d-0+deb7u1 (using .../tzdata_2018e-0+deb7u1_all.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2018e-0+deb7u1) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Jun 30 19:02:05 UTC 2018. Universal Time is now: Sat Jun 30 19:02:05 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 21351 files and directories currently installed.) Preparing to replace multiarch-support 2.13-38+deb7u10 (using .../multiarch-support_2.13-38+deb7u12_amd64.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-38+deb7u12) ... Setting up libffi5:amd64 (3.0.10-3+deb7u2) ... 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-yf', 'dist-upgrade'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m20.9s DUMP: c16ce146adddf40566e495d132dec083 - 0m20.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m20.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'show', '--no-all-versions', 'minlog'] 0m21.0s DUMP: Package: minlog Version: 4.0.99.20100221-5.2 Installed-Size: 8584 Maintainer: Freiric Barral Architecture: all Depends: plt-scheme | guile Recommends: emacs23 | emacs22 | emacsen Suggests: proofgeneral-minlog, quack-el Description-en: Proof assistant based on first order natural deduction calculus intended to reason about computable functionals, using minimal rather than classical or intuitionistic logic. The main motivation behind MINLOG is to exploit the proofs-as-programs paradigm for program development and program verification. Proofs are in fact treated as first class objects which can be normalized. If a formula is existential then its proof can be used for reading off an instance of it, or changed appropriately for program development by proof transformation. To this end MINLOG is equipped with tools to extract functional programs directly from proof terms. This also applies to non-constructive proofs, using a refined A-translation. The system is supported by automatic proof search and normalization by evaluation as an efficient term rewriting device. . Minlog can be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-minlog package to be installed. Homepage: http://www.minlog-system.de Description-md5: 5282cef3106afd8fdee9635a8a3692bd Section: math Priority: optional Filename: pool/main/m/minlog/minlog_4.0.99.20100221-5.2_all.deb Size: 2884278 MD5sum: c6aa2fdac3b9355dae48c8fcc42b1403 SHA1: e55bdfe6d7c22f21dbe752ccd2cdbd0937d1a204 SHA256: 0e8119c4ee6aeaefa926d5e23f45106a5f3db85633156012c8633c259ed71d2e 0m21.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'show', '--no-all-versions', 'minlog'] 0m21.0s INFO: apt-cache knows about the following packages: minlog 0m21.0s INFO: Running scripts pre_install 0m21.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_database-server'] 0m21.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_database-server'] 0m21.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_exceptions'] 0m21.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_exceptions'] 0m21.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_extras'] 0m21.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_extras'] 0m21.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture'] 0m21.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture'] 0m21.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m21.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m21.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy'] 0m21.1s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org/ wheezy/updates/main Translation-en 500 http://security.debian.org/ wheezy/updates/main amd64 Packages release v=7.0,o=Debian,a=oldoldstable,n=wheezy,l=Debian-Security,c=main origin security.debian.org 500 http://mirror-ubc.debian.org/debian/ wheezy/main Translation-en 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror-ubc.debian.org Pinned packages: 0m21.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy'] 0m21.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy', 'minlog'] 0m21.1s DUMP: minlog: Installed: 4.0.99.20100221-5.2 Candidate: 4.0.99.20100221-5.2 Version table: *** 4.0.99.20100221-5.2 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 100 /var/lib/dpkg/status 0m21.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy', 'minlog'] 0m21.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-y', 'install', 'minlog'] 0m21.4s DUMP: Reading package lists... Building dependency tree... Reading state information... minlog is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-y', 'install', 'minlog'] 0m21.4s INFO: Running scripts post_install 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_install_exceptions'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_install_exceptions'] 0m21.4s INFO: Running scripts post_distupgrade 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_exceptions'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_exceptions'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_zz_backports'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_distupgrade_zz_backports'] 0m21.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m22.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m22.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m23.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m23.6s INFO: Running scripts pre_install 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_database-server'] 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_database-server'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_exceptions'] 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_exceptions'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_extras'] 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_extras'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture'] 0m23.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture'] 0m23.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m23.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m23.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy'] 0m23.7s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org/ wheezy/updates/main Translation-en 500 http://security.debian.org/ wheezy/updates/main amd64 Packages release v=7.0,o=Debian,a=oldoldstable,n=wheezy,l=Debian-Security,c=main origin security.debian.org 500 http://mirror-ubc.debian.org/debian/ wheezy/main Translation-en 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror-ubc.debian.org Pinned packages: 0m23.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy'] 0m23.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy', 'minlog'] 0m23.7s DUMP: minlog: Installed: 4.0.99.20100221-5.2 Candidate: 4.0.99.20100221-5.2 Version table: *** 4.0.99.20100221-5.2 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 100 /var/lib/dpkg/status 0m23.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-cache', 'policy', 'minlog'] 0m23.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-y', 'install', 'minlog=4.0.99.20100221-5.2'] 0m23.9s DUMP: Reading package lists... Building dependency tree... Reading state information... minlog is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', '-y', 'install', 'minlog=4.0.99.20100221-5.2'] 0m23.9s INFO: Running scripts post_install 0m23.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_install_exceptions'] 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_install_exceptions'] 0m23.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m25.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m25.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m25.1s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u4 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed findutils findutils 4.4.2-4 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u9 install ok installed gpgv gpgv 1.4.12-7+deb7u9 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u12 install ok installed libc6:amd64 libc6 2.13-38+deb7u12 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5+deb7u1 install ok installed libffi5:amd64 libffi5 3.0.10-3+deb7u2 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed login login 1:4.1.5.1-1+deb7u1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed minlog minlog 4.0.99.20100221-5.2 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u12 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed passwd passwd 1:4.1.5.1-1+deb7u1 install ok installed perl-base perl-base 5.14.2-21+deb7u6 install ok installed plt-scheme plt-scheme 5.2.1+g6~92c8784+dfsg2-2+deb7u1 install ok installed racket racket 5.2.1+g6~92c8784+dfsg2-2+deb7u1 install ok installed racket-common racket-common 5.2.1+g6~92c8784+dfsg2-2+deb7u1 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7+deb7u1 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1+deb7u1 install ok installed tzdata tzdata 2018e-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m25.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m26.7s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', '-ac', '--ignore-obsolete'] 0m28.4s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', '-ac', '--ignore-obsolete'] 0m28.4s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m28.4s DUMP: 0.15.1 0m28.4s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m28.4s INFO: Running adequate version 0.15.1 now. 0m28.4s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'minlog'] 0m28.6s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'minlog'] 0m28.6s INFO: Running scripts pre_remove 0m28.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m28.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m28.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m28.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m28.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m29.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m29.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m29.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m29.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m29.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m29.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_exceptions'] 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/pre_remove_exceptions'] 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', 'remove', 'racket', 'racket-common', 'libffi5:amd64', 'plt-scheme', 'minlog'] 0m30.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: libffi5 minlog plt-scheme racket racket-common 0 upgraded, 0 newly installed, 5 to remove and 0 not upgraded. After this operation, 155 MB disk space will be freed. (Reading database ... 21351 files and directories currently installed.) Removing minlog ... Removing plt-scheme ... Removing racket ... Removing libffi5:amd64 ... Removing racket-common ... 0m30.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', 'remove', 'racket', 'racket-common', 'libffi5:amd64', 'plt-scheme', 'minlog'] 0m30.3s INFO: Running scripts post_remove 0m30.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_remove_exceptions'] 0m30.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_remove_exceptions'] 0m30.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg', '--purge', 'racket', 'racket-common', 'libffi5:amd64', 'plt-scheme'] 0m30.4s DUMP: (Reading database ... 6780 files and directories currently installed.) Removing racket ... Purging configuration files for racket ... dpkg: warning: ignoring request to remove racket-common which isn't installed Removing libffi5:amd64 ... Purging configuration files for libffi5:amd64 ... dpkg: warning: ignoring request to remove plt-scheme which isn't installed 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg', '--purge', 'racket', 'racket-common', 'libffi5:amd64', 'plt-scheme'] 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg', '--purge', 'minlog'] 0m30.4s DUMP: dpkg: warning: ignoring request to remove minlog which isn't installed 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg', '--purge', 'minlog'] 0m30.4s INFO: Running scripts post_purge 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_purge_exceptions'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_purge_exceptions'] 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg', '--purge', '--pending'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg', '--purge', '--pending'] 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg', '--remove', '--pending'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg', '--remove', '--pending'] 0m30.4s INFO: Running scripts post_test 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_test_exceptions'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'tmp/scripts/post_test_exceptions'] 0m30.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m30.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m30.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg-divert', '--list'] 0m30.9s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m30.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'dpkg-divert', '--list'] 0m30.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', 'clean'] 0m30.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQ4WReR', 'apt-get', 'clean'] 0m30.9s DEBUG: Recording chroot state 0m32.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/run/shm'] 0m32.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/run/shm'] 0m32.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/console'] 0m32.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/console'] 0m32.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/ptmx'] 0m32.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/ptmx'] 0m32.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/pts'] 0m32.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/dev/pts'] 0m32.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/proc'] 0m32.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpQ4WReR/proc'] 0m32.5s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m32.6s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpQ4WReR'] 0m32.6s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpQ4WReR 0m32.6s INFO: PASS: Upgrading between Debian distributions. 0m32.6s INFO: PASS: All tests. 0m32.6s INFO: piuparts run ends. ret=0 End: 2018-06-30 19:02:17 UTC