-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: agda Binary: agda-bin libghc-agda-dev Architecture: hurd-amd64 Version: 2.6.4.3-1 Checksums-Md5: 78c761ae6bf09871f99c1b8ea4f4f9f0 9847588 agda-bin_2.6.4.3-1_hurd-amd64.deb 9e6d76cdda2025fa9ffb3c9e9fac25f6 22838472 libghc-agda-dev_2.6.4.3-1_hurd-amd64.deb Checksums-Sha1: aa245d7e8d016d05971c1bb97443e811b1086c87 9847588 agda-bin_2.6.4.3-1_hurd-amd64.deb 00310de9be055a2e016eb3a492c9617b5ad2231d 22838472 libghc-agda-dev_2.6.4.3-1_hurd-amd64.deb Checksums-Sha256: ddf597b2cc115941335e3ef8b7b5caaf214492552bbc3645f9f65a32da78dca5 9847588 agda-bin_2.6.4.3-1_hurd-amd64.deb af85cc982a504207a6ccf33b2db5cdae232ab1b6ca93ee858114a82ce043b9c5 22838472 libghc-agda-dev_2.6.4.3-1_hurd-amd64.deb Build-Origin: Debian Build-Architecture: hurd-amd64 Build-Date: Sat, 23 Nov 2024 21:47:53 +0000 Build-Path: /build/agda-lOaJQH/agda-2.6.4.3 Build-Tainted-By: merged-usr-via-aliased-dirs Installed-Build-Depends: alex (= 3.4.0.1-1), autoconf (= 2.72-3), automake (= 1:1.16.5-1.3), autopoint (= 0.22.5-2), autotools-dev (= 20220109.1), base-files (= 13.6), base-passwd (= 3.6.5), bash (= 5.2.32-1+b2), binutils (= 2.43.1-5), binutils-common (= 2.43.1-5), binutils-x86-64-gnu (= 2.43.1-5), bsdextrautils (= 2.40.2-11), bsdutils (= 1:2.40.2-11), build-essential (= 12.12), bzip2 (= 1.0.8-6), ca-certificates (= 20240203), cdbs (= 0.4.166), coreutils (= 9.5-1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-7+hurd.3), cpp-14-x86-64-gnu (= 14.2.0-7+hurd.3), cpp-x86-64-gnu (= 4:14.2.0-1), cpphs (= 1.20.9.1-4), dash (= 0.5.12-9), dctrl-tools (= 2.24-3+b1), debconf (= 1.5.87), debhelper (= 13.20), debianutils (= 5.21), dh-autoreconf (= 20), dh-buildinfo (= 0.11+nmu3), dh-elpa (= 2.1.5), dh-strip-nondeterminism (= 1.14.0-1), diffutils (= 1:3.10-1), dpkg (= 1.22.11), dpkg-dev (= 1.22.11), dwz (= 0.15-1+b2), emacs-bin-common (= 1:29.4+1-3), emacs-common (= 1:29.4+1-3), emacs-el (= 1:29.4+1-3), emacs-nox (= 1:29.4+1-3), emacsen-common (= 3.0.5), file (= 1:5.45-3), findutils (= 4.10.0-3), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-7+hurd.3), g++-14-x86-64-gnu (= 14.2.0-7+hurd.3), g++-x86-64-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-7+hurd.3), gcc-14-base (= 14.2.0-7+hurd.3), gcc-14-x86-64-gnu (= 14.2.0-7+hurd.3), gcc-x86-64-gnu (= 4:14.2.0-1), gettext (= 0.22.5-2), gettext-base (= 0.22.5-2), ghc (= 9.6.6-3+hurd.1), ghc-prof (= 9.6.6-3+hurd.1), gnumach-dev (= 2:1.8+git20240714-4), grep (= 3.11-3+hurd.1), groff-base (= 1.23.0-5), gzip (= 1.12-1), happy (= 1.20.1.1-1), haskell-devscripts (= 0.16.33), haskell-devscripts-minimal (= 0.16.33), hostname (= 3.25), hscolour (= 1.25-1), html-xml-utils (= 7.7-1.1), hurd (= 1:0.9.git20240714-4), hurd-dev (= 1:0.9.git20240714-4), hurd-libs0.3 (= 1:0.9.git20240714-4), init-system-helpers (= 1.67), insserv (= 1.25.0-1), install-info (= 7.1.1-1+b1), intltool-debian (= 0.35.0+20060710.6), less (= 590-2+hurd.1), libacl1 (= 2.3.2-2), libapt-pkg-perl (= 0.1.40+b1), libapt-pkg6.0t64 (= 2.9.13), libarchive-zip-perl (= 1.68-1), libarray-unique-perl (= 0.09-1), libarray-utils-perl (= 0.5-3), libatomic1 (= 14.2.0-7+hurd.3), libattr1 (= 1:2.5.2-2), libb-hooks-op-check-perl (= 0.22-3+b1), libbinutils (= 2.43.1-5), libblkid1 (= 2.40.2-11), libbrotli1 (= 1.1.0-2+b2), libbsd-dev (= 0.12.2-2), libbsd0 (= 0.12.2-2), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.40-2), libc-dev-bin (= 2.40-2), libc0.3 (= 2.40-2), libc0.3-dev (= 2.40-2), libcc1-0 (= 14.2.0-7+hurd.3), libcgi-pm-perl (= 4.66-1), libclass-accessor-perl (= 0.51-2), libclone-perl (= 0.47-1+b1), libcom-err2 (= 1.47.1-1), libconfig-tiny-perl (= 2.30-1), libconst-fast-perl (= 0.014-2), libcrypt-dev (= 1:4.4.36-5), libcrypt1 (= 1:4.4.36-5), libctf-nobfd0 (= 2.43.1-5), libctf0 (= 2.43.1-5), libcurl3-gnutls (= 8.4.0-2), libdaemon0 (= 0.14-7.1+b1), libdata-optlist-perl (= 0.114-1), libdb5.3t64 (= 5.3.28+dfsg2-5), libdbus-1-3 (= 1.14.10-6), libdebconfclient0 (= 0.273), libdebhelper-perl (= 13.20), libdebian-source-perl (= 0.126), libdevel-callchecker-perl (= 0.009-1+b1), libdevel-confess-perl (= 0.009004-4), libdpkg-perl (= 1.22.11), 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-7+hurd.3), libgcc-s1 (= 14.2.0-7+hurd.3), libgccjit0 (= 14.2.0-7+hurd.3), 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), libghc-base-compat-batteries-prof (= 0.13.1-1), 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), libghc-bifunctors-prof (= 5.6.2-1), 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), libghc-comonad-prof (= 5.0.8-3), 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), 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), 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), libghc-strict-prof (= 0.5-2), 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), libghc-these-prof (= 1.2.1-1), 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.2-3), libgmp-dev (= 2:6.3.0+dfsg-2+b1), libgmp10 (= 2:6.3.0+dfsg-2+b1), libgmpxx4ldbl (= 2:6.3.0+dfsg-2+b1), libgnutls30t64 (= 3.8.6-2), libgomp1 (= 14.2.0-7+hurd.3), libgpg-error0 (= 1.50-4), libgssapi-krb5-2 (= 1.20.1-5.1), libhogweed6t64 (= 3.10-1), libhtml-form-perl (= 6.12-1), libhtml-parser-perl (= 3.83-1+b1), 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-5), libidn2-0 (= 2.3.7-2), 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), libldap-2.5-0 (= 2.5.13+dfsg-5), liblist-moreutils-perl (= 0.430-2), liblist-moreutils-xs-perl (= 0.430-4+b1), 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-3), liblzma5 (= 5.6.3-1), libmagic-mgc (= 1:5.45-3), libmagic1t64 (= 1:5.45-3), libmd-dev (= 1.1.0-2), libmd0 (= 1.1.0-2), libmodule-implementation-perl (= 0.09-2), libmodule-runtime-perl (= 0.016-2), libmount1 (= 2.40.2-11), libmpc3 (= 1.3.1-1+b1), libmpfr6 (= 4.2.1-1+b1), libncurses-dev (= 6.5-2), libncurses6 (= 6.5-2), libncursesw6 (= 6.5-2), libnet-http-perl (= 6.23-1), libnet-ssleay-perl (= 1.94-2), libnettle8t64 (= 3.10-1), libnghttp2-14 (= 1.64.0-1), libnsl2 (= 1.3.0-3+b1), libnumber-compare-perl (= 0.03-3), libp11-kit0 (= 0.25.5-2), 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+b3), libparams-util-perl (= 1.102-3+b2), libparse-debcontrol-perl (= 2.005-6), libparted2t64 (= 3.6-4), libpath-tiny-perl (= 0.146-1), libpciaccess0 (= 0.17-3), libpcre2-8-0 (= 10.44-4), libperl5.40 (= 5.40.0-7), libpipeline1 (= 1.5.8-1), libpsl5t64 (= 0.21.2-1.1), libpython3-stdlib (= 3.12.7-1), libpython3.12-minimal (= 3.12.7-1), libpython3.12-stdlib (= 3.12.7-1), libquadmath0 (= 14.2.0-7+hurd.3), libreadline8t64 (= 8.2-5), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b1), libsasl2-2 (= 2.1.28+dfsg1-8), libsasl2-modules-db (= 2.1.28+dfsg1-8), libsframe1 (= 2.43.1-5), libsmartcols1 (= 2.40.2-11), libsqlite3-0 (= 3.46.1-1), libssh2-1t64 (= 1.11.1-1), libssl3t64 (= 3.3.2-2), libstdc++-14-dev (= 14.2.0-7+hurd.3), libstdc++6 (= 14.2.0-7+hurd.3), libsub-exporter-perl (= 0.990-1), libsub-exporter-progressive-perl (= 0.001013-3), libsub-install-perl (= 0.929-1), libsub-name-perl (= 0.27-1+b1), libtasn1-6 (= 4.19.0-3+b1), libtext-glob-perl (= 0.11-3), libtie-ixhash-perl (= 1.23-4), libtimedate-perl (= 2.3300-2), libtinfo6 (= 6.5-2), libtirpc-common (= 1.3.4+ds-1.3), libtirpc3t64 (= 1.3.4+ds-1.3), libtool (= 2.4.7-8), libtree-sitter0 (= 0.20.8-2), libtry-tiny-perl (= 0.32-1), libuchardet0 (= 0.0.8-1), libunicode-utf8-perl (= 0.62-2+b1), libunistring5 (= 1.2-1), liburi-perl (= 5.30-1), libuuid1 (= 2.40.2-11), libwww-mechanize-perl (= 2.19-1), libwww-perl (= 6.77-1), libwww-robotrules-perl (= 6.02-1), libxkbcommon0 (= 1.7.0-1), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1), libxxhash0 (= 0.8.2-2+b1), libzstd1 (= 1.5.6+dfsg-1), login.defs (= 1:4.16.0-5), m4 (= 1.4.19-4+hurd.1), make (= 4.3-4.1+b1), 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), netbase (= 6.4), netdde (= 0.0.20200330-12), openssl (= 3.3.2-2), openssl-provider-legacy (= 3.3.2-2), passwd (= 1:4.16.0-5), patch (= 2.7.6-7+b1), perl (= 5.40.0-7), perl-base (= 5.40.0-7), perl-modules-5.40 (= 5.40.0-7), perl-openssl-defaults (= 7+b1), po-debconf (= 1.0.21+nmu1), python3 (= 3.12.7-1), python3-minimal (= 3.12.7-1), python3-scour (= 0.38.2-5), python3.12 (= 3.12.7-1), python3.12-minimal (= 3.12.7-1), readline-common (= 8.2-5), rpcsvc-proto (= 1.4.3-1+b1), scour (= 0.38.2-5), sed (= 4.9-2), sensible-utils (= 0.0.24), startpar (= 0.65-4), sysv-rc (= 3.11-1), sysvinit-utils (= 3.08-3), tar (= 1.35+dfsg-3), tzdata (= 2024b-3), usr-is-merged (= 39), util-linux (= 2.40.2-11), xkb-data (= 2.42-1), xz-utils (= 5.6.3-1), zlib1g (= 1:1.3.dfsg+really1.3.1-1), zlib1g-dev (= 1:1.3.dfsg+really1.3.1-1) 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----- iQIzBAEBCgAdFiEEvdKei0UCILzC9jAvTr21PVAAu4oFAmdCTZgACgkQTr21PVAA u4pnNBAAgKvqjEXPrkgsRwVtiR5aKsdPxzpu60bGnHQHU2eqT5aDgPhvlJPVgzz6 ALvg/XwKTZP+jCsWlI28ILtWauqSWAgbyoRzKE3sE8mQAAEfsra/TmGU6+r4VQMk /WjkaIu3+51k0JslNkb2l+f6BltJqnrxraZBJlG39XlaIJbb0cmO8o1dq7spJD4i 6tqV2Pgf/hSAS/XMfeNB6EMO0GkTNM4DYd65nBJnhwsK17f5fOdCoOUz6pdkz2Sz ye7v3jr85v9WtYzQEjCEVsGptHgeFS1M/yWUmJN2vVH5WhSyFyvEenSkeaa1a4yP anEhlTQDO2uDiZUl98yGEW/PHa0DxsgseLPTyMMwrjY/icxwRqGm6yQyZmbH1Hb/ gTpITFWEENV3CS6kYUBsuZgMafnLs0vjMaLJViDLvo+abGBs4g9pPDvdhDV/x7EA VMoXZpv2zl2Vibw1i4el57fK4JdsN+muLczDnSDe9EoUcmyMu9VTwP3OAcHBbG5H DnXwsj929jSj4D7nZtVWb3F4a/CBKarcDmYgWgdv7+/AUrVhUzzmKsrw5POPpb4O XVoXE8yya2p8gZCmdlfmN3ZqnnnJWIQ1zZcNMkdORcCW4CPD7HbSCVUlcCK6azgt xedWdMkKA0XHcTM4hqZg97Oeo5rfMW59s+w1q3jSLDGzyjBAgyQ= =prLs -----END PGP SIGNATURE-----