Accepted coq-serapi 8.20.0+0.20.0-1 (source) into unstable

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:47:58 +0100
Source: coq-serapi
Architecture: source
Version: 8.20.0+0.20.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-serapi (8.20.0+0.20.0-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 a7cacebeff6530c35053806d5123cc3f9c160b5c 2490 coq-serapi_8.20.0+0.20.0-1.dsc
 d96fe132312f0a69b6ca54290e790299f68f9e86 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz
 f72b119a30799cffda9efcdbdba1edfb67e656a7 9080 coq-serapi_8.20.0+0.20.0-1.debian.tar.xz
 fdc24e8df919965c28518e0e3320dd5da7a1241c 8453 coq-serapi_8.20.0+0.20.0-1_source.buildinfo
Checksums-Sha256:
 1bb0cb555c10a7d1dd7fffc6f0fe08ab644249194c80b6773d8a3565478f7a1b 2490 coq-serapi_8.20.0+0.20.0-1.dsc
 0cb0c19663abfe2ddf849834c7632b48bd48f715c0a912a12f0945b544ef07b6 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz
 c3b1ef7693733375f5a4e8e1b7188cc024e1677642514ba4097249d341c467d4 9080 coq-serapi_8.20.0+0.20.0-1.debian.tar.xz
 278e3c115a70eed16280ed69877d0bde97c17a4afd8dd3a768d40b9984f3377c 8453 coq-serapi_8.20.0+0.20.0-1_source.buildinfo
Files:
 eeb864f83990826c7777ba1d3fd66a8c 2490 ocaml optional coq-serapi_8.20.0+0.20.0-1.dsc
 d2204741e31d77d86f734a9e0885ffae 182481 ocaml optional coq-serapi_8.20.0+0.20.0.orig.tar.gz
 1d6a590d984688dcc85baa0edb07ea91 9080 ocaml optional coq-serapi_8.20.0+0.20.0-1.debian.tar.xz
 9f5c15226e89372eacd921f6cf80a639 8453 ocaml optional coq-serapi_8.20.0+0.20.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sHMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRvHAP/iK9HscW4pWDwQZzZ/YZmEGzyNcKnbbM
K8HeDgsClb7ju6OwwfDnOi4XdI5T2OoNq453vFBtcNpNMJ9/tuUU9UrqoA16IZMN
4BAgDslhFa9G4firrkFtvF2drppc/cPZVBOEZYKm5Srzq+QBjWL97Iu/JGUMOGH3
nrnJu0d0QyGFiudP09yUfvuBAIkqOA1TMtfu+7ArmocafRtunOAaMZRu5dvWP6Dj
12Fh8HqnfZAbK+QMdiJlGBqneJKAdVjYPl8tZbHz576gzf7655kaxRK4o9Bl1V29
YyFhkHdLGw+oRs4hUMltwQpGhfcjUIFfRECgqHEVLUSBEdPDq953mSSIxzHTduQV
ABFhqoMCOcWRtxCO0E3jjijlnpfhI7YqwRccTKlQM/N59bv4Dg2Nnn4qeUwy0EJ9
NtVqRCoOFwrlfbkj6n/6cW1+Pq2v1Vl1vGWlFs8lbV/H7OT8SpDP3TzjEddZHJOq
BJm8SSZuJ0u5FYpJxsokRbCMk8nvi7xF32Gh1egfiZbzjgZSTgIc5qJ7iw7Yk7ds
ZDtxQPGWLtuS5M1MLeArkLZatNvYzDxjKqzh07PHGrZ+TouszRPIAPy2irPIdNUB
A2WrW01EWq6muSCuMreotk3cQ9qATKqehVSYCc9MyZ9CMSngYZPZ7WpMJ39lYITh
FUUWq/wOcFII
=xT6M
-----END PGP SIGNATURE-----