-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: agda Binary: agda-bin libghc-agda-dev Architecture: sparc64 Version: 2.6.4.3-1 Checksums-Md5: ec2dae8f483a491a385abcb2ecf4ba1d 12904572 agda-bin_2.6.4.3-1_sparc64.deb 6cd05c1468ffeccd636079a41702181f 37416704 libghc-agda-dev_2.6.4.3-1_sparc64.deb Checksums-Sha1: 3c2b15a1fd787c7ffee64420196c21d67790b632 12904572 agda-bin_2.6.4.3-1_sparc64.deb 16af3f935895b62ae9ff4df262fbde0c2a0d6dbd 37416704 libghc-agda-dev_2.6.4.3-1_sparc64.deb Checksums-Sha256: 6b8b162a0465273cfb9692edacb837dde2b45d07815c034b3a8f04980d575b40 12904572 agda-bin_2.6.4.3-1_sparc64.deb 2115a83c7681a04d0749185e84090cbe93f5157dc97d57877f4bceebc2c81189 37416704 libghc-agda-dev_2.6.4.3-1_sparc64.deb Build-Origin: Debian Build-Architecture: sparc64 Build-Date: Fri, 18 Oct 2024 13:03:30 +0000 Build-Path: /build/agda-5x5ekW/agda-2.6.4.3 Build-Tainted-By: merged-usr-via-aliased-dirs usr-local-has-programs 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.5), base-passwd (= 3.6.4), bash (= 5.2.32-1+b1), binutils (= 2.43.1-5), binutils-common (= 2.43.1-5), binutils-sparc64-linux-gnu (= 2.43.1-5), bsdextrautils (= 2.40.2-9), bsdutils (= 1:2.40.2-9), build-essential (= 12.12), bzip2 (= 1.0.8-6), ca-certificates (= 20240203), cdbs (= 0.4.166), coreutils (= 9.4-3.1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-6), cpp-14-sparc64-linux-gnu (= 14.2.0-6), cpp-sparc64-linux-gnu (= 4:14.2.0-1), cpphs (= 1.20.9.1-4), dash (= 0.5.12-9), dctrl-tools (= 2.24-3), debconf (= 1.5.87), debhelper (= 13.20), debianutils (= 5.20), 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+b1), 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.9.0-6), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-6), g++-14-sparc64-linux-gnu (= 14.2.0-6), g++-sparc64-linux-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-6), gcc-14-base (= 14.2.0-6), gcc-14-sparc64-linux-gnu (= 14.2.0-6), gcc-sparc64-linux-gnu (= 4:14.2.0-1), gettext (= 0.21-15), gettext-base (= 0.21-15), ghc (= 9.6.6-2), ghc-prof (= 9.6.6-2), grep (= 3.11-4), groff-base (= 1.23.0-5), gzip (= 1.12-1.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+b1), init-system-helpers (= 1.67), install-info (= 7.2-0~sparc64.2), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2), libapt-pkg-perl (= 0.1.40+b6), libapt-pkg6.0t64 (= 2.9.8), libarchive-zip-perl (= 1.68-1), libarray-unique-perl (= 0.09-1), libarray-utils-perl (= 0.5-3), libasan8 (= 14.2.0-6), libasound2-data (= 1.2.12-1), libasound2t64 (= 1.2.12-1), libatomic1 (= 14.2.0-6), libattr1 (= 1:2.5.2-2), libaudit-common (= 1:4.0.1-1), libaudit1 (= 1:4.0.1-1), libb-hooks-op-check-perl (= 0.22-3+b3), libbinutils (= 2.43.1-5), libblkid1 (= 2.40.2-9), libbrotli1 (= 1.1.0-2+b4), libbsd-dev (= 0.12.2-2), libbsd0 (= 0.12.2-2), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.40-3), libc-dev-bin (= 2.40-3), libc6 (= 2.40-3), libc6-dev (= 2.40-3), libcap-ng0 (= 0.8.5-2), libcap2 (= 1:2.66-5), libcc1-0 (= 14.2.0-6), 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), libcurl3t64-gnutls (= 8.10.1-2), libdata-optlist-perl (= 0.114-1), libdb5.3t64 (= 5.3.28+dfsg2-9), libdbus-1-3 (= 1.14.10-4+b1), libdebconfclient0 (= 0.272), libdebhelper-perl (= 13.20), libdebian-source-perl (= 0.125), 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.191-2), libencode-locale-perl (= 1.05-3), liberror-perl (= 0.17029-2), libexpat1 (= 2.6.3-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-6), libgcc-s1 (= 14.2.0-6), libgccjit0 (= 14.2.0-6), 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), 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-6), libgpg-error0 (= 1.50-4), libgpm2 (= 1.20.7-11), libgssapi-krb5-2 (= 1.21.3-3), libhogweed6t64 (= 3.10-1), libhtml-form-perl (= 6.11-2), 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), libitm1 (= 14.2.0-6), libjansson4 (= 2.14-2), libk5crypto3 (= 1.21.3-3), libkeyutils1 (= 1.6.3-3), libkrb5-3 (= 1.21.3-3), libkrb5support0 (= 1.21.3-3), liblcms2-2 (= 2.16-2), libldap-2.5-0 (= 2.5.18+dfsg-3+b1), liblist-moreutils-perl (= 0.430-2), liblist-moreutils-xs-perl (= 0.430-4+b2), liblist-someutils-perl (= 0.59-1), liblwp-mediatypes-perl (= 6.04-2), liblwp-protocol-https-perl (= 6.14-1), liblz4-1 (= 1.9.4-3), liblzma5 (= 5.6.2-2), 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-9), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.1-1), libncurses-dev (= 6.5-2), libncurses6 (= 6.5-2), libncursesw6 (= 6.5-2), libnet-http-perl (= 6.23-1), libnet-ssleay-perl (= 1.94-1+b2), libnettle8t64 (= 3.10-1), libnghttp2-14 (= 1.63.0-1), libnghttp3-9 (= 1.4.0-1), libngtcp2-16 (= 1.6.0-1), libngtcp2-crypto-gnutls8 (= 1.6.0-1), libnsl2 (= 1.3.0-3+b1), libnuma-dev (= 2.0.18-1), libnuma1 (= 2.0.18-1), libnumber-compare-perl (= 0.03-3), libp11-kit0 (= 0.25.5-2), libpam-modules (= 1.5.3-7), libpam-modules-bin (= 1.5.3-7), libpam-runtime (= 1.5.3-7), libpam0g (= 1.5.3-7), libparams-classify-perl (= 0.015-2+b4), libparams-util-perl (= 1.102-3+b1), libparse-debcontrol-perl (= 2.005-6), libpath-tiny-perl (= 0.146-1), libpcre2-8-0 (= 10.42-4+b1), libperl5.40 (= 5.40.0-6), libpipeline1 (= 1.5.8-1), libpsl5t64 (= 0.21.2-1.1), libpython3-stdlib (= 3.12.6-1), libpython3.12-minimal (= 3.12.6-1), libpython3.12-stdlib (= 3.12.6-1), libreadline8t64 (= 8.2-5), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b4), libsasl2-2 (= 2.1.28+dfsg1-8), libsasl2-modules-db (= 2.1.28+dfsg1-8), libselinux1 (= 3.7-3), libsframe1 (= 2.43.1-5), libsmartcols1 (= 2.40.2-9), libsqlite3-0 (= 3.46.1-1), libssh2-1t64 (= 1.11.0-7), libssl3t64 (= 3.3.2-1), libstdc++-14-dev (= 14.2.0-6), libstdc++6 (= 14.2.0-6), 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+b3), libsystemd0 (= 256.7-1), libtasn1-6 (= 4.19.0-3+b2), 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-7), libtree-sitter0 (= 0.20.8-2), libtry-tiny-perl (= 0.32-1), libubsan1 (= 14.2.0-6), libuchardet0 (= 0.0.8-1), libudev1 (= 256.7-1), libunicode-utf8-perl (= 0.62-2+b3), libunistring5 (= 1.1-2), liburi-perl (= 5.30-1), libuuid1 (= 2.40.2-9), libwww-mechanize-perl (= 2.19-1), libwww-perl (= 6.77-1), libwww-robotrules-perl (= 6.02-1), libxml2 (= 2.12.7+dfsg+really2.9.14-0.1), libxxhash0 (= 0.8.2-2), libzstd1 (= 1.5.6+dfsg-1), linux-libc-dev (= 6.11.2-1), m4 (= 1.4.19-4), make (= 4.3-4.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), netbase (= 6.4), openssl (= 3.3.2-1), openssl-provider-legacy (= 3.3.2-1), patch (= 2.7.6-7), perl (= 5.40.0-6), perl-base (= 5.40.0-6), perl-modules-5.40 (= 5.40.0-6), perl-openssl-defaults (= 7+b2), po-debconf (= 1.0.21+nmu1), python3 (= 3.12.6-1), python3-minimal (= 3.12.6-1), python3-scour (= 0.38.2-5), python3.12 (= 3.12.6-1), python3.12-minimal (= 3.12.6-1), readline-common (= 8.2-5), rpcsvc-proto (= 1.4.3-1), scour (= 0.38.2-5), sed (= 4.9-2), sensible-utils (= 0.0.24), sysvinit-utils (= 3.10-3), tar (= 1.35+dfsg-3), tzdata (= 2024b-3), usr-is-merged (= 39), util-linux (= 2.40.2-9), xz-utils (= 5.6.2-2), zlib1g (= 1:1.3.dfsg+really1.3.1-1), zlib1g-dev (= 1:1.3.dfsg+really1.3.1-1) Environment: DEB_BUILD_OPTIONS="parallel=16" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1728378894" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEY4IKJDyLiZp1h90cZ9u6f8rAnTsFAmcSXMAACgkQZ9u6f8rA nTsNdQ/6AiKxR0GySGhjFT7cfN6vFaOFJ/E3KV6EZlFeoY1ei7PL8o9l+Rn4qPjf 7XyYFys1GO4kDrt+s41lid/8B044sOBzAN/qd90OeTizC39tzt2aJqnCN6PzTzpI 1klcPA6haGbODmYcYO8ozAi5Kx3rdXR3jodt+C1dRHyPxZrB6f16kD70oM3TlfSG 4tWCkx/bG7bqgNzQG+II/Id4d2W9o7Uj9rkpBu3vS7jb3a4r97kk7jqzxNdbZTBx 7ourhnyd6sdizbcjD5PjISqJAkMxORV57qQYSQWunJK4nPg2qye5a7KgpaqBPwor bcAf21HsXcIlosNROFtuuw9ab1nEOUN0AnxpyfAqBHe5sUQ/tSIqXtmV1lN+IXhw l5loGJNHDrjL6IShIwyqfkCbYFD9X6sCNHjLknQU8HFXjotfSTlCfWKdaaXaPDj6 IbGy/9w3JBF7NTuencheEzJ5W+9F6anf7NOnxTeE88A5SwhZCOGr0p8Jn/yf/nE8 g64zusL4z6zu26U74tFJ8dyaipepdXEOI5qvJ8rDXjpfuxceu3yQi6OPxc+/TQc6 lq+tTFQmyO2PXszdzbjsAkrwBlO1JyB9/v4K9lR82J3R/oGpGbH6EsV2hzWoj/jJ QEn6NL0BYTitfERrn/hWT9pMfCpBVPV6kFXyUv1vy8C1s1uY5yo= =wfcj -----END PGP SIGNATURE-----