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

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

Format: 1.8
Date: Thu, 06 Oct 2022 19:30:07 -0400
Source: haskell-copilot-theorem
Architecture: source
Version: 3.11-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.11-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 513390f1df3ec8c1ce9c6ec19e40dfe20aaf4a24 3422 haskell-copilot-theorem_3.11-1.dsc
 319ab1c46c41e98309b5381fc8ac886cd2819d6b 58334 haskell-copilot-theorem_3.11.orig.tar.gz
 911bdfa5b239430fc33ccdd8cc87d2b452bcbde2 2580 haskell-copilot-theorem_3.11-1.debian.tar.xz
 fb756833c6ee70af3974aa8b7a41258e4bad3113 15558 haskell-copilot-theorem_3.11-1_amd64.buildinfo
Checksums-Sha256:
 eed51df516f281f6a2b17d7e8fd4f020244a3b69ca83ebbc8f3f3b5feb4945c0 3422 haskell-copilot-theorem_3.11-1.dsc
 8e2a166441996bb0eee6a355722e2a12542931cdf2eee19c800c53f977a92cdb 58334 haskell-copilot-theorem_3.11.orig.tar.gz
 c6971197ca2723fdafa5326170ab6c90cf2c58c3aa21f28e766e356b079fb4bd 2580 haskell-copilot-theorem_3.11-1.debian.tar.xz
 01ef67b81e4fc251a4bd009e931ccd4468c40cdd1f22c49aea05fdf3dd17ba3d 15558 haskell-copilot-theorem_3.11-1_amd64.buildinfo
Files:
 06bdf3b676d82f5c07943aa55c63c305 3422 haskell optional haskell-copilot-theorem_3.11-1.dsc
 ed50133144025f269accd1a87dd13ed3 58334 haskell optional haskell-copilot-theorem_3.11.orig.tar.gz
 08a71cb0bb792087e20679e025c9fe98 2580 haskell optional haskell-copilot-theorem_3.11-1.debian.tar.xz
 b53fa143671ae6d7e3717bb544737bc0 15558 haskell optional haskell-copilot-theorem_3.11-1_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmM/ZiwPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiRzoQALlnD7GK849/OtsegPYL6Dy65liqJXv6wDD0
/d7t5hkLVh6DNV30wSLX4eSI+IuudleftEHL+mMUC0d4hFVqUJDv6x1oW2o7KmVu
7kw0zoJFXJUGpKnjjUnpK4VzILkWZK53M04SZRqju15Y2YDBOXojVcLJw/Ib7Hz1
sAmX9jh8OhVrmKDnZ6OiZeCTQlEiDP2IVjaZmxNr4vLYeV4dguvr1KaTlChGqJEX
PLy2MG/nl4bP7HAHpLn7RCYVOUucH8P0fWNAXhVtuFIeqFkit/PzExAb8amIE3LZ
THVxvQAfsE17VwpdB/R1cfHhvWNGwMsaSX/q9lEU9xgeUcnKhHzjgwT2vSiP+FdV
jh7JSpm8SzjGWIVGYol3iowiQv/UuMaep6h90qveix7j4NzRPHzZ0faMmeCFIW+a
x8qkAGxpFv7oQ7MqbTOVOumGrEXDQnpUGrOCYZYYYS740YcPpHxkw9SjrM6+jPz8
OBaIRBZ+FX7lGs7U2ajClCvtfXBr0Ydz6SAvksifXbIQl+vo8XVCSZAfljXLjGsb
4RO2DoT7GoC6CdYF9tOBRsaEZ8UCxgB08J+7Temlr76UlvPOOSxAymNuIoYjR/oE
TlY90Trmj5xPG3qnkKjZG2a0S4tHL3aiKaaWHhsVIIudnQJz4v7+CNaa9AsEYGQ0
ISUkACAp
=Qlm5
-----END PGP SIGNATURE-----