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

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

Format: 1.8
Date: Mon, 08 Jan 2024 20:10:01 -0500
Source: haskell-copilot-theorem
Architecture: source
Version: 3.18.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 (3.18.1-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 2c50437e5ea76a2e9f09657af5c06c74f8d2f4f6 3789 haskell-copilot-theorem_3.18.1-1.dsc
 277efbb84b2942cdb1013733f558dd9512b018c1 67349 haskell-copilot-theorem_3.18.1.orig.tar.gz
 21426d8a3c117147ba457dd71f9644eeafde901c 2796 haskell-copilot-theorem_3.18.1-1.debian.tar.xz
 aebfdcec3b3dfbd50ff738fc9dda273f8b7f6887 9425 haskell-copilot-theorem_3.18.1-1_source.buildinfo
Checksums-Sha256:
 225c877241a0e2bd99ce72b08768b273da3b4996aab0f4ca67f78bcfb0b6c475 3789 haskell-copilot-theorem_3.18.1-1.dsc
 79293c5ddb2d6e7606baac3723a6ca91ceda89a3a38724b0a94f8b7313204493 67349 haskell-copilot-theorem_3.18.1.orig.tar.gz
 9be25e67981ea7e794fc56e42ef1c1283aea5472e1f107279904c0711b761713 2796 haskell-copilot-theorem_3.18.1-1.debian.tar.xz
 a7c04ecee6a266599ee6fbe199d26db11a3110f6fce261490e97bb64a19a606d 9425 haskell-copilot-theorem_3.18.1-1_source.buildinfo
Files:
 83d2812dd93e45fe67ec8ff9bc4580f8 3789 haskell optional haskell-copilot-theorem_3.18.1-1.dsc
 3c84b5e1856eeed46eb4766e6b8bfbe7 67349 haskell optional haskell-copilot-theorem_3.18.1.orig.tar.gz
 b2eea75305970534d1a554bd1d0d2f9f 2796 haskell optional haskell-copilot-theorem_3.18.1-1.debian.tar.xz
 073c0390a7f784ae1f4cb6913f9808e1 9425 haskell optional haskell-copilot-theorem_3.18.1-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmWcnQgPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiuygP/ipIMwOkX0B7ZES8PIvapN2ISy5v+QVmDPpD
TAqRou+YkcDjrF92QUHHxURgQrgKemANSZCbia3CScXaxcXT+KE3sAJoNCCSGIFq
x5sdxYIOFFhf3DsmXe8xIWbFiR+YH54rc+vyY+s9n0EbqT2EeNXLpTlKQfBMyS2r
0HL1Gms9wc1Qt71Xh50XE07/6vSlxvfDi4Y71c0UbWVucfYw8I2nnUwL9mvTj2Og
TEtLN40ZI367R1Rb+1drhPp67H5RVxVS7hLXBf1bPhlyDAMGarg0inWXge1Q7xz8
6dURm10cA2OYg/fwKFAKHXwFDajPJ2Rc2Y/Bv9pscC2MSFQAZxF66krizRl5Tofy
ylfD0PMuYBBA36v1XI0/oSDbX2ZQW0e2oYb+6DVogaXW9lCXL1xGZ2zMmlpGwkXP
IyNwDd7sDlXyifMB13TcX+vyrWjTcoz2s0tQvFmqiU5xY3I+idLdJTUxcuKol1h8
sq9AxXohbo6RWsTC7lgdiHCw5oULnd0hLr9bbuMgwLt7lwNHSYKxUVeIwQFH6yCi
3pcmpgdkJjB1+MKDu187vPE0S/9YBfsyDBwaVGyaAHm8RiF/BYgpsyA3Ui6jr/Ms
nCCueHlmJrIcxMzXgPvSweLtHnkbl6ABy8cuP7T71MLt/8GN0olr+O1VyG5QNJeD
3dsRTcc8
=Hi5+
-----END PGP SIGNATURE-----