-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 27 Aug 2023 12:40:08 +0300 Source: haskell-smtlib Architecture: source Version: 1.1-3 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> Changes: haskell-smtlib (1.1-3) unstable; urgency=medium . * Remove developer Kristoffer H Rose from Uploaders. * Declare compliance with Debian policy 4.6.2 * Sourceful upload for GHC 9.4 Checksums-Sha1: 9e1217f76fcc37f74fff2dd2f57ab02fa25b0b53 2223 haskell-smtlib_1.1-3.dsc e4fc005fc5c4372a09298579548004131a646bdf 2604 haskell-smtlib_1.1-3.debian.tar.xz 4b3473c233c7d2a592755a84fe4a4a528ecd93fc 6112 haskell-smtlib_1.1-3_source.buildinfo Checksums-Sha256: 6ddedce7cab05396197e860a840d37604324ec96114f15cdbcd08cc51512eb02 2223 haskell-smtlib_1.1-3.dsc c4187bfb6d414496681d0032de0ce37cd42b157a58631934eb410890a8595630 2604 haskell-smtlib_1.1-3.debian.tar.xz 9709e253b2dd064e5a1401f991853099362513ef70cb709b5feeb5b044d19e21 6112 haskell-smtlib_1.1-3_source.buildinfo Files: ad858b46324c50b2c4db791d419aa871 2223 haskell optional haskell-smtlib_1.1-3.dsc 0f20fa84d3fc4e6f2d034a376cb6b555 2604 haskell optional haskell-smtlib_1.1-3.debian.tar.xz eb9df65d5527235788b5f84f064d2054 6112 haskell optional haskell-smtlib_1.1-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmTrIpsUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDzlXg/+JWINMtt1G444mBjLU82UsTkr71qa 8lhdxuIdAMfcjPY4jMJ4NMFGFafVzlkPGuHz7+F1NqHEycYho+cFnInuQU8MW52a hjjikl8AdcxtyGfDEhFSnVXxNn+RkP0ug7KAY6MKdReujmt6DcOA4n4c+gO3EcI9 3utsMQjnDSDPdqi3C1WlaYQAeuP7rqGAGniHOLbUziqgDF1OhxLyfG2EFfMWe6qN L1S4QNLdjKvDIvVvK0rdXO8jOCCqhLzxksYEmQxYCS+xeqc81GJVplzplmcITz5U uCcNuvDsHGnuo8EOH2rfGIj6zCv72lnzIIvuglWAY0g47kcRj3StvjN8PnqFE3t+ jfyQEMkxgZJjTlCXYLHBC/la03uy+1X1cfqr8NP/BlAgZUVhHminRZcCLG8P8I5G eBXgTE6LmUkNCK8HrLBtGiypj+RP5Uv4+QveICLCVqm/LXitkHjKinCIaqletFAf qWh8uGJc8tjy4KhCh/nd7ugVNGeoUw+GchD6IXEoTIeIBoad6bxhKY6z2/VVwKr2 XSmv9GjKG9B4FZyi3GULKd9fSnF0alRV+74BLC4lyS3cmNS8QFMUBg39+cHIc586 Em5Z+IWL2MSlr7vAcdIkGa4sbjXIIsdR+sbpHFYM5ZJ18pwbOijnRKy/SbKC9Cri DHlSKzg+1a/ocwg= =+1p0 -----END PGP SIGNATURE-----