Format: 1.0 Source: agda Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: kfreebsd-amd64 Version: 2.5.2-2 Checksums-Md5: acd5f56d168c96dc6d0cec3d5416780c 5987180 agda-bin_2.5.2-2_kfreebsd-amd64.deb d26d5287ae3c5457cdb2f5b3f7728a55 13306144 libghc-agda-dev_2.5.2-2_kfreebsd-amd64.deb Checksums-Sha1: 49c7a2cd237d6622098d468405ecce0fabd026b4 5987180 agda-bin_2.5.2-2_kfreebsd-amd64.deb 317fa8a20ff2ad84e45775dd2d77b545251c6f0f 13306144 libghc-agda-dev_2.5.2-2_kfreebsd-amd64.deb Checksums-Sha256: 3f055f00c663b201abcad06dbb4060673fa24b22d2079fe8f429a6a9d9aba997 5987180 agda-bin_2.5.2-2_kfreebsd-amd64.deb 29b26366d4154e434e2b65b8d01d7a67f07dfb12d3e1ccc223d30ba924e6c7c4 13306144 libghc-agda-dev_2.5.2-2_kfreebsd-amd64.deb Build-Origin: Debian Build-Architecture: kfreebsd-amd64 Build-Date: Mon, 10 Jul 2017 13:26:06 +0000 Build-Path: /build/agda-Sjahy4/agda-2.5.2 Installed-Build-Depends: alex (= 3.2.1-1), autoconf (= 2.69-10), automake (= 1:1.15.1-2), autopoint (= 0.19.8.1-2), autotools-dev (= 20161112.1), base-files (= 10), base-passwd (= 3.5.43), bash (= 4.4-5), binutils (= 2.28-6), bsdmainutils (= 9.0.12+nmu1), bsdutils (= 1:2.29.2-1), build-essential (= 12.3), bzip2 (= 1.0.6-8.1), ca-certificates (= 20161130+nmu1), cdbs (= 0.4.152), coreutils (= 8.26-3), cpp (= 4:6.3.0-4d1), cpp-6 (= 6.4.0-1), cpphs (= 1.20.8-1), dash (= 0.5.8-2.4), dctrl-tools (= 2.24-2+b1), debconf (= 1.5.62), debhelper (= 10.6.3), debianutils (= 4.8.1.1), dh-autoreconf (= 14), dh-buildinfo (= 0.11+nmu1), dh-elpa (= 1.8), dh-strip-nondeterminism (= 0.035-2), diffutils (= 1:3.5-3), dpkg (= 1.18.24), dpkg-dev (= 1.18.24), e2fslibs (= 1.43.4-2), e2fsprogs (= 1.43.4-2), emacs25-bin-common (= 25.2+1-1), emacs25-common (= 25.2+1-1), emacs25-nox (= 25.2+1-1), emacsen-common (= 2.0.8), file (= 1:5.30-1), findutils (= 4.6.0+git+20170606-3), freebsd-utils (= 10.3~svn296373-2), g++ (= 4:6.3.0-4d1), g++-6 (= 6.4.0-1), gcc (= 4:6.3.0-4d1), gcc-6 (= 6.4.0-1), gcc-6-base (= 6.4.0-1), gcc-7-base (= 7.1.0-9), gettext (= 0.19.8.1-2+b1), gettext-base (= 0.19.8.1-2+b1), ghc (= 8.0.2-5), grep (= 2.27-2), groff-base (= 1.22.3-9), gzip (= 1.6-5+b1), happy (= 1.19.5-7), 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.48), intltool-debian (= 0.35.0+20060710.4), kfreebsd-kernel-headers (= 10.3~3), libacl1 (= 2.2.52-3+b1), libapt-pkg-perl (= 0.1.32), libapt-pkg5.0 (= 1.5~beta1), libarchive-zip-perl (= 1.59-1), libarray-unique-perl (= 0.08-2), libarray-utils-perl (= 0.5-1), libatomic1 (= 7.1.0-9), libattr1 (= 1:2.4.47-2+b2), libblkid1 (= 2.29.2-1), libbsd-dev (= 0.8.5-1), libbsd0 (= 0.8.5-1), libbz2-1.0 (= 1.0.6-8.1), libc-bin (= 2.24-12), libc-dev-bin (= 2.24-12), libc0.1 (= 2.24-12), libc0.1-dev (= 2.24-12), libcam6 (= 10.3~svn296373-10), libcc1-0 (= 7.1.0-9), libcgi-pm-perl (= 4.35-1), libclass-accessor-perl (= 0.34-1), libcomerr2 (= 1.43.4-2), libconfig-tiny-perl (= 2.23-1), libcroco3 (= 0.6.12-1), libcurl3-gnutls (= 7.52.1-5), libdb5.3 (= 5.3.28-12+b1), libdbus-1-3 (= 1.10.20-1), libdebconfclient0 (= 0.229), libdebian-source-perl (= 0.95), libdpkg-perl (= 1.18.24), libencode-locale-perl (= 1.05-1), liberror-perl (= 0.17024-1), libexpat1 (= 2.2.1-3), libexporter-lite-perl (= 0.08-1), libexporter-tiny-perl (= 0.042-1), libfdisk1 (= 2.29.2-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.035-2), libfreebsd-glue-0 (= 0.2.22), libgcc-6-dev (= 6.4.0-1), libgcc1 (= 1:7.1.0-9), libgcrypt20 (= 1.7.8-2), libgdbm3 (= 1.8.3-14), libgeom1 (= 10.3~svn296373-10), libghc-boxes-dev (= 0.1.4-4+b2), libghc-data-hash-dev (= 0.2.0.1-4+b2), libghc-edison-api-dev (= 1.3.1-2+b1), libghc-edison-core-dev (= 1.3.1.1-3+b3), libghc-edit-distance-dev (= 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.2.0-3+b2), libghc-hashable-dev (= 1.2.4.0-3+b2), libghc-hashtables-dev (= 1.2.1.1-1+b1), libghc-ieee754-dev (= 0.8.0-1), libghc-monadplus-dev (= 1.4.2-3+b1), libghc-mtl-dev (= 2.2.1-5+b1), libghc-murmur-hash-dev (= 0.1.0.9-1), libghc-parallel-dev (= 3.2.1.1-1+b1), libghc-parsec3-dev (= 3.1.11-3+b3), libghc-primitive-dev (= 0.6.1.0-4+b1), libghc-quickcheck2-dev (= 2.9.2-1), libghc-random-dev (= 1.1-5+b2), libghc-regex-base-dev (= 0.93.2-10+b2), libghc-regex-tdfa-dev (= 1.2.2-3+b2), libghc-split-dev (= 0.2.3.2-1+b1), libghc-stmonadtrans-dev (= 0.4.3-1), libghc-strict-dev (= 0.3.2-13+b1), libghc-text-dev (= 1.2.2.2-1+b1), libghc-tf-random-dev (= 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), libghc-vector-dev (= 0.11.0.0-7+b1), libghc-zlib-dev (= 0.6.1.2-1+b2), libglib2.0-0 (= 2.52.3-1), libgmp-dev (= 2:6.1.2+dfsg-1), libgmp10 (= 2:6.1.2+dfsg-1), libgmpxx4ldbl (= 2:6.1.2+dfsg-1), libgnutls30 (= 3.5.6-4), libgomp1 (= 7.1.0-9), libgpg-error0 (= 1.27-3), libgssapi-krb5-2 (= 1.15-1), libhogweed4 (= 3.3-1+b1), libhtml-form-perl (= 6.03-1), libhtml-parser-perl (= 3.72-3), 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.11-1), libhttp-negotiate-perl (= 6.00-2), libhttp-server-simple-perl (= 0.51-1), libicu57 (= 57.1-6), libidn11 (= 1.33-1), libidn2-0 (= 2.0.2-1), libio-html-perl (= 1.001-1), libio-socket-ssl-perl (= 2.049-1), libio-stringy-perl (= 2.111-2), libisl15 (= 0.18-1), libjail1 (= 10.3~svn296373-10), libjpeg62-turbo (= 1:1.5.1-2), libk5crypto3 (= 1.15-1), libkiconv4 (= 10.3~svn296373-10), libkrb5-3 (= 1.15-1), libkrb5support0 (= 1.15-1), libkvm6 (= 10.3~svn296373-10), libldap-2.4-2 (= 2.4.44+dfsg-7), libldap-common (= 2.4.44+dfsg-7), liblist-moreutils-perl (= 0.416-1+b1), liblockfile-bin (= 1.14-1+b1), liblockfile1 (= 1.14-1+b1), liblwp-mediatypes-perl (= 6.02-1), liblwp-protocol-https-perl (= 6.06-2), liblz4-1 (= 0.0~r131-2+b1), liblzma5 (= 5.2.2-1.2+b1), libmagic-mgc (= 1:5.30-1), libmagic1 (= 1:5.30-1), libmount1 (= 2.29.2-1), libmpc3 (= 1.0.3-1+b2), libmpfr4 (= 3.1.5-1), libncurses5 (= 6.0+20170708-1), libncurses5-dev (= 6.0+20170708-1), libncursesw5 (= 6.0+20170708-1), libnet-http-perl (= 6.12-1), libnet-ssleay-perl (= 1.80-1), libnettle6 (= 3.3-1+b1), libnghttp2-14 (= 1.19.0-2), libnumber-compare-perl (= 0.03-1), liboss4-salsa2 (= 4.2-build2010-5), libp11-kit0 (= 0.23.3-5), 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-3), libperl5.24 (= 5.24.1-7), libpipeline1 (= 1.4.1-2), libpsl5 (= 0.17.0-4+b1), libquadmath0 (= 7.1.0-9), 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), libsbuf6 (= 10.3~svn296373-10), libsigsegv2 (= 2.11-1), libsmartcols1 (= 2.29.2-1), libss2 (= 1.43.4-2), libssh2-1 (= 1.8.0-1), libssl1.1 (= 1.1.0f-3), libstdc++-6-dev (= 6.4.0-1), libstdc++6 (= 7.1.0-9), libsub-name-perl (= 0.21-1), libtasn1-6 (= 4.12-2), libtext-glob-perl (= 0.10-1), libtie-ixhash-perl (= 1.23-2), libtimedate-perl (= 2.3000-2), libtinfo-dev (= 6.0+20170708-1), libtinfo5 (= 6.0+20170708-1), libtirpc1 (= 0.2.5-1.2), libtool (= 2.4.6-2), libunistring2 (= 0.9.7-2), liburi-perl (= 1.71-1), libutil-freebsd-9 (= 10.3~svn296373-10), libuuid1 (= 2.29.2-1), libwww-mechanize-perl (= 1.83-1), libwww-perl (= 6.15-1), libwww-robotrules-perl (= 6.01-1), libxml2 (= 2.9.4+dfsg1-3), login (= 1:4.4-4.1), lsb-base (= 9.20161125), m4 (= 1.4.18-1), make (= 4.1-9), man-db (= 2.7.5-2), mawk (= 1.3.3-17+b3), multiarch-support (= 2.24-12), ncurses-base (= 6.0+20170708-1), ncurses-bin (= 6.0+20170708-1), netbase (= 5.4), openssl (= 1.1.0f-3), passwd (= 1:4.4-4.1), patch (= 2.7.5-1+b2), perl (= 5.24.1-7), perl-base (= 5.24.1-7), perl-modules-5.24 (= 5.24.1-7), perl-openssl-defaults (= 3), po-debconf (= 1.0.20), sed (= 4.4-1), sensible-utils (= 0.0.9), sysvinit-utils (= 2.88dsf-59.9), tar (= 1.28-2.2), util-linux (= 2.29.2-1), xz-utils (= 5.2.2-1.2+b1), zlib1g (= 1:1.2.8.dfsg-5), zlib1g-dev (= 1:1.2.8.dfsg-5) Environment: DEB_BUILD_OPTIONS="parallel=2" SOURCE_DATE_EPOCH="1499684076"