Accepted paramcoq 1.1.3+coq8.20-1 (source) into unstable

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:51:52 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.20-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 paramcoq (1.1.3+coq8.20-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 54307477f79d4d7afc14ffa4b4bd8a2b37ddb937 2111 paramcoq_1.1.3+coq8.20-1.dsc
 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 8d629f3108508e3681ddb14ae5afca1367913e2b 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz
 5b1156d81f4b1b04b64d00acc85d785045262914 7152 paramcoq_1.1.3+coq8.20-1_source.buildinfo
Checksums-Sha256:
 7d45365d28643773cc6219c2dd6d0fe8dfee43f72d1d06214c9bacc682045489 2111 paramcoq_1.1.3+coq8.20-1.dsc
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 1a3e01e25a34ee9a14ec55e779e4fd09ac57973c64bf10697c1d2d472a8497ce 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz
 cf877a3aef62731c0500b3af97a8410a53071384719c80743be4382f0efec14e 7152 paramcoq_1.1.3+coq8.20-1_source.buildinfo
Files:
 837f10404047788be26ec4c1484b08ef 2111 ocaml optional paramcoq_1.1.3+coq8.20-1.dsc
 917fcdc199ded6847ed0425a92876c27 45816 ocaml optional paramcoq_1.1.3+coq8.20.orig.tar.gz
 ada72cf74b95c53b7ece4fe41e3a4e66 3184 ocaml optional paramcoq_1.1.3+coq8.20-1.debian.tar.xz
 8bbcf16605cd70eb23ba648a710510ba 7152 ocaml optional paramcoq_1.1.3+coq8.20-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sVUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSF8P/3p6ejrRlzzR0lb0R75jZ8RXzwe016WM
961qODRrBNe2Cvj4lutVd8Ghk9bzW60jFkQHDXRpFsDYwokk/RSbhNkelm9PGEJu
PV+vAHo3xIqdZHyyRJGl+o+VM2xjCHzY/YJzMEgs9DO9PR/S+5tB6s6mhwMncEc+
n8DHH0viLIucRTzKL7Bm9pMJdALPPSDCEigyh4wn7twdRZSDvsP8R6iXqQD2rLDy
wwzwL7DjN/hgxzR821u5GXPbxb71PbqCoya5SOSmbLnPuF6wK8RiKD2uEiY5pPRi
11iNGaSH9UK0jsZ8BICz53tY3hKDChwHA3iWZ53RgbuWDAUgDyA8N+4Jzun7iVk6
SEX9SljwwtU+PXboxyExu+DUdRF7Mhfq/+YIzlMYsRr7c14idRgT4nubQOeJpDDu
zlMr4vRFu/6h6wpcBQ0WUFpj5zLr158XmPjfp9KBTDKlp41QaUFh0QRrXwfFBeG0
NZlBQWJiy2Pu5a8j2HYvGos/SvrhoytYDE8YiVrPoRDhUO/pNqGNReryaitAMmfT
Fqa2rvYn+gEN50oH8fAn3r/R5y+QV3HcycAw8nWKy2MoHmGMZVbrQjLMT4gJ4bWB
i1oMFiGDNU8bF0wlq0qLN6JIhCDyhaM6D6twHmI8bQNf6sqJrfmKbDcqTWy2N4ZV
JxZ8QktaPZ2k
=Kjox
-----END PGP SIGNATURE-----