-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: haskell-simple-smt Binary: libghc-simple-smt-dev libghc-simple-smt-doc libghc-simple-smt-prof Architecture: all amd64 Version: 0.9.5-1 Checksums-Md5: a74db19e079493f30a2cf11ad40e8f0c 100200 libghc-simple-smt-dev_0.9.5-1_amd64.deb fb36e93271f4e18364951584297e0f42 70052 libghc-simple-smt-doc_0.9.5-1_all.deb 62460a049c09c8b618a4c2a73505c2c0 83068 libghc-simple-smt-prof_0.9.5-1_amd64.deb Checksums-Sha1: cffac5905d5b36a9a0ebb2364358934d3e02f616 100200 libghc-simple-smt-dev_0.9.5-1_amd64.deb ed13bd9a67568be8fc6f3bb23719f321b18f4133 70052 libghc-simple-smt-doc_0.9.5-1_all.deb 387081596f982e9be4c00b4403bcadc2a4b89077 83068 libghc-simple-smt-prof_0.9.5-1_amd64.deb Checksums-Sha256: ac55c7e59419f7f6b15a9fec581e3a80fe55734456bb1e7f469d40c353e6d88d 100200 libghc-simple-smt-dev_0.9.5-1_amd64.deb 2db320c53fd384e2efe47e4934a9e35477d89ba8b9aead60d439e4a4c6660fdf 70052 libghc-simple-smt-doc_0.9.5-1_all.deb 5c02ed3ee4e2168138921f387f34dca2661008509aaaad15df48e141ea47b0f3 83068 libghc-simple-smt-prof_0.9.5-1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Kernel-Version: 4.19.0-12-amd64 #1 SMP Debian 4.19.152-1 (2020-10-18) Build-Date: Tue, 27 Oct 2020 22:25:49 -1200 Build-Path: /build/1st/haskell-simple-smt-0.9.5 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.1~rc1-2), binutils (= 2.35.1-2), binutils-common (= 2.35.1-2), binutils-x86-64-linux-gnu (= 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+b1), cpp (= 4:10.2.0-1), cpp-10 (= 10.2.0-15), dash (= 0.5.10.2-7), dctrl-tools (= 2.24-3+b1), 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-15), gcc (= 4:10.2.0-1), gcc-10 (= 10.2.0-15), gcc-10-base (= 10.2.0-15), 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), 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-15), libatomic1 (= 10.2.0-15), libattr1 (= 1:2.4.48-5), libaudit-common (= 1:2.8.5-3.1), libaudit1 (= 1:2.8.5-3.1), 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-4), libc-dev-bin (= 2.31-4), libc6 (= 2.31-4), libc6-dev (= 2.31-4), libcap-ng0 (= 0.7.9-2.2), libcc1-0 (= 10.2.0-15), 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), 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-15), libgcc-s1 (= 10.2.0-15), libgcrypt20 (= 1.8.7-2), libgdbm-compat4 (= 1.18.1-5.1), libgdbm6 (= 1.18.1-5.1), libglib2.0-0 (= 2.66.1-2), 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-15), 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-15), 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.54+dfsg-1), liblsan0 (= 10.2.0-15), 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), libnsl-dev (= 1.3.0-2), libnsl2 (= 1.3.0-2), libnss-nis (= 3.1-4), libnss-nisplus (= 1.3-4), 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), libpipeline1 (= 1.5.3-1), libpsl5 (= 0.21.0-1.1), libquadmath0 (= 10.2.0-15), 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.1h-1), libstdc++-10-dev (= 10.2.0-15), libstdc++6 (= 10.2.0-15), libsub-override-perl (= 0.09-2), libsystemd0 (= 246.6-2), libtasn1-6 (= 4.16.0-2), libtinfo6 (= 6.2+20200918-1), libtirpc-common (= 1.2.6-3), libtirpc-dev (= 1.2.6-3), libtirpc3 (= 1.2.6-3), libtool (= 2.4.6-14), libtsan0 (= 10.2.0-15), libubsan1 (= 10.2.0-15), libuchardet0 (= 0.0.7-1), libudev1 (= 246.6-2), libunistring2 (= 0.9.10-4), libuuid1 (= 2.36-3+b1), libxml2 (= 2.9.10+dfsg-6.1), libzstd1 (= 1.4.5+dfsg-4), linux-libc-dev (= 5.9.1-1), 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 parallel=15" LANG="C" LC_ALL="C" SOURCE_DATE_EPOCH="1597658466" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEMLJLGERmCfehCLXEux/QhRcfbhgFAl+ZRy8ACgkQux/QhRcf bhjQFhAAgl/SPkWTzUKlwUtSWs1UItgRunLMd2IASydL0ujQSNN9wqNZVDXAJ51H Za+rGjU7IB8pr0sWJOFgH7YST4PzMTvKMPbE07XsU0rNyfRmX9eotIyUTc4slZ/N yOCiXbsykIwpNJ8jasoPsFOSe9UjIRU1cqqRPnCJXNS/t/5b8+yxfI6HEyKmC9sj eUJf9n9QavAEW/FTbrtoCebeaiRbBrW8pXhgSBQADUOFKnK/fGMKMwo67mBO0GpZ fTdAbS9An8flDEAD0EX0M9T+D77SKh3S/SLAyRKAW+o8fMz+4OJXjTosf/nAKsZc RwsWHcF8H3I3Qgl0jAya1JaQmpycu/CsmTKaDCmbMXAD6zS/8G+l9txaxYHivvGQ WA2h7GYH+aTNaIWDJMIgGm5jNgzL5qAZZclTGtFCY+qSdakDLbZnNJyvV/k1SNEj qre/4U5CH9jdkzAHgw2tUBeRHKtv3+IyNs2+oVGte0tgaO4AVKe7P9bxV0+lMhm0 SHzZzvHMLE5HNCpAcM6FUnINLkZPCw36jeXXCZriLfyvLusLsOdLeWWIQEsHJWTy f+NMST1t9Kp513eb5BPLFi5WHnOEULMzTe0RczEoSAlxMoKxnpRxiB/PJNdxXjo5 Y17a3GJvHThGK8HJYGcGuCVrPRgQnO00pcY3rXiKFgESExDLfl4= =Mdwq -----END PGP SIGNATURE-----