Back to haskell-smtlib PTS page

Accepted haskell-smtlib 1.1-3 (source) into unstable



-----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-----