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

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

Format: 1.8
Date: Sat, 20 Jun 2026 19:28:12 -0400
Source: haskell-copilot-theorem
Architecture: source
Version: 4.7.1-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.7.1-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 90ab2f9722167bca71cf3afde5aa8357ba6bdd2d 3940 haskell-copilot-theorem_4.7.1-1.dsc
 3db5dfe28f99ab0aa9bcc3cfc45c5f0a39e625c6 71903 haskell-copilot-theorem_4.7.1.orig.tar.gz
 a77c1e89a981f305d4be5ba4792ca587d02e176d 2980 haskell-copilot-theorem_4.7.1-1.debian.tar.xz
 7fc25c1a8c34851fd68a745b963f596a631e61d7 7552 haskell-copilot-theorem_4.7.1-1_source.buildinfo
Checksums-Sha256:
 e1ac7c1589d715dfd947e817910cd0fe6976e6a0b2067cbfae02cfb06f748a12 3940 haskell-copilot-theorem_4.7.1-1.dsc
 65988d9dd4bf4c05bdec614b35e9028e4ba93153bf7c46f96abdd64f2327e10e 71903 haskell-copilot-theorem_4.7.1.orig.tar.gz
 ec65ebf505ddc23639b09b5ea4edf675c286bab43e5cc8ff7edad5ec0722bd19 2980 haskell-copilot-theorem_4.7.1-1.debian.tar.xz
 2f175833303ecad031a767afea13f800923b32fa7539b21ad661d9c8671d12bb 7552 haskell-copilot-theorem_4.7.1-1_source.buildinfo
Files:
 753630363c6dba1fe422707f4b15603c 3940 haskell optional haskell-copilot-theorem_4.7.1-1.dsc
 dc71ce8996d852b70b75b0b0f8d2c5ac 71903 haskell optional haskell-copilot-theorem_4.7.1.orig.tar.gz
 98f1c4d39d0d72eaf484bbfb616b6635 2980 haskell optional haskell-copilot-theorem_4.7.1-1.debian.tar.xz
 8535bed40d0bfd863cabe42252b64b4a 7552 haskell optional haskell-copilot-theorem_4.7.1-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmo3IlwPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiLr4P/jSd6Umi8xJYY2HZhlO0W5Gk5+XI8sL6+rRj
nLVUHp7ML4MJt08Wpny0f8yZrt1OUNhaY+n/gGzNzKVQpRrrpDVqz3a1KCcUZH10
NwX/jwbVInJDz2unTmxC9nZ92aKN/YA7UE639C3/kS5DFBS1Hvv4mZwQzCdKTmiI
6ALF/rnUzyFs7E52pApRPBVrulFUeKMNrWTfD0NOc07+uFcrZjMz/LFmXnFaLJwz
wrb1mkezenvRnCiCL8M9I8D2hYFRZy38dSYxCa9n19MkovxEYvfv2vYiu396EbF4
oLAbUCJdcVT2LMAjxnu/RR/wQfJc9OtJhuywlyG1oFzbHndtxeLKI4usCbIbtbRb
KuGj4aqVWuvxAUO3nXKCuUg8+mGh4Qfsz4NBjdClPgOsQLegSapLa+USbqHkf+mv
K6rLhnkOYd3HRw4moMDJZpc2k54ogahFTGuiNGXkJe0jVHmfnfEY6XyoYDu2Xa0e
d4bnfvh/LtcOJCVJUwK1G1zImE02KNffiuPwO7OtYKnXCCmVs2gdNZEIrihGiojO
7Zt4LzPGOPU8PCm/E6TJfbMZLykTmVnJCRANtB9dauPfA0/djp8g7PR32sbuVLnB
GZ2b+T8h0A0Bkusd7c1/dnNKn2G4PWoNDTDxab6oZL+0IX4Jr8S8k5PFP7fylxcu
BYK/TU/n
=cLkv
-----END PGP SIGNATURE-----