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

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

Format: 1.8
Date: Tue, 10 Sep 2024 22:51:18 -0400
Source: haskell-copilot-theorem
Architecture: source
Version: 4.0-1
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-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 d912f8dee183dc44457a8dfbbdbd0b49b14a7595 3764 haskell-copilot-theorem_4.0-1.dsc
 6033863bba85433651cb8b8afed366902095fd13 66103 haskell-copilot-theorem_4.0.orig.tar.gz
 300e37c15fd97de398aac6826d62ec61e44ee8bf 2856 haskell-copilot-theorem_4.0-1.debian.tar.xz
 32e91eacceb5f569a7e4400b5911d444ae542313 10385 haskell-copilot-theorem_4.0-1_source.buildinfo
Checksums-Sha256:
 bf03925fa549f6dee63e378d2dcf39495be5a14ac518c95907df79ae0e093b9f 3764 haskell-copilot-theorem_4.0-1.dsc
 a34795c82a02825f1f9d51eec2c41fa2a9fa4244da8744d0764c6873f8cb3191 66103 haskell-copilot-theorem_4.0.orig.tar.gz
 8134c2fa4d9e051781649086a2af62fd804e817ef7a4af58c1d0276476afe132 2856 haskell-copilot-theorem_4.0-1.debian.tar.xz
 305548e50f93ca7569b5b5194d0e49904cc26182bf84bb28cb3d6a8ba77c225e 10385 haskell-copilot-theorem_4.0-1_source.buildinfo
Files:
 dd266c2857c28cf4705bd4170e79dc7d 3764 haskell optional haskell-copilot-theorem_4.0-1.dsc
 3d6e4cf57245d3fc74c22d80bc993c4d 66103 haskell optional haskell-copilot-theorem_4.0.orig.tar.gz
 d7b09b179398ccc907ca7b0254a01d2c 2856 haskell optional haskell-copilot-theorem_4.0-1.debian.tar.xz
 21fbaba6e3ea1e0c41261aa469204c47 10385 haskell optional haskell-copilot-theorem_4.0-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmbhBcwPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiuxoP/0zYWfrPnPZcDHBJMxXSIhe669LcEgF0yY1K
nIQa+cDRzvI1McQdvofVHhOZv2dkgSPYpKMoX1vNj1+JHD6ZRDn2SF/Sj1Tmis61
NqIeu8jHoSZiOA1D9KZFrIF4rmij576phVU/q7QOY27U0hsVNypoq3VctHjmPG9C
EN1slsMiqnwwsVwoJzRHHr6P9lKMCIRjO2iswfX1dUU6lFvHtUgVwtotFWZvjOoo
sbWB1NPpzaul7Vy9Q7bc+eqtcH6ciAnFlITcZgJ2Bg2r57AN4fpSHiXpKo4sg5Tz
rWJELkcoMHYIiOlKRUzfp7E9yDELeYppI39KlasIQnm/2xfLiK53A7I6lTomMLpz
GRFQw/CePOkH3NSvgMJdN6dmFNFcRsNOfKzbhsoCSIKUlYB01EXdBJzCIwiDaUBw
eNA9Gxubsw40NGVC94XiwpuLliV6yqdgOvT4/xJKRFTfDtIP25XqZNcVChszRip8
+HzNt5GSy2HrDDUCIr1PchE6BcWE93V3ATzrJdRFIa9oX5d7tIXGzzxyLG+0MZTZ
6oS/BqYITPVhby73VDr+9JjdDBR106q1GqpFGDOe+WrTyxKHhOa2edeYcFNpAHUZ
oCx5otSrDqzLCO+BGCguuK3GAkxjmHbNEzxYlAYvkilBan3bSTOHLwpT8eJ/Y+qj
gs/hNQBk
=WVE5
-----END PGP SIGNATURE-----