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

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

Format: 1.8
Date: Wed, 22 Jan 2025 18:39:48 -0500
Source: haskell-copilot-theorem
Architecture: source
Version: 4.2-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.2-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 330397337fe7da641f8817624cd4cd2ed789e266 3764 haskell-copilot-theorem_4.2-1.dsc
 0d28c3e7f6e74c6d6a7fd8d80ce5477da6be0d35 66178 haskell-copilot-theorem_4.2.orig.tar.gz
 f0286fdf87d06452f3212c0bc3db8c4ee8c0f8d8 2928 haskell-copilot-theorem_4.2-1.debian.tar.xz
 2f1919df66de3a7ddf0f0b081d80e99237cc5a93 10011 haskell-copilot-theorem_4.2-1_source.buildinfo
Checksums-Sha256:
 ab3c938487a0e1eb89ba1cc3cbf4eda08e55a9527b2be8163a48a769ebac0f90 3764 haskell-copilot-theorem_4.2-1.dsc
 34f3e6e4d5c778303fd8a2942d95015afd8264073d3b3d7d796a053941edc46d 66178 haskell-copilot-theorem_4.2.orig.tar.gz
 bf3c014169c9e24fe1eb79afbc52a930aa42162a216535eafa14b6d9b706cb15 2928 haskell-copilot-theorem_4.2-1.debian.tar.xz
 d67c9044df30d06b8e99c54234347f9131a46976bef4b6a70da8fd093c175581 10011 haskell-copilot-theorem_4.2-1_source.buildinfo
Files:
 f7ab1222ca3e6bb1e73437879b4af793 3764 haskell optional haskell-copilot-theorem_4.2-1.dsc
 7b8ad65158547ec0a0c729c9b8ec1724 66178 haskell optional haskell-copilot-theorem_4.2.orig.tar.gz
 450a869d65e8b863265013e985697f3c 2928 haskell optional haskell-copilot-theorem_4.2-1.debian.tar.xz
 8a3be090b9860028daeff7c3c9917d95 10011 haskell optional haskell-copilot-theorem_4.2-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmeRgeMPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iivasQAMCVbQmwIoVhaoyedUXIGBY+yP1uzDaE/p5o
yTGUb37UrfymvNgHSdO1k1ot2L6pBT4a6dg3KKvHGqjyKnqrejSatbmnL78d/Rd+
saqDYFGT+ocrTpaYo6QjFUuwl8sWXtqXJL9Pu4IjXiVavNxO32K2k0tK6hai9koH
JUEUAqaY7rgPr8n7UgZgZ0lGx18YjVs2YKc1DUnOX3PPbMaCTfPISIyTnNX9acDx
f6Y3EU/7/9nqAEdGwpVnWENfWI3zgAyYu6VqE7xWFlAcRMvV93S0eQ80kItr+nSY
POzIWp9ijRcsOZOPOvqe1zhEXmLeN9RV2c5kWx9j4rBMq84BGJfDeu3ptSusoSYa
NfgzFFxFsmizYwBltWX9sBMlAfe5wXBRMkq4W3bOtYWuG2+VagoIDHT9GmH5LqFQ
mkEGvJFfkJPdnIVJqmLU3WQUx6f03GMmm5ffA/TLNHFN2qJDllerq4vPatBzkyT8
sRW0LTqVp9XY4xdfZqyH+AdimnuYzZjC8F2yY4tQJ01FQVXC5ptSGImRmWoLbdLi
XmO9QSxDWl/xRUlKAQcxiK+GFKlHeVYI74x6ljvfhcQOEMMlIvIFYtc/pBVS7WNQ
draP9I57CjpFLGIigvFKScf6Nx48nh85ea3kn4wMp7J5Qk+2OlO1TKkX7YGEb0Nd
i+f+viKo
=r7QJ
-----END PGP SIGNATURE-----