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

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

Format: 1.8
Date: Sat, 24 Feb 2024 09:57:47 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.19-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.19-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 ba086043658ba163d54ac19717b1bb23a69945b2 2111 paramcoq_1.1.3+coq8.19-1.dsc
 7dfd1153b6beb50f255fb1fd29a9083b41b59731 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 9586c5252c96b12a382a53a1ad74fbbf6d98a5f1 3096 paramcoq_1.1.3+coq8.19-1.debian.tar.xz
 7c030bb74bed903d27ec2eb5dd76252f79a15f4e 8365 paramcoq_1.1.3+coq8.19-1_source.buildinfo
Checksums-Sha256:
 24c7449d798fc6b2201a216f568b4bddea07657f2768654d3ba4e4afdc5c5c61 2111 paramcoq_1.1.3+coq8.19-1.dsc
 b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 374233ceaf8fae65369cb31b260f45f068e479a61e4b2723a564c7f3384e66eb 3096 paramcoq_1.1.3+coq8.19-1.debian.tar.xz
 259e083a28c916c027e950cbb0cb148f9f65569c2788e55041e25deb94905c13 8365 paramcoq_1.1.3+coq8.19-1_source.buildinfo
Files:
 e325bacc5da26a201ffc87a6cd5c00b7 2111 ocaml optional paramcoq_1.1.3+coq8.19-1.dsc
 8195351e30a8ac84fc12c736ab09ce21 45881 ocaml optional paramcoq_1.1.3+coq8.19.orig.tar.gz
 a6bbb846c679337574da08560c6360b4 3096 ocaml optional paramcoq_1.1.3+coq8.19-1.debian.tar.xz
 a616780f12d9a98d97279776c2aa4211 8365 ocaml optional paramcoq_1.1.3+coq8.19-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0oASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRsWEP/3bVpinjVLCE2PBK0XkgW7E8x9HA+5Y+
E8qHgP8c3JFXmGez0jNB026IcIvUVFxeZGaFRbpFlNIgDv3iDz9+mS0IsuRO806C
4M2yUgBcvQfqS7nLcAimj1xuNc6VRbjPqj/bq/NK4y6+gy9AOZj7FbMshTDEbpud
hTU5oXDZs8vBpmo+GWSJ2uELfUmvf9m2oCxUvPBMaQmPachK3cw8LxIWhG8dZLdD
KoiMVfuEAPFDNS44WOtl7HFRtZGSnSrHCekQig7EjPAxshnaqLQfLBOYvEPbTWHH
Fa+VA4C/VftmAPDYpZZXm2IqYMOO0nziDqWwgLO4j2A5nzNpO0w4ywMIoLourClT
4px7mhtYRMvtRQV/2sxdGD2E2idB/SrVR2dvXtVjAgzKnf4eZat0QsrKZgYvmFn2
rdy6kxbrNMDy8Kbr5XpyM/P350vFu3Om5jAooSwm3NAEAZJVsqSv4c2oMrytN7bX
sC2CnzgMadlOWOT/SDyKMU5z4tMnpU00m7Tx9CVgmLi1/di00bs9PTCb8beg06NT
ftvQGSmcKPtTlENlU9T3SpwCuSixY6ud6pcMkd5IzizgRnQUeX0KDAc/Dp8WdsXO
pUTjZYXleGTmtkBWVyoIAEM2kLwRS/q9LF6xkKZB7p4S144eBl2FTP8NVbkJupzn
41tuDQzFPfrg
=gAe4
-----END PGP SIGNATURE-----