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