-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 19 Sep 2024 10:40:51 +0300 Source: haskell-presburger Architecture: source Version: 1.3.1-11 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> Changes: haskell-presburger (1.3.1-11) unstable; urgency=medium . * Declare compliance with Debian policy 4.7.0 * Sourceful upload for GHC 9.6 Checksums-Sha1: ce623db6972a1711e5a8ee96a738e651ab66eb01 2367 haskell-presburger_1.3.1-11.dsc 0ab251e7a5f049c615d634cd7865fbcc1a6db8d0 4660 haskell-presburger_1.3.1-11.debian.tar.xz 3a13d0fbfa9f8c41de190f947fd7feb226c876c0 6174 haskell-presburger_1.3.1-11_source.buildinfo Checksums-Sha256: 266bfa16a0ea24e8e7e21b85bb1af07f1df290341b7444dead440bc1c8aa5c27 2367 haskell-presburger_1.3.1-11.dsc 9aae8697b2f602a486022881c9e29aa1e76ad8e0f05f97e268f5161e29b9c558 4660 haskell-presburger_1.3.1-11.debian.tar.xz f9857e6ce4745538c34573aa32b35b77eaaa6999ff93be310e35a8fea54b0b2f 6174 haskell-presburger_1.3.1-11_source.buildinfo Files: 8d13f316188b3defe54eb93e4a195bd3 2367 haskell optional haskell-presburger_1.3.1-11.dsc e232bddc6be77c443cc410b6c490297e 4660 haskell optional haskell-presburger_1.3.1-11.debian.tar.xz 465226143d9c0e515e9c5bdf17c4b896 6174 haskell optional haskell-presburger_1.3.1-11_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbr+NUUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDxPjg/+OHxGBEk/Cjj77XDfQeSNlMg6FP9c V2vSKRjVlH+TZKIhHITNFYx18eMPBdnKMR5Nb5+7v+nH01VddYDVj8KBNPv3gMDs AC/egHHUs4TZFtlUkwBznrxoEJJ4fm/lqg8P/Xb6BpTdUve4xfkdepZXesn/tAP2 guE/yDit+vVqRXDLEFgjlyERRj0p7lyxqvqG9oV2Ne87+S1b9qfrT4r1P2x0iwX8 NQRywRmar/xOMMexZ+0qss4xJgBaqKeJG+RJtGuAl6lHYmIXY1ASDxrISE/MuoMU 9uLct70HpxhXNXzwwUMBylma9tLTIjT7F2RB19Ti2L68wItpvCe7eQn+k69mln8l +Wv2B2yWuyF83poD2drRFoita9RUh/vhu9UiqZwbNOFQAvdKWMIQiQRZAjuDBuhA LuJc0hlPfc7Sa84pNnq3eayN5Or7K9vhfnHdvSIAd24TpQM4Jr3hi8+7Rt+SUS89 KT0L+UOOZfvBakG3s2uCEfebr4FwZ/EtvNNsULZWWEyKrMokKwwtWSRNAPpuMALR cJEmzr43SOHHUbWLspbh31GXtUDrK37p+C8/hUQjkzEwbqdmHnpGZPF/ea3FSjs0 m9CkEy0bPupZB4BKVgG3AgkjLOZ2P0ytr0wz2cOUxI0I9fWCevYJUCn7xyEz+3/g DC8oSlEW0/AO0mE= =qaIq -----END PGP SIGNATURE-----