-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: agda Binary: agda-bin libghc-agda-dev Architecture: loong64 Version: 2.6.4.3-1 Checksums-Md5: d439d6f0f573470091da7f0aabe40dfc 13799788 agda-bin_2.6.4.3-1_loong64.deb 84b662a83e9c950e060ed2f931dff1bb 46236368 libghc-agda-dev_2.6.4.3-1_loong64.deb Checksums-Sha1: 61e8f254ddab6d0e799c09349ceba3f2162ae8c7 13799788 agda-bin_2.6.4.3-1_loong64.deb 6f30a37d3e751dd15ac9462595fd105458de9f48 46236368 libghc-agda-dev_2.6.4.3-1_loong64.deb Checksums-Sha256: 1bbb094f264237fe6b70499c23658e30290fa540115eaba866ca1d9f619a93df 13799788 agda-bin_2.6.4.3-1_loong64.deb 262556cbb9cd66abcc38c2cd6ca0e81d6b8750c3cf492ce6fc5ddaf591ea8043 46236368 libghc-agda-dev_2.6.4.3-1_loong64.deb Build-Origin: Debian Build-Architecture: loong64 Build-Date: Tue, 08 Oct 2024 14:05:46 +0000 Build-Path: /build/agda-sr0cJ4/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-loongarch64-linux-gnu (= 2.43.1-5), bsdextrautils (= 2.40.2-9), bsdutils (= 1:2.40.2-9), build-essential (= 12.10), bzip2 (= 1.0.8-6), ca-certificates (= 20240203), cdbs (= 0.4.166), coreutils (= 9.4-3.1), cpp (= 4:14.1.0-2), cpp-14 (= 14.2.0-6), cpp-14-loongarch64-linux-gnu (= 14.2.0-6), cpp-loongarch64-linux-gnu (= 4:14.1.0-2), 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.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+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.1.0-2), g++-14 (= 14.2.0-6), g++-14-loongarch64-linux-gnu (= 14.2.0-6), g++-loongarch64-linux-gnu (= 4:14.1.0-2), gcc (= 4:14.1.0-2), gcc-14 (= 14.2.0-6), gcc-14-base (= 14.2.0-6), gcc-14-loongarch64-linux-gnu (= 14.2.0-6), gcc-loongarch64-linux-gnu (= 4:14.1.0-2), gettext (= 0.22.5-2), gettext-base (= 0.22.5-2), 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+b1), haskell-devscripts (= 0.16.33), haskell-devscripts-minimal (= 0.16.33), hostname (= 3.23+nmu2), hscolour (= 1.25-1), html-xml-utils (= 7.7-1.1+b1), init-system-helpers (= 1.67), install-info (= 7.1.1-1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2), libapt-pkg-perl (= 0.1.40+b3), 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-1), libaudit-common (= 1:4.0.1-1), libaudit1 (= 1:3.1.2-4+b1), libb-hooks-op-check-perl (= 0.22-3+b1), 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), 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-1), libcurl4t64 (= 8.10.1-1), libdata-optlist-perl (= 0.114-1), libdb5.3t64 (= 5.3.28+dfsg2-7), 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), libdevel-confess-perl (= 0.009004-4), libdpkg-perl (= 1.22.11), libdynaloader-functions-perl (= 0.004-1), libedit2 (= 3.1-20240808-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-1), libghc-unordered-containers-prof (= 0.2.20-1), 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-1), libhtml-parser-perl (= 3.83-1), 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 (= 6.46-1), 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+b1), libk5crypto3 (= 1.21.3-3), libkeyutils1 (= 1.6.3-3), libkrb5-3 (= 1.21.3-3), libkrb5support0 (= 1.21.3-3), liblcms2-2 (= 2.14-2), libldap-2.5-0 (= 2.5.18+dfsg-3), liblist-moreutils-perl (= 0.430-2), liblist-moreutils-xs-perl (= 0.430-4+b1), liblist-someutils-perl (= 0.59-1), libllvm18 (= 1:18.1.8-12), liblsan0 (= 14.2.0-6), 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+b1), 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+b1), 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+b3), libparams-util-perl (= 1.102-3), libparse-debcontrol-perl (= 2.005-6), libpath-tiny-perl (= 0.146-1), libpcre2-8-0 (= 10.42-4+b1), libperl5.38t64 (= 5.38.2-5), libpfm4 (= 4.13.0+git32-g0d4ed0e-1), libpipeline1 (= 1.5.8-1), libpsl5t64 (= 0.21.2-1.1), libpython3-stdlib (= 3.12.6-1), libpython3.12-minimal (= 3.12.7-1), libpython3.12-stdlib (= 3.12.7-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+b2), libsystemd0 (= 256.6-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), libtsan2 (= 14.2.0-6), libubsan1 (= 14.2.0-6), libuchardet0 (= 0.0.8-1), libudev1 (= 256.6-1), libunicode-utf8-perl (= 0.62-2+b2), libunistring5 (= 1.2-1), liburi-perl (= 5.29-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), libz3-4 (= 4.8.12-3.1+b1), libzstd1 (= 1.5.6+dfsg-1), linux-libc-dev (= 6.10.9-1), llvm-18 (= 1:18.1.8-12), llvm-18-linker-tools (= 1:18.1.8-12), llvm-18-runtime (= 1:18.1.8-12), m4 (= 1.4.19-4), 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), openssl (= 3.3.2-1), openssl-provider-legacy (= 3.3.2-1), patch (= 2.7.6-7+b1), perl (= 5.38.2-5), perl-base (= 5.38.2-5), perl-modules-5.38 (= 5.38.2-5), perl-openssl-defaults (= 7+b2), po-debconf (= 1.0.21+nmu1), python3 (= 3.12.6-1), python3-autocommand (= 2.2.2-3), python3-inflect (= 7.3.1-2), python3-jaraco.context (= 6.0.0-1), python3-jaraco.functools (= 4.1.0-1), python3-minimal (= 3.12.6-1), python3-more-itertools (= 10.5.0-1), python3-pkg-resources (= 74.1.2-2), python3-scour (= 0.38.2-4.1), python3-typeguard (= 4.3.0-1), python3-typing-extensions (= 4.12.2-2), 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-4.1), sed (= 4.9-2), sensible-utils (= 0.0.24), sysvinit-utils (= 3.10-2), tar (= 1.35+dfsg-3), tzdata (= 2024b-2), 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----- iQIzBAEBCgAdFiEEkTjML93EX403lT5MNUEPnuXbIjoFAmcFPEMACgkQNUEPnuXb Ijp1mg/7B4jbaNbMW1TzTruS9rkEoafG95pGT3p6pb95XjM3/n87ZEMfYrb+GoE2 vEjDpudqVe2PeI6iWsr9eR8C1pnEPtN/83rhPALY7OcotNS06xBH3oPTPbBnj5jA QM5hKn252ZNGaApjI2ntbYtmIjSFVUO7NfSVcR9VyxHO1C/IRiSeOoFjJSRhftzg gtEOWR4nyi/6IQxd8P5wBonxgGE7hIsAwwYPEQWpekg3wwbN4WiGGEpnI1bpHvUl gi/+9eWgO6xaRE4CkXQr7cxXIo2SlNJtms0doWz+uU0jCDV2/Hr5hIE+PgxJLg1W FIGQQjwFLE93WvIri4zhInfhmvMQ3yTP3MRdnKsVwNd5AZv+p4yQJArLlfbj13vS vlwsNhLNIyeLbBkzWAPE1ZQoFDDUrAm1bV6oYIVQZFrXE1ndhwvJ/L1R9ZPBu3JM sDJlah7ds11qVarzkrXBi4lErZJmqZsW8Wvs/upFpC5Q6DF0O7H5SpiDr3cUn4Xi Vj5T6i78/72gTgN5bzYgT0hyOTyse90VYfXIab93azO9tOQOt11EFTdG75UKzg1R 2sOfSNE1X8ktBMWZskY6C2OgSq6Ow82mdzYIBDAD24hlp1xhJTSiuphC2G+PpEwV 4CY+5pQO9f0+jrpH/nKnXFaLX1gHZYRbDIG2uy6FcnKsJCxqKAQ= =lq8H -----END PGP SIGNATURE-----