1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-unicoq_1.6-8.16-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Sep 6 12:00:02 2022
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)