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

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

Format: 1.8
Date: Mon, 08 Jan 2024 22:35:41 -0500
Source: haskell-copilot-theorem
Architecture: source
Version: 3.18.1-2
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-2) unstable; urgency=medium
 .
   * Add z3 as BD to fix tests
Checksums-Sha1:
 8f618221fdf7f8ed61fdf87322359d09555c4d73 3793 haskell-copilot-theorem_3.18.1-2.dsc
 f63e0dbee2ed83ffc95612bae00a60c28a22a615 2840 haskell-copilot-theorem_3.18.1-2.debian.tar.xz
 e0a538a90280df3885488ff9720a0a46ff2b0d97 18028 haskell-copilot-theorem_3.18.1-2_amd64.buildinfo
Checksums-Sha256:
 d5e3529d6c573c2153a776168cbb741011574db2489e4eb8eb19add77a4575ae 3793 haskell-copilot-theorem_3.18.1-2.dsc
 f9cf57bcd9bec730335ac58f9fe8b715fd03ca036fa1f87525b526a3acb8d1fc 2840 haskell-copilot-theorem_3.18.1-2.debian.tar.xz
 c947edbf1e80201f460c27b2f8e1d530aa449ed430fbbd0de4b440f3868ddd5d 18028 haskell-copilot-theorem_3.18.1-2_amd64.buildinfo
Files:
 9e6a222a8681f8fc3eccee2a107e0b31 3793 haskell optional haskell-copilot-theorem_3.18.1-2.dsc
 9a24bab6dbb84d442866b00155a1537a 2840 haskell optional haskell-copilot-theorem_3.18.1-2.debian.tar.xz
 b666c5692f80d606ea4761a2622cf186 18028 haskell optional haskell-copilot-theorem_3.18.1-2_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmWcwMwPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iizFwP/joXrm2GnIXxqHE6vVhK7ywjjCN/5EMgnPYK
vqEnel6ZFnkSdyVbUjdVccjPE3Gsx25VX3oVFd3tSxVPZrguzjOXBMjz2gtEiLW5
BhotWTWf/laHP/zBuUPTCO4B0VKLVMX9MK7g1v11V011jrQ4evRHWxwPRiUi/2DG
u+mlU/h6RWaYq75Vw6m/BrPuSoT7i2ybWTLRjqiP4ZnpgTKBPhMODe70fBkAKJpx
Hp0YKS71yNSmbfAxrVXflv1PG//Qt9CJgrFUkHsKygQ35Cdf0Uj/NJkl/LfblP9h
llSG8unpDOXjNQXxq/S+p25OkLu4hsnXkSkz97KpjrJxqZW6c7q7fg31xcN1jrA4
QeqjG/f87WHmevdGgG7hwdbznbF4FQpvk96tJ0yiDDWHAhouyMm6pjjRJyiupaza
bgHk2fwyTkROR0FmKSWkGw7kBpD804T05C1zoCu7Pw5zqwEu/bHRHtJnnoMjs4Rh
Y1TaPVxFDwDo0/YHmtEddumM0LOKhcx40F7ZzcYXmo2uHtHFB1NZRsAln/7PDCBg
Zu1IfFtObZFUI5A8CiAtby3xqCa+IQL33cfaQzIqTzKlcnxacZHfRHoS/VO/1uXB
iuMAZMG5qJFWMYljLjaB/Bn2oQI+2kdOgdeyd810aX/HYsgbYZ5PyL5ck48XF7B8
I4BFsAVT
=lgND
-----END PGP SIGNATURE-----