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

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

Format: 1.8
Date: Mon, 05 Sep 2022 18:29:49 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.16-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.16-1) unstable; urgency=medium
 .
   * Rewrite d/watch to see new upstreams.
   * New upstream release.
Checksums-Sha1:
 f0d117fcbbe7b366861df90ef1e6a5679927f2e3 2082 paramcoq_1.1.3+coq8.16-1.dsc
 7f38b7dcfa1502376d840213722f0de0db0a26bf 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 d756f01de3f3816583f13c74959ec070d2022fba 2812 paramcoq_1.1.3+coq8.16-1.debian.tar.xz
 287a1ce750ed447849810d5725b07960205e245d 7007 paramcoq_1.1.3+coq8.16-1_source.buildinfo
Checksums-Sha256:
 2a31223cfe841bf3ba6d3d2d77d6dea31d11243c36655bf9a785fce424d6aad7 2082 paramcoq_1.1.3+coq8.16-1.dsc
 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 6c8df888a9f001444f108c564448b223863d6109e48e6544e6b7e4c32a62c09a 2812 paramcoq_1.1.3+coq8.16-1.debian.tar.xz
 1829bcaecd3fbcc50fbb4c99cdacf04b154a883429689e21081f4567848eb0bb 7007 paramcoq_1.1.3+coq8.16-1_source.buildinfo
Files:
 2c0b4384927178eecff8ebed535df2db 2082 ocaml optional paramcoq_1.1.3+coq8.16-1.dsc
 ae4a02f476e0fb5749e33f80499b13db 45732 ocaml optional paramcoq_1.1.3+coq8.16.orig.tar.gz
 1270dfe2b4103b41acce6d5ef5e9c68c 2812 ocaml optional paramcoq_1.1.3+coq8.16-1.debian.tar.xz
 c5ec6677d52d784ea176003c2c464545 7007 ocaml optional paramcoq_1.1.3+coq8.16-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWJCASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRD3kP/1yDP9CaRMgULajaDQ0uo/A7k1UaR+oD
GYtsUAbrahIJkXle6Z4SpRaLoNOgHAAdi0C02v/OvszC9FkCNr6GXCMfvUVDOpcZ
y3uAW77Qjo2IE9r6ugdIRN6HYFy7aq3QYA4CIFBTvQ538gRkGyxykD2ojOcvBN+4
dhD4vxi7uxGOBQ8TEyOu0nNg8Nivb0bnVs8dwE5tSny8y1XOaKz2twC42NDgfAox
nRSaTWFw4Bo6Q2WfEMLRlA9fHKUBCvJm+hG31oEpx/xFV1exyHHKqFg23YNfjTK9
OJB/KCfjTH9QHojl3ruru2slxIY3yhjUbhmAr1UmNQp1/mcWwR+EYeiQSr1LP8SP
N1phBqAdgTR2VHjSwia9UNOVCjiZ61/H/kmeYCEO1a0zNwEz/QUZazeaTy3r+y54
nUaGJl/QtQmtknMAXyVyiEHCzijIYO2rxVcPn2irq5bWPCl5NTEjzFQP4I1Oq61u
qKHRRQYBWySbbTMOLG8nf3U0bussIldMpyr8KoVxvE09WqJn2o5NjPlF6RfTb5OU
TsAmUyDTykXItXqooG27lqK2/xRFl8I8605vOLIo/JBWIU86kFcV/nXv0mBtJkuM
6JFZ2YnU4yWvPeZHF63cpeRqoJt13zYbbXGde9IArYFMSVYiiRRe7oAM78h5UOQt
h5s+ARF7zjLN
=d5+o
-----END PGP SIGNATURE-----