Accepted coqeal 2.1.2-2 (source) into unstable

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

Format: 1.8
Date: Wed, 12 Aug 2026 23:16:34 +0200
Source: coqeal
Architecture: source
Version: 2.1.2-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coqeal (2.1.2-2) unstable; urgency=medium
 .
   * Source-only upload.
Checksums-Sha1:
 dfc5441ead53921e35b386b51554aecf6ab7247b 2163 coqeal_2.1.2-2.dsc
 db51fe2516ea1e69e6745f110bbf3ee64456db43 227558 coqeal_2.1.2.orig.tar.gz
 8073af178ffbf4c04f5e1e5575aee6d23b81e9d9 2552 coqeal_2.1.2-2.debian.tar.xz
 cd1616fa3cbb04236a85a744f35184cd7bbef464 7826 coqeal_2.1.2-2_amd64.buildinfo
Checksums-Sha256:
 dbd85e41ba7bce30f950209f9fc3a976cd4ef23cca941480c5a9a2cc4f05b21f 2163 coqeal_2.1.2-2.dsc
 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 227558 coqeal_2.1.2.orig.tar.gz
 a27f1b405461172ba00f4415a8ae299888db58e86ef5164b528fc64312926dc6 2552 coqeal_2.1.2-2.debian.tar.xz
 f74c371c32039fa5186a16129071eba02531e0e73222acf80859f00382604de6 7826 coqeal_2.1.2-2_amd64.buildinfo
Files:
 ca9bdbea7844e2b2773877173ecf9352 2163 ocaml optional coqeal_2.1.2-2.dsc
 dc9b861b87233f88030a94721bc1e53c 227558 ocaml optional coqeal_2.1.2.orig.tar.gz
 1e8c215abef63e79131f579b9718d9f7 2552 ocaml optional coqeal_2.1.2-2.debian.tar.xz
 225240e1a191c47cdc1d0b0aae474d83 7826 ocaml optional coqeal_2.1.2-2_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp87KEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdiZEACLLlIAhIQb+sRl4dEXa5VD
NQWcfFr0OK2VEcuLipT7bHp6ZOczdnCu4FZclxmOS6lXZqB/Bs6ATlMWCG9A692r
VIdTtcTyqdI2zQuDi3ZykGAVssT0pPH4kNvRpMsOB4Oh9bG6X9SXnOZ7CI4hfI5p
OwCKm6K4TyYCQ0uQ2QBLc+nbD1N3D8nGVeufDN/tnBjwVFC3QhTVVG9wV3/kstUZ
HsMHq/w0cp2ClkBTFLzAHEOWznlCIHt4x3A0+AAq8CiHQxX4Y/D98R94S5b83YVs
RCq5RWCXFa4jQ2xoT7CqOENasJVGXIfWmqdD8KsA5jdVK85wID6prB3BdhzcfXWF
n44zpwBLEHdFI5LbVBbXmOPSAJ0l+74liz+LLz0BeUqSjDaZiCqpuY0PAUdoO+SS
5W6YjzhqFbJsgMmO8cGSr28IA+5Cwal7v+4ztsWErY0zi9s6LiViP6V2aIz2Eyca
3dB+xsV6v9/OXpWX1SaqCqTa8rXCBJkOYcEm40nlwLyDAdyYgF9l4kM4l9tueF1j
SxOfebVOm7pZBxkccClUEB+i2Awt+2LExxVtosN7VU0OyLtLQV/c8swe1gDmXLOS
viFgu2s0o/m3TopY6b5AMFxUegbIYLN+o1Jm2HA/9Dv0d3wTxnClk1er0zgKtG90
g/H3UXvIVXsqH1b1hSO7+Q==
=IW+O
-----END PGP SIGNATURE-----