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

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

Format: 1.8
Date: Fri, 24 Jul 2026 11:04:16 -0400
Source: haskell-copilot-theorem
Architecture: source
Version: 4.8-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 (4.8-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 4edf948d092aa74ae60796e3c31ae04a5d04af0b 4018 haskell-copilot-theorem_4.8-1.dsc
 6989f483bad6d10b82ac946b9e6a9fb995556a84 72920 haskell-copilot-theorem_4.8.orig.tar.gz
 2c3a4be9d523995d04618a58b4df56b607245e95 3008 haskell-copilot-theorem_4.8-1.debian.tar.xz
 0f8dd6cf659af445da9bfdfb6f76cb084fadcb35 7501 haskell-copilot-theorem_4.8-1_source.buildinfo
Checksums-Sha256:
 d32a90838f097246338349243a9e49fa252c1c864cc4c6f07f29085f4a74ec98 4018 haskell-copilot-theorem_4.8-1.dsc
 dc9f3dd5673797460b4c22e7f61714509ef764ebf12714713ee9a94e0b149934 72920 haskell-copilot-theorem_4.8.orig.tar.gz
 a27c92b1588c56f433a4e4fd0a06c662867725a700d45159cc86f9a67680aff1 3008 haskell-copilot-theorem_4.8-1.debian.tar.xz
 478c61af0346e4b7cdd53c4d01af088da877ff02132dd0722c969291a7f2e1f1 7501 haskell-copilot-theorem_4.8-1_source.buildinfo
Files:
 f45d42b6570c72764d7d9b7828852a40 4018 haskell optional haskell-copilot-theorem_4.8-1.dsc
 8b896f33f41409931165475afdc9a9da 72920 haskell optional haskell-copilot-theorem_4.8.orig.tar.gz
 ceb1c26328d452ffa4c29169d0158837 3008 haskell optional haskell-copilot-theorem_4.8-1.debian.tar.xz
 570b9156d506405e39829ac81cb0cdff 7501 haskell optional haskell-copilot-theorem_4.8-1_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmpjgHkPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiNDYP/jPO7nXP06rPUGB4LmodvpXzMzGgVInAtZI0
6/8llQn6HtlmaG7zC7bdbEoYiTI0Ira3jj2lLMu8ZJLKRvY7Tv+CNAV5AErK4sSw
+4mCZe36YaTMtWsTYrPDr01FAMkomSkvqEfyE/VC/4H2AdcVpkJneSd3n+zRERv/
DSekpsZbqpL31+r7ibA5buhP1oVCAxOw/ZtqDfFEbR8xJbMArRZ7T5P8T4Kgl6mQ
1veJYpzcxd/quj8zo+5Cet8HVfuKpcS/p/CYuwNkjIwdFwWP6oyPNpXo+Pf68hn3
r28k+I4Ks39jhhFIyCF8h5Q9tkPlixh3mmkPyKfN1ITDsD5donLxkaPkUzkMQ5mm
aJNZ2VXMjQt3I84hBb5G01b8j66bmgEOeL6vlmd9EGYdSGz3HHKMxsDMMaakc9eM
QAnIl04PaycSo83X9O44hHizouoohTpZMPX6iMzOeBWuyiLYfciKYvrQ+glpY99z
k/pggTP9LFJQ9G/4c14rM6HYw0bvdaw7qhBpW8QwEF7Lg0QSF3ot3iej3PCTp4F7
veFYH34ivsdNGGVZjfN3Rlx0J2xZo30M/GEDD8FTUf6TRHGx7V+94FzNYmZkzUPE
709508T7G4ynIF3NAY556x0tY4HI/2aKB1b6IHayvTGjXLA6faLxvuIl1bB+Ikb7
JELjZqoT
=Pleo
-----END PGP SIGNATURE-----