Accepted haskell-copilot-theorem 3.10-2 (source) into unstable

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

Format: 1.8
Date: Mon, 12 Sep 2022 19:20:35 -0400
Source: haskell-copilot-theorem
Architecture: source
Version: 3.10-2
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 (3.10-2) unstable; urgency=medium
 .
   * Post-NEW source-only upload
Checksums-Sha1:
 30dc101da54ab764ce4619403d2b6800e61afbaa 3422 haskell-copilot-theorem_3.10-2.dsc
 8e0441176d5740d54f39ceee22bb0b97008e6fbb 2584 haskell-copilot-theorem_3.10-2.debian.tar.xz
 cbee72b3c15c85cc4a7d69fb93c1757863ad2a80 15270 haskell-copilot-theorem_3.10-2_amd64.buildinfo
Checksums-Sha256:
 25a756b8b0c1854a48da0e5446b9d3673505c44e6afa77410223297306fb5c01 3422 haskell-copilot-theorem_3.10-2.dsc
 b7eb5129bae2faf3e5de18a6ca9fb87b71a3655a39f1bae5c3e43f7fa6b8588c 2584 haskell-copilot-theorem_3.10-2.debian.tar.xz
 961244732a1e1bd99a1fc19a71c47315332d1e8504511fceb583ca4d7ad28d2c 15270 haskell-copilot-theorem_3.10-2_amd64.buildinfo
Files:
 40c6297429c855143df7b729b696f204 3422 haskell optional haskell-copilot-theorem_3.10-2.dsc
 3b6c18f9c420a45b08227b4483c138e4 2584 haskell optional haskell-copilot-theorem_3.10-2.debian.tar.xz
 2e2eca42e3d928bbc0e2f1493d1e89fc 15270 haskell optional haskell-copilot-theorem_3.10-2_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmMfwBsPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iifCEP/ArMEyjH3JLnhmu85+hVpjpFid0fTHTm3S1o
HSqxmqD5hQIVS/uqdV/UuzdJXeUNP0YKqbnXQiOCXzLUQ770K6leiW88kYTZuGes
9edu0RqDztdWrdSNA65u1HPnvzg1SeAbLmpQHoCKYymIQsD/btzlIolFfB9CjOZW
Ik4+fLTL3RO1ri70/Ao+v8/jUBjwetZDQa7wwQOrV0gRvG+w6PCakt2wYjwECiUU
PAHvAdGAKREDnqjcZ+dtadCjeWvfgPy6S92gG4DWBnCgBjUYkcr0RW7iruMVpIxy
62zKdvnRi7UKnUWJt/PnSchHvW9P4gqkeCUvEq+O6aBuhnDFo+wKjZva8Qk2mH+U
2MlZzqazrr+iOwB8GzFAfLTsxMrCvisioBcVkpZ/g54FBSUGbkDFHxRtaUhQThfv
/mHcZOtYw+yFmonjSpWMcjQxDS6bMMg1PBlIx4v9N9IKMa2hlrdZOSCEsdcPeKbt
kLr/bEFWIDXGmiof+atzUSemGrRPOQcnWC5UvkBYqA3/vwa36YLCXJzc7CrSeL0K
cfxkJ0M3gDsNUXLOef/z7BAjcKoLp8XaWI8yQpNOXZ9kPngsz0Mag5YCMlrCkXKg
RPfldMm2qEFUn+rXy7Pz3Jgh1RKVpoB5O86MMymld5VwYOXvCwzMBRrfXtSfsCY4
34kHlgwl
=YFcx
-----END PGP SIGNATURE-----