Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Dec 2022 10:47:06 +0100
Source: coq-interval
Architecture: source
Version: 4.6.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Changes:
coq-interval (4.6.1-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
c04f5d0bbac8113dfd52213878cf65ea099427ee 2182 coq-interval_4.6.1-1.dsc
2acd2a45495f10e08aba6b9520eab97c8870e04d 259459 coq-interval_4.6.1.orig.tar.bz2
bba98d147a08c3de87f82827d410fa0e994010ce 8728 coq-interval_4.6.1-1.debian.tar.xz
03aa523bd0450ec4758038869668df6350045c86 7748 coq-interval_4.6.1-1_source.buildinfo
Checksums-Sha256:
83c5f4f4fd2849c2fd8de4089243b8d64833091ed5faedadf91341d8b88aa147 2182 coq-interval_4.6.1-1.dsc
29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
6ff45bf7e07c21f51142c605462909d94a3fd9775d1400c8a0ebd049b8327492 8728 coq-interval_4.6.1-1.debian.tar.xz
0df31607b71a655223524f935dceb99e540e0bd7ed5cf9051584428819b4c904 7748 coq-interval_4.6.1-1_source.buildinfo
Files:
4c68b148d3177496fa8ea1f47be2f1e3 2182 ocaml optional coq-interval_4.6.1-1.dsc
5d5f13150d2634408f0abde20508340f 259459 ocaml optional coq-interval_4.6.1.orig.tar.bz2
06d3a515d7d801d25935d2c8be3a1662 8728 ocaml optional coq-interval_4.6.1-1.debian.tar.xz
2a841cd4b0849fba3e50a0e661d920cf 7748 ocaml optional coq-interval_4.6.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOYSjISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRfvgQAJMFctsoRCdfh564d4o5FYNZ/ZUb6iRD Ze9unfY5SwS/Y3UOFicuztcqR7s6iOjIzU2MGpRboIvo/apgo95R1fyksT8Hxz1O sgsHZFKUKhPX4BPKLvsXHR93bXO+9wJB8jVDivkxIBzfVsHi7WYe3BWlOw0dEHPJ jBuQm2f6+I7knQMpDzesxyeAf1+oSi+w9vAFqMWOwS7zN6Qz+w79vknPSXBiHRlj YAfNetZy7WXiBZnbpvG08FCaN4H69TFOS1Qg/64Y2bfANNEAQAMO1YzQJoZ+BZP9 864gOlFz7DJpPoMTMRJ6j7jC0B8Uunpu+Hs2bsaoXbXf/g6KjlqIXWURqqHDQNb9 ldWRJ4R8tLvCi9OiVYsSKPiMQEJXVPov9dEu48NXoeh1cdgVxykGn49xf2wHdyAK GYFacOeQEsTt+FBC1B/qIdET2QqJ4FEwHA2IVrB02sIcd6ijD8L1iY6sVot84E/J SsIitcD/LB0hG6FNlcesR5wqiRQIH6rwrwp/67z2h9FFhGGf61GkjTflO8ritFR4 Nmac2GawlN+iJuvCZTR2LunXLj7X6B8NyVVKLXxyMalF3O5b9hrW2OZmIVebEs3V WuTbV6QhEAESvbHPpJjEtpP5T4RBJkoELgTpcTw6oaPzNPe/0RzpU17v7RIYiAbU
dvFGlBF/I8w3
=jgS+
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)