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

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

Format: 1.8
Date: Sat, 29 Mar 2025 13:18:14 -0400
Source: haskell-copilot-theorem
Architecture: source
Version: 4.3-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.3-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 89a931a1edfce4aca0274db075c74be1caa58306 3801 haskell-copilot-theorem_4.3-1.dsc
 cc81ea9322a50fd1b960599d1b49f139a933453e 71261 haskell-copilot-theorem_4.3.orig.tar.gz
 052527b5e3e37d680a8a8a18120350db8b58042c 2932 haskell-copilot-theorem_4.3-1.debian.tar.xz
 f57edf87f2295dd3f88d445bd05bf67ca3750733 7763 haskell-copilot-theorem_4.3-1_source.buildinfo
Checksums-Sha256:
 a3ae5bb2df4d7be89004d75a38ea186f2c771ae496c1aa340cdec993ba2804f8 3801 haskell-copilot-theorem_4.3-1.dsc
 3ea3b00fb9685a0ff06a7d60975d8dcb77e25b45d57688bc34ffc859f6287fa6 71261 haskell-copilot-theorem_4.3.orig.tar.gz
 f47a8cdf26bcdf63d2af9374ddf0cfe07d9e1e0d8913c156e3ae293ec3d70d9e 2932 haskell-copilot-theorem_4.3-1.debian.tar.xz
 3fc1245a1090640a14db803022b548127a667f21a055f4a0c46198284a093978 7763 haskell-copilot-theorem_4.3-1_source.buildinfo
Files:
 4c3110414ee78431cab3fdb7f4af495e 3801 haskell optional haskell-copilot-theorem_4.3-1.dsc
 d667dded10735330f08c18856e109fc7 71261 haskell optional haskell-copilot-theorem_4.3.orig.tar.gz
 d336e60942e16de532787da43b16f15d 2932 haskell optional haskell-copilot-theorem_4.3-1.debian.tar.xz
 7ec7c9412ae137b348190218712100e9 7763 haskell optional haskell-copilot-theorem_4.3-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmfoK40PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii+8IQAK9bLWHE5W0H3qjY4PqdR3wamsuxnx/hV54Q
T7QKw0lJHYIXa3iYEOkUK3I94QsZGcvs3wr1eo6Eu7R+4rrwjYXkSzvrtUvMviJL
K5Nwn9i4oh9/R9rsV8aUYufJ+pRpKWZ5ZR0NrvWzrVSzJCWbJUWf0JFAWCJctFTS
wOWJoJhFxzu6+imCHXe+MW/JPFJ5GBUVCBqyzt9vhi9ALcg4Y+m+raxpU/3+MXmN
X6EDOPk2vEAniuSClkrE9MlnzV7PwoE5f9/s6Z71k8fVP2i6PmtQLBr8doTXVokR
LnGJCOpEy5cMN0XDS9WAjhgKkSDYXZqa6NjwdjoTIZ2WLJOcDLkvwptsr+l9uS6W
/fOmxYOXDtdH3CGaUNs4PEVFBGGLbq6FeYZhraaLjNwSyZUWcRrZa0IEl585VBVS
YaRxSLRCTzzkxp78omHYMtwX0SizSeUp/mGCVfLNYbGeq+Yd5yeFAWMycCotXvOW
gDPNekx9gtf5dy45RKJJ3N5L9qIdGWIl6RaE0TViemKnnaEjmtzzpnpX+uipwvck
Kf5QSV+rG2JqFv4PYwUQkFzN80Zirkzd8sW8pBfJd4icXkp/w9IU/bVostLwOd2a
H0adoWGUUPhY9sfQbWMNIk/tvvj37KNfw2WrF97yo2yZ5VKJU1rtdETkO3Dz+lZn
m1BGwNSU
=yAN7
-----END PGP SIGNATURE-----