Format: 1.0 Source: agda (2.5.3-3) Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: powerpc Version: 2.5.3-3+b1 Binary-Only-Changes: agda (2.5.3-3+b1) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for powerpc; no source changes. * hashtables changed from 1.2.1.1 to 1.2.2.0 . -- powerpc Build Daemon (powerpc-unicamp-01) Sun, 05 Nov 2017 03:31:10 +0000 Checksums-Md5: 33056da0b6ec341d6a38d86a03dde2a4 5190056 agda-bin_2.5.3-3+b1_powerpc.deb 8d5bfbf52d8632926eac5a2885fb009e 15641676 libghc-agda-dev_2.5.3-3+b1_powerpc.deb Checksums-Sha1: d8904a529162fefd5efa9af9b67c3b8232af3f59 5190056 agda-bin_2.5.3-3+b1_powerpc.deb ad14d299c9aeedda30e16c7f90771a268c647fa6 15641676 libghc-agda-dev_2.5.3-3+b1_powerpc.deb Checksums-Sha256: 908f0271129f0464141fdac3155c0ab9b5fff54a585dc95c2da8046e117f9ce4 5190056 agda-bin_2.5.3-3+b1_powerpc.deb dfc2adbdc36369a6b4d4c4533cbf27d932dce9ac92a98a7200a0e027f2e8bbd6 15641676 libghc-agda-dev_2.5.3-3+b1_powerpc.deb Build-Origin: Debian Build-Architecture: powerpc Build-Date: Sun, 05 Nov 2017 03:45:05 +0000 Build-Path: /build/agda-PpGqqx/agda-2.5.3 Installed-Build-Depends: alex (= 3.2.3-1), autoconf (= 2.69-11), automake (= 1:1.15.1-3), autopoint (= 0.19.8.1-4), autotools-dev (= 20161112.1+nmu1), base-files (= 10), base-passwd (= 3.5.44), bash (= 4.4-5), binutils (= 2.29.1-6), binutils-common (= 2.29.1-6), binutils-powerpc-linux-gnu (= 2.29.1-6), bsdmainutils (= 9.0.14), bsdutils (= 1:2.30.2-0.1), build-essential (= 12.4), bzip2 (= 1.0.6-8.1), ca-certificates (= 20170717), cdbs (= 0.4.156), coreutils (= 8.28-1), cpp (= 4:7.2.0-1d1), cpp-7 (= 7.2.0-12), cpphs (= 1.20.8-1), dash (= 0.5.8-2.5), dctrl-tools (= 2.24-2+b1), debconf (= 1.5.64), debhelper (= 10.10.5), debianutils (= 4.8.2), dh-autoreconf (= 14), dh-buildinfo (= 0.11+nmu1), dh-elpa (= 1.11), dh-strip-nondeterminism (= 0.040-1), diffutils (= 1:3.6-1), dpkg (= 1.19.0.4), dpkg-dev (= 1.19.0.4), e2fslibs (= 1.43.7-1), e2fsprogs (= 1.43.7-1), emacs25-bin-common (= 25.2+1-6), emacs25-common (= 25.2+1-6), emacs25-nox (= 25.2+1-6), emacsen-common (= 2.0.8), fdisk (= 2.30.2-0.1), file (= 1:5.32-1), findutils (= 4.6.0+git+20170729-2), g++ (= 4:7.2.0-1d1), g++-7 (= 7.2.0-12), gcc (= 4:7.2.0-1d1), gcc-7 (= 7.2.0-12), gcc-7-base (= 7.2.0-12), gettext (= 0.19.8.1-4), gettext-base (= 0.19.8.1-4), ghc (= 8.0.2-10), ghc-prof (= 8.0.2-10), grep (= 3.1-2), groff-base (= 1.22.3-9), gzip (= 1.6-5+b1), happy (= 1.19.8-1), haskell-devscripts (= 0.13.3), haskell-devscripts-minimal (= 0.13.3), hostname (= 3.18+b1), hscolour (= 1.24.1-3+b2), html-xml-utils (= 7.1-1), init-system-helpers (= 1.51), install-info (= 6.5.0.dfsg.1-1), intltool-debian (= 0.35.0+20060710.4), libacl1 (= 2.2.52-3+b1), libapt-pkg-perl (= 0.1.33), libapt-pkg5.0 (= 1.6~alpha3), libarchive-zip-perl (= 1.59-1), libarray-unique-perl (= 0.08-2), libarray-utils-perl (= 0.5-1), libasan4 (= 7.2.0-12), libasound2 (= 1.1.3-5), libasound2-data (= 1.1.3-5), libatomic1 (= 7.2.0-12), libattr1 (= 1:2.4.47-2+b2), libaudit-common (= 1:2.8.1-1), libaudit1 (= 1:2.8.1-1), libbinutils (= 2.29.1-6), libblkid1 (= 2.30.2-0.1), libbsd-dev (= 0.8.6-2), libbsd0 (= 0.8.6-2), libbz2-1.0 (= 1.0.6-8.1), libc-bin (= 2.24-17), libc-dev-bin (= 2.24-17), libc6 (= 2.24-17), libc6-dev (= 2.24-17), libcap-ng0 (= 0.7.7-3.1+b1), libcc1-0 (= 7.2.0-12), libcgi-pm-perl (= 4.37-1), libclass-accessor-perl (= 0.51-1), libcomerr2 (= 1.43.7-1), libconfig-tiny-perl (= 2.23-1), libcroco3 (= 0.6.12-1), libcurl3-gnutls (= 7.56.1-1), libdb5.3 (= 5.3.28-13.1), libdbus-1-3 (= 1.12.0-1), libdebconfclient0 (= 0.233), libdebian-source-perl (= 0.96), libdpkg-perl (= 1.19.0.4), libencode-locale-perl (= 1.05-1), liberror-perl (= 0.17025-1), libexporter-lite-perl (= 0.08-1), libexporter-tiny-perl (= 0.042-1), libfdisk1 (= 2.30.2-0.1), libffi-dev (= 3.2.1-6), libffi6 (= 3.2.1-6), libfile-find-rule-perl (= 0.34-1), libfile-listing-perl (= 6.04-1), libfile-stripnondeterminism-perl (= 0.040-1), libgcc-7-dev (= 7.2.0-12), libgcc1 (= 1:7.2.0-12), libgcrypt20 (= 1.7.9-1), libgdbm3 (= 1.8.3-14), libghc-async-dev (= 2.1.1.1-1), libghc-async-prof (= 2.1.1.1-1), libghc-base-compat-dev (= 0.9.3-1), libghc-blaze-builder-dev (= 0.4.0.2-3+b3), libghc-blaze-builder-prof (= 0.4.0.2-3+b3), libghc-blaze-html-dev (= 0.9.0.1-1), libghc-blaze-html-prof (= 0.9.0.1-1), libghc-blaze-markup-dev (= 0.8.0.0-1), libghc-blaze-markup-prof (= 0.8.0.0-1), libghc-boxes-dev (= 0.1.4-4+b2), libghc-data-hash-dev (= 0.2.0.1-4+b1), libghc-edison-api-dev (= 1.3.1-2+b1), libghc-edison-api-prof (= 1.3.1-2+b1), libghc-edison-core-dev (= 1.3.1.1-3+b4), libghc-edison-core-prof (= 1.3.1.1-3+b4), libghc-edit-distance-dev (= 0.2.2.1-5+b2), libghc-edit-distance-prof (= 0.2.2.1-5+b2), libghc-equivalence-dev (= 0.3.2-1), libghc-filemanip-dev (= 0.3.6.3-6+b3), libghc-geniplate-mirror-dev (= 0.7.5-1+b1), libghc-gitrev-dev (= 1.3.1-1), libghc-hashable-dev (= 1.2.6.1-1), libghc-hashable-prof (= 1.2.6.1-1), libghc-hashtables-dev (= 1.2.2.0-1), libghc-ieee754-dev (= 0.8.0-1), libghc-ieee754-prof (= 0.8.0-1), libghc-monadplus-dev (= 1.4.2-3+b1), libghc-monadplus-prof (= 1.4.2-3+b1), libghc-mtl-dev (= 2.2.1-5+b1), libghc-mtl-prof (= 2.2.1-5+b1), libghc-murmur-hash-dev (= 0.1.0.9-1), libghc-network-uri-dev (= 2.6.1.0-3+b2), libghc-network-uri-prof (= 2.6.1.0-3+b2), libghc-parallel-dev (= 3.2.1.1-1+b1), libghc-parsec3-dev (= 3.1.11-3+b3), libghc-parsec3-prof (= 3.1.11-3+b3), libghc-primitive-dev (= 0.6.2.0-1), libghc-primitive-prof (= 0.6.2.0-1), libghc-quickcheck2-dev (= 2.9.2-1+b1), libghc-quickcheck2-prof (= 2.9.2-1+b1), libghc-random-dev (= 1.1-5+b2), libghc-random-prof (= 1.1-5+b2), libghc-regex-base-dev (= 0.93.2-10+b2), libghc-regex-base-prof (= 0.93.2-10+b2), libghc-regex-tdfa-dev (= 1.2.2-3+b2), libghc-regex-tdfa-prof (= 1.2.2-3+b2), libghc-split-dev (= 0.2.3.2-1+b1), libghc-stm-dev (= 2.4.4.1-3+b1), libghc-stm-prof (= 2.4.4.1-3+b1), libghc-stmonadtrans-dev (= 0.4.3-1), libghc-strict-dev (= 0.3.2-13+b1), libghc-strict-prof (= 0.3.2-13+b1), libghc-text-dev (= 1.2.2.2-1+b1), libghc-text-prof (= 1.2.2.2-1+b1), libghc-tf-random-dev (= 0.5-7+b3), libghc-tf-random-prof (= 0.5-7+b3), libghc-transformers-compat-dev (= 0.5.1.4-2+b1), libghc-unix-compat-dev (= 0.4.3.1-1+b1), libghc-unordered-containers-dev (= 0.2.8.0-1+b1), libghc-unordered-containers-prof (= 0.2.8.0-1+b1), libghc-uri-encode-dev (= 1.5.0.5-1), libghc-uri-encode-prof (= 1.5.0.5-1), libghc-utf8-string-dev (= 1.0.1.1-4+b2), libghc-utf8-string-prof (= 1.0.1.1-4+b2), libghc-vector-dev (= 0.12.0.1-2), libghc-zlib-dev (= 0.6.1.2-1+b2), libghc-zlib-prof (= 0.6.1.2-1+b2), libglib2.0-0 (= 2.54.2-1), libgmp-dev (= 2:6.1.2+dfsg-1.1), libgmp10 (= 2:6.1.2+dfsg-1.1), libgmpxx4ldbl (= 2:6.1.2+dfsg-1.1), libgnutls30 (= 3.5.16-1), libgomp1 (= 7.2.0-12), libgpg-error0 (= 1.27-4), libgpm2 (= 1.20.4-6.2+b1), libgssapi-krb5-2 (= 1.15.2-2), libhogweed4 (= 3.3-2), libhtml-form-perl (= 6.03-1), libhtml-parser-perl (= 3.72-3+b2), libhtml-tagset-perl (= 3.20-3), libhtml-tree-perl (= 5.03-2), libhttp-cookies-perl (= 6.01-1), libhttp-daemon-perl (= 6.01-1), libhttp-date-perl (= 6.02-1), libhttp-message-perl (= 6.13-1), libhttp-negotiate-perl (= 6.00-2), libhttp-server-simple-perl (= 0.51-1), libicu57 (= 57.1-8), libidn2-0 (= 2.0.2-5), libio-html-perl (= 1.001-1), libio-socket-ssl-perl (= 2.052-1), libio-stringy-perl (= 2.111-2), libisl15 (= 0.18-1), libjpeg62-turbo (= 1:1.5.2-2), libk5crypto3 (= 1.15.2-2), libkeyutils1 (= 1.5.9-9.1), libkrb5-3 (= 1.15.2-2), libkrb5support0 (= 1.15.2-2), libldap-2.4-2 (= 2.4.45+dfsg-1), libldap-common (= 2.4.45+dfsg-1), liblist-moreutils-perl (= 0.416-1+b3), liblockfile-bin (= 1.14-1+b1), liblockfile1 (= 1.14-1+b1), liblwp-mediatypes-perl (= 6.02-1), liblwp-protocol-https-perl (= 6.07-2), liblz4-1 (= 0.0~r131-2+b1), liblzma5 (= 5.2.2-1.3), libmagic-mgc (= 1:5.32-1), libmagic1 (= 1:5.32-1), libmount1 (= 2.30.2-0.1), libmpc3 (= 1.0.3-2), libmpfr4 (= 3.1.6-1), libncurses5 (= 6.0+20170902-1), libncurses5-dev (= 6.0+20170902-1), libncursesw5 (= 6.0+20170902-1), libnet-http-perl (= 6.17-1), libnet-ssleay-perl (= 1.80-1+b2), libnettle6 (= 3.3-2), libnghttp2-14 (= 1.27.0-1), libnumber-compare-perl (= 0.03-1), libp11-kit0 (= 0.23.9-2), libpam-modules (= 1.1.8-3.6), libpam-modules-bin (= 1.1.8-3.6), libpam-runtime (= 1.1.8-3.6), libpam0g (= 1.1.8-3.6), libparse-debcontrol-perl (= 2.005-4), libpcre3 (= 2:8.39-5), libperl5.26 (= 5.26.1-2), libpipeline1 (= 1.4.2-1), libpsl5 (= 0.18.0-4), librtmp1 (= 2.4+20151223.gitfa8646d.1-1+b1), libsasl2-2 (= 2.1.27~101-g0780600+dfsg-3), libsasl2-modules-db (= 2.1.27~101-g0780600+dfsg-3), libselinux1 (= 2.7-2), libsigsegv2 (= 2.11-1), libsmartcols1 (= 2.30.2-0.1), libss2 (= 1.43.7-1), libssh2-1 (= 1.8.0-1), libssl1.1 (= 1.1.0g-2), libstdc++-7-dev (= 7.2.0-12), libstdc++6 (= 7.2.0-12), libsub-name-perl (= 0.21-1+b2), libsystemd0 (= 235-2), libtasn1-6 (= 4.12-2.1), libtext-glob-perl (= 0.10-1), libtie-ixhash-perl (= 1.23-2), libtimedate-perl (= 2.3000-2), libtinfo-dev (= 6.0+20170902-1), libtinfo5 (= 6.0+20170902-1), libtool (= 2.4.6-2), libtry-tiny-perl (= 0.28-1), libubsan0 (= 7.2.0-12), libudev1 (= 235-2), libunistring2 (= 0.9.7-2), liburi-perl (= 1.72-2), libuuid1 (= 2.30.2-0.1), libwww-mechanize-perl (= 1.86-1), libwww-perl (= 6.27-1), libwww-robotrules-perl (= 6.01-1), libxml2 (= 2.9.4+dfsg1-5+b1), linux-libc-dev (= 4.13.4-2), login (= 1:4.5-1), m4 (= 1.4.18-1), make (= 4.1-9), man-db (= 2.7.6.1-2), mawk (= 1.3.3-17+b3), multiarch-support (= 2.24-17), ncurses-base (= 6.0+20170902-1), ncurses-bin (= 6.0+20170902-1), netbase (= 5.4), openssl (= 1.1.0g-2), patch (= 2.7.5-1+b2), perl (= 5.26.1-2), perl-base (= 5.26.1-2), perl-modules-5.26 (= 5.26.1-2), perl-openssl-defaults (= 3), po-debconf (= 1.0.20), sed (= 4.4-1), sysvinit-utils (= 2.88dsf-59.10), tar (= 1.29b-2), util-linux (= 2.30.2-0.1), xz-utils (= 5.2.2-1.3), zlib1g (= 1:1.2.8.dfsg-5), zlib1g-dev (= 1:1.2.8.dfsg-5) Environment: DEB_BUILD_OPTIONS="parallel=8" SOURCE_DATE_EPOCH="1509852670"