Back to coq-hammer PTS page

Accepted coq-hammer 1.3.2+8.16-1 (source) into unstable



-----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-----