Accepted haskell-copilot-theorem 4.0-2 (source) into unstable

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

Format: 1.8
Date: Sun, 22 Sep 2024 16:47:57 -0400
Source: haskell-copilot-theorem
Architecture: source
Version: 4.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Scott Talbert <swt@techie.net>
Changes:
 haskell-copilot-theorem (4.0-2) unstable; urgency=medium
 .
   [ Ilias Tsitsimpis ]
   * Declare compliance with Debian policy 4.7.0
 .
   [ Scott Talbert ]
   * Sourceful upload for GHC 9.6
Checksums-Sha1:
 adb9dc1ff02a052b5636fe63c93b490e081485fd 3764 haskell-copilot-theorem_4.0-2.dsc
 20dc49a21acc5997605e1edc77d3f56ebffd4333 2916 haskell-copilot-theorem_4.0-2.debian.tar.xz
 a13b89a7cb613d9ad3b6cf2d2f956b67b6916e1d 10391 haskell-copilot-theorem_4.0-2_source.buildinfo
Checksums-Sha256:
 caf2ec635c8aaa947e6833fb2154ca5c74cd33c464d5de01bcb1dc83867321b2 3764 haskell-copilot-theorem_4.0-2.dsc
 d6130856ffb68eca893da644420dd3b76a1d185f75e7c3a25d57fe7c8a09b48b 2916 haskell-copilot-theorem_4.0-2.debian.tar.xz
 f28a57810d10b3558cbd2d151bc069cf4ad6cbb06023bb2cf44c1b590751c743 10391 haskell-copilot-theorem_4.0-2_source.buildinfo
Files:
 c5a4f6de540b8405b27d3816948d237d 3764 haskell optional haskell-copilot-theorem_4.0-2.dsc
 a8d965da8cf54d958f00d11054def0e8 2916 haskell optional haskell-copilot-theorem_4.0-2.debian.tar.xz
 9afff72e767d88bb1247f96bb2d91535 10391 haskell optional haskell-copilot-theorem_4.0-2_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmbwgpgPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiMU8P/3ZjaQsir0JyNxBWPyyl5ymUj9TRywLndz/Z
nMI0U5I8okJUi5L7/TioM3hqZngn53dRIMdlggQgg4GucvaTZYfTlUUVUszwdoyG
j8Ay22IK624LlBnFD7KKTtYN0hMq+uKsbc09vgkglzf5E4UHJ9KySCSxmd6VO063
+8LJIUyD4RJrU9nTc/mOChaKWG/PcNjMIF6xrbOIXjM7daDyFu77cDkHv/EfkvP7
sovYsnM+XHtOIXgFo05RL9fp/X9wZzba8k26IVGNnRozw1oBg4ya78w1/gtPWZ9h
x6EGJmGmAnrH4v7JU4hDQ2CQYXGe4yeCU4gAbQR1QfjlNMKtLXgtU1FF/cXw8d6V
LjJKB1yR/92W+BiyNNnbE8hQUnPXfe7geOAw73thtf937UtoEFMBM0pw2zjDz7Eo
8FJMWPyz6QZLHMsoC3pR/IxO1CaOjxwMH/aqvCPQ1y2LBoydok9UQsu/MyzVTpx8
e98Nfz9kazQh+hrAlaPlSpAj/CdQbmKhGeQbgIjhCmoyTX+U2WvgvI1I/b56niZU
rjrrdjkkNeeLyGfMW8qlQduHthWkR3fH/rRJeuyIJt+AkulM5bwDvAe7K890GLWh
VGUpWBugb6RAXwIkrNUyEB5MvYoFbUCtP898plCObrZmsoeRmFq/HYFtdTidJ6Xt
YYySuq0J
=anWX
-----END PGP SIGNATURE-----