-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-simple-smt
Binary: libghc-simple-smt-dev, libghc-simple-smt-prof, libghc-simple-smt-doc
Architecture: any all
Version: 0.9.7-4
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Ilias Tsitsimpis <iliastsi@debian.org>
Homepage: http://hackage.haskell.org/package/simple-smt
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-simple-smt
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-simple-smt]
Build-Depends: dh-sequence-haskell, debhelper-compat (= 13), ghc (>= 9.6), ghc-prof, haskell-devscripts (>= 0.13)
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-simple-smt-dev deb haskell optional arch=any
 libghc-simple-smt-doc deb doc optional arch=all
 libghc-simple-smt-prof deb haskell optional arch=any
Checksums-Sha1:
 2e8538c2390b7c31823fa3ff3bc09c2302475670 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 4c71bdfaa6dd0ed244613ee857c04358d546445d 2628 haskell-simple-smt_0.9.7-4.debian.tar.xz
Checksums-Sha256:
 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 c4ba3f1d839cb460147f2156217f0db0b986ccb53690f22aedbc55130aa7f43f 2628 haskell-simple-smt_0.9.7-4.debian.tar.xz
Files:
 967f6a30598e1f427cd27b6bca740c38 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 82fbcd3802dd181bcbfc8367190a5d7b 2628 haskell-simple-smt_0.9.7-4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmlb4C8UHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwLkw/+OWe+fFvmhdGMuGf3+CVQMcoYew14
KrHFVxpYMo/mJQfd0kqvnLbQ6OQHYrWIxZki8kxxIFEccfiuWHdPLQkj4EqBcNbG
FhexN6X+TyckDPRhQVsxAAQHEaxkG3lJts6frXR7tqKFCEYzcZZKj/j86oufS+8F
OOHwkB5ir1UHSti2sV5bRrsnvnsyNUjsfrq+Mz+c7Enx6t2o5X7KZuq+iyNxUL5A
UpWEFZqsE2NO/9+g4JyqNS4iPoUD7zzekHQoH9lSPCtQmEvPJS4+I8mqL87XD2Fv
T3U6GTkym3iHgb4wgq6fxnaFsZI5X++3lWQeaOhoDdxY9TIhLJ96Bx3+O2vCkISv
9NcGFkT7/SGzHhcwcsU0otlHCo8EemKcVc76hFReZz94DfIwp58I47zECz/wfZWM
WfViVnGYf7/Wmt8SflZ+8S6FM/IgtvRCOgEMB98++ab1hYPtAK+u92vLb+N/fsmw
ZauWTNFAKlbCh/OPhOHiahP69VEBQMjIyse7pJokghs2JembitxUpz5vg61BvHlF
Q5R3/dmSAQ2ii/yg2SqErp3m6b9USY/9WqzzU02J4mg8FMTy1w4IzVq18N8XQrQe
i4HvSGrVjI8HcNcohgIT8gr4EXG3EOXbpuL7F/vvJuBBrVLaxEWfxjRCipyE6EEM
vWLjicSNaLtHfLg=
=tjNG
-----END PGP SIGNATURE-----