-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 02 Sep 2023 16:26:08 +0300 Source: haskell-presburger Architecture: source Version: 1.3.1-10 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-10) unstable; urgency=medium . * Declare compliance with Debian policy 4.6.2 * Sourceful upload for GHC 9.4 Checksums-Sha1: 186c31a001f5cb22dbefed87bb98edc7c544778e 2367 haskell-presburger_1.3.1-10.dsc 72b463265785d04c58afcbd9109530187ba41fe8 4632 haskell-presburger_1.3.1-10.debian.tar.xz e28420648cb1b73cbadb883b35cc948bf2129d8b 6137 haskell-presburger_1.3.1-10_source.buildinfo Checksums-Sha256: c9039facc9dda479cbc7f6a8d7dde95df5b0491ffa68a9663cc9963d4d0236c4 2367 haskell-presburger_1.3.1-10.dsc 81a17bd7d031225dcb55613ec40eb71eedf92204225726c1ec7cda2389e4aeb2 4632 haskell-presburger_1.3.1-10.debian.tar.xz 5b1541ff62e9bdb62a9abd41a13e588d3b384e0f7149ca7d0e1ee0552b03e393 6137 haskell-presburger_1.3.1-10_source.buildinfo Files: d4cdfa533fad5ef6211f788d0a9b62d4 2367 haskell optional haskell-presburger_1.3.1-10.dsc 49db59313f3117ce5ec7b5a458791de5 4632 haskell optional haskell-presburger_1.3.1-10.debian.tar.xz 86a0ed146633b720a3c34e69b5260502 6137 haskell optional haskell-presburger_1.3.1-10_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmTzQBsUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDxNKQ/7BOOPYZyZTwm4g7A0BvGhD9sYAGg7 Txb3o37Zk1wx4uyuTLF4kvq/NtWt6RBWICWZ+V9JPq253PrwDMHIP/mEMCl2NTrj cg40Sz7iWLNwmhxXlRvcXNyxHWPJizdNyA9CyW4STzW2nnklaoqQchxjGEWYvXJz rR793qgVBwP69v+fYp7FZBXHzNkvbWTmKs14tibG7UYwjSLxVNK0tcZ8/KNKXfc+ b8y3WnuWFjIKfwgpiwIgrBpYvmxvstBhZVlYgDvbs7ssb7YmFuNZsI2MrKfra44w +ektwMWmUpfguBDeA1HMrP7iSZh9Oaokjx5LkvzfTSiFHhi4WT+myg5RiN8KLo6M 457vQgEAHd8UN8FFzAGtA6OR5DOI3vAPAIJcWLlirbf7rTAa1Q8w+muPVMdOkvv0 fFzMFc1roofkdC5SdQjPHqsLUPM6XM7rL6JBSQx9cjFfi9sCv6e8fWBtvHqeI8V5 D7nsQoCiSkQE7kR/wXwjhC0DEfO3vyZTwMNCBghfNgUbOisTyts0J4kqQrevs80r iMVJ6mXZmMsKjOYIsOfXWzvc0TI/lgMO0vVIzJSOsLYo3xLSzWB/k8NYTNjgrCmE GPUUxwF4OZy+Q1nnVQW5LIUvCuif52P+IUBM0sbITXo9IRJPAwBhT2TF+YawODOc zLvYtOcV6SWOnJs= =iT8m -----END PGP SIGNATURE-----