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

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

Format: 1.8
Date: Mon, 10 Nov 2025 20:17:09 -0500
Source: haskell-copilot-theorem
Architecture: source
Version: 4.6-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.6-1) unstable; urgency=medium
 .
   * Build using dh-haskell
   * New upstream release
Checksums-Sha1:
 382c0f9fcf147cfb94fa728db399e0c605cd86fa 3822 haskell-copilot-theorem_4.6-1.dsc
 a239a638fb503e61e3d869a7198684fc2468d269 71525 haskell-copilot-theorem_4.6.orig.tar.gz
 d63fbbb06bb3c6f8c914b6126fb10f9cb7de7d0c 2888 haskell-copilot-theorem_4.6-1.debian.tar.xz
 1c0594c71b3dba405a9a8376732a772e88b3ee48 7407 haskell-copilot-theorem_4.6-1_source.buildinfo
Checksums-Sha256:
 585b27f24b00e78a8e17491f600c2337f73b0262768e5c7fd5d3bfdb8e7ab565 3822 haskell-copilot-theorem_4.6-1.dsc
 28efad628a931b8158fbc2d7227afb660daf06dd7dec0e323ef8d564dc44955e 71525 haskell-copilot-theorem_4.6.orig.tar.gz
 025be07a91e392610e85b183fed1a4e226f205d736c01f6ca1cf7ace8d1a52ce 2888 haskell-copilot-theorem_4.6-1.debian.tar.xz
 ba29a8a89b77e6f13942557823fad2cf01a6b597c24547b543c0c7af563a05e9 7407 haskell-copilot-theorem_4.6-1_source.buildinfo
Files:
 8af8dd0c20c0511d6b99e1be1637c01f 3822 haskell optional haskell-copilot-theorem_4.6-1.dsc
 45668134be6974c8284072fb7c750f97 71525 haskell optional haskell-copilot-theorem_4.6.orig.tar.gz
 212f665be7de2547221d5ae533e75c38 2888 haskell optional haskell-copilot-theorem_4.6-1.debian.tar.xz
 e73f339f0ff9099e60205e233acfd8fb 7407 haskell optional haskell-copilot-theorem_4.6-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmkSjqUPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiXUEP/3SQMySikfQinBZQlCZH7Be1ddGPQB6C3i0S
pP1GwWCsmolAua1ihlm+heDDyoiI0TssT9bwWWmZCzfAXVYEP2rzOmHTG++CYyE5
9+aTL1++8ClK1dJH+2zvtgWAZHI4efM7j/1lrzA6bar2uufP23N+MkkRR5tpNmbS
ENslu2AywjNDvWL+M07iUJ+o81mX0ECGpErAnNHt+YfRxG3B9xce3gZ8GZ+cRCyD
Q5rbA0Ke3oddRCUzlgwQUybx/26EUIMvM3dd48YI3TMZOonWVAeg18Sv9Fk11v8q
FMNWlGwVql9egrANv/2eD3CRVj8j7VCr7pxmyDTxiZRfcwKl0SkbhKHU191t1B4F
Qa/cK5Qyr9rAmEVGBUWMwWBeMpb75JNPuDSI9v+NwE6QK1zVGwYZR6t/xykW6e4T
8JyIYVJzh685YbwKPVMI3487HXXb6ADNSc9Ap2/IbYNELLH+oK2GIBDjVjZA+y2Y
0LK8g9mX7oT/S+arXWnILCUgmpCa5CVgncrs1DSmGwIQEhaCGg2eDs1jJkavFiFw
iThNF+/xRpDeZtk8j0syYCxNSdMhtvgdxpEF07MqXXYDtZVxnVM+z3v3hAPuAMtZ
lk4Gsh/RfYNQWEnr3XtqbfsLKKcvSWTmOTUhTTSnfPGEilEZ4LRThJBEqdL9hjzg
q+2rslZS
=GzVK
-----END PGP SIGNATURE-----