-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: haskell-genvalidity Binary: libghc-genvalidity-dev libghc-genvalidity-doc libghc-genvalidity-prof Architecture: all arm64 Version: 0.11.0.0-1 Checksums-Md5: f5a6c9c140394c7ce432a94600e492c4 196540 libghc-genvalidity-dev_0.11.0.0-1_arm64.deb 3738bd69d6a7d122eee0af00d6792f46 85520 libghc-genvalidity-doc_0.11.0.0-1_all.deb a55ecf4bcdb7617d54a5a4f4aabca689 173868 libghc-genvalidity-prof_0.11.0.0-1_arm64.deb Checksums-Sha1: 1579b8d1415a9128c9bde75b27a12b87ecd6c4a2 196540 libghc-genvalidity-dev_0.11.0.0-1_arm64.deb 6d6ee0843178068c22b59552e5592d6af4964cba 85520 libghc-genvalidity-doc_0.11.0.0-1_all.deb 5d4a923ec0c0ecad34efab15c3793a5dfd0528aa 173868 libghc-genvalidity-prof_0.11.0.0-1_arm64.deb Checksums-Sha256: 3570510fce94b9fb3289a9987003cf16633fa15f8320a03b65074396d43bf10e 196540 libghc-genvalidity-dev_0.11.0.0-1_arm64.deb ac6d2839bfb8f2f47b1b39359321d8f87ad08332dcd3a8540b9ec6c5e36b7ed2 85520 libghc-genvalidity-doc_0.11.0.0-1_all.deb bd94c2ff79328bea52e5edd63b6cccc19ed49e0d86ac940a35ca97feb49efe90 173868 libghc-genvalidity-prof_0.11.0.0-1_arm64.deb Build-Origin: Debian Build-Architecture: arm64 Build-Kernel-Version: 4.4.0-190-generic #220-Ubuntu SMP Fri Aug 28 23:03:33 UTC 2020 Build-Date: Sat, 17 Oct 2020 18:39:59 +1400 Build-Path: /build/haskell-genvalidity-0.11.0.0 Build-Tainted-By: merged-usr-via-symlinks Installed-Build-Depends: autoconf (= 2.69-11.1), automake (= 1:1.16.2-4), autopoint (= 0.19.8.1-10), autotools-dev (= 20180224.1), base-files (= 11), base-passwd (= 3.5.48), bash (= 5.0-7), binfmt-support (= 2.2.1-1), binutils (= 2.35.1-2), binutils-aarch64-linux-gnu (= 2.35.1-2), binutils-common (= 2.35.1-2), bsdextrautils (= 2.36-3+b1), bsdutils (= 1:2.36-3+b1), build-essential (= 12.8), bzip2 (= 1.0.8-4), cdbs (= 0.4.162), coreutils (= 8.32-4), cpp (= 4:10.2.0-1), cpp-10 (= 10.2.0-13), dash (= 0.5.10.2-7), dctrl-tools (= 2.24-3), debconf (= 1.5.74), debhelper (= 13.2.1), debianutils (= 4.11.2), dh-autoreconf (= 19), dh-buildinfo (= 0.11+nmu2), dh-strip-nondeterminism (= 1.9.0-1), diffutils (= 1:3.7-3), dpkg (= 1.20.5), dpkg-dev (= 1.20.5), dwz (= 0.13-5), file (= 1:5.38-5), findutils (= 4.7.0-1), fonts-mathjax (= 2.7.9+dfsg-1), g++ (= 4:10.2.0-1), g++-10 (= 10.2.0-13), gcc (= 4:10.2.0-1), gcc-10 (= 10.2.0-13), gcc-10-base (= 10.2.0-13), gettext (= 0.19.8.1-10), gettext-base (= 0.19.8.1-10), ghc (= 8.8.4-1), ghc-doc (= 8.8.4-1), ghc-prof (= 8.8.4-1), grep (= 3.4-1), groff-base (= 1.22.4-5), gzip (= 1.10-2), haskell-devscripts (= 0.16.0), haskell-devscripts-minimal (= 0.16.0), hostname (= 3.23), hscolour (= 1.24.4-3+b1), hspec-discover (= 2.7.1-1), html-xml-utils (= 7.7-1), init-system-helpers (= 1.58), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.2.53-8), libarchive-zip-perl (= 1.68-1), libasan6 (= 10.2.0-13), libatomic1 (= 10.2.0-13), libattr1 (= 1:2.4.48-5), libaudit-common (= 1:2.8.5-3), libaudit1 (= 1:2.8.5-3+b1), libbinutils (= 2.35.1-2), libblkid1 (= 2.36-3+b1), libbrotli1 (= 1.0.9-2+b1), libbsd-dev (= 0.10.0-1), libbsd0 (= 0.10.0-1), libbz2-1.0 (= 1.0.8-4), libc-bin (= 2.31-3), libc-dev-bin (= 2.31-3), libc6 (= 2.31-3), libc6-dev (= 2.31-3), libcap-ng0 (= 0.7.9-2.2), libcc1-0 (= 10.2.0-13), libcom-err2 (= 1.45.6-1), libcroco3 (= 0.6.13-1), libcrypt-dev (= 1:4.4.17-1), libcrypt1 (= 1:4.4.17-1), libctf-nobfd0 (= 2.35.1-2), libctf0 (= 2.35.1-2), libcurl3-gnutls (= 7.72.0-1), libdb5.3 (= 5.3.28+dfsg1-0.6), libdebconfclient0 (= 0.254), libdebhelper-perl (= 13.2.1), libdpkg-perl (= 1.20.5), libedit2 (= 3.1-20191231-1), libelf1 (= 0.181-1), libffi-dev (= 3.3-4), libffi7 (= 3.3-4), libfile-stripnondeterminism-perl (= 1.9.0-1), libgcc-10-dev (= 10.2.0-13), libgcc-s1 (= 10.2.0-13), libgcrypt20 (= 1.8.6-2), libgdbm-compat4 (= 1.18.1-5.1), libgdbm6 (= 1.18.1-5.1), libghc-ansi-terminal-dev (= 0.10.3-1+b1), libghc-ansi-terminal-prof (= 0.10.3-1+b1), libghc-call-stack-dev (= 0.2.0-1+b1), libghc-call-stack-prof (= 0.2.0-1+b1), libghc-clock-dev (= 0.8-1+b1), libghc-clock-prof (= 0.8-1+b1), libghc-colour-dev (= 2.3.5-2+b1), libghc-colour-prof (= 2.3.5-2+b1), libghc-hspec-core-dev (= 2.7.1-1+b2), libghc-hspec-core-prof (= 2.7.1-1+b2), libghc-hspec-dev (= 2.7.1-2+b2), libghc-hspec-expectations-dev (= 0.8.2-4+b1), libghc-hspec-expectations-prof (= 0.8.2-4+b1), libghc-hspec-prof (= 2.7.1-2+b2), libghc-hunit-dev (= 1.6.0.0-3+b1), libghc-hunit-prof (= 1.6.0.0-3+b1), libghc-primitive-dev (= 0.7.0.1-1+b1), libghc-primitive-prof (= 0.7.0.1-1+b1), libghc-quickcheck-io-dev (= 0.2.0-4+b2), libghc-quickcheck-io-prof (= 0.2.0-4+b2), libghc-quickcheck2-dev (= 2.13.2-1+b2), libghc-quickcheck2-doc (= 2.13.2-1), libghc-quickcheck2-prof (= 2.13.2-1+b2), libghc-random-dev (= 1.1-12+b1), libghc-random-doc (= 1.1-12), libghc-random-prof (= 1.1-12+b1), libghc-setenv-dev (= 0.1.1.3-9+b1), libghc-setenv-prof (= 0.1.1.3-9+b1), libghc-splitmix-dev (= 0.0.5-1), libghc-splitmix-prof (= 0.0.5-1), libghc-tf-random-dev (= 0.5-10+b1), libghc-tf-random-prof (= 0.5-10+b1), libghc-validity-dev (= 0.11.0.0-2), libghc-validity-doc (= 0.11.0.0-2), libghc-validity-prof (= 0.11.0.0-2), libglib2.0-0 (= 2.66.1-1), libgmp-dev (= 2:6.2.0+dfsg-6), libgmp10 (= 2:6.2.0+dfsg-6), libgmpxx4ldbl (= 2:6.2.0+dfsg-6), libgnutls30 (= 3.6.15-4), libgomp1 (= 10.2.0-13), libgpg-error0 (= 1.38-2), libgssapi-krb5-2 (= 1.17-10), libhogweed6 (= 3.6-2), libicu67 (= 67.1-4), libidn2-0 (= 2.3.0-1), libisl22 (= 0.22.1-1), libitm1 (= 10.2.0-13), libjs-mathjax (= 2.7.9+dfsg-1), libk5crypto3 (= 1.17-10), libkeyutils1 (= 1.6.1-2), libkrb5-3 (= 1.17-10), libkrb5support0 (= 1.17-10), libldap-2.4-2 (= 2.4.53+dfsg-1), libllvm9 (= 1:9.0.1-14), liblsan0 (= 10.2.0-13), liblz4-1 (= 1.9.2-2), liblzma5 (= 5.2.4-1+b1), libmagic-mgc (= 1:5.38-5), libmagic1 (= 1:5.38-5), libmount1 (= 2.36-3+b1), libmpc3 (= 1.2.0-1), libmpfr6 (= 4.1.0-3), libncurses-dev (= 6.2+20200918-1), libncurses5-dev (= 6.2+20200918-1), libncurses6 (= 6.2+20200918-1), libncursesw6 (= 6.2+20200918-1), libnettle8 (= 3.6-2), libnghttp2-14 (= 1.41.0-3), libp11-kit0 (= 0.23.21-2), libpam-modules (= 1.3.1-5), libpam-modules-bin (= 1.3.1-5), libpam-runtime (= 1.3.1-5), libpam0g (= 1.3.1-5), libpcre2-8-0 (= 10.34-7), libpcre3 (= 2:8.39-13), libperl5.30 (= 5.30.3-4), libpfm4 (= 4.10.1+git44-ga2909cd-1), libpipeline1 (= 1.5.3-1), libpsl5 (= 0.21.0-1.1), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b2), libsasl2-2 (= 2.1.27+dfsg-2), libsasl2-modules-db (= 2.1.27+dfsg-2), libseccomp2 (= 2.4.4-1+b1), libselinux1 (= 3.1-2+b1), libsigsegv2 (= 2.12-2), libsmartcols1 (= 2.36-3+b1), libssh2-1 (= 1.8.0-2.1), libssl1.1 (= 1.1.1g-1), libstdc++-10-dev (= 10.2.0-13), libstdc++6 (= 10.2.0-13), libsub-override-perl (= 0.09-2), libsystemd0 (= 246.6-1), libtasn1-6 (= 4.16.0-2), libtinfo6 (= 6.2+20200918-1), libtool (= 2.4.6-14), libtsan0 (= 10.2.0-13), libubsan1 (= 10.2.0-13), libuchardet0 (= 0.0.7-1), libudev1 (= 246.6-1), libunistring2 (= 0.9.10-4), libuuid1 (= 2.36-3+b1), libxml2 (= 2.9.10+dfsg-6), libz3-4 (= 4.8.9-1), libzstd1 (= 1.4.5+dfsg-4), linux-libc-dev (= 5.8.14-1), llvm-9 (= 1:9.0.1-14), llvm-9-runtime (= 1:9.0.1-14), login (= 1:4.8.1-1), lsb-base (= 11.1.0), m4 (= 1.4.18-4), make (= 4.3-4), man-db (= 2.9.3-2), mawk (= 1.3.4.20200120-2), ncurses-base (= 6.2+20200918-1), ncurses-bin (= 6.2+20200918-1), patch (= 2.7.6-6), perl (= 5.30.3-4), perl-base (= 5.30.3-4), perl-modules-5.30 (= 5.30.3-4), po-debconf (= 1.0.21), sed (= 4.7-1), sensible-utils (= 0.0.12+nmu1), sysvinit-utils (= 2.96-5), tar (= 1.30+dfsg-7), util-linux (= 2.36-3+b1), xz-utils (= 5.2.4-1+b1), zlib1g (= 1:1.2.11.dfsg-2) Environment: DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8" LANG="C" LC_ALL="C" SOURCE_DATE_EPOCH="1597903578" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJfinWiAAoJEP3Qh8b8prG+/SUP/iolaIqIGxxsrcsEi2M6sxQy ECvV5rP47cjNEEAiDzSJugSnHOII4W3WxiHOtptJXT9/GKP1so82Bwy6JpHixoRU chvl+C3iWAByjuxiy8FeWBasuDfOSRS0szwpO3Rpi7ZN7UzFTxt6hGqbDdre9vse 9sa9EDkgsQpCkyttFwNh8Pmepv+dtB3DLzMJWbEiScAMl3BbPlapdDIDJqUfNLQG /hz9kEBV/zxdQCBhSRzWY3d9gKR+0mMY8w26+vfcS7UbMVPxrYwfMjDfsMgVw/IB n7O7xs2OWaVEX/4dNN69RaFJ+RDIw1UfA49jP/uB/oZEOGF7lutfuhYP/1vhQFkE 8aRMYSwQc+1Tr0zmFQO8jBnJiYSFPIMjRbGz1TLv/Ler/9NXBr+3ghfKGDCfNJKi WNdIqMSLCY302LPFBisGhfLqFEu9YBCNBn7sZIjSl3DJzXuwnEUlKx4e5TNxfxvu LN29qUY3lVQwgS/fMurW6EFt6Zk2KlX0YY6b4YLyCt7FOnUQ3DxjGMsRae/FhEwr SMyuJCiAKbxAOcFnFOEZp1/dky2fUtZ94pzDmUNeJWuTEeCG1Oz3A7TsC4IUyjSM R9A7xRWQOzqcPNZF4IoKBGG/F92rPXomPc1jaS1UejVSkhjxXh3ovsqZbaYb6FR6 DzzvXb5xUihQEJHnanxk =xBLQ -----END PGP SIGNATURE-----