Start: 2023-02-21 06:40:01 GMT [jessie] Package: science-logic Source: debian-science Version: 1.4 Installed-Size: 62 Maintainer: Debian Science Team Architecture: all Depends: science-tasks (= 1.4), science-config (= 1.4) Recommends: agda, alt-ergo, boolector, clasp, coala, coinor-cbc, coq, cvc3, depqbf, gringo, hol-light, hol88, lbt, mace2, maria, matita, maude, minisat+, mona, otter, picosat, proofgeneral, prover9, sat4j, spass Description: Debian Science Logic packages Homepage: http://wiki.debian.org/DebianScience/ Description-md5: 80226a1f4eed77145a13176d0af8c5dc Section: science Priority: extra Filename: pool/main/d/debian-science/science-logic_1.4_all.deb Size: 11494 MD5sum: 1e26e156fc507f2fd6ac768481ce0228 SHA1: 1ac670c77b13703db64bd054c473116e1cde6736 SHA256: b74500bf1242ca5c0ec7d4879b5f201f55c5194c6cd8f78e8e9f0c2af38a2a8c [stretch] Package: science-logic Source: debian-science Version: 1.7 Installed-Size: 37 Maintainer: Debian Science Team Architecture: all Depends: science-tasks (= 1.7), science-config (= 1.7) Recommends: agda, alt-ergo, boolector, clasp, coinor-cbc, coinor-symphony, coq, cvc3, depqbf, gringo, hol-light, hol88, lbt, maria, matita, maude, minisat+, mona, picosat, proofgeneral, prover9, sat4j, spass, why3, z3 Suggests: coala, coinor-libcoinmp-dev, mace2, toulbar2, why Description: Debian Science Logic packages Homepage: http://wiki.debian.org/DebianScience/ Description-md5: 80226a1f4eed77145a13176d0af8c5dc Section: science Priority: extra Filename: pool/main/d/debian-science/science-logic_1.7_all.deb Size: 16446 MD5sum: 290dd41d3cd6d6059a773a7a78818067 SHA256: 6dc906cff533bdfc0870ff3e26a876469af8f9137cf0d16b295a8330dc0eb7da Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --install-recommends --upgrade-before-dist-upgrade --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --skip-logrotatefiles-test --warn-on-debsums-errors --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz -d jessie -d stretch -B /srv/piuparts.debian.org/slave/refchroot/jessie2Xstretch-rcmd/reference-chroot-metadata.dat --apt science-logic=1.7 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 1.1.5 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --install-recommends --upgrade-before-dist-upgrade --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --skip-logrotatefiles-test --warn-on-debsums-errors --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz -d jessie -d stretch -B /srv/piuparts.debian.org/slave/refchroot/jessie2Xstretch-rcmd/reference-chroot-metadata.dat --apt science-logic=1.7 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-21-amd64 #1 SMP Debian 5.10.162-1 (2023-01-21) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp56sl7jjt 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp56sl7jjt 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.5s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.5s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/proc'] 0m1.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/proc'] 0m1.5s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/pts'] 0m1.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/pts'] 0m1.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/ptmx'] 0m1.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/ptmx'] 0m1.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/console'] 0m1.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/console'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/shm'] 0m1.6s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/shm'] 0m1.6s DEBUG: sources.list: deb http://deb.debian.org/debian/ jessie main 0m1.6s DEBUG: Created policy-rc.d and chmodded it. 0m1.6s DEBUG: Created resolv.conf. 0m1.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp56sl7jjt/tmp/scripts/ 0m1.6s INFO: Running scripts post_chroot_unpack 0m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-get', 'update'] 0m4.0s DUMP: Ign http://deb.debian.org jessie InRelease Hit http://deb.debian.org jessie Release.gpg Hit http://deb.debian.org jessie Release Ign http://deb.debian.org jessie Release Hit http://deb.debian.org jessie/main Translation-en Hit http://deb.debian.org jessie/main amd64 Packages Reading package lists... W: GPG error: http://deb.debian.org jessie Release: The following signatures were invalid: KEYEXPIRED 1668891673 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-get', 'update'] 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-get', '-yf', 'dist-upgrade'] 0m4.2s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-get', '-yf', 'dist-upgrade'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.4s DUMP: c58dd1ad19dd97acb5ff8b7cd65de431 - 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.4s INFO: Running scripts post_setup 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_dummy_users'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_dummy_users'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_forbid_home'] 0m5.2s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_forbid_home'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.2s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' '/bin/sync' -> 'true' 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_minimize'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_minimize'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_zz_backports'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/post_setup_zz_backports'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.3s DUMP: install ok installed acl acl 2.2.52-2 install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 1.0.9.8.4 install ok installed base-files base-files 8+deb8u11 install ok installed base-passwd base-passwd 3.5.37 install ok installed bash bash 4.3-11+deb8u1 install ok installed bsdutils bsdutils 1:2.25.2-6 install ok installed coreutils coreutils 8.23-4 install ok installed dash dash 0.5.7-4+b1 install ok installed debconf debconf 1.5.56+deb8u1 install ok installed debconf-i18n debconf-i18n 1.5.56+deb8u1 install ok installed debian-archive-keyring debian-archive-keyring 2017.5~deb8u1 install ok installed debianutils debianutils 4.4+b1 install ok installed diffutils diffutils 1:3.3-1+b1 install ok installed dmsetup dmsetup 2:1.02.90-2.2+deb8u1 install ok installed dpkg dpkg 1.17.27 install ok installed e2fslibs:amd64 e2fslibs 1.42.12-2+b1 install ok installed e2fsprogs e2fsprogs 1.42.12-2+b1 install ok installed findutils findutils 4.4.2-9+b1 install ok installed gcc-4.9-base:amd64 gcc-4.9-base 4.9.2-10+deb8u1 install ok installed gnupg gnupg 1.4.18-7+deb8u5 install ok installed gpgv gpgv 1.4.18-7+deb8u5 install ok installed grep grep 2.20-4.1 install ok installed gzip gzip 1.6-4 install ok installed hostname hostname 3.15 install ok installed init init 1.22 install ok installed initscripts initscripts 2.88dsf-59 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.52-2 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 1.0.9.8.4 install ok installed libattr1:amd64 libattr1 1:2.4.47-2 install ok installed libaudit-common libaudit-common 1:2.4-1 install ok installed libaudit1:amd64 libaudit1 1:2.4-1+b1 install ok installed libblkid1:amd64 libblkid1 2.25.2-6 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-7+b3 install ok installed libc-bin libc-bin 2.19-18+deb8u10 install ok installed libc6:amd64 libc6 2.19-18+deb8u10 install ok installed libcap2:amd64 libcap2 1:2.24-8 install ok installed libcap2-bin libcap2-bin 1:2.24-8 install ok installed libcomerr2:amd64 libcomerr2 1.42.12-2+b1 install ok installed libcryptsetup4:amd64 libcryptsetup4 2:1.6.6-5 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-9+deb8u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.192 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.90-2.2+deb8u1 install ok installed libgcc1:amd64 libgcc1 1:4.9.2-10+deb8u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.6.3-2+deb8u4 install ok installed libgpg-error0:amd64 libgpg-error0 1.17-3 install ok installed libkmod2:amd64 libkmod2 18-3 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-8+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2+b3 install ok installed libmount1:amd64 libmount1 2.25.2-6 install ok installed libncurses5:amd64 libncurses5 5.9+20140913-1+deb8u3 install ok installed libncursesw5:amd64 libncursesw5 5.9+20140913-1+deb8u3 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.1+deb8u2+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.1+deb8u2+b1 install ok installed libpam-runtime libpam-runtime 1.1.8-3.1+deb8u2 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.1+deb8u2+b1 install ok installed libpcre3:amd64 libpcre3 2:8.35-3.3+deb8u4 install ok installed libprocps3:amd64 libprocps3 2:3.3.9-9+deb8u1 install ok installed libreadline6:amd64 libreadline6 6.3-8+b3 install ok installed libselinux1:amd64 libselinux1 2.3-2 install ok installed libsemanage-common libsemanage-common 2.3-1 install ok installed libsemanage1:amd64 libsemanage1 2.3-1+b1 install ok installed libsepol1:amd64 libsepol1 2.3-2 install ok installed libslang2:amd64 libslang2 2.3.0-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.25.2-6 install ok installed libss2:amd64 libss2 1.42.12-2+b1 install ok installed libstdc++6:amd64 libstdc++6 4.9.2-10+deb8u1 install ok installed libsystemd0:amd64 libsystemd0 215-17+deb8u7 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b3 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5+b2 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9+20140913-1+deb8u3 install ok installed libudev1:amd64 libudev1 215-17+deb8u7 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-25 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3+b2 install ok installed libuuid1:amd64 libuuid1 2.25.2-6 install ok installed login login 1:4.2-3+deb8u4 install ok installed lsb-base lsb-base 4.1+Debian13+nmu1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.25.2-6 install ok installed multiarch-support multiarch-support 2.19-18+deb8u10 install ok installed ncurses-base ncurses-base 5.9+20140913-1+deb8u3 install ok installed ncurses-bin ncurses-bin 5.9+20140913-1+deb8u3 install ok installed passwd passwd 1:4.2-3+deb8u4 install ok installed perl-base perl-base 5.20.2-3+deb8u11 install ok installed procps procps 2:3.3.9-9+deb8u1 install ok installed readline-common readline-common 6.3-8 install ok installed sed sed 4.2.2-4+deb8u1 install ok installed sensible-utils sensible-utils 0.0.9+deb8u1 install ok installed startpar startpar 0.59-3 install ok installed systemd systemd 215-17+deb8u7 install ok installed systemd-sysv systemd-sysv 215-17+deb8u7 install ok installed sysv-rc sysv-rc 2.88dsf-59 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59 install ok installed tar tar 1.27.1-2+deb8u1 install ok installed tzdata tzdata 2018e-0+deb8u1 install ok installed udev udev 215-17+deb8u7 install ok installed util-linux util-linux 2.25.2-6 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-2+b1 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.3s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/jessie2Xstretch-rcmd/reference-chroot-metadata.dat 0m5.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt'] 0m5.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt'] 0m5.8s INFO: Running scripts is_testable 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/is_testable_uninstallable'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/is_testable_uninstallable'] 0m5.8s INFO: Running scripts pre_test 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_test_exceptions'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_test_exceptions'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_test_root_password'] 0m5.8s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_test_root_password'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-cache', 'show', '--no-all-versions', 'science-logic'] 0m5.8s DUMP: Package: science-logic Source: debian-science Version: 1.4 Installed-Size: 62 Maintainer: Debian Science Team Architecture: all Depends: science-tasks (= 1.4), science-config (= 1.4) Recommends: agda, alt-ergo, boolector, clasp, coala, coinor-cbc, coq, cvc3, depqbf, gringo, hol-light, hol88, lbt, mace2, maria, matita, maude, minisat+, mona, otter, picosat, proofgeneral, prover9, sat4j, spass Description-en: Debian Science Logic packages This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc. Description-md5: 80226a1f4eed77145a13176d0af8c5dc Homepage: http://wiki.debian.org/DebianScience/ Section: science Priority: extra Filename: pool/main/d/debian-science/science-logic_1.4_all.deb Size: 11494 MD5sum: 1e26e156fc507f2fd6ac768481ce0228 SHA1: 1ac670c77b13703db64bd054c473116e1cde6736 SHA256: b74500bf1242ca5c0ec7d4879b5f201f55c5194c6cd8f78e8e9f0c2af38a2a8c 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-cache', 'show', '--no-all-versions', 'science-logic'] 0m5.8s INFO: apt-cache knows about the following packages: science-logic 0m5.8s INFO: Running scripts pre_install 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_database-server'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_database-server'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_exceptions'] 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_exceptions'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_extras'] 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_extras'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-cache', 'policy'] 0m5.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian/ jessie/main Translation-en 500 http://deb.debian.org/debian/ jessie/main amd64 Packages release v=8.11,o=Debian,a=oldoldstable,n=jessie,l=Debian,c=main origin deb.debian.org Pinned packages: 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-cache', 'policy'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-cache', 'policy', 'science-logic'] 0m6.0s DUMP: science-logic: Installed: (none) Candidate: 1.4 Version table: 1.4 0 500 http://deb.debian.org/debian/ jessie/main amd64 Packages 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-cache', 'policy', 'science-logic'] 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-get', '-y', 'install', 'science-logic'] 0m6.4s DUMP: Reading package lists... Building dependency tree... The following extra packages will be installed: adwaita-icon-theme agda agda-bin agda-mode agda-stdlib agda-stdlib-doc alt-ergo aspell aspell-en at-spi2-core binfmt-support binutils blends-common boolector bsdmainutils ca-certificates ca-certificates-java camlp4 camlp5 clasp coala coinor-cbc coinor-libcbc3 coinor-libcgl1 coinor-libclp1 coinor-libcoinutils3 coinor-libosi1 colord colord-data coq coq-theories coqide cpp cpp-4.9 cvc3 dbus dconf-gsettings-backend dconf-service default-jre default-jre-headless depqbf dictionaries-common dmidecode emacs emacs24 emacs24-bin-common emacs24-common emacsen-common enchant fastjar file fontconfig fontconfig-config fonts-dejavu fonts-dejavu-core fonts-dejavu-extra fonts-droid fonts-liberation gcc gcc-4.8-base gcc-4.9 gconf-service gconf2-common geoclue-2.0 ghc ghostscript glib-networking glib-networking-common glib-networking-services gnome-user-guide graphviz gringo groff-base gsettings-desktop-schemas gsfonts gstreamer1.0-plugins-base gstreamer1.0-plugins-good gstreamer1.0-x hicolor-icon-theme hol-light hol88 hunspell-en-us ifupdown imagemagick-common init-system-helpers iproute2 isc-dhcp-client isc-dhcp-common iso-codes jarwrapper java-common krb5-locales laptop-detect lbt ledit libaa1 libalgorithm-c3-perl libapache-pom-java libarchive-extract-perl libasan0 libasan1 libasound2 libasound2-data libaspell15 libasyncns0 libatk-bridge2.0-0 libatk-wrapper-java libatk-wrapper-java-jni libatk1.0-0 libatk1.0-data libatm1 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libavc1394-0 libbdd0c2 libblas-common libblas3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcaca0 libcairo-gobject2 libcairo2 libcap-ng0 libcdparanoia0 libcdt5 libcgi-fast-perl libcgi-pm-perl libcgraph6 libcilkrts5 libclass-c3-perl libclass-c3-xs-perl libcloog-isl4 libcolord2 libcolorhug2 libcommons-cli-java libcommons-lang-java libcommons-parent-java libcoq-ocaml libcpan-meta-perl libcroco3 libcups2 libcupsfilters1 libcupsimage2 libcvc3-5 libdata-optlist-perl libdata-section-perl libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdns-export100 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libdv4 libedit2 libelf1 libenchant1c2a libexif12 libexpat1 libfcgi-perl libffi-dev libffi6 libfftw3-double3 libfile-copy-recursive-perl libflac8 libfontconfig1 libfreetype6 libfribidi0 libgcc-4.8-dev libgcc-4.9-dev libgconf-2-4 libgd3 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgfortran3 libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libgl1-mesa-dri libgl1-mesa-glx libglade2-0 libglapi-mesa libglib2.0-0 libglib2.0-data libglu1-mesa libgmp-dev libgmp10 libgmpxx4ldbl libgnutls-deb0-28 libgomp1 libgphoto2-6 libgphoto2-l10n libgphoto2-port10 libgpm2 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libgstreamer-plugins-base1.0-0 libgstreamer1.0-0 libgtk-3-0 libgtk-3-bin libgtk-3-common libgtk2.0-0 libgtk2.0-bin libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libgudev-1.0-0 libgusb2 libgvc6 libgvpr2 libharfbuzz-icu0 libharfbuzz0b libhogweed2 libhunspell-1.3-0 libice6 libicu52 libidn11 libiec61883-0 libieee1284-3 libijs-0.35 libirs-export91 libisc-export95 libisccfg-export90 libisl10 libitm1 libjack-jackd2-0 libjasper1 libjavascriptcoregtk-3.0-0 libjbig0 libjbig2dec0 libjim0.75 libjpeg62-turbo libjson-c2 libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libladr4 liblapack3 liblcms2-2 libldap-2.4-2 libllvm3.5 liblockfile-bin liblockfile1 liblog-message-perl liblog-message-simple-perl liblqr-1-0 liblsan0 libltdl7 liblua5.2-0 libm17n-0 libmagic1 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmbim-glib4 libmbim-proxy libmm-glib0 libmodule-build-perl libmodule-pluggable-perl libmodule-signature-perl libmpc3 libmpfr4 libmro-compat-perl libncurses5-dev libnettle4 libnl-3-200 libnl-genl-3-200 libnspr4 libnss3 libogg0 libopus0 liborc-0.4-0 libotf0 libp11-kit0 libpackage-constants-perl libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpaper-utils libpaper1 libparams-util-perl libpathplan4 libpciaccess0 libpcsclite1 libpipeline1 libpixman-1-0 libpng12-0 libpod-latex-perl libpod-readme-perl libpolkit-agent-1-0 libpolkit-backend-1-0 libpolkit-gobject-1-0 libproxy1 libpulse0 libpython-stdlib libpython2.7 libpython2.7-minimal libpython2.7-stdlib libqmi-glib1 libqmi-proxy libquadmath0 libraw1394-11 libregexp-common-perl librest-0.7-0 librsvg2-2 librsvg2-common libsamplerate0 libsane libsane-common libsane-extras libsane-extras-common libsasl2-2 libsasl2-modules libsasl2-modules-db libsctp1 libsecret-1-0 libsecret-common libshout3 libsigsegv2 libsm6 libsndfile1 libsoftware-license-perl libsoup-gnome2.4-1 libsoup2.4-1 libspeex1 libsqlite3-0 libssl1.0.0 libstdc++-4.8-dev libsub-exporter-perl libsub-install-perl libtag1-vanilla libtag1c2a libtasn1-6 libtbb2 libtecla1 libterm-ui-perl libtext-soundex-perl libtext-template-perl libthai-data libthai0 libtheora0 libtiff5 libtinfo-dev libtsan0 libtxc-dxtn-s2tc0 libubsan0 libusb-1.0-0 libv4l-0 libv4lconvert0 libvisual-0.4-0 libvisual-0.4-plugins libvorbis0a libvorbisenc2 libvpx1 libwavpack1 libwayland-client0 libwayland-cursor0 libwebkitgtk-3.0-0 libwebkitgtk-3.0-common libwebp5 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxdot4 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxmu6 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxslt1.1 libxt6 libxtables10 libxtst6 libxv1 libxxf86vm1 libyelp0 linux-libc-dev lksctp-tools m17n-db mace2 man-db manpages manpages-dev maria maria-doc matita maude menu mime-support minisat+ mmm-mode modemmanager mona netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox openjdk-7-jre openjdk-7-jre-headless openssl otter perl perl-modules picosat policykit-1 poppler-data proofgeneral prover9 python python-minimal python2.7 python2.7-minimal rename sane-utils sat4j science-config science-tasks sgml-base shared-mime-info spass tasksel tasksel-data tcpd tcsh tzdata-java ucf update-inetd usb-modeswitch usb-modeswitch-data wpasupplicant x11-common xdg-user-dirs xkb-data xml-core yelp yelp-xsl zlib1g-dev Suggested packages: why aspell-doc spellutils binutils-doc blends-doc wamerican wordlist whois vacation ocaml-findlib libcoq-ocaml-dev coq-doc cpp-doc gcc-4.9-locales dbus-x11 emacs24-common-non-dfsg emacs24-el gcc-multilib make autoconf automake libtool flex bison gdb gcc-doc gcc-4.9-multilib gcc-4.9-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan1-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libquadmath0-dbg ghc-prof ghc-doc haskell-doc llvm ghostscript-x graphviz-doc groff gvfs readline-editor coinor-csdp pari-gp maxima dmtcp libocamlgraph-ocaml-dev hunspell openoffice.org-hunspell openoffice.org-core ppp rdnssd net-tools iproute2-doc resolvconf avahi-autoipd isoquery equivs libasound2-plugins alsa-utils glibc-doc libcommons-lang-java-doc cups-common libdv-bin oss-compat libenchant-voikko libfftw3-bin libfftw3-dev libgd-tools libghc-agda-doc libghc-binary-doc libghc-binary-prof libghc-boxes-doc libghc-boxes-prof libghc-cpphs-doc libghc-cpphs-prof libghc-data-hash-doc libghc-data-hash-prof libghc-equivalence-doc libghc-equivalence-prof libghc-geniplate-doc libghc-geniplate-prof libghc-hashable-doc libghc-hashable-prof libghc-hashtables-doc libghc-hashtables-prof libghc-haskeline-doc libghc-haskeline-prof libghc-mtl-doc libghc-mtl-prof libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof libghc-strict-doc libghc-strict-prof libghc-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof libghc-transformers-doc libghc-transformers-prof libghc-unordered-containers-doc libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev gnutls-bin gphoto2 gtkam gpm krb5-doc krb5-user gstreamer-codec-install gnome-codec-install gstreamer1.0-tools jackd2 libjasper-runtime liblcms2-utils m17n-docs libmagickcore-6.q16-2-extra ncurses-doc opus-tools pciutils pcscd pulseaudio libraw1394-doc librsvg2-bin avahi-daemon hplip hpoj libsasl2-modules-otp libsasl2-modules-ldap libsasl2-modules-sql libsasl2-modules-gssapi-mit libsasl2-modules-gssapi-heimdal speex libstdc++-4.8-doc gawk swi-prolog gprolog less www-browser man-browser menu-l10n gksu kde-runtime ktsuss ocaml-doc tuareg-mode ocaml-mode icedtea-7-plugin icedtea-7-jre-jamvm libnss-mdns sun-java6-fonts fonts-ipafont-gothic fonts-ipafont-mincho fonts-wqy-microhei fonts-wqy-zenhei fonts-indic formed perl-doc libterm-readline-gnu-perl libterm-readline-perl-perl libb-lint-perl libcpanplus-dist-build-perl libcpanplus-perl libfile-checktree-perl libobject-accessor-perl poppler-utils fonts-arphic-ukai fonts-arphic-uming fonts-nanum proofgeneral-doc ladr4-apps prover9-doc python-doc python-tk python2.7-doc unpaper sgml-base-doc comgt wvdial wpagui libengine-pkcs11-openssl debhelper Recommended packages: libarchive-tar-perl c-shell The following NEW packages will be installed: adwaita-icon-theme agda agda-bin agda-mode agda-stdlib agda-stdlib-doc alt-ergo aspell aspell-en at-spi2-core binfmt-support binutils blends-common boolector bsdmainutils ca-certificates ca-certificates-java camlp4 camlp5 clasp coala coinor-cbc coinor-libcbc3 coinor-libcgl1 coinor-libclp1 coinor-libcoinutils3 coinor-libosi1 colord colord-data coq coq-theories coqide cpp cpp-4.9 cvc3 dbus dconf-gsettings-backend dconf-service default-jre default-jre-headless depqbf dictionaries-common dmidecode emacs emacs24 emacs24-bin-common emacs24-common emacsen-common enchant fastjar file fontconfig fontconfig-config fonts-dejavu fonts-dejavu-core fonts-dejavu-extra fonts-droid fonts-liberation gcc gcc-4.8-base gcc-4.9 gconf-service gconf2-common geoclue-2.0 ghc ghostscript glib-networking glib-networking-common glib-networking-services gnome-user-guide graphviz gringo groff-base gsettings-desktop-schemas gsfonts gstreamer1.0-plugins-base gstreamer1.0-plugins-good gstreamer1.0-x hicolor-icon-theme hol-light hol88 hunspell-en-us ifupdown imagemagick-common init-system-helpers iproute2 isc-dhcp-client isc-dhcp-common iso-codes jarwrapper java-common krb5-locales laptop-detect lbt ledit libaa1 libalgorithm-c3-perl libapache-pom-java libarchive-extract-perl libasan0 libasan1 libasound2 libasound2-data libaspell15 libasyncns0 libatk-bridge2.0-0 libatk-wrapper-java libatk-wrapper-java-jni libatk1.0-0 libatk1.0-data libatm1 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libavc1394-0 libbdd0c2 libblas-common libblas3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcaca0 libcairo-gobject2 libcairo2 libcap-ng0 libcdparanoia0 libcdt5 libcgi-fast-perl libcgi-pm-perl libcgraph6 libcilkrts5 libclass-c3-perl libclass-c3-xs-perl libcloog-isl4 libcolord2 libcolorhug2 libcommons-cli-java libcommons-lang-java libcommons-parent-java libcoq-ocaml libcpan-meta-perl libcroco3 libcups2 libcupsfilters1 libcupsimage2 libcvc3-5 libdata-optlist-perl libdata-section-perl libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdns-export100 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libdv4 libedit2 libelf1 libenchant1c2a libexif12 libexpat1 libfcgi-perl libffi-dev libffi6 libfftw3-double3 libfile-copy-recursive-perl libflac8 libfontconfig1 libfreetype6 libfribidi0 libgcc-4.8-dev libgcc-4.9-dev libgconf-2-4 libgd3 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgfortran3 libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libgl1-mesa-dri libgl1-mesa-glx libglade2-0 libglapi-mesa libglib2.0-0 libglib2.0-data libglu1-mesa libgmp-dev libgmp10 libgmpxx4ldbl libgnutls-deb0-28 libgomp1 libgphoto2-6 libgphoto2-l10n libgphoto2-port10 libgpm2 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libgstreamer-plugins-base1.0-0 libgstreamer1.0-0 libgtk-3-0 libgtk-3-bin libgtk-3-common libgtk2.0-0 libgtk2.0-bin libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libgudev-1.0-0 libgusb2 libgvc6 libgvpr2 libharfbuzz-icu0 libharfbuzz0b libhogweed2 libhunspell-1.3-0 libice6 libicu52 libidn11 libiec61883-0 libieee1284-3 libijs-0.35 libirs-export91 libisc-export95 libisccfg-export90 libisl10 libitm1 libjack-jackd2-0 libjasper1 libjavascriptcoregtk-3.0-0 libjbig0 libjbig2dec0 libjim0.75 libjpeg62-turbo libjson-c2 libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libladr4 liblapack3 liblcms2-2 libldap-2.4-2 libllvm3.5 liblockfile-bin liblockfile1 liblog-message-perl liblog-message-simple-perl liblqr-1-0 liblsan0 libltdl7 liblua5.2-0 libm17n-0 libmagic1 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmbim-glib4 libmbim-proxy libmm-glib0 libmodule-build-perl libmodule-pluggable-perl libmodule-signature-perl libmpc3 libmpfr4 libmro-compat-perl libncurses5-dev libnettle4 libnl-3-200 libnl-genl-3-200 libnspr4 libnss3 libogg0 libopus0 liborc-0.4-0 libotf0 libp11-kit0 libpackage-constants-perl libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpaper-utils libpaper1 libparams-util-perl libpathplan4 libpciaccess0 libpcsclite1 libpipeline1 libpixman-1-0 libpng12-0 libpod-latex-perl libpod-readme-perl libpolkit-agent-1-0 libpolkit-backend-1-0 libpolkit-gobject-1-0 libproxy1 libpulse0 libpython-stdlib libpython2.7 libpython2.7-minimal libpython2.7-stdlib libqmi-glib1 libqmi-proxy libquadmath0 libraw1394-11 libregexp-common-perl librest-0.7-0 librsvg2-2 librsvg2-common libsamplerate0 libsane libsane-common libsane-extras libsane-extras-common libsasl2-2 libsasl2-modules libsasl2-modules-db libsctp1 libsecret-1-0 libsecret-common libshout3 libsigsegv2 libsm6 libsndfile1 libsoftware-license-perl libsoup-gnome2.4-1 libsoup2.4-1 libspeex1 libsqlite3-0 libssl1.0.0 libstdc++-4.8-dev libsub-exporter-perl libsub-install-perl libtag1-vanilla libtag1c2a libtasn1-6 libtbb2 libtecla1 libterm-ui-perl libtext-soundex-perl libtext-template-perl libthai-data libthai0 libtheora0 libtiff5 libtinfo-dev libtsan0 libtxc-dxtn-s2tc0 libubsan0 libusb-1.0-0 libv4l-0 libv4lconvert0 libvisual-0.4-0 libvisual-0.4-plugins libvorbis0a libvorbisenc2 libvpx1 libwavpack1 libwayland-client0 libwayland-cursor0 libwebkitgtk-3.0-0 libwebkitgtk-3.0-common libwebp5 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxdot4 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxmu6 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxslt1.1 libxt6 libxtables10 libxtst6 libxv1 libxxf86vm1 libyelp0 linux-libc-dev lksctp-tools m17n-db mace2 man-db manpages manpages-dev maria maria-doc matita maude menu mime-support minisat+ mmm-mode modemmanager mona netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox openjdk-7-jre openjdk-7-jre-headless openssl otter perl perl-modules picosat policykit-1 poppler-data proofgeneral prover9 python python-minimal python2.7 python2.7-minimal rename sane-utils sat4j science-config science-logic science-tasks sgml-base shared-mime-info spass tasksel tasksel-data tcpd tcsh tzdata-java ucf update-inetd usb-modeswitch usb-modeswitch-data wpasupplicant x11-common xdg-user-dirs xkb-data xml-core yelp yelp-xsl zlib1g-dev 0 upgraded, 502 newly installed, 0 to remove and 0 not upgraded. Need to get 412 MB of archives. After this operation, 1919 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libgdbm3 libjson-c2 libpipeline1 libssl1.0.0 groff-base bsdmainutils man-db tasksel-data tasksel libbsd0 libedit2 libgmp10 libnettle4 libhogweed2 libffi6 libp11-kit0 libtasn1-6 libgnutls-deb0-28 libgpm2 libkeyutils1 libkrb5support0 libk5crypto3 libkrb5-3 libgssapi-krb5-2 libidn11 libsasl2-modules-db libsasl2-2 libldap-2.4-2 liblockfile-bin liblockfile1 libmagic1 libsqlite3-0 libwrap0 libxml2 perl-modules perl libpython2.7-minimal python2.7-minimal python-minimal mime-support libexpat1 libpython2.7-stdlib python2.7 libpython-stdlib python libpng12-0 libfreetype6 ucf fonts-dejavu-core fonts-liberation fontconfig-config libfontconfig1 fontconfig fonts-droid imagemagick-common libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libaa1 gcc-4.8-base libasan0 libasan1 libasound2-data libasound2 libaspell15 libasyncns0 libglib2.0-0 libatk1.0-data libatk1.0-0 libdbus-1-3 libatspi2.0-0 libatk-bridge2.0-0 libpixman-1-0 libxcb-render0 libxcb-shm0 libxext6 libxrender1 libcairo2 libjpeg62-turbo libjasper1 libjbig0 libtiff5 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-0 libgtk2.0-common libavahi-common-data libavahi-common3 libavahi-client3 libcups2 libthai-data libdatrie1 libthai0 libpango-1.0-0 libgraphite2-3 libharfbuzz0b libpangoft2-1.0-0 libpangocairo-1.0-0 libxcomposite1 libxfixes3 libxcursor1 libxdamage1 libxi6 libxinerama1 libxrandr2 shared-mime-info libgtk2.0-0 libatk-wrapper-java libatk-wrapper-java-jni libatm1 libatomic1 libcaca0 libcairo-gobject2 libcap-ng0 libcdparanoia0 libcilkrts5 libisl10 libcloog-isl4 liblcms2-2 libcolord2 libgudev-1.0-0 libusb-1.0-0 libgusb2 libcolorhug2 libcroco3 libcupsimage2 libcupsfilters1 libdbus-glib-1-2 libdconf1 libisc-export95 libdns-export100 libdrm2 libpciaccess0 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdv4 libelf1 emacsen-common dictionaries-common aspell aspell-en hunspell-en-us libhunspell-1.3-0 libenchant1c2a libexif12 libgomp1 libfftw3-double3 libogg0 libflac8 libfribidi0 gconf2-common libgconf-2-4 libvpx1 libxpm4 libgd3 libquadmath0 libgfortran3 libgif4 libllvm3.5 libgl1-mesa-dri libglapi-mesa libx11-xcb1 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-sync1 libxshmfence1 libxxf86vm1 libgl1-mesa-glx libglade2-0 libglu1-mesa libgmpxx4ldbl libltdl7 libgphoto2-port10 libgphoto2-6 libgstreamer1.0-0 liborc-0.4-0 iso-codes libgstreamer-plugins-base1.0-0 dconf-service dconf-gsettings-backend hicolor-icon-theme libwayland-client0 libwayland-cursor0 xkb-data libxkbcommon0 libgtk-3-bin librsvg2-2 librsvg2-common adwaita-icon-theme libgtk-3-common libjson-glib-1.0-common libjson-glib-1.0-0 libproxy1 glib-networking-common glib-networking-services gsettings-desktop-schemas glib-networking libsoup2.4-1 libsoup-gnome2.4-1 librest-0.7-0 libgtk-3-0 libicu52 libharfbuzz-icu0 x11-common libice6 libraw1394-11 libiec61883-0 libieee1284-3 libijs-0.35 libisccfg-export90 libirs-export91 libitm1 libopus0 libsamplerate0 libjack-jackd2-0 libjavascriptcoregtk-3.0-0 libladr4 liblqr-1-0 liblsan0 liblua5.2-0 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmbim-glib4 libmm-glib0 libmpfr4 libnl-3-200 libnl-genl-3-200 libnspr4 libnss3 dbus libpam-systemd libpaper1 libpcsclite1 libpolkit-gobject-1-0 libpolkit-agent-1-0 libpolkit-backend-1-0 libsm6 libvorbis0a libvorbisenc2 libsndfile1 libxtst6 libpulse0 libpython2.7 libqmi-glib1 libsane-common libv4lconvert0 libv4l-0 libsane libsctp1 libsecret-common libsecret-1-0 libspeex1 libtheora0 libshout3 libsigsegv2 libtag1-vanilla libtsan0 libubsan0 libvisual-0.4-0 libwavpack1 libwebp5 libxslt1.1 libxt6 libwebkitgtk-3.0-common libwebkitgtk-3.0-0 libxmu6 libxaw7 libxft2 libxv1 poppler-data sgml-base libmpc3 cpp-4.9 cpp binutils libgcc-4.9-dev gcc-4.9 gcc libgmp-dev libffi-dev libbsd-dev libc-dev-bin linux-libc-dev libc6-dev ghc libavc1394-0 libjim0.75 libtxc-dxtn-s2tc0 dmidecode iproute2 ifupdown init-system-helpers isc-dhcp-common isc-dhcp-client libxtables10 manpages netbase file krb5-locales emacs24-common emacs24-bin-common gconf-service libotf0 m17n-db libm17n-0 emacs24 emacs agda-bin libghc-random-dev libghc-primitive-dev libghc-tf-random-dev libghc-transformers-dev libghc-quickcheck2-dev libghc-mtl-dev libghc-stmonadtrans-dev libghc-binary-dev libghc-split-dev libghc-boxes-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-text-dev libghc-hashable-dev libghc-vector-dev libghc-hashtables-dev libtinfo-dev libncurses5-dev libghc-terminfo-dev libghc-haskeline-dev libghc-polyparse-dev libghc-cpphs-dev libghc-src-exts-dev libghc-parallel-dev libghc-strict-dev libghc-unordered-containers-dev libghc-xhtml-dev zlib1g-dev libghc-zlib-dev libghc-agda-dev agda-mode libgtksourceview2.0-common libgtksourceview2.0-0 alt-ergo at-spi2-core binfmt-support menu blends-common openssl ca-certificates tzdata-java java-common openjdk-7-jre-headless default-jre-headless ca-certificates-java ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox camlp4 coala policykit-1 colord-data colord coq-theories libgtkspell0 liblablgtk2-ocaml libcoq-ocaml coq coqide openjdk-7-jre default-jre enchant fastjar fonts-dejavu-extra fonts-dejavu geoclue-2.0 libjbig2dec0 libgs9-common libgs9 gsfonts ghostscript libyelp0 yelp-xsl yelp gnome-user-guide libcdt5 libcgraph6 libpathplan4 libxdot4 libgvc6 libgvpr2 graphviz libtbb2 gringo gstreamer1.0-plugins-base libtag1c2a gstreamer1.0-plugins-good gstreamer1.0-x hol88 jarwrapper laptop-detect ledit libalgorithm-c3-perl libapache-pom-java libarchive-extract-perl libbdd0c2 libblas-common libblas3 libcgi-pm-perl libfcgi-perl libcgi-fast-perl libclass-c3-perl libclass-c3-xs-perl libcommons-parent-java libcommons-lang-java libcommons-cli-java libcpan-meta-perl libparams-util-perl libsub-install-perl libdata-optlist-perl libmro-compat-perl libsub-exporter-perl libdata-section-perl libfile-copy-recursive-perl libgcc-4.8-dev libglib2.0-data libgphoto2-l10n libgtk2.0-bin liblapack3 liblog-message-perl liblog-message-simple-perl libmbim-proxy libmodule-build-perl libmodule-pluggable-perl libmodule-signature-perl libpackage-constants-perl libpaper-utils libpod-latex-perl libregexp-common-perl libpod-readme-perl libqmi-proxy libsane-extras-common libsane-extras libsasl2-modules libtext-template-perl libsoftware-license-perl libstdc++-4.8-dev libtecla1 libterm-ui-perl libtext-soundex-perl libvisual-0.4-plugins lksctp-tools mace2 manpages-dev maria maria-doc matita maude mmm-mode modemmanager otter proofgeneral prover9 rename update-inetd sane-utils sat4j spass tcpd tcsh wpasupplicant xdg-user-dirs xml-core agda-stdlib agda-stdlib-doc agda boolector camlp5 clasp coinor-libcoinutils3 coinor-libosi1 coinor-libclp1 coinor-libcgl1 coinor-libcbc3 coinor-cbc libcvc3-5 cvc3 depqbf hol-light lbt minisat+ mona picosat science-config science-tasks science-logic usb-modeswitch-data usb-modeswitch E: There are problems and -y was used without --force-yes 0m6.4s ERROR: Command failed (status=100): ['chroot', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt', 'apt-get', '-y', 'install', 'science-logic'] Reading package lists... Building dependency tree... The following extra packages will be installed: adwaita-icon-theme agda agda-bin agda-mode agda-stdlib agda-stdlib-doc alt-ergo aspell aspell-en at-spi2-core binfmt-support binutils blends-common boolector bsdmainutils ca-certificates ca-certificates-java camlp4 camlp5 clasp coala coinor-cbc coinor-libcbc3 coinor-libcgl1 coinor-libclp1 coinor-libcoinutils3 coinor-libosi1 colord colord-data coq coq-theories coqide cpp cpp-4.9 cvc3 dbus dconf-gsettings-backend dconf-service default-jre default-jre-headless depqbf dictionaries-common dmidecode emacs emacs24 emacs24-bin-common emacs24-common emacsen-common enchant fastjar file fontconfig fontconfig-config fonts-dejavu fonts-dejavu-core fonts-dejavu-extra fonts-droid fonts-liberation gcc gcc-4.8-base gcc-4.9 gconf-service gconf2-common geoclue-2.0 ghc ghostscript glib-networking glib-networking-common glib-networking-services gnome-user-guide graphviz gringo groff-base gsettings-desktop-schemas gsfonts gstreamer1.0-plugins-base gstreamer1.0-plugins-good gstreamer1.0-x hicolor-icon-theme hol-light hol88 hunspell-en-us ifupdown imagemagick-common init-system-helpers iproute2 isc-dhcp-client isc-dhcp-common iso-codes jarwrapper java-common krb5-locales laptop-detect lbt ledit libaa1 libalgorithm-c3-perl libapache-pom-java libarchive-extract-perl libasan0 libasan1 libasound2 libasound2-data libaspell15 libasyncns0 libatk-bridge2.0-0 libatk-wrapper-java libatk-wrapper-java-jni libatk1.0-0 libatk1.0-data libatm1 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libavc1394-0 libbdd0c2 libblas-common libblas3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcaca0 libcairo-gobject2 libcairo2 libcap-ng0 libcdparanoia0 libcdt5 libcgi-fast-perl libcgi-pm-perl libcgraph6 libcilkrts5 libclass-c3-perl libclass-c3-xs-perl libcloog-isl4 libcolord2 libcolorhug2 libcommons-cli-java libcommons-lang-java libcommons-parent-java libcoq-ocaml libcpan-meta-perl libcroco3 libcups2 libcupsfilters1 libcupsimage2 libcvc3-5 libdata-optlist-perl libdata-section-perl libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdns-export100 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libdv4 libedit2 libelf1 libenchant1c2a libexif12 libexpat1 libfcgi-perl libffi-dev libffi6 libfftw3-double3 libfile-copy-recursive-perl libflac8 libfontconfig1 libfreetype6 libfribidi0 libgcc-4.8-dev libgcc-4.9-dev libgconf-2-4 libgd3 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgfortran3 libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libgl1-mesa-dri libgl1-mesa-glx libglade2-0 libglapi-mesa libglib2.0-0 libglib2.0-data libglu1-mesa libgmp-dev libgmp10 libgmpxx4ldbl libgnutls-deb0-28 libgomp1 libgphoto2-6 libgphoto2-l10n libgphoto2-port10 libgpm2 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libgstreamer-plugins-base1.0-0 libgstreamer1.0-0 libgtk-3-0 libgtk-3-bin libgtk-3-common libgtk2.0-0 libgtk2.0-bin libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libgudev-1.0-0 libgusb2 libgvc6 libgvpr2 libharfbuzz-icu0 libharfbuzz0b libhogweed2 libhunspell-1.3-0 libice6 libicu52 libidn11 libiec61883-0 libieee1284-3 libijs-0.35 libirs-export91 libisc-export95 libisccfg-export90 libisl10 libitm1 libjack-jackd2-0 libjasper1 libjavascriptcoregtk-3.0-0 libjbig0 libjbig2dec0 libjim0.75 libjpeg62-turbo libjson-c2 libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libladr4 liblapack3 liblcms2-2 libldap-2.4-2 libllvm3.5 liblockfile-bin liblockfile1 liblog-message-perl liblog-message-simple-perl liblqr-1-0 liblsan0 libltdl7 liblua5.2-0 libm17n-0 libmagic1 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmbim-glib4 libmbim-proxy libmm-glib0 libmodule-build-perl libmodule-pluggable-perl libmodule-signature-perl libmpc3 libmpfr4 libmro-compat-perl libncurses5-dev libnettle4 libnl-3-200 libnl-genl-3-200 libnspr4 libnss3 libogg0 libopus0 liborc-0.4-0 libotf0 libp11-kit0 libpackage-constants-perl libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpaper-utils libpaper1 libparams-util-perl libpathplan4 libpciaccess0 libpcsclite1 libpipeline1 libpixman-1-0 libpng12-0 libpod-latex-perl libpod-readme-perl libpolkit-agent-1-0 libpolkit-backend-1-0 libpolkit-gobject-1-0 libproxy1 libpulse0 libpython-stdlib libpython2.7 libpython2.7-minimal libpython2.7-stdlib libqmi-glib1 libqmi-proxy libquadmath0 libraw1394-11 libregexp-common-perl librest-0.7-0 librsvg2-2 librsvg2-common libsamplerate0 libsane libsane-common libsane-extras libsane-extras-common libsasl2-2 libsasl2-modules libsasl2-modules-db libsctp1 libsecret-1-0 libsecret-common libshout3 libsigsegv2 libsm6 libsndfile1 libsoftware-license-perl libsoup-gnome2.4-1 libsoup2.4-1 libspeex1 libsqlite3-0 libssl1.0.0 libstdc++-4.8-dev libsub-exporter-perl libsub-install-perl libtag1-vanilla libtag1c2a libtasn1-6 libtbb2 libtecla1 libterm-ui-perl libtext-soundex-perl libtext-template-perl libthai-data libthai0 libtheora0 libtiff5 libtinfo-dev libtsan0 libtxc-dxtn-s2tc0 libubsan0 libusb-1.0-0 libv4l-0 libv4lconvert0 libvisual-0.4-0 libvisual-0.4-plugins libvorbis0a libvorbisenc2 libvpx1 libwavpack1 libwayland-client0 libwayland-cursor0 libwebkitgtk-3.0-0 libwebkitgtk-3.0-common libwebp5 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxdot4 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxmu6 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxslt1.1 libxt6 libxtables10 libxtst6 libxv1 libxxf86vm1 libyelp0 linux-libc-dev lksctp-tools m17n-db mace2 man-db manpages manpages-dev maria maria-doc matita maude menu mime-support minisat+ mmm-mode modemmanager mona netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox openjdk-7-jre openjdk-7-jre-headless openssl otter perl perl-modules picosat policykit-1 poppler-data proofgeneral prover9 python python-minimal python2.7 python2.7-minimal rename sane-utils sat4j science-config science-tasks sgml-base shared-mime-info spass tasksel tasksel-data tcpd tcsh tzdata-java ucf update-inetd usb-modeswitch usb-modeswitch-data wpasupplicant x11-common xdg-user-dirs xkb-data xml-core yelp yelp-xsl zlib1g-dev Suggested packages: why aspell-doc spellutils binutils-doc blends-doc wamerican wordlist whois vacation ocaml-findlib libcoq-ocaml-dev coq-doc cpp-doc gcc-4.9-locales dbus-x11 emacs24-common-non-dfsg emacs24-el gcc-multilib make autoconf automake libtool flex bison gdb gcc-doc gcc-4.9-multilib gcc-4.9-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan1-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libquadmath0-dbg ghc-prof ghc-doc haskell-doc llvm ghostscript-x graphviz-doc groff gvfs readline-editor coinor-csdp pari-gp maxima dmtcp libocamlgraph-ocaml-dev hunspell openoffice.org-hunspell openoffice.org-core ppp rdnssd net-tools iproute2-doc resolvconf avahi-autoipd isoquery equivs libasound2-plugins alsa-utils glibc-doc libcommons-lang-java-doc cups-common libdv-bin oss-compat libenchant-voikko libfftw3-bin libfftw3-dev libgd-tools libghc-agda-doc libghc-binary-doc libghc-binary-prof libghc-boxes-doc libghc-boxes-prof libghc-cpphs-doc libghc-cpphs-prof libghc-data-hash-doc libghc-data-hash-prof libghc-equivalence-doc libghc-equivalence-prof libghc-geniplate-doc libghc-geniplate-prof libghc-hashable-doc libghc-hashable-prof libghc-hashtables-doc libghc-hashtables-prof libghc-haskeline-doc libghc-haskeline-prof libghc-mtl-doc libghc-mtl-prof libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof libghc-strict-doc libghc-strict-prof libghc-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof libghc-transformers-doc libghc-transformers-prof libghc-unordered-containers-doc libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev gnutls-bin gphoto2 gtkam gpm krb5-doc krb5-user gstreamer-codec-install gnome-codec-install gstreamer1.0-tools jackd2 libjasper-runtime liblcms2-utils m17n-docs libmagickcore-6.q16-2-extra ncurses-doc opus-tools pciutils pcscd pulseaudio libraw1394-doc librsvg2-bin avahi-daemon hplip hpoj libsasl2-modules-otp libsasl2-modules-ldap libsasl2-modules-sql libsasl2-modules-gssapi-mit libsasl2-modules-gssapi-heimdal speex libstdc++-4.8-doc gawk swi-prolog gprolog less www-browser man-browser menu-l10n gksu kde-runtime ktsuss ocaml-doc tuareg-mode ocaml-mode icedtea-7-plugin icedtea-7-jre-jamvm libnss-mdns sun-java6-fonts fonts-ipafont-gothic fonts-ipafont-mincho fonts-wqy-microhei fonts-wqy-zenhei fonts-indic formed perl-doc libterm-readline-gnu-perl libterm-readline-perl-perl libb-lint-perl libcpanplus-dist-build-perl libcpanplus-perl libfile-checktree-perl libobject-accessor-perl poppler-utils fonts-arphic-ukai fonts-arphic-uming fonts-nanum proofgeneral-doc ladr4-apps prover9-doc python-doc python-tk python2.7-doc unpaper sgml-base-doc comgt wvdial wpagui libengine-pkcs11-openssl debhelper Recommended packages: libarchive-tar-perl c-shell The following NEW packages will be installed: adwaita-icon-theme agda agda-bin agda-mode agda-stdlib agda-stdlib-doc alt-ergo aspell aspell-en at-spi2-core binfmt-support binutils blends-common boolector bsdmainutils ca-certificates ca-certificates-java camlp4 camlp5 clasp coala coinor-cbc coinor-libcbc3 coinor-libcgl1 coinor-libclp1 coinor-libcoinutils3 coinor-libosi1 colord colord-data coq coq-theories coqide cpp cpp-4.9 cvc3 dbus dconf-gsettings-backend dconf-service default-jre default-jre-headless depqbf dictionaries-common dmidecode emacs emacs24 emacs24-bin-common emacs24-common emacsen-common enchant fastjar file fontconfig fontconfig-config fonts-dejavu fonts-dejavu-core fonts-dejavu-extra fonts-droid fonts-liberation gcc gcc-4.8-base gcc-4.9 gconf-service gconf2-common geoclue-2.0 ghc ghostscript glib-networking glib-networking-common glib-networking-services gnome-user-guide graphviz gringo groff-base gsettings-desktop-schemas gsfonts gstreamer1.0-plugins-base gstreamer1.0-plugins-good gstreamer1.0-x hicolor-icon-theme hol-light hol88 hunspell-en-us ifupdown imagemagick-common init-system-helpers iproute2 isc-dhcp-client isc-dhcp-common iso-codes jarwrapper java-common krb5-locales laptop-detect lbt ledit libaa1 libalgorithm-c3-perl libapache-pom-java libarchive-extract-perl libasan0 libasan1 libasound2 libasound2-data libaspell15 libasyncns0 libatk-bridge2.0-0 libatk-wrapper-java libatk-wrapper-java-jni libatk1.0-0 libatk1.0-data libatm1 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libavc1394-0 libbdd0c2 libblas-common libblas3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcaca0 libcairo-gobject2 libcairo2 libcap-ng0 libcdparanoia0 libcdt5 libcgi-fast-perl libcgi-pm-perl libcgraph6 libcilkrts5 libclass-c3-perl libclass-c3-xs-perl libcloog-isl4 libcolord2 libcolorhug2 libcommons-cli-java libcommons-lang-java libcommons-parent-java libcoq-ocaml libcpan-meta-perl libcroco3 libcups2 libcupsfilters1 libcupsimage2 libcvc3-5 libdata-optlist-perl libdata-section-perl libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdns-export100 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libdv4 libedit2 libelf1 libenchant1c2a libexif12 libexpat1 libfcgi-perl libffi-dev libffi6 libfftw3-double3 libfile-copy-recursive-perl libflac8 libfontconfig1 libfreetype6 libfribidi0 libgcc-4.8-dev libgcc-4.9-dev libgconf-2-4 libgd3 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgfortran3 libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libgl1-mesa-dri libgl1-mesa-glx libglade2-0 libglapi-mesa libglib2.0-0 libglib2.0-data libglu1-mesa libgmp-dev libgmp10 libgmpxx4ldbl libgnutls-deb0-28 libgomp1 libgphoto2-6 libgphoto2-l10n libgphoto2-port10 libgpm2 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libgstreamer-plugins-base1.0-0 libgstreamer1.0-0 libgtk-3-0 libgtk-3-bin libgtk-3-common libgtk2.0-0 libgtk2.0-bin libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libgudev-1.0-0 libgusb2 libgvc6 libgvpr2 libharfbuzz-icu0 libharfbuzz0b libhogweed2 libhunspell-1.3-0 libice6 libicu52 libidn11 libiec61883-0 libieee1284-3 libijs-0.35 libirs-export91 libisc-export95 libisccfg-export90 libisl10 libitm1 libjack-jackd2-0 libjasper1 libjavascriptcoregtk-3.0-0 libjbig0 libjbig2dec0 libjim0.75 libjpeg62-turbo libjson-c2 libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libladr4 liblapack3 liblcms2-2 libldap-2.4-2 libllvm3.5 liblockfile-bin liblockfile1 liblog-message-perl liblog-message-simple-perl liblqr-1-0 liblsan0 libltdl7 liblua5.2-0 libm17n-0 libmagic1 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmbim-glib4 libmbim-proxy libmm-glib0 libmodule-build-perl libmodule-pluggable-perl libmodule-signature-perl libmpc3 libmpfr4 libmro-compat-perl libncurses5-dev libnettle4 libnl-3-200 libnl-genl-3-200 libnspr4 libnss3 libogg0 libopus0 liborc-0.4-0 libotf0 libp11-kit0 libpackage-constants-perl libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpaper-utils libpaper1 libparams-util-perl libpathplan4 libpciaccess0 libpcsclite1 libpipeline1 libpixman-1-0 libpng12-0 libpod-latex-perl libpod-readme-perl libpolkit-agent-1-0 libpolkit-backend-1-0 libpolkit-gobject-1-0 libproxy1 libpulse0 libpython-stdlib libpython2.7 libpython2.7-minimal libpython2.7-stdlib libqmi-glib1 libqmi-proxy libquadmath0 libraw1394-11 libregexp-common-perl librest-0.7-0 librsvg2-2 librsvg2-common libsamplerate0 libsane libsane-common libsane-extras libsane-extras-common libsasl2-2 libsasl2-modules libsasl2-modules-db libsctp1 libsecret-1-0 libsecret-common libshout3 libsigsegv2 libsm6 libsndfile1 libsoftware-license-perl libsoup-gnome2.4-1 libsoup2.4-1 libspeex1 libsqlite3-0 libssl1.0.0 libstdc++-4.8-dev libsub-exporter-perl libsub-install-perl libtag1-vanilla libtag1c2a libtasn1-6 libtbb2 libtecla1 libterm-ui-perl libtext-soundex-perl libtext-template-perl libthai-data libthai0 libtheora0 libtiff5 libtinfo-dev libtsan0 libtxc-dxtn-s2tc0 libubsan0 libusb-1.0-0 libv4l-0 libv4lconvert0 libvisual-0.4-0 libvisual-0.4-plugins libvorbis0a libvorbisenc2 libvpx1 libwavpack1 libwayland-client0 libwayland-cursor0 libwebkitgtk-3.0-0 libwebkitgtk-3.0-common libwebp5 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxdot4 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxmu6 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxslt1.1 libxt6 libxtables10 libxtst6 libxv1 libxxf86vm1 libyelp0 linux-libc-dev lksctp-tools m17n-db mace2 man-db manpages manpages-dev maria maria-doc matita maude menu mime-support minisat+ mmm-mode modemmanager mona netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox openjdk-7-jre openjdk-7-jre-headless openssl otter perl perl-modules picosat policykit-1 poppler-data proofgeneral prover9 python python-minimal python2.7 python2.7-minimal rename sane-utils sat4j science-config science-logic science-tasks sgml-base shared-mime-info spass tasksel tasksel-data tcpd tcsh tzdata-java ucf update-inetd usb-modeswitch usb-modeswitch-data wpasupplicant x11-common xdg-user-dirs xkb-data xml-core yelp yelp-xsl zlib1g-dev 0 upgraded, 502 newly installed, 0 to remove and 0 not upgraded. Need to get 412 MB of archives. After this operation, 1919 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libgdbm3 libjson-c2 libpipeline1 libssl1.0.0 groff-base bsdmainutils man-db tasksel-data tasksel libbsd0 libedit2 libgmp10 libnettle4 libhogweed2 libffi6 libp11-kit0 libtasn1-6 libgnutls-deb0-28 libgpm2 libkeyutils1 libkrb5support0 libk5crypto3 libkrb5-3 libgssapi-krb5-2 libidn11 libsasl2-modules-db libsasl2-2 libldap-2.4-2 liblockfile-bin liblockfile1 libmagic1 libsqlite3-0 libwrap0 libxml2 perl-modules perl libpython2.7-minimal python2.7-minimal python-minimal mime-support libexpat1 libpython2.7-stdlib python2.7 libpython-stdlib python libpng12-0 libfreetype6 ucf fonts-dejavu-core fonts-liberation fontconfig-config libfontconfig1 fontconfig fonts-droid imagemagick-common libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libaa1 gcc-4.8-base libasan0 libasan1 libasound2-data libasound2 libaspell15 libasyncns0 libglib2.0-0 libatk1.0-data libatk1.0-0 libdbus-1-3 libatspi2.0-0 libatk-bridge2.0-0 libpixman-1-0 libxcb-render0 libxcb-shm0 libxext6 libxrender1 libcairo2 libjpeg62-turbo libjasper1 libjbig0 libtiff5 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-0 libgtk2.0-common libavahi-common-data libavahi-common3 libavahi-client3 libcups2 libthai-data libdatrie1 libthai0 libpango-1.0-0 libgraphite2-3 libharfbuzz0b libpangoft2-1.0-0 libpangocairo-1.0-0 libxcomposite1 libxfixes3 libxcursor1 libxdamage1 libxi6 libxinerama1 libxrandr2 shared-mime-info libgtk2.0-0 libatk-wrapper-java libatk-wrapper-java-jni libatm1 libatomic1 libcaca0 libcairo-gobject2 libcap-ng0 libcdparanoia0 libcilkrts5 libisl10 libcloog-isl4 liblcms2-2 libcolord2 libgudev-1.0-0 libusb-1.0-0 libgusb2 libcolorhug2 libcroco3 libcupsimage2 libcupsfilters1 libdbus-glib-1-2 libdconf1 libisc-export95 libdns-export100 libdrm2 libpciaccess0 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdv4 libelf1 emacsen-common dictionaries-common aspell aspell-en hunspell-en-us libhunspell-1.3-0 libenchant1c2a libexif12 libgomp1 libfftw3-double3 libogg0 libflac8 libfribidi0 gconf2-common libgconf-2-4 libvpx1 libxpm4 libgd3 libquadmath0 libgfortran3 libgif4 libllvm3.5 libgl1-mesa-dri libglapi-mesa libx11-xcb1 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-sync1 libxshmfence1 libxxf86vm1 libgl1-mesa-glx libglade2-0 libglu1-mesa libgmpxx4ldbl libltdl7 libgphoto2-port10 libgphoto2-6 libgstreamer1.0-0 liborc-0.4-0 iso-codes libgstreamer-plugins-base1.0-0 dconf-service dconf-gsettings-backend hicolor-icon-theme libwayland-client0 libwayland-cursor0 xkb-data libxkbcommon0 libgtk-3-bin librsvg2-2 librsvg2-common adwaita-icon-theme libgtk-3-common libjson-glib-1.0-common libjson-glib-1.0-0 libproxy1 glib-networking-common glib-networking-services gsettings-desktop-schemas glib-networking libsoup2.4-1 libsoup-gnome2.4-1 librest-0.7-0 libgtk-3-0 libicu52 libharfbuzz-icu0 x11-common libice6 libraw1394-11 libiec61883-0 libieee1284-3 libijs-0.35 libisccfg-export90 libirs-export91 libitm1 libopus0 libsamplerate0 libjack-jackd2-0 libjavascriptcoregtk-3.0-0 libladr4 liblqr-1-0 liblsan0 liblua5.2-0 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmbim-glib4 libmm-glib0 libmpfr4 libnl-3-200 libnl-genl-3-200 libnspr4 libnss3 dbus libpam-systemd libpaper1 libpcsclite1 libpolkit-gobject-1-0 libpolkit-agent-1-0 libpolkit-backend-1-0 libsm6 libvorbis0a libvorbisenc2 libsndfile1 libxtst6 libpulse0 libpython2.7 libqmi-glib1 libsane-common libv4lconvert0 libv4l-0 libsane libsctp1 libsecret-common libsecret-1-0 libspeex1 libtheora0 libshout3 libsigsegv2 libtag1-vanilla libtsan0 libubsan0 libvisual-0.4-0 libwavpack1 libwebp5 libxslt1.1 libxt6 libwebkitgtk-3.0-common libwebkitgtk-3.0-0 libxmu6 libxaw7 libxft2 libxv1 poppler-data sgml-base libmpc3 cpp-4.9 cpp binutils libgcc-4.9-dev gcc-4.9 gcc libgmp-dev libffi-dev libbsd-dev libc-dev-bin linux-libc-dev libc6-dev ghc libavc1394-0 libjim0.75 libtxc-dxtn-s2tc0 dmidecode iproute2 ifupdown init-system-helpers isc-dhcp-common isc-dhcp-client libxtables10 manpages netbase file krb5-locales emacs24-common emacs24-bin-common gconf-service libotf0 m17n-db libm17n-0 emacs24 emacs agda-bin libghc-random-dev libghc-primitive-dev libghc-tf-random-dev libghc-transformers-dev libghc-quickcheck2-dev libghc-mtl-dev libghc-stmonadtrans-dev libghc-binary-dev libghc-split-dev libghc-boxes-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-text-dev libghc-hashable-dev libghc-vector-dev libghc-hashtables-dev libtinfo-dev libncurses5-dev libghc-terminfo-dev libghc-haskeline-dev libghc-polyparse-dev libghc-cpphs-dev libghc-src-exts-dev libghc-parallel-dev libghc-strict-dev libghc-unordered-containers-dev libghc-xhtml-dev zlib1g-dev libghc-zlib-dev libghc-agda-dev agda-mode libgtksourceview2.0-common libgtksourceview2.0-0 alt-ergo at-spi2-core binfmt-support menu blends-common openssl ca-certificates tzdata-java java-common openjdk-7-jre-headless default-jre-headless ca-certificates-java ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox camlp4 coala policykit-1 colord-data colord coq-theories libgtkspell0 liblablgtk2-ocaml libcoq-ocaml coq coqide openjdk-7-jre default-jre enchant fastjar fonts-dejavu-extra fonts-dejavu geoclue-2.0 libjbig2dec0 libgs9-common libgs9 gsfonts ghostscript libyelp0 yelp-xsl yelp gnome-user-guide libcdt5 libcgraph6 libpathplan4 libxdot4 libgvc6 libgvpr2 graphviz libtbb2 gringo gstreamer1.0-plugins-base libtag1c2a gstreamer1.0-plugins-good gstreamer1.0-x hol88 jarwrapper laptop-detect ledit libalgorithm-c3-perl libapache-pom-java libarchive-extract-perl libbdd0c2 libblas-common libblas3 libcgi-pm-perl libfcgi-perl libcgi-fast-perl libclass-c3-perl libclass-c3-xs-perl libcommons-parent-java libcommons-lang-java libcommons-cli-java libcpan-meta-perl libparams-util-perl libsub-install-perl libdata-optlist-perl libmro-compat-perl libsub-exporter-perl libdata-section-perl libfile-copy-recursive-perl libgcc-4.8-dev libglib2.0-data libgphoto2-l10n libgtk2.0-bin liblapack3 liblog-message-perl liblog-message-simple-perl libmbim-proxy libmodule-build-perl libmodule-pluggable-perl libmodule-signature-perl libpackage-constants-perl libpaper-utils libpod-latex-perl libregexp-common-perl libpod-readme-perl libqmi-proxy libsane-extras-common libsane-extras libsasl2-modules libtext-template-perl libsoftware-license-perl libstdc++-4.8-dev libtecla1 libterm-ui-perl libtext-soundex-perl libvisual-0.4-plugins lksctp-tools mace2 manpages-dev maria maria-doc matita maude mmm-mode modemmanager otter proofgeneral prover9 rename update-inetd sane-utils sat4j spass tcpd tcsh wpasupplicant xdg-user-dirs xml-core agda-stdlib agda-stdlib-doc agda boolector camlp5 clasp coinor-libcoinutils3 coinor-libosi1 coinor-libclp1 coinor-libcgl1 coinor-libcbc3 coinor-cbc libcvc3-5 cvc3 depqbf hol-light lbt minisat+ mona picosat science-config science-tasks science-logic usb-modeswitch-data usb-modeswitch E: There are problems and -y was used without --force-yes 0m6.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/shm'] 0m6.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/shm'] 0m6.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/console'] 0m6.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/console'] 0m6.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/ptmx'] 0m6.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/ptmx'] 0m6.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/pts'] 0m6.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/dev/pts'] 0m6.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/proc'] 0m6.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt/proc'] 0m6.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt'] 0m7.0s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp56sl7jjt'] 0m7.0s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp56sl7jjt 0m7.0s ERROR: piuparts run ends. ret=1 End: 2023-02-21 06:40:08 GMT