coq-unicoq_1.6-8.16-1_source.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 22 Aug 2022 16:38:40 +0200
Source: coq-unicoq
Architecture: source
Version: 1.6-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-unicoq (1.6-8.16-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
745bb957969132e68c7874e539929f13abbba274 2079 coq-unicoq_1.6-8.16-1.dsc
3434e1899bb99fa3b720c56484a8d0af4fc380bb 593541 coq-unicoq_1.6-8.16.orig.tar.gz
e9dee016d4ce5e7a3d28051b6e79804f324cb15a 2312 coq-unicoq_1.6-8.16-1.debian.tar.xz
0c4dbb89520d26aea39273945698d506d0a38367 6995 coq-unicoq_1.6-8.16-1_source.buildinfo
Checksums-Sha256:
63bc08e1b045f0aa22c9ab25d96eec6030f9056cb2488e42bbbaea38951dc0df 2079 coq-unicoq_1.6-8.16-1.dsc
e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5 593541 coq-unicoq_1.6-8.16.orig.tar.gz
d6adee9573bff2b30b38e829006fcc6b3a554ec8919b651832cfbe04d7daa0a2 2312 coq-unicoq_1.6-8.16-1.debian.tar.xz
3977deff4f4ecf29153c078c313477d718ce1f668a0a87582eadb3b2398fcd66 6995 coq-unicoq_1.6-8.16-1_source.buildinfo
Files:
4b6248ca8739307d10dff892c3dc7c1c 2079 ocaml optional coq-unicoq_1.6-8.16-1.dsc
041e01221bba8ef6f2c45ec1b8a1ca98 593541 ocaml optional coq-unicoq_1.6-8.16.orig.tar.gz
7ef021f329446b70e45da0ee2cad3d74 2312 ocaml optional coq-unicoq_1.6-8.16-1.debian.tar.xz
c1074f859d5361bd8b3d5eab04791989 6995 ocaml optional coq-unicoq_1.6-8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWI/MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR660QAJ8yRPVB7By5ikgdvkOVuD/t5NjyXt/X
ilm6r5ME6b6obSGuTWB9q6wR/axKpGfXHq+6k9Po5azdUBluLllXU6HgHAseHGqc
PT+lPkWAbEEZuaYBYWj5SfR+jn1pq78ek3YvAA5Z6opqNVOKdh2B3Jkor4Z/Nzrw
SFypUsOuEleAdyiikRE/9g90TW4LTwBgttQk94ZBbSe0+sxJ9+aLm7yb4kb/80sz
qlrpZWFrDD2p8fNdnTs5J+AIz9UhkdAPtwK4ew+LbcrYo0YuKam/kI/oULzWH37M
ux8ibdww7TVHmJpBG4zn45XvYyAXgQRTrpJqWAyPo5a/fI0LD7qvCGf4W9+bhPvJ
W18qxtt/9Hu+6L4e+L9OOoNtFJIlqZlAItspVKrInZulIgTF/N96eupP4Z6oZA5n
4gPp08M2lbxyG/VLqNaSCW2oObGBIoiyGWPMrDeK1bGH866UZO6pIBFT/EoLOlKD
wwieMUh+dOJUYsKGMUuUSNdWwQw51QQ3ZIcObY9q4oxIiH6lOhp3+EkrzeJGdfod
H7SijCOaoMvR9OO+fLMC6FZWsfY1JswE7w/xckpRSsm6p9yqrPbZ7VjK/GBR07gm
FTjhcT6I57ssrDJYOSAJDu6lmOGo+9EJZQ7LgIQ87mWRtJg379OqWK1r+QfBEGSz
UOR8Jj0m0uDg
=OBON
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: