Thank you for your contribution to Debian.
Accepted:
-----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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)