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

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

Format: 1.8
Date: Mon, 28 Sep 2026 15:39:12 -0400
Source: haskell-copilot-theorem
Architecture: source
Version: 4.8.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.8.1-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 02013c0818c62bc4ef193f6e5a4e6ec1cc2b386b 4036 haskell-copilot-theorem_4.8.1-1.dsc
 bbe46b185db24301355fdd5b1c40480b4ead030b 72948 haskell-copilot-theorem_4.8.1.orig.tar.gz
 3695697d5cdfa8d28c233744b4b9311e5687a9dc 3016 haskell-copilot-theorem_4.8.1-1.debian.tar.xz
 f9a77b65860bee4847b64a2db5430fd212b8433f 7569 haskell-copilot-theorem_4.8.1-1_source.buildinfo
Checksums-Sha256:
 8c89f1b389e2bedefbc8d87b835d2f5b8e41da3b38e6a149b0016cb4eed0d915 4036 haskell-copilot-theorem_4.8.1-1.dsc
 5650e5fbc945cdf7fd6e5eb7ede88d6f6d96aba9330b02a80e1c69b943ca598b 72948 haskell-copilot-theorem_4.8.1.orig.tar.gz
 464bbd1ac414dda89e2a77e2ae8068980cfe3ec314bb858de69fe3164f8abee2 3016 haskell-copilot-theorem_4.8.1-1.debian.tar.xz
 d365bf3ea3a5f9f9c3f7cc7d493717d9658f3a6c0894b0949e47530b98f15cf5 7569 haskell-copilot-theorem_4.8.1-1_source.buildinfo
Files:
 46bdd23a0cb453ed1e9c172a547cbb4a 4036 haskell optional haskell-copilot-theorem_4.8.1-1.dsc
 be7b4a4d69be5261ee0def265d8c6a50 72948 haskell optional haskell-copilot-theorem_4.8.1.orig.tar.gz
 275b58edacdabe1fb4adc24e5c108a67 3016 haskell optional haskell-copilot-theorem_4.8.1-1.debian.tar.xz
 5a7bce9461c7ab22c26ba8963f0566bb 7569 haskell optional haskell-copilot-theorem_4.8.1-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmq6wnIPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiIRgP/0BzFKVSSuq1tXpbNRsMV5Qvjy41E9Tb4XEv
NYJDTfgIvtEn1Hgb8EQ6/Xx3mf+ZoHQIa7gPZbCXgyxaePYEX+Ls9mAGtq0Jtq5X
QK8mNoDUfZiQTpOdGPhTDCd4B/d4jfYCi0e20QONWBrSg2gijDRPKljcXt+NpNcv
EUpqW7XByuT9acaYHxoh1bwRnC399ahaD7DbcAfvVOmm0Bn9OK9espVQNDsw/php
jUNi0nL9WPA3hvRmnqMb2VrAvIc0TvIuTkS4I4pM5KIzgtF06lmqeY+mg49M02tJ
Fvs8e5PqSOkabk52yBTVBXbOBN9OGdhiYVyX1AkBYHdSD8NHig4lL3RNKLt3PRwr
5UMzbV7gBjg7r8v/5tTjdibv+lzk4HgMys7n8rC6lRXiAWn5ILav54BK9E16jmr6
/SNhjGVbRuXD1xR9WGkNSJzVqLrG8/i8VuviUfJsJbvwFXKGFL8SyUMGiRnmUmSy
NHjYKvz3jnt68wvwbFNOQ5i91uaZGmsjQsODqEyelzVKpv3OYGjM2FmyePbPQOKr
b/ZZiRvjg9f+nDCBq8r+cxExyFoFbOMah5xiCOIhAWdR6r+1FLnbQpR2nvTmiC1B
6VSaKjzoGlT9wXl6Y/0WJCnN91L2KjMPU4KtVxw4wG24MbQUJVyiuYoeoTYrohHe
kMrNw8a0
=0kRG
-----END PGP SIGNATURE-----