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

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

Format: 1.8
Date: Mon, 09 Jan 2023 19:39:57 -0500
Source: haskell-copilot-theorem
Architecture: source
Version: 3.13-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.13-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 836db52b076da76fdfc749a3f44299b1a6db6026 3579 haskell-copilot-theorem_3.13-1.dsc
 7eca9420a376cac9ca0076fb8d138add9e207f1f 65218 haskell-copilot-theorem_3.13.orig.tar.gz
 a116d84c378483f3a9c434290fb70bb090e02b05 2644 haskell-copilot-theorem_3.13-1.debian.tar.xz
 1a49db362f29d17d5417a06595bffde4d1ecdfcd 15732 haskell-copilot-theorem_3.13-1_amd64.buildinfo
Checksums-Sha256:
 a158c62feb6af1929e707f443ec461853d733172320d3c9c912058919430add4 3579 haskell-copilot-theorem_3.13-1.dsc
 4e129a97e0d40cc23b156bf8a8caf55becc49c9e45482c0c0cbe51af94751760 65218 haskell-copilot-theorem_3.13.orig.tar.gz
 9635f89b805996d1684bcb22e4fc342259ad0f16acec7c812c97bea39edcedac 2644 haskell-copilot-theorem_3.13-1.debian.tar.xz
 605f5b13ca21850ad63f1211bb4beb33508f6eb12f1c2b1e4cddb2750d08704f 15732 haskell-copilot-theorem_3.13-1_amd64.buildinfo
Files:
 81a05c57434753756984cd38f50937bb 3579 haskell optional haskell-copilot-theorem_3.13-1.dsc
 a7465e9b810147ebd0e4b078c6b502b9 65218 haskell optional haskell-copilot-theorem_3.13.orig.tar.gz
 f4957dd55f0dea727fca9f706a2d258f 2644 haskell optional haskell-copilot-theorem_3.13-1.debian.tar.xz
 fd4866c6230a4085fa9a654378442032 15732 haskell optional haskell-copilot-theorem_3.13-1_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmO8uYgPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iitbwQAIuioYVSyPeADzSHUPRqMVh7Wzlpy8Lka2c6
p0dLS/9d11qCcyPlvngRKP6BNtr/WR+B58T7lKZ0Z2n65Mh+1QVRq/I2jp2Wm1Hs
Ccrnj9Ed541G81LG92l/mDjHGuBCWZXy901GjxB61tEBt+NMIQ+fNIPfNZLjZY1h
T05/qtFIjvdJM7F9LEl2KhKhiKU3MdSnlOixBR2r1o04V8ejkOk2nksIZAWR5ykT
g/NOi+YBikAQX4L/07YHjYG5t24ccIyxPEOENt+VYmbevD5IJ8LkwWg193p2KLp0
dgKe2yNjYfbvkHSEEJ9ZNqMyIBLPmx1DOErMI8mUKJX//az8KPmUAqDfACEFJQks
lE/D6tLTd22GT/WFSRuAlQnch1uB9M4Tf1t+1tW35HbSz8q4RMaRDvwLGvSiHeht
gdaI2RJYqjxOreFrH5QawSYpvUi1EhGA2VJnYAqkazz2R4cf2awbZjXi67DuSRDB
WkTt+7U2agX2fIw5jhdKblWIztL4foGCQCq77OeTsQBSqb2RlIibY0jCptpakyKP
qG2GEHr9MoKUEnhJM8YzJwKPx/X7B8QLYIkQ91a1R+aKkmPk0rWv2FN2WbJGa+bv
JrbqV1juLhVSOBlS8TFLKO7V8HD+yK1TUWvkLPwc8cJt6YhU8fg6ikW8ApXht67a
8+EtXCDg
=EpXF
-----END PGP SIGNATURE-----