-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: agda (2.6.3-1) Binary: agda-bin libghc-agda-dev Architecture: hurd-i386 Version: 2.6.3-1+b1 Binary-Only-Changes: agda (2.6.3-1+b1) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for hurd-i386; no source changes. * libghc-base-dev-4.17.2.0-ce6d0 not available any more . -- Debian GNU/Hurd Build Daemon Sat, 25 Nov 2023 13:00:41 +0000 Checksums-Md5: c9ad4408b86d347ee84e3ea1f2d8ae15 10101848 agda-bin_2.6.3-1+b1_hurd-i386.deb adb8612a375aade36718097d4a1ca429 23489764 libghc-agda-dev_2.6.3-1+b1_hurd-i386.deb Checksums-Sha1: cd683d7cf353d24780b1f49fa446129d63e89df3 10101848 agda-bin_2.6.3-1+b1_hurd-i386.deb 593047889ba41e0f5ce3e3beda8e9d19a2aac08f 23489764 libghc-agda-dev_2.6.3-1+b1_hurd-i386.deb Checksums-Sha256: 8933e61a3c8d1c758a5653a3e34a00de58157a2058ad24ae0df447a1e072343a 10101848 agda-bin_2.6.3-1+b1_hurd-i386.deb d29ddd98066ba8a2218e6b54a7f469293daf87eca8b7a936d5bf752e07111904 23489764 libghc-agda-dev_2.6.3-1+b1_hurd-i386.deb Build-Origin: Debian Build-Architecture: hurd-i386 Build-Date: Sat, 25 Nov 2023 13:36:54 +0000 Build-Path: /build/agda-XwRBy7/agda-2.6.3 Build-Tainted-By: merged-usr-via-aliased-dirs Installed-Build-Depends: alex (= 3.3.0.0-1), autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-13), autotools-dev (= 20220109.1), base-files (= 13), base-passwd (= 3.6.2), bash (= 5.2.15-2+b6), binutils (= 2.41-6), binutils-common (= 2.41-6), binutils-i686-gnu (= 2.41-6), bsdextrautils (= 2.39.2-6), bsdutils (= 1:2.39.2-6), build-essential (= 12.10), bzip2 (= 1.0.8-5+b1), ca-certificates (= 20230311), cdbs (= 0.4.166), coreutils (= 9.1-1), cpp (= 4:13.2.0-1), cpp-13 (= 13.2.0-6), cpphs (= 1.20.9.1-3+b1), dash (= 0.5.12-6), dbus-bin (= 1.14.10-3), dbus-daemon (= 1.14.10-3), dbus-session-bus-common (= 1.14.10-3), dbus-x11 (= 1.14.10-3), dconf-gsettings-backend (= 0.40.0-3), dconf-service (= 0.40.0-3), dctrl-tools (= 2.24-3), debconf (= 1.5.82), debhelper (= 13.11.8), debianutils (= 5.14), dh-autoreconf (= 20), dh-buildinfo (= 0.11+nmu2), dh-elpa (= 2.0.17), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.7-5), dpkg (= 1.22.1), dpkg-dev (= 1.22.1), dwz (= 0.15-1), emacs-bin-common (= 1:29.1+1-5), emacs-common (= 1:29.1+1-5), emacs-el (= 1:29.1+1-5), emacs-nox (= 1:29.1+1-5), emacsen-common (= 3.0.5), file (= 1:5.45-2), findutils (= 4.9.0-5), g++ (= 4:13.2.0-1), g++-13 (= 13.2.0-6), gcc (= 4:13.2.0-1), gcc-13 (= 13.2.0-6), gcc-13-base (= 13.2.0-6), gettext (= 0.21-13+b1), gettext-base (= 0.21-13+b1), ghc (= 9.4.7-1+hurd.1), ghc-prof (= 9.4.7-1+hurd.1), gnumach-dev (= 2:1.8+git20230830-4), grep (= 3.6-1), groff-base (= 1.23.0-3), gzip (= 1.12-1), happy (= 1.20.1.1-1), haskell-devscripts (= 0.16.32), haskell-devscripts-minimal (= 0.16.32), hostname (= 3.23+nmu1), hscolour (= 1.24.4-5+b1), html-xml-utils (= 7.7-1.1), hurd (= 1:0.9.git20230912-1), hurd-dev (= 1:0.9.git20230912-1), hurd-libs0.3 (= 1:0.9.git20230912-1), init-system-helpers (= 1.65.2), insserv (= 1.24.0-1), install-info (= 7.1-2), intltool-debian (= 0.35.0+20060710.6), less (= 487-0.1+b1), libacl1 (= 2.3.1-3), libapt-pkg-perl (= 0.1.40+b2), libapt-pkg6.0 (= 2.7.6), libarchive-zip-perl (= 1.68-1), libarray-unique-perl (= 0.09-1), libarray-utils-perl (= 0.5-3), libatomic1 (= 13.2.0-6), libb-hooks-op-check-perl (= 0.22-2+b1), libbinutils (= 2.41-6), libblkid1 (= 2.39.2-6), libbrotli1 (= 1.1.0-2), libbsd-dev (= 0.11.7-4), libbsd0 (= 0.11.7-4), libbz2-1.0 (= 1.0.8-5+b1), libc-bin (= 2.37-13~1), libc-dev-bin (= 2.37-13~1), libc0.3 (= 2.37-13~1), libc0.3-dev (= 2.37-13~1), libcc1-0 (= 13.2.0-6), libcgi-pm-perl (= 4.60-1), libclass-accessor-perl (= 0.51-2), libclone-perl (= 0.46-1+b1), libcom-err2 (= 1.46.6-1), libconfig-tiny-perl (= 2.30-1), libconst-fast-perl (= 0.014-2), libcrypt-dev (= 1:4.4.36-2), libcrypt1 (= 1:4.4.36-2), libctf-nobfd0 (= 2.41-6), libctf0 (= 2.41-6), libcurl3-gnutls (= 7.87.0-2), libdaemon0 (= 0.14-7.1), libdata-optlist-perl (= 0.114-1), libdb5.3 (= 5.3.28+dfsg2-4), libdbus-1-3 (= 1.14.10-3), libdconf1 (= 0.40.0-3), libdebconfclient0 (= 0.271), libdebhelper-perl (= 13.11.8), libdebian-source-perl (= 0.122), libdevel-callchecker-perl (= 0.008-2), libdevel-confess-perl (= 0.009004-3), libdpkg-perl (= 1.22.1), libdynaloader-functions-perl (= 0.003-3), libelf1 (= 0.190-1), libencode-locale-perl (= 1.05-3), liberror-perl (= 0.17029-2), libexpat1 (= 2.5.0-2), libexporter-lite-perl (= 0.09-2), libexporter-tiny-perl (= 1.006002-1), libffi-dev (= 3.4.4-2), libffi8 (= 3.4.4-2), libfile-find-rule-perl (= 0.34-3), libfile-listing-perl (= 6.16-1), libfile-stripnondeterminism-perl (= 1.13.1-1), libgcc-13-dev (= 13.2.0-6), libgcc-s1 (= 13.2.0-6), libgccjit0 (= 13.2.0-6), libgcrypt20 (= 1.10.2-3), libgdbm-compat4 (= 1.23-3), libgdbm6 (= 1.23-3), libghc-aeson-dev (= 2.1.2.1-5+b1), libghc-aeson-prof (= 2.1.2.1-5+b1), libghc-assoc-dev (= 1.1-1+b1), libghc-assoc-prof (= 1.1-1+b1), libghc-async-dev (= 2.2.4-4+b1), libghc-attoparsec-dev (= 0.14.4-3+b1), libghc-attoparsec-prof (= 0.14.4-3+b1), libghc-base-compat-batteries-dev (= 0.12.3-1+b1), libghc-base-compat-batteries-prof (= 0.12.3-1+b1), libghc-base-compat-dev (= 0.12.3-1+b1), libghc-base-compat-prof (= 0.12.3-1+b1), libghc-base-orphans-dev (= 0.9.1-1+b1), libghc-base-orphans-prof (= 0.9.1-1+b1), libghc-bifunctors-dev (= 5.5.15-1+b2), libghc-bifunctors-prof (= 5.5.15-1+b2), libghc-blaze-builder-dev (= 0.4.2.3-1+b1), libghc-blaze-html-dev (= 0.9.1.2-3+b2), libghc-blaze-markup-dev (= 0.8.3.0-1+b1), libghc-boxes-dev (= 0.1.5-5+b1), libghc-boxes-prof (= 0.1.5-5+b1), libghc-case-insensitive-dev (= 1.2.1.0-4+b1), libghc-case-insensitive-prof (= 1.2.1.0-4+b1), libghc-comonad-dev (= 5.0.8-2+b2), libghc-comonad-prof (= 5.0.8-2+b2), libghc-contravariant-dev (= 1.5.5-2+b1), libghc-contravariant-prof (= 1.5.5-2+b1), libghc-data-fix-dev (= 0.3.2-2+b1), libghc-data-fix-prof (= 0.3.2-2+b1), libghc-data-hash-dev (= 0.2.0.1-9+b1), libghc-data-hash-prof (= 0.2.0.1-9+b1), libghc-distributive-dev (= 0.6.2.1-2+b2), libghc-distributive-prof (= 0.6.2.1-2+b2), libghc-dlist-dev (= 1.0-3+b1), libghc-dlist-prof (= 1.0-3+b1), libghc-edit-distance-dev (= 0.2.2.1-13+b2), libghc-equivalence-dev (= 0.4.1-2+b1), libghc-equivalence-prof (= 0.4.1-2+b1), libghc-foldable1-classes-compat-dev (= 0.1-2+b1), libghc-foldable1-classes-compat-prof (= 0.1-2+b1), libghc-gitrev-dev (= 1.3.1-6+b1), libghc-gitrev-prof (= 1.3.1-6+b1), libghc-hashable-dev (= 1.4.3.0-1+b1), libghc-hashable-prof (= 1.4.3.0-1+b1), libghc-indexed-traversable-dev (= 0.1.3-1+b1), libghc-indexed-traversable-instances-dev (= 0.1.1.2-1+b2), libghc-indexed-traversable-instances-prof (= 0.1.1.2-1+b2), libghc-indexed-traversable-prof (= 0.1.3-1+b1), libghc-integer-logarithms-dev (= 1.0.3.1-3+b1), libghc-integer-logarithms-prof (= 1.0.3.1-3+b1), libghc-monad-control-dev (= 1.0.3.1-2+b2), libghc-monad-control-prof (= 1.0.3.1-2+b2), libghc-murmur-hash-dev (= 0.1.0.10-2+b1), libghc-murmur-hash-prof (= 0.1.0.10-2+b1), libghc-network-uri-dev (= 2.6.4.2-1+b1), libghc-network-uri-prof (= 2.6.4.2-1+b1), libghc-onetuple-dev (= 0.4.1.1-1+b1), libghc-onetuple-prof (= 0.4.1.1-1+b1), libghc-parallel-dev (= 3.2.2.0-5+b1), libghc-parallel-prof (= 3.2.2.0-5+b1), libghc-primitive-dev (= 0.8.0.0-1+b1), libghc-primitive-prof (= 0.8.0.0-1+b1), libghc-quickcheck2-dev (= 2.14.3-1+b3), libghc-quickcheck2-prof (= 2.14.3-1+b3), libghc-random-dev (= 1.2.1.1-3+b2), libghc-random-prof (= 1.2.1.1-3+b2), libghc-regex-base-dev (= 0.94.0.2-2+b1), libghc-regex-base-prof (= 0.94.0.2-2+b1), libghc-regex-tdfa-dev (= 1.3.2.2-1+b1), libghc-regex-tdfa-prof (= 1.3.2.2-1+b1), libghc-scientific-dev (= 0.3.7.0-2+b1), libghc-scientific-prof (= 0.3.7.0-2+b1), libghc-semialign-dev (= 1.3-1+b2), libghc-semialign-prof (= 1.3-1+b2), libghc-semigroupoids-dev (= 5.3.7-2+b2), libghc-semigroupoids-prof (= 5.3.7-2+b2), libghc-split-dev (= 0.2.3.5-2+b1), libghc-split-prof (= 0.2.3.5-2+b1), libghc-splitmix-dev (= 0.1.0.5-1+b1), libghc-splitmix-prof (= 0.1.0.5-1+b1), libghc-statevar-dev (= 1.2.2-2+b1), libghc-statevar-prof (= 1.2.2-2+b1), libghc-stmonadtrans-dev (= 0.4.7-1+b1), libghc-stmonadtrans-prof (= 0.4.7-1+b1), libghc-strict-dev (= 0.5-1+b1), libghc-strict-prof (= 0.5-1+b1), libghc-tagged-dev (= 0.8.7-1+b1), libghc-tagged-prof (= 0.8.7-1+b1), libghc-text-short-dev (= 0.1.5-2+b1), libghc-text-short-prof (= 0.1.5-2+b1), libghc-th-abstraction-dev (= 0.4.5.0-2+b1), libghc-th-abstraction-prof (= 0.4.5.0-2+b1), libghc-th-compat-dev (= 0.1.4-2+b1), libghc-th-compat-prof (= 0.1.4-2+b1), libghc-these-dev (= 1.2-1+b1), libghc-these-prof (= 1.2-1+b1), libghc-time-compat-dev (= 1.9.6.1-2+b2), libghc-time-compat-prof (= 1.9.6.1-2+b2), libghc-transformers-base-dev (= 0.4.6-2+b2), libghc-transformers-base-prof (= 0.4.6-2+b2), libghc-transformers-compat-dev (= 0.7.2-1+b1), libghc-transformers-compat-prof (= 0.7.2-1+b1), libghc-unordered-containers-dev (= 0.2.19.1-2+b1), libghc-unordered-containers-prof (= 0.2.19.1-2+b1), libghc-uri-encode-dev (= 1.5.0.7-2+b1), libghc-uri-encode-prof (= 1.5.0.7-2+b1), libghc-utf8-string-dev (= 1.0.2-2+b1), libghc-utf8-string-prof (= 1.0.2-2+b1), libghc-uuid-types-dev (= 1.0.5.1-1+b2), libghc-uuid-types-prof (= 1.0.5.1-1+b2), libghc-vector-dev (= 0.13.1.0-1+b1), libghc-vector-hashtables-dev (= 0.1.1.3-3+b1), libghc-vector-hashtables-prof (= 0.1.1.3-3+b1), libghc-vector-prof (= 0.13.1.0-1+b1), libghc-vector-stream-dev (= 0.1.0.0-2+b1), libghc-vector-stream-prof (= 0.1.0.0-2+b1), libghc-witherable-dev (= 0.4.2-3+b2), libghc-witherable-prof (= 0.4.2-3+b2), libghc-zlib-dev (= 0.6.3.0-2+b1), libglib2.0-0 (= 2.78.1-4), libgmp-dev (= 2:6.3.0+dfsg-2), libgmp10 (= 2:6.3.0+dfsg-2), libgmpxx4ldbl (= 2:6.3.0+dfsg-2), libgnutls30 (= 3.8.1-4+b1), libgomp1 (= 13.2.0-6), libgpg-error0 (= 1.47-3), libgssapi-krb5-2 (= 1.20.1-3), libhogweed6 (= 3.9.1-2), libhtml-form-perl (= 6.11-1), libhtml-parser-perl (= 3.81-1), libhtml-tagset-perl (= 3.20-6), libhtml-tree-perl (= 5.07-3), libhttp-cookies-perl (= 6.10-1), libhttp-date-perl (= 6.06-1), libhttp-message-perl (= 6.45-1), libhttp-negotiate-perl (= 6.01-2), libicu72 (= 72.1-4), libidn2-0 (= 2.3.4-1+b1), libio-html-perl (= 1.004-3), libio-socket-ssl-perl (= 2.084-1), libio-stringy-perl (= 2.111-3), libipc-run3-perl (= 0.048-3), libisl23 (= 0.26-3), libjansson4 (= 2.14-2), libk5crypto3 (= 1.20.1-3), libkrb5-3 (= 1.20.1-3), libkrb5support0 (= 1.20.1-3), liblcms2-2 (= 2.14-2), libldap-2.5-0 (= 2.5.13+dfsg-5), liblist-moreutils-perl (= 0.430-2), liblist-moreutils-xs-perl (= 0.430-3+b1), liblist-someutils-perl (= 0.59-1), liblwip0 (= 2.2.0+dfsg1-2), liblwp-mediatypes-perl (= 6.04-2), liblwp-protocol-https-perl (= 6.11-1), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.5-0.1), libmagic-mgc (= 1:5.45-2), libmagic1 (= 1:5.45-2), libmd-dev (= 1.1.0-1), libmd0 (= 1.1.0-1), libmodule-implementation-perl (= 0.09-2), libmodule-runtime-perl (= 0.016-2), libmount1 (= 2.39.2-6), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.1-1), libncurses-dev (= 6.4+20231121-1), libncurses6 (= 6.4+20231121-1), libncursesw6 (= 6.4+20231121-1), libnet-http-perl (= 6.23-1), libnet-ssleay-perl (= 1.92-2+b1), libnettle8 (= 3.9.1-2), libnghttp2-14 (= 1.58.0-1), libnsl-dev (= 1.3.0-3), libnsl2 (= 1.3.0-3), libnumber-compare-perl (= 0.03-3), libp11-kit0 (= 0.25.0-5), libpam-modules (= 1.4.0-10), libpam-modules-bin (= 1.4.0-10), libpam-runtime (= 1.5.2-9.1), libpam0g (= 1.4.0-10), libparams-classify-perl (= 0.015-2+b1), libparams-util-perl (= 1.102-2+b1), libparse-debcontrol-perl (= 2.005-6), libparted2 (= 3.6-3), libpath-tiny-perl (= 0.144-1), libpciaccess0 (= 0.17-3), libpcre2-8-0 (= 10.42-4), libpcre3 (= 2:8.39-15), libperl5.36 (= 5.36.0-4), libpipeline1 (= 1.5.7-1), libpsl5 (= 0.21.2-1+b1), libpython3-stdlib (= 3.11.4-5+b1), libpython3.11-minimal (= 3.11.6-3), libpython3.11-stdlib (= 3.11.6-3), libquadmath0 (= 13.2.0-6), libreadline8 (= 8.2-1.3), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b4), libsasl2-2 (= 2.1.28+dfsg1-4), libsasl2-modules-db (= 2.1.28+dfsg1-4), libsframe1 (= 2.41-6), libsigsegv2 (= 2.14-1+b1), libsmartcols1 (= 2.39.2-6), libsqlite3-0 (= 3.44.0-1), libssh2-1 (= 1.10.0-3+b1), libssl3 (= 3.0.12-2), libstdc++-13-dev (= 13.2.0-6), libstdc++6 (= 13.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), libsub-override-perl (= 0.09-4), libtasn1-6 (= 4.19.0-3), libtext-glob-perl (= 0.11-3), libtie-ixhash-perl (= 1.23-4), libtimedate-perl (= 2.3300-2), libtinfo6 (= 6.4+20231121-1), libtirpc-common (= 1.3.4+ds-1), libtirpc-dev (= 1.3.4+ds-1), libtirpc3 (= 1.3.4+ds-1), libtool (= 2.4.7-7), libtree-sitter0 (= 0.20.8-2), libtry-tiny-perl (= 0.31-2), libuchardet0 (= 0.0.7-1), libunicode-utf8-perl (= 0.62-2), libunistring5 (= 1.1-2), liburi-perl (= 5.21-1), libuuid1 (= 2.39.2-6), libwww-mechanize-perl (= 2.17-1), libwww-perl (= 6.72-1), libwww-robotrules-perl (= 6.02-1), libx11-6 (= 2:1.8.7-1), libx11-data (= 2:1.8.7-1), libxau6 (= 1:1.0.9-1), libxcb1 (= 1.15-1), libxdmcp6 (= 1:1.1.2-3), libxml2 (= 2.9.14+dfsg-1.3), libxxhash0 (= 0.8.2-2), libzstd1 (= 1.5.5+dfsg2-2), login (= 1:4.13+dfsg1-3), m4 (= 1.4.18-5), make (= 4.3-4.1+b2), man-db (= 2.11.2-3), mawk (= 1.3.4.20231102-1), media-types (= 10.1.0), ncurses-base (= 6.4+20231121-1), ncurses-bin (= 6.4+20231121-1), netbase (= 6.4), openssl (= 3.0.12-2), patch (= 2.7.6-7), perl (= 5.36.0-4), perl-base (= 5.36.0-4), perl-modules-5.36 (= 5.36.0-9), perl-openssl-defaults (= 7+b1), po-debconf (= 1.0.21+nmu1), python3 (= 3.11.4-5+b1), python3-minimal (= 3.11.4-5+b1), python3-pkg-resources (= 68.1.2-2), python3-scour (= 0.38.2-3), python3-six (= 1.16.0-4), python3.11 (= 3.11.6-3), python3.11-minimal (= 3.11.6-3), readline-common (= 8.2-1.3), rpcsvc-proto (= 1.4.3-1), scour (= 0.38.2-3), sed (= 4.9-1), sensible-utils (= 0.0.20), startpar (= 0.65-1), sysv-rc (= 3.08-3), sysvinit-utils (= 3.08-3), tar (= 1.34+dfsg-1.2), tzdata (= 2023c-10), usr-is-merged (= 38), util-linux (= 2.39.2-6), xkb-data (= 2.38-2), xz-utils (= 5.4.5-0.1), zlib1g (= 1:1.3.dfsg-3), zlib1g-dev (= 1:1.3.dfsg-3) Environment: DEB_BUILD_OPTIONS="parallel=1" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1700917241" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEIoYA08fqYtCNNFlAnIGTW2LmPowFAmVh+KEACgkQnIGTW2Lm PozNExAAqw1HWqFD3Hlc8FeSkUloi7JZCM7TLO9zc5Kqp4GHT1FMNHTUtcmFV+Yb 0Bs3gM311g7m8xwjvzGR7/sLO1c4BdmOFCXQdegPEO7cZFJazwbUopAO6BiMVlZv OOyrgy2J4iHtYMDYckQCihkaGlH53PzVXTcCM6prR+5Bn4SGam1oB4jfXxHzNXNw b1tVpGFDgaZrSRawkX9y9ATRX8lTUDpzcoYH87EgaWwq1d7MD0nuDrC2fgRIM5Xb vyjhOM98ZdWQ1bE11GbUxG724GPBv9H3QT5jlXOzWzlBimUlsKmOZEwk+5r3n2oa vsrQJ5Nqd1KqK76sCDMRnrk2vJwg/NNmZIMeIHBIFYZa7IoMhJ9JufuXvEINkrrq ZpSYdUxvXHeVHHQo4xsF/FXpXHbRpQEUIvaqgUqN/38+JgDhpxMqC0/SVS3s1Gh6 4SuIxOHV5BjmTwFJaixqYk8CwfBs5bDiI+8e0P+xWE6FHpL+lKR6vOzZ1w+8AxvR XAx5vrbizwYif/s44MH5k1UpdltD3NpyZIioCnth20izg7do6fYkNajpBHmO4w5r ztVjyTdOj8liw+B6v7MhrMLqpS+8cygYkKZyCtQzKfQ+qC3I34v1/gEiY7vKY3pu s6dGwPw2fQZO1uh1/iXNB1L31qudANa8YsSrLFOzyvyb/gdfo9o= =1NbJ -----END PGP SIGNATURE-----