Thank you for your contribution to Debian.



Accepted:

-----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-----


--==============71327399883597021=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz21GQAKCRCb9qggYcy5 IXRqAQDFft+EX8hP60el5QY7LgpM3QV7zalL6K/Yz8p6RDvGgwD/QcFwwslzSqFG K0D1tCZe8oTqUrlKCT29fpA/RDDLMAY=sL/s
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)