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

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

Format: 1.8
Date: Mon, 12 Jun 2023 19:36:08 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.17-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.17-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.6.2.
   * Add lintian overrides for false positives.
   * Bump Coq version depend.
Checksums-Sha1:
 5b3fb96bed6e4ea73c5ff1f8b8758d70c7bf1166 2121 paramcoq_1.1.3+coq8.17-1.dsc
 56b9c93d5909dd09e54a62fcaf00c10b558ad93a 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
 4cb5cd709177fbd13f9045f9a16829b7e9a580ad 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
 15b10b9851500186bb21dc965ebfe1c9658acd3e 7359 paramcoq_1.1.3+coq8.17-1_source.buildinfo
Checksums-Sha256:
 51444d61fa7bf2e5b3f4e548aa6809f795b191bbe5d0ea7f13ab6ebeb4299128 2121 paramcoq_1.1.3+coq8.17-1.dsc
 82c595e6b8bb2c2e7e5919baab4be4c8f84c1f7effcb6117a94127c435252441 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
 338b45a998e15cda1e19b3a095a545cfd1f27af308c2b2998f2f1dbc5a685a08 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
 3f92c9c94c231e10525752d28aac247b555c79ad8bf67d6f2986adb22b4973bb 7359 paramcoq_1.1.3+coq8.17-1_source.buildinfo
Files:
 0e7de63f5ced6003ebcc935171a03943 2121 ocaml optional paramcoq_1.1.3+coq8.17-1.dsc
 62df81c43c91f090885b435672897f74 45683 ocaml optional paramcoq_1.1.3+coq8.17.orig.tar.gz
 0e015106d0641800f9ead4fc32fa5434 3024 ocaml optional paramcoq_1.1.3+coq8.17-1.debian.tar.xz
 1a37752c96a1edca6176db955d48d07e 7359 ocaml optional paramcoq_1.1.3+coq8.17-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHV48SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwEsP/3MOZAmF8SIyGr0xP9IS8HQBXOq2ojn9
r83z19PhZwAwHaiwmX8RdqkKRFySsulANDfRlFpb/UXYA7g6OcCN00hifOEzeCSi
eOj/nOnmbKF1L1wQhxjsMU63zZlsZaYqsyX1uoIg0XO2AGdFz6cqa0BUIFT1IDuc
7qaJz8BD996OQMfytnVhUq0xu03fWllebO0SC6ln8VJFJziPgpzNGrQDAw2JfXBn
fcjz9WMMKBDxRgAvhJxBADTz8aQ5vkK1Xsj21ztydqJ5/TRXCS6bGJSXBjmkosfG
V7v+ldo3gIr/A+ZtpL9Y5dZUQpiT43BtKjlVCpRym2q7CqG1nH+9IGrbcim21tCJ
q0ZRIjU0w3d3q+pjw+sG7pEdJbfxTTowILR4t+iZkWtXm0XqA7X3v6CIr3k7YM/8
za8IoAf/WYSYoFvjrgwDQO46WsTvkRp/v79VE3R1wFDV2CAakdUxyBl3CXmRK63h
lstExfaAhsBEwSJr0ip7lNyKhA/2ryAuFQvPgKsKpW87UebMeO1tk57Is5ZFxMQr
UlK/XdNE+YdkRmjRgZF+DYQdMFjtknWu/C4z+4dndFSyXzAshX3KANdT7G0X83Vi
GIVWcniUabGiRSnI/COpE1aQHfQeNIR9IhKQNAqygxWQ+3Xn0LChOKla/dbFs4Ma
X5/4kItiTzxg
=FNCD
-----END PGP SIGNATURE-----