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

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

Format: 1.8
Date: Tue, 08 Nov 2022 19:19:44 -0500
Source: haskell-copilot-theorem
Architecture: source
Version: 3.12-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.12-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 4595a2f58df790553a02a077619cecac3b879e57 3579 haskell-copilot-theorem_3.12-1.dsc
 cf1282000a9a0b275ecf4d36077f45945ec9bf75 65706 haskell-copilot-theorem_3.12.orig.tar.gz
 4a5a5982f93b577b07f0fa612fc7cc89a9dd1ef4 2624 haskell-copilot-theorem_3.12-1.debian.tar.xz
 71a73ae943bb6cc8fdd1cd6ca5df452806ef49c3 8754 haskell-copilot-theorem_3.12-1_source.buildinfo
Checksums-Sha256:
 0c10e393a2a128c03d18af6a5486797b26f58898b4975d6689a5b05877a73990 3579 haskell-copilot-theorem_3.12-1.dsc
 7fd0dee30ffd418a17f36af2be33071e8bca7275c9a5047c9c176f49944319e0 65706 haskell-copilot-theorem_3.12.orig.tar.gz
 5651e43561ed935630cd108cc4e61531088278a1fe36c74c0a08c1d31c3af8e2 2624 haskell-copilot-theorem_3.12-1.debian.tar.xz
 aa0afa34cde782590932f7781ee0f60591021d0a4218cf45e5e44e3552814ae9 8754 haskell-copilot-theorem_3.12-1_source.buildinfo
Files:
 a9c893d0265dcb647d00b859e2c5f188 3579 haskell optional haskell-copilot-theorem_3.12-1.dsc
 757226656c05d529870555983bf1b8a1 65706 haskell optional haskell-copilot-theorem_3.12.orig.tar.gz
 5a6941f7f29054c050d78c8225b9fffa 2624 haskell optional haskell-copilot-theorem_3.12-1.debian.tar.xz
 3314945277f27fa4878ca1481ffb2a94 8754 haskell optional haskell-copilot-theorem_3.12-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNq8kMPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiV7UP/04ndQA4prAL71qikVHn3Nbc/9SIFC1okzgq
kQR24X0InTJQRDdFSvRFQ06xe/W9I0jtYhjl6NzSu2YVPYWxguONHM6OTrqxneXC
HwboCa2GnFFcm2cV9VI6mD+v4Bszk3/sKsqsycNtqr2LZ+OAO/SCvCzDTLtmSGhV
I6yGQDtdHdgvdr721iUu4wouFLe+sxIWJI2oURWR202f1Iz4tJE1HUktux76n2U9
2FR7H9Zn6YMaxvC+u+1L0zxa7pkI50zql6OhVQoo3pjD/3RwvQKwgjTwkCMfoONn
e/9mecMEx9j9Iei8PiXchF4KaIUVunxz+mIyqBruywXv/MS9iWRaPDQEd/YoofkS
lb1O8d4EXYK+0ZpIDb8YQgq25ht5p6Bt4CCCRWp256WW1NhEcv72ZhVKjEmdksB4
lyMtra75FmcwV12iQQvxZdPmzIRNdczDPzuDrK0Fu1vBNNkg8gzNX2tRK1qCHq/J
pIJvMsioFsHr/oxDZoHe/7bJPLV6n/ecx1VDsbeIvMxba6e55HFntSNDGt/KkmE8
E0uVe+o7qQTxA0DWZjSzIqZgVGmEfd0fyoyMQy7Vga8TqHIKlcOM0PoyBBku7H0w
qjibenDB0p5nDooPXNb/1LJrWWIX/pgbokIaE0bi3UsmWIE1tMFpiamFSFXCOim2
Wk337etH
=kroP
-----END PGP SIGNATURE-----