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

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

Format: 1.8
Date: Thu, 21 Dec 2023 16:33:29 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1048381
Changes:
 paramcoq (1.1.3+coq8.18-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1048381).
   * New upstream release.
Checksums-Sha1:
 6c2cf263a1f4bffb3f1a08329bdc2eaf4ee9667b 2111 paramcoq_1.1.3+coq8.18-1.dsc
 c911aeb7a2e301479321d7d86ae8f3510bbcda06 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
 b974ce9fb042486da705333241d56db5a091165f 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz
 dd0f32194e1b6b9122c7acc20778ae19f7b97ae2 7860 paramcoq_1.1.3+coq8.18-1_source.buildinfo
Checksums-Sha256:
 439b27a55761069cb8520d85337efebe410363a33e55edbf71f5a1b9411e37a7 2111 paramcoq_1.1.3+coq8.18-1.dsc
 442de1e24a5bcbd23381dd5ff7b94c323871359332b462a99b1c2473f55cc524 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
 9f1dfcd0d025168dd3da8c5c687234ba85e85b6ee6d6cf0613b0bb8d1c1745b6 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz
 1831bd7125c79b8e6b1105a4a57089581306fedf65ee09b08e782b6e5b42b0e5 7860 paramcoq_1.1.3+coq8.18-1_source.buildinfo
Files:
 b1d38263a020729dbc7d0174b52fe927 2111 ocaml optional paramcoq_1.1.3+coq8.18-1.dsc
 493f4cc42f745881f7d64f05fb438dec 45759 ocaml optional paramcoq_1.1.3+coq8.18.orig.tar.gz
 29da8affc237b99efbeb5cc2081810da 3092 ocaml optional paramcoq_1.1.3+coq8.18-1.debian.tar.xz
 5ebe77740ca3372f471944f00c7bdefd 7860 ocaml optional paramcoq_1.1.3+coq8.18-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEWuESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWoYP+wQ9Fo8IGV3+ivZOaDh3CVY3l6rW6STT
bWXxrUMCx2onAJEZJwnqewMZRW9c//cgvzhYYQnzS8sUxOv4VHjac47xLeK1Q4TX
7o23E7pghRSU4LWKq//F2/lfE6vWA/IxgiEu/a0uoYShkcLp6bkwrzDHCDh1F2rM
12hzVQz58e59aqQcnI7zPHot1pxw0ta9YafXfDpJ77C+4SzbhQKmrcl2UOILqYTi
LqTWKaDgMCDdmdoRKFflIjxda9he+TX/DnNAbyfPgpCQAlx0uUezh3lLHrG62XMI
P6GLlvGa8pSNooiO5JZfsl3rzLBvjvKOKXEt2gkpZzbXzgudwf3yoFQVF/9EEX32
005fSRp20iwdX6hD0Z6FTmygZ9ywwCNVxA+KNXv5Z5spfIqYegqYeqX0SLuEnlzA
4UQddvSR5YSEggdWW4fwTcReFDTjHbTG6/LAvWu2tHr75inHY4BT+O/4imsKD18a
JHdkBFB3bkLjBvpvV82ZMnXaQJbPn5rZRzVyuc3BCoDBbp1auwwpaZ05rAIC7mv8
N1saUfpJYuwWFY6gM8WkOuMBDpfC7pTO0zb2IWHrXeZr/KP2DYDTE/d+4zkTLCAz
fSaH/2AZNGJUnO0PT36qAkjIgrma3MEd8P90MWA4NMVSpgA16qH0Cq9/LvDIX59g
DetbD41SpTDi
=y3MM
-----END PGP SIGNATURE-----