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

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

Format: 1.8
Date: Mon, 13 Nov 2023 20:17:23 -0500
Source: haskell-copilot-theorem
Architecture: source
Version: 3.17-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 (3.17-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 b7036a9258c7659ad5ee88777a6ca8bf6a9f1535 3588 haskell-copilot-theorem_3.17-1.dsc
 17679078f577032fcec9384640933e149af29cf5 65303 haskell-copilot-theorem_3.17.orig.tar.gz
 9046a61cbc8c7a111f89a66757c9c64396186ba2 2736 haskell-copilot-theorem_3.17-1.debian.tar.xz
 2f5056949824bf4fd4147ca371cea477f5bb0802 9267 haskell-copilot-theorem_3.17-1_source.buildinfo
Checksums-Sha256:
 736ae09c64d68a03583f0999345a3c6d3c8c6046a098e1575c387435c236df9e 3588 haskell-copilot-theorem_3.17-1.dsc
 b5a053b1a2e8a0a60b7c08dfd629e9eb20f4d6111094273660cdb6d94cea8194 65303 haskell-copilot-theorem_3.17.orig.tar.gz
 6e3efd321e58fc3afae16911849b23815b4b0e555c1b77dd54a5e8ddeb3a6db5 2736 haskell-copilot-theorem_3.17-1.debian.tar.xz
 4b5f0948bf494decec2b67ef1abf7b69ed5b74d266a3577a7b716d407c7ec822 9267 haskell-copilot-theorem_3.17-1_source.buildinfo
Files:
 6c52abf2085808abd7465112b2e3130e 3588 haskell optional haskell-copilot-theorem_3.17-1.dsc
 002ae50c34a9ddc75c593eb23485f0f4 65303 haskell optional haskell-copilot-theorem_3.17.orig.tar.gz
 fe61951dc24f0a1e44533ed93655cb8e 2736 haskell optional haskell-copilot-theorem_3.17-1.debian.tar.xz
 7eeef8de7a62df7b54d1eb79e8390159 9267 haskell optional haskell-copilot-theorem_3.17-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmVSy9YPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iigLcP/0l7kYwCs86cyNI1lxKhHq1GdgguVixq047O
xsX266ZJKY4zst+ctqC5j950FO8AxalCSL0jGGWXKMu0JsLYfyvvy0Qa74e/uB5g
Iuzo7LmQjBx2YFaxXZ/nG8IfOjN8V3YdnPp9esmzCCiK4LY0Y/EzD0hczxhdOW/q
u5gNi6VK+KHeYZposFgoGjAo6nSZ98AtPTvX0XI/4uxWfwzLuIXA1qkNKCv1ESqq
WIPKhEAYLzB7PD8n/NdJMQhs2mOchxA8RMQw8llMaE6Fy3uJmhpA4yL0HO5XWObx
GONNiV+CcMn3jiZoijO6h92pUI9WJCKyvV4PJi4KhCKS2RZ9dRSuVnc1P0/sPthZ
P++LWrtogH7tL1leqzWG+LKyHotqpiNvz3RMlXYZEpfMqnaosV31u2AnEp3tzxcB
ikzqAcxWh9adjJnXpYQNiuwxJ+aC69kA4c3emIu0rvKpdPFFFGEBM/QKrB2BYCF4
R/Z+Uof0s6lE7NNVhp0CgRSUYLcjznDtkNTGAAPT7yDrFEfW6bk8XQIPbjy1hejr
1qTv+8KlXdD2/V5B+FcoAOLkjmZesLu5+unP+FxUaKJstqr3wYTy8P1/7k8F5nvw
5qwMWsJ1C1xlciS+yRLIxO4HrIbBUeuOzhZqSa4nBmDZmFudxrylIn3zsUwmzmha
AsmlBsmV
=OrP6
-----END PGP SIGNATURE-----