Format: 1.0 Source: agda Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: hurd-i386 Version: 2.5.3-3 Checksums-Md5: 71fe3987e9b6c3b9d3438512b581eba7 6711996 agda-bin_2.5.3-3_hurd-i386.deb 1f4498a89f98178136e1e3a2906ed778 15663912 libghc-agda-dev_2.5.3-3_hurd-i386.deb Checksums-Sha1: ac5ed323fe50ef82071016fe8d4ef7425def4604 6711996 agda-bin_2.5.3-3_hurd-i386.deb 569267d71899420108f9d9fd6cb59346fd49bae3 15663912 libghc-agda-dev_2.5.3-3_hurd-i386.deb Checksums-Sha256: 01d9181b2c746d63e681cc32facb33967bea54f42dca04f0bc31a63abb7a2b76 6711996 agda-bin_2.5.3-3_hurd-i386.deb 680924cc18422c59e9dbf1d3b3a1a2e427f0b47f3ac7a0d265c7f484b59a0b76 15663912 libghc-agda-dev_2.5.3-3_hurd-i386.deb Build-Origin: Debian Build-Architecture: hurd-i386 Build-Date: Sat, 21 Oct 2017 11:26:46 +0000 Build-Path: /build/agda-z3sStM/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), base-files (= 10), base-passwd (= 3.5.44), bash (= 4.4-5), binutils (= 2.29.1-5), binutils-common (= 2.29.1-5), binutils-i686-gnu (= 2.29.1-5), bsdmainutils (= 9.0.14), bsdutils (= 1:2.29.2-2), 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-6), cpphs (= 1.20.8-1), dash (= 0.5.7-4), dctrl-tools (= 2.24-2), debconf (= 1.5.64), debhelper (= 10.9.2), debianutils (= 4.8.2), dh-autoreconf (= 14), dh-buildinfo (= 0.11+nmu1), dh-elpa (= 1.11), dh-strip-nondeterminism (= 0.039-1), diffutils (= 1:3.6-1), dpkg (= 1.19.0.1), dpkg-dev (= 1.19.0.2), e2fslibs (= 1.43.7-1), e2fsprogs (= 1.43.7-1), emacs25-bin-common (= 25.2+1-2), emacs25-common (= 25.2+1-2), emacs25-nox (= 25.2+1-2), emacsen-common (= 2.0.8), file (= 1:5.32-1), findutils (= 4.6.0+git+20170729-2), g++ (= 4:7.2.0-1d1), g++-7 (= 7.2.0-6), gcc (= 4:7.2.0-1d1), gcc-7 (= 7.2.0-6), gcc-7-base (= 7.2.0-6), gettext (= 0.19.8.1-4), gettext-base (= 0.19.8.1-4), ghc (= 8.0.2-10), ghc-prof (= 8.0.2-10), gnumach-dev (= 2:1.8+git20170911-2), grep (= 3.1-2), groff-base (= 1.22.3-9), gzip (= 1.6-5), happy (= 1.19.7-1), haskell-devscripts (= 0.13.3), haskell-devscripts-minimal (= 0.13.3), hostname (= 3.18), hscolour (= 1.24.1-3+b1), html-xml-utils (= 7.1-1), hurd (= 1:0.9.git20170910-1), hurd-dev (= 1:0.9.git20170910-1), hurd-libs0.3 (= 1:0.9.git20170910-1), init-system-helpers (= 1.50), insserv (= 1.14.0-5.4), install-info (= 6.5.0.dfsg.1-1), intltool-debian (= 0.35.0+20060710.4), libacl1 (= 2.2.52-3), libapt-pkg-perl (= 0.1.33), libapt-pkg5.0 (= 1.5), libarchive-zip-perl (= 1.59-1), libarray-unique-perl (= 0.08-2), libarray-utils-perl (= 0.5-1), libatomic1 (= 7.2.0-6), libattr1 (= 1:2.4.47-2+b1), libbinutils (= 2.29.1-5), libblkid1 (= 2.29.2-2), 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), libc0.3 (= 2.24-17), libc0.3-dev (= 2.24-17), libcc1-0 (= 7.2.0-6), libcgi-pm-perl (= 4.36-1), libclass-accessor-perl (= 0.34-1), libcomerr2 (= 1.43.7-1), libconfig-tiny-perl (= 2.23-1), libcroco3 (= 0.6.12-1), libcurl3-gnutls (= 7.55.1-1), libdaemon0 (= 0.14-6+b1), libdb5.3 (= 5.3.28-13), libdbus-1-3 (= 1.11.20-1), libdebconfclient0 (= 0.232), libdebian-source-perl (= 0.96), libdpkg-perl (= 1.19.0.2), 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.29.2-2), 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.039-1), libgcc-7-dev (= 7.2.0-6), libgcc1 (= 1:7.2.0-6), libgcrypt20 (= 1.7.9-1), libgdbm3 (= 1.8.3-14), libghc-async-dev (= 2.1.1.1-1+b1), libghc-async-prof (= 2.1.1.1-1+b1), libghc-base-compat-dev (= 0.9.3-1+b1), libghc-blaze-builder-dev (= 0.4.0.2-3+b2), libghc-blaze-builder-prof (= 0.4.0.2-3+b2), 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+b3), libghc-edison-core-prof (= 1.3.1.1-3+b3), libghc-edit-distance-dev (= 0.2.2.1-5+b1), libghc-edit-distance-prof (= 0.2.2.1-5+b1), libghc-equivalence-dev (= 0.3.2-1), libghc-filemanip-dev (= 0.3.6.3-6+b2), 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.1.1-1+b3), 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+b1), libghc-network-uri-prof (= 2.6.1.0-3+b1), libghc-parallel-dev (= 3.2.1.1-1+b1), libghc-parsec3-dev (= 3.1.11-3+b2), libghc-parsec3-prof (= 3.1.11-3+b2), 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+b1), libghc-random-prof (= 1.1-5+b1), 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+b2), libghc-stm-prof (= 2.4.4.1-3+b2), libghc-stmonadtrans-dev (= 0.4.3-1), libghc-strict-dev (= 0.3.2-13+b2), libghc-strict-prof (= 0.3.2-13+b2), libghc-text-dev (= 1.2.2.2-1+b2), libghc-text-prof (= 1.2.2.2-1+b2), libghc-tf-random-dev (= 0.5-7+b2), libghc-tf-random-prof (= 0.5-7+b2), 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+b2), libghc-unordered-containers-prof (= 0.2.8.0-1+b2), 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+b1), libghc-utf8-string-prof (= 1.0.1.1-4+b1), libghc-vector-dev (= 0.12.0.1-2), libghc-zlib-dev (= 0.6.1.2-1+b1), libghc-zlib-prof (= 0.6.1.2-1+b1), libglib2.0-0 (= 2.54.1-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.4-2), libgomp1 (= 7.2.0-6), libgpg-error0 (= 1.27-3), libgssapi-krb5-2 (= 1.15.1-2), libhogweed4 (= 3.3-2), libhtml-form-perl (= 6.03-1), libhtml-parser-perl (= 3.72-3+b1), 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), libidn11 (= 1.33-2), libidn2-0 (= 2.0.2-5), libio-html-perl (= 1.001-1), libio-socket-ssl-perl (= 2.051-1), libio-stringy-perl (= 2.111-2), libisl15 (= 0.18-1), libjpeg62-turbo (= 1:1.5.2-2), libk5crypto3 (= 1.15.1-2), libkrb5-3 (= 1.15.1-2), libkrb5support0 (= 1.15.1-2), libldap-2.4-2 (= 2.4.44+dfsg-7), libldap-common (= 2.4.44+dfsg-7), liblist-moreutils-perl (= 0.416-1+b2), liblockfile-bin (= 1.13-1), liblockfile1 (= 1.13-1), liblwp-mediatypes-perl (= 6.02-1), liblwp-protocol-https-perl (= 6.07-2), liblz4-1 (= 0.0~r131-2), liblzma5 (= 5.2.2-1.3), libmagic-mgc (= 1:5.32-1), libmagic1 (= 1:5.32-1), libmount1 (= 2.29.2-2), 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.16-1), libnet-ssleay-perl (= 1.80-1+b1), libnettle6 (= 3.3-2), libnghttp2-14 (= 1.19.0-2), libnumber-compare-perl (= 0.03-1), liboss4-salsa2 (= 4.2-build2010-5), libp11-kit0 (= 0.23.3-4), 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), libparted2 (= 3.2-18), libpciaccess0 (= 0.13.4-1+b2), libpcre3 (= 2:8.39-5), libperl5.26 (= 5.26.0-8), libpipeline1 (= 1.4.2-1), libpsl5 (= 0.18.0-4), libquadmath0 (= 7.2.0-6), librtmp1 (= 2.4+20151223.gitfa8646d.1-1), libsasl2-2 (= 2.1.27~101-g0780600+dfsg-3), libsasl2-modules-db (= 2.1.27~101-g0780600+dfsg-3), libsigsegv2 (= 2.11-1), libsmartcols1 (= 2.29.2-2), libss2 (= 1.43.7-1), libssh2-1 (= 1.8.0-1), libssl1.1 (= 1.1.0e-2), libstdc++-7-dev (= 7.2.0-6), libstdc++6 (= 7.2.0-6), libsub-name-perl (= 0.21-1+b1), 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), libunistring2 (= 0.9.7-2), liburi-perl (= 1.72-2), libuuid1 (= 2.29.2-2), libwww-mechanize-perl (= 1.86-1), libwww-perl (= 6.27-1), libwww-robotrules-perl (= 6.01-1), libx11-6 (= 2:1.6.4-3), libx11-data (= 2:1.6.4-3), libxau6 (= 1:1.0.8-1+b2), libxcb1 (= 1.12-1), libxdmcp6 (= 1:1.1.2-3), libxml2 (= 2.9.4+dfsg1-5), login (= 1:4.5-1), lsb-base (= 9.20170808), m4 (= 1.4.18-1), make (= 4.1-9), man-db (= 2.7.6.1-2), mawk (= 1.3.3-17+b1), multiarch-support (= 2.24-17), ncurses-base (= 6.0+20170902-1), ncurses-bin (= 6.0+20170902-1), netbase (= 5.4), netdde (= 0.0.20150828-4), openssl (= 1.1.0e-2), patch (= 2.7.5-1), perl (= 5.26.0-8), perl-base (= 5.26.0-8), perl-modules-5.26 (= 5.26.0-8), perl-openssl-defaults (= 3), po-debconf (= 1.0.20), sed (= 4.4-1), startpar (= 0.59-3.1), sysv-rc (= 2.88dsf-59.10), sysvinit-utils (= 2.88dsf-59.10), tar (= 1.29b-1.1), util-linux (= 2.29.2-2), xkb-data (= 2.19-1.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=1" LANG="en_US.UTF-8" LC_ALL="POSIX" SOURCE_DATE_EPOCH="1507949671"