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

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

Format: 1.8
Date: Wed, 25 Jan 2023 09:50:27 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.16-3
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-3) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 460a8ff89a8610772d3dccb46a251b97eddf11e2 2111 paramcoq_1.1.3+coq8.16-3.dsc
 fe71e67d0ed9c4c7a84dbeb20378e27c6130407d 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz
 dd263d778a48643bd883ecb7a9f2105a3aafcaef 7407 paramcoq_1.1.3+coq8.16-3_source.buildinfo
Checksums-Sha256:
 b326b9fdec74b3bfca14eafd012fab30e48229b15490ba68fcf78b212ba9ae7a 2111 paramcoq_1.1.3+coq8.16-3.dsc
 9ec04701349949d05dea866e92474a8009554376275e30793b87179a5c5623cc 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz
 8c9b174f576387a84a46ed5e2ece92a55b1bec1f415d81d3b889e8185183b48a 7407 paramcoq_1.1.3+coq8.16-3_source.buildinfo
Files:
 fd7fafbd482dfb93e19d4236a5ebfb48 2111 ocaml optional paramcoq_1.1.3+coq8.16-3.dsc
 5c0089494a4f5210599d50ee8701038d 2892 ocaml optional paramcoq_1.1.3+coq8.16-3.debian.tar.xz
 ebbd9c9ab4e18e12a6757d5928f53f3a 7407 ocaml optional paramcoq_1.1.3+coq8.16-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ7WoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqeYP/2hSCE+SPRhLVtiKl7bTUOW9GVBj52BH
Y7rYTUfZNptGsRUzlRw2khJPOOzynUxNfDJVKjnHiLDHcSMqZKJyfTIC4hC1Yr8h
F0JfMpt+fEmNnlZEAH9rQnhECYK8LyuMELlBtVW7QgexvemC2mOQG8eeIvzTC588
8QqkRMGVBwXONRmDBJsX6FT+5pCxafPf1AptWVZ8MZ829sdFbFFqH2f8tLJ4I6k7
o1xakfXtu3iIaxtkUe2lmo9ATetIenqRNYcG16r+UKBhNGisds0kUgGscu0fIekb
hUEm7Fp90eyy0aP+QnTtSHqCEjIpySyKDjyTJpc+5OxTO7H+11ic3M6G0hXaR0pv
Ktp0kT5AlVL82HWwO9GYInIIARBNGaQW9hvD60Ow0iLfVpVgmB2GeTSKQGXLS6AX
R6JFcp/Rc+eD30zZo3JFuyYyQJxdsjXkGZ9zfng6ei39HQYc4iNBFgy4O2ZxD4pi
FtfVVsZIwM5wvw6QrfsWfUOW1EaZmG3WdrxGN5S1VNCfRPkwS1sKI/l2nWv0y898
C8SJRbjsoFEUuAyCpgzyLBgyN/+6EVb8JQcUhG0E3rn8wkJJTUBE9phF0EcMOxHm
/FzrDRwm/lcVJf2c5OOxpIHy+uj/C2y5fzrbN/0b8tBp/v770yYrlnY2wGDcWqUm
TnYJ5kCktSfg
=HOUo
-----END PGP SIGNATURE-----