-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: agda Binary: agda-bin libghc-agda-dev Architecture: hurd-i386 Version: 2.6.4.3-1 Checksums-Md5: 152114d7e349333ecef60905539fb1bf 9693124 agda-bin_2.6.4.3-1_hurd-i386.deb 773451fd24e8d8017f5c8733f824c16b 23097884 libghc-agda-dev_2.6.4.3-1_hurd-i386.deb Checksums-Sha1: 8703538e4b372270c0927648e99d50574f67382b 9693124 agda-bin_2.6.4.3-1_hurd-i386.deb 74f4f31cba1e5fb24dc80f37d64c2aa26b3a9c7a 23097884 libghc-agda-dev_2.6.4.3-1_hurd-i386.deb Checksums-Sha256: ff52fc64155860cece0cbce9486040ef075c2788813518f56aa31a74f09b8510 9693124 agda-bin_2.6.4.3-1_hurd-i386.deb 3d77ceea3e54bc80c1b19e564b1e147610096325924ad723c34cfc84ee99b60c 23097884 libghc-agda-dev_2.6.4.3-1_hurd-i386.deb Build-Origin: Debian Build-Architecture: hurd-i386 Build-Date: Sun, 19 Jan 2025 01:43:17 +0000 Build-Path: /build/agda-bWamnl/agda-2.6.4.3 Installed-Build-Depends: alex (= 3.4.0.1-1), autoconf (= 2.72-3), automake (= 1:1.16.5-1.3), autopoint (= 0.23.1-1), autotools-dev (= 20220109.1), base-files (= 13.6), base-passwd (= 3.6.6), bash (= 5.2.37-1), binutils (= 2.43.50.20250108-1), binutils-common (= 2.43.50.20250108-1), binutils-i686-gnu (= 2.43.50.20250108-1), bsdextrautils (= 2.40.2-12), bsdutils (= 1:2.40.2-12), build-essential (= 12.12), bzip2 (= 1.0.8-6), ca-certificates (= 20241223), cdbs (= 0.4.167), coreutils (= 9.1-1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-13), cpp-14-i686-gnu (= 14.2.0-13), cpp-i686-gnu (= 4:14.2.0-1), cpphs (= 1.20.9.1-4), dash (= 0.5.12-11), dctrl-tools (= 2.24-3), debconf (= 1.5.89), debhelper (= 13.23), debianutils (= 5.21), dh-autoreconf (= 20), dh-elpa (= 2.1.5), dh-strip-nondeterminism (= 1.14.0-1), diffutils (= 1:3.7-5), dpkg (= 1.22.14), dpkg-dev (= 1.22.14), dwz (= 0.15-1+b1), emacs-bin-common (= 1:29.4+1-5), emacs-common (= 1:29.4+1-5), emacs-el (= 1:29.4+1-5), emacs-nox (= 1:29.4+1-5), emacsen-common (= 3.0.5), file (= 1:5.45-3+b1), findutils (= 4.10.0-3), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-13), g++-14-i686-gnu (= 14.2.0-13), g++-i686-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-13), gcc-14-base (= 14.2.0-13), gcc-14-i686-gnu (= 14.2.0-13), gcc-i686-gnu (= 4:14.2.0-1), gettext (= 0.23.1-1), gettext-base (= 0.23.1-1), ghc (= 9.6.6-3), ghc-prof (= 9.6.6-3), gnumach-dev (= 2:1.8+git20241227-2), grep (= 3.11-4+hurd.1), groff-base (= 1.23.0-7), gzip (= 1.12-1.2), happy (= 1.20.1.1-1), haskell-devscripts (= 0.16.34), haskell-devscripts-minimal (= 0.16.34), hostname (= 3.25), hscolour (= 1.25-1), html-xml-utils (= 7.7-1.1+b1), hurd (= 1:0.9.git20241227-3), hurd-dev (= 1:0.9.git20241227-3), hurd-libs0.3 (= 1:0.9.git20241227-3), init-system-helpers (= 1.68), insserv (= 1.26.0-1), install-info (= 7.1.1-1+b1), intltool-debian (= 0.35.0+20060710.6), less (= 643-1+hurd.1), libacl1 (= 2.3.2-2+b1), libacpica0 (= 0~20220331-4), libapt-pkg-perl (= 0.1.40+b6), libapt-pkg6.0t64 (= 2.9.23), libarchive-zip-perl (= 1.68-1), libarray-unique-perl (= 0.09-1), libarray-utils-perl (= 0.5-3), libatomic1 (= 14.2.0-13), libattr1 (= 1:2.5.2-2), libb-hooks-op-check-perl (= 0.22-3+b2), libbinutils (= 2.43.50.20250108-1), libblkid1 (= 2.40.2-12), libbrotli1 (= 1.1.0-2+b6), libbsd-dev (= 0.12.2-2), libbsd0 (= 0.12.2-2), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.40-4), libc-dev-bin (= 2.40-4), libc0.3 (= 2.40-4), libc0.3-dev (= 2.40-4), libcc1-0 (= 14.2.0-13), libcgi-pm-perl (= 4.67-1), libclass-accessor-perl (= 0.51-2), libclone-perl (= 0.47-1+b1), libcom-err2 (= 1.47.2-1), libconfig-tiny-perl (= 2.30-1), libconst-fast-perl (= 0.014-2), libcrypt-dev (= 1:4.4.38-1), libcrypt1 (= 1:4.4.38-1), libctf-nobfd0 (= 2.43.50.20250108-1), libctf0 (= 2.43.50.20250108-1), libcurl3t64-gnutls (= 8.11.1-1+b1), libdaemon0 (= 0.14-7.1+b2), libdata-optlist-perl (= 0.114-1), libdb5.3t64 (= 5.3.28+dfsg2-5+b1), libdbus-1-3 (= 1.16.0-1), libdebconfclient0 (= 0.277), libdebhelper-perl (= 13.23), libdebian-source-perl (= 0.126), libdevel-callchecker-perl (= 0.009-1+b1), libdevel-confess-perl (= 0.009004-4), libdpkg-perl (= 1.22.14), libdynaloader-functions-perl (= 0.004-1), libelf1t64 (= 0.192-4), libencode-locale-perl (= 1.05-3), liberror-perl (= 0.17029-2), libexpat1 (= 2.6.4-1), libexporter-lite-perl (= 0.09-2), libexporter-tiny-perl (= 1.006002-1), libffi-dev (= 3.4.6-1), libffi8 (= 3.4.6-1), libfile-find-rule-perl (= 0.34-3), libfile-listing-perl (= 6.16-1), libfile-stripnondeterminism-perl (= 1.14.0-1), libgcc-14-dev (= 14.2.0-13), libgcc-s1 (= 14.2.0-13), libgccjit0 (= 14.2.0-13), libgcrypt20 (= 1.11.0-6), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libghc-aeson-dev (= 2.1.2.1-6), libghc-aeson-prof (= 2.1.2.1-6), libghc-ansi-terminal-dev (= 1.0.2-1), libghc-ansi-terminal-prof (= 1.0.2-1), libghc-ansi-terminal-types-dev (= 0.11.5-3), libghc-ansi-terminal-types-prof (= 0.11.5-3), libghc-assoc-dev (= 1.1.1-1), libghc-assoc-prof (= 1.1.1-1), libghc-async-dev (= 2.2.5-1), libghc-attoparsec-dev (= 0.14.4-4), libghc-attoparsec-prof (= 0.14.4-4), libghc-base-compat-batteries-dev (= 0.13.1-1+b1), libghc-base-compat-batteries-prof (= 0.13.1-1+b1), libghc-base-compat-dev (= 0.13.1-1), libghc-base-compat-prof (= 0.13.1-1), libghc-base-orphans-dev (= 0.9.2-1), libghc-base-orphans-prof (= 0.9.2-1), libghc-bifunctors-dev (= 5.6.2-1+b1), libghc-bifunctors-prof (= 5.6.2-1+b1), libghc-blaze-builder-dev (= 0.4.2.3-2), libghc-blaze-html-dev (= 0.9.2.0-1), libghc-blaze-markup-dev (= 0.8.3.0-2), libghc-boxes-dev (= 0.1.5-6), libghc-boxes-prof (= 0.1.5-6), libghc-case-insensitive-dev (= 1.2.1.0-5), libghc-case-insensitive-prof (= 1.2.1.0-5), libghc-colour-dev (= 2.3.6-3), libghc-colour-prof (= 2.3.6-3), libghc-comonad-dev (= 5.0.8-3+b1), libghc-comonad-prof (= 5.0.8-3+b1), libghc-contravariant-dev (= 1.5.5-3), libghc-contravariant-prof (= 1.5.5-3), libghc-data-fix-dev (= 0.3.4-1), libghc-data-fix-prof (= 0.3.4-1), libghc-data-hash-dev (= 0.2.0.1-10), libghc-data-hash-prof (= 0.2.0.1-10), libghc-distributive-dev (= 0.6.2.1-3), libghc-distributive-prof (= 0.6.2.1-3), libghc-dlist-dev (= 1.0-4), libghc-dlist-prof (= 1.0-4), libghc-edit-distance-dev (= 0.2.2.1-14), libghc-equivalence-dev (= 0.4.1-3), libghc-equivalence-prof (= 0.4.1-3), libghc-gitrev-dev (= 1.3.1-7), libghc-gitrev-prof (= 1.3.1-7), libghc-hashable-dev (= 1.4.4.0-1), libghc-hashable-prof (= 1.4.4.0-1), libghc-indexed-traversable-dev (= 0.1.4-1+b1), libghc-indexed-traversable-instances-dev (= 0.1.2-1), libghc-indexed-traversable-instances-prof (= 0.1.2-1), libghc-indexed-traversable-prof (= 0.1.4-1+b1), libghc-integer-logarithms-dev (= 1.0.3.1-4), libghc-integer-logarithms-prof (= 1.0.3.1-4), libghc-monad-control-dev (= 1.0.3.1-3), libghc-monad-control-prof (= 1.0.3.1-3), libghc-murmur-hash-dev (= 0.1.0.10-3), libghc-murmur-hash-prof (= 0.1.0.10-3), libghc-network-uri-dev (= 2.6.4.2-2), libghc-network-uri-prof (= 2.6.4.2-2), libghc-onetuple-dev (= 0.4.2-1), libghc-onetuple-prof (= 0.4.2-1), libghc-os-string-dev (= 2.0.6-2), libghc-os-string-prof (= 2.0.6-2), libghc-parallel-dev (= 3.2.2.0-6), libghc-parallel-prof (= 3.2.2.0-6), libghc-peano-dev (= 0.1.0.2-2), libghc-peano-prof (= 0.1.0.2-2), libghc-primitive-dev (= 0.8.0.0-2), libghc-primitive-prof (= 0.8.0.0-2), libghc-quickcheck2-dev (= 2.14.3-2), libghc-quickcheck2-prof (= 2.14.3-2), libghc-random-dev (= 1.2.1.2-1), libghc-random-prof (= 1.2.1.2-1), libghc-regex-base-dev (= 0.94.0.2-3), libghc-regex-base-prof (= 0.94.0.2-3), libghc-regex-tdfa-dev (= 1.3.2.2-2), libghc-regex-tdfa-prof (= 1.3.2.2-2), libghc-scientific-dev (= 0.3.7.0-3), libghc-scientific-prof (= 0.3.7.0-3), libghc-semialign-dev (= 1.3.1-1), libghc-semialign-prof (= 1.3.1-1), libghc-semigroupoids-dev (= 6.0.1-1), libghc-semigroupoids-prof (= 6.0.1-1), libghc-split-dev (= 0.2.5-1), libghc-split-prof (= 0.2.5-1), libghc-splitmix-dev (= 0.1.0.5-2), libghc-splitmix-prof (= 0.1.0.5-2), libghc-statevar-dev (= 1.2.2-3), libghc-statevar-prof (= 1.2.2-3), libghc-stmonadtrans-dev (= 0.4.8-1), libghc-stmonadtrans-prof (= 0.4.8-1), libghc-strict-dev (= 0.5-2+b1), libghc-strict-prof (= 0.5-2+b1), libghc-tagged-dev (= 0.8.8-1), libghc-tagged-prof (= 0.8.8-1), libghc-text-short-dev (= 0.1.6-1), libghc-text-short-prof (= 0.1.6-1), libghc-th-abstraction-dev (= 0.5.0.0-1), libghc-th-abstraction-prof (= 0.5.0.0-1), libghc-th-compat-dev (= 0.1.5-1), libghc-th-compat-prof (= 0.1.5-1), libghc-these-dev (= 1.2.1-1+b1), libghc-these-prof (= 1.2.1-1+b1), libghc-time-compat-dev (= 1.9.6.1-3), libghc-time-compat-prof (= 1.9.6.1-3), libghc-transformers-base-dev (= 0.4.6-3), libghc-transformers-base-prof (= 0.4.6-3), libghc-transformers-compat-dev (= 0.7.2-2), libghc-transformers-compat-prof (= 0.7.2-2), libghc-unordered-containers-dev (= 0.2.20-3), libghc-unordered-containers-prof (= 0.2.20-3), libghc-uri-encode-dev (= 1.5.0.7-3), libghc-uri-encode-prof (= 1.5.0.7-3), libghc-utf8-string-dev (= 1.0.2-3), libghc-utf8-string-prof (= 1.0.2-3), libghc-uuid-types-dev (= 1.0.5.1-2), libghc-uuid-types-prof (= 1.0.5.1-2), libghc-vector-dev (= 0.13.1.0-2), libghc-vector-hashtables-dev (= 0.1.2.0-1), libghc-vector-hashtables-prof (= 0.1.2.0-1), libghc-vector-prof (= 0.13.1.0-2), libghc-vector-stream-dev (= 0.1.0.1-1), libghc-vector-stream-prof (= 0.1.0.1-1), libghc-witherable-dev (= 0.4.2-4), libghc-witherable-prof (= 0.4.2-4), libghc-zlib-dev (= 0.6.3.0-3), libghc-zlib-prof (= 0.6.3.0-3), libglib2.0-0t64 (= 2.82.4-2), libgmp-dev (= 2:6.3.0+dfsg-3), libgmp10 (= 2:6.3.0+dfsg-3), libgmpxx4ldbl (= 2:6.3.0+dfsg-3), libgnutls30t64 (= 3.8.5-1), libgomp1 (= 14.2.0-13), libgpg-error0 (= 1.51-3), libgssapi-krb5-2 (= 1.20.1-5.1), libhogweed6t64 (= 3.10-1+b1), libhtml-form-perl (= 6.12-1), libhtml-parser-perl (= 3.83-1+b2), libhtml-tagset-perl (= 3.24-1), libhtml-tree-perl (= 5.07-3), libhttp-cookies-perl (= 6.11-1), libhttp-date-perl (= 6.06-1), libhttp-message-perl (= 7.00-2), libhttp-negotiate-perl (= 6.01-2), libicu72 (= 72.1-6), libidn2-0 (= 2.3.7-2+b1), libio-html-perl (= 1.004-3), libio-socket-ssl-perl (= 2.089-1), libio-stringy-perl (= 2.113-2), libipc-run3-perl (= 0.049-1), libisl23 (= 0.27-1), libjansson4 (= 2.14-2+b1), libk5crypto3 (= 1.20.1-5.1), libkrb5-3 (= 1.20.1-5.1), libkrb5support0 (= 1.20.1-5.1), liblcms2-2 (= 2.16-2), libldap2 (= 2.6.9+dfsg-1), liblist-moreutils-perl (= 0.430-2), liblist-moreutils-xs-perl (= 0.430-4+b2), liblist-someutils-perl (= 0.59-1), liblwip0t64 (= 2.2.0+dfsg1-8), liblwp-mediatypes-perl (= 6.04-2), liblwp-protocol-https-perl (= 6.14-1), liblz4-1 (= 1.9.4-4), liblzma5 (= 5.6.3-1+b1), libmagic-mgc (= 1:5.45-3+b1), libmagic1t64 (= 1:5.45-3+b1), libmd-dev (= 1.1.0-2+b1), libmd0 (= 1.1.0-2+b1), libmodule-implementation-perl (= 0.09-2), libmodule-runtime-perl (= 0.016-2), libmount1 (= 2.40.2-12), libmpc3 (= 1.3.1-1+b1), libmpfr6 (= 4.2.1-1+b1), libncurses-dev (= 6.5-2+b1), libncurses6 (= 6.5-2+b1), libncursesw6 (= 6.5-2+b1), libnet-http-perl (= 6.23-1), libnet-ssleay-perl (= 1.94-2), libnettle8t64 (= 3.10-1+b1), libnghttp2-14 (= 1.61.0-1+b1), libnghttp3-9 (= 1.6.0-2), libngtcp2-16 (= 1.9.1-1+hurd.1), libngtcp2-crypto-gnutls8 (= 1.9.1-1+hurd.1), libnumber-compare-perl (= 0.03-3), libp11-kit0 (= 0.25.5-3), libpam-modules (= 1.5.3-6+hurd.1), libpam-modules-bin (= 1.5.3-6+hurd.1), libpam-runtime (= 1.5.3-7), libpam0g (= 1.5.3-6+hurd.1), libparams-classify-perl (= 0.015-2+b4), libparams-util-perl (= 1.102-3+b1), libparse-debcontrol-perl (= 2.005-6), libparted2t64 (= 3.6-4+b1), libpath-tiny-perl (= 0.146-1), libpciaccess0 (= 0.17-3+b3), libpcre2-8-0 (= 10.44-5), libperl5.40 (= 5.40.0-8), libpipeline1 (= 1.5.8-1), libpsl5t64 (= 0.21.2-1.1+b1), libpython3-stdlib (= 3.13.1-2), libpython3.13-minimal (= 3.13.1-3), libpython3.13-stdlib (= 3.13.1-3), libquadmath0 (= 14.2.0-13), libreadline8t64 (= 8.2-6), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b6), libsasl2-2 (= 2.1.28+dfsg1-8+b1), libsasl2-modules-db (= 2.1.28+dfsg1-8+b1), libsframe1 (= 2.43.50.20250108-1), libsmartcols1 (= 2.40.2-12), libsqlite3-0 (= 3.46.1-1), libssh2-1t64 (= 1.11.1-1), libssl3t64 (= 3.4.0-2), libstdc++-14-dev (= 14.2.0-13), libstdc++6 (= 14.2.0-13), libsub-exporter-perl (= 0.990-1), libsub-exporter-progressive-perl (= 0.001013-3), libsub-install-perl (= 0.929-1), libsub-name-perl (= 0.28-1), libtasn1-6 (= 4.19.0-3+b3), libtext-glob-perl (= 0.11-3), libtie-ixhash-perl (= 1.23-4), libtimedate-perl (= 2.3300-2), libtinfo6 (= 6.5-2+b1), libtool (= 2.5.4-2), libtree-sitter0 (= 0.20.8-2+b1), libtry-tiny-perl (= 0.32-1), libuchardet0 (= 0.0.8-1+b1), libunicode-utf8-perl (= 0.62-2+b3), libunistring5 (= 1.3-1), liburi-perl (= 5.30-1), libuuid1 (= 2.40.2-12), libwww-mechanize-perl (= 2.19-1), libwww-perl (= 6.77-1), libwww-robotrules-perl (= 6.02-1), libxkbcommon0 (= 1.7.0-2), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1), libxxhash0 (= 0.8.3-2), libzstd1 (= 1.5.6+dfsg-2), login.defs (= 1:4.16.0-7), m4 (= 1.4.19-5), make (= 4.4.1-1), man-db (= 2.13.0-1), mawk (= 1.3.4.20240905-1), media-types (= 10.1.0), ncurses-base (= 6.5-2), ncurses-bin (= 6.5-2+b1), netbase (= 6.4), openssl (= 3.4.0-2), openssl-provider-legacy (= 3.4.0-2), passwd (= 1:4.16.0-7), patch (= 2.7.6-7), perl (= 5.40.0-8), perl-base (= 5.40.0-8), perl-modules-5.40 (= 5.40.0-8), perl-openssl-defaults (= 7+b2), po-debconf (= 1.0.21+nmu1), python3 (= 3.13.1-2), python3-minimal (= 3.13.1-2), python3-scour (= 0.38.2-5), python3.13 (= 3.13.1-3), python3.13-minimal (= 3.13.1-3), readline-common (= 8.2-6), rpcsvc-proto (= 1.4.3-1), scour (= 0.38.2-5), sed (= 4.9-2), sensible-utils (= 0.0.24), startpar (= 0.65-4), sysv-rc (= 3.13-1), sysvinit-utils (= 3.13-1), tar (= 1.34+dfsg-1.4), tzdata (= 2025a-1), util-linux (= 2.40.2-12), xkb-data (= 2.42-1), xz-utils (= 5.6.3-1+b1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1), zlib1g-dev (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1728378894" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEXXnhfdliv82JTfWUXDinhdO1IMIFAmeMWOIACgkQXDinhdO1 IMLWWw/+INP2vipnXuzZrsfSi5LRMy9XTffspVO7WmAWOuXeNEJ/GOBZuUpGzvuC 69l+e2ae0sKJ9iULhqmx7DU3QgCoHECs/SfpZDflLqNTXuhj/w3rA2mjPh/6uh4d ov3bPZfKDBJmdUM3wOWZ49qpTYnRlI39ZbDERT+MpoJ8MhJUKxqzrpqsKLHbkfPL U/QIa/B4pRlJeILC43heeW32Cudf5YEEzPlmizscR+LzGo5bZMTuti0c7zAGoVK4 nYiOGjG8l2PH+7MKuG25jZn+fucOU3ajGBidgz3l0bRTXKXQegtCw8Tmke7TQXZA iL8FIVyJH3HKI/LQX00jE1UMkT8qLFNqbAyiH2icINxCGHjpPdA2vGnjDp4sXC9v t7j2tZkLOFmlYrj4sEzkklKpg+c9NjiQxXwjxIKdr6jWft5XkRfWTcu4LSYCe2lz 973TryBeELftVrDQr5R9ubIDWutZYTjacrZs28SoLoTms3kh7NwzfaAhvzShAXM3 U6SMEIyoTvsb0SdDKNqY6pW12rUR2OSpftXnBInVxaFpf87CcIcnxMNuLyBRdiBq JOqkQsY8prmD8hNFCMIEU7pj0Pom8fhwVH41zswDnUJYt0fgCTsO8/AphWWG1C93 580ghu812DYODMTsGa+BnK7QUbQUdJ6WRt7euOZLo8qqv4n0DfA= =rqRu -----END PGP SIGNATURE-----