Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 16:17:43 +0200
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.16-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Changes:
coq-hammer (1.3.2+8.16-1) unstable; urgency=medium
.
* Adapt d/watch to new upstream scheme.
* New upstream release.
Checksums-Sha1:
f3a35099cca3901cb1eb8485409d32ec84bb56c4 2097 coq-hammer_1.3.2+8.16-1.dsc
be07a140beea9df4bb73544784218d1e7e383fea 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
c4a28db89db4513b717c860a006dca649949c181 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz
232aa6298076e2e814dee5d9d6cf4ad30a882fe6 7003 coq-hammer_1.3.2+8.16-1_source.buildinfo
Checksums-Sha256:
54c3bccbc70b83999d2e11afed57f95d815e58241a647fb8024a09a78cef3ee0 2097 coq-hammer_1.3.2+8.16-1.dsc
4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
941ea3a5d7899804c54a0a038954da6303b02ae17be7eb9ccdb0e49793f317f3 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz
d147503219deb79c2c216ba24b98a62b6d1eecd47d415a65c61018d2ee581f1f 7003 coq-hammer_1.3.2+8.16-1_source.buildinfo
Files:
d47e6abc38d4d4c1a63d0b27071e5218 2097 ocaml optional coq-hammer_1.3.2+8.16-1.dsc
d3d759c01cbba8a4f156661fadc963e5 148694 ocaml optional coq-hammer_1.3.2+8.16.orig.tar.gz
53d5e02872f7b5724708b3acbfa113e1 2264 ocaml optional coq-hammer_1.3.2+8.16-1.debian.tar.xz
7f734b767678f021b803188f69a011d5 7003 ocaml optional coq-hammer_1.3.2+8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIRASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR4BEP/jvNQSlZXYOoJBpVBCJFf7QLO83+ryBy kAA4xNmjs5VQ4HDiAIsuGpvITByPZRE3Lh/jhfPrPxUbg88xFqaPbftV7S4oi4Zs SmJztLBE+R2sI6yPCxaWstZWNe47icKcuHxtjYwUgn8SzrdG7DS27JWUWw+COyXd T1Zr9fCYnPq5VLipnXe1eUTJ4sBaegY97yyNiiciOWd+jPaZX0Fak0CQh9VAevkq z1Dam+M+Kw2gk1MLCffa7oowvB9++qM/xOW2G0ElQJlieO1XCXOhGbE8QFCkfOFa IHe4ADj5ZJGoVJJqL1C2KB2HwcPJbVva34Rs3exyoXiI6GXK28DIEJasM5cWRSm2 yalq5gRwalAz+1MX0WOhO8F0z6ZHlqSwcZZXjNeFscLWyBb16AFDX34Ue6stYtUM Vx66gpHUVWPzUCrBF0XZ/3LQyPeyzzafzOzfiOwiQEJ6C5dU5UuU+mctJFl7r9TI jR4PDXLvULhvwcLMJzdhOr9ffSAL6mePGZRpXfiBt9OGDCeld1LZe7JCPt6x0Xay Y0livnNRBRj/g+ZF7pdZ53lo7hRZpV32clNeHx9QuJ4WpW262du1V0I4JnVJewEy P0NrzHTA7zwCvLCID5QLvPaM4NkcxaHQownK4aA0sSmgtswUYDD1yY71LgWOOkkW
gla1rlWS2uUE
=LG2r
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)