• coq-mtac2_1.4+8.15-2_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jul 20 20:20:01 2022
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Tue, 19 Jul 2022 09:28:23 +0200
    Source: coq-mtac2
    Binary: libcoq-mtac2 libcoq-mtac2-dbgsym
    Architecture: source amd64
    Version: 1.4+8.15-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-mtac2 - Mtac2 tactic language for Coq
    Changes:
    coq-mtac2 (1.4+8.15-2) unstable; urgency=medium
    .
    * Complete d/copyright.
    Checksums-Sha1:
    5076cb0ceff9201b9c55ed04844d6f46d72253a8 2107 coq-mtac2_1.4+8.15-2.dsc
    f26638d74c463f2915bbc999f7cc046fbe801bd0 250658 coq-mtac2_1.4+8.15.orig.tar.gz
    b3e5ad8fc4634e9863e1190d45618bb9e601dd14 2368 coq-mtac2_1.4+8.15-2.debian.tar.xz
    14ca9c5e664b93748ad5a7e632fd113877d4c833 7453 coq-mtac2_1.4+8.15-2_amd64.buildinfo
    8f13ef2b80156c6e58516351c906dbcb7728f78a 35316 libcoq-mtac2-dbgsym_1.4+8.15-2_amd64.deb
    c491af656c119e0711510537949db9656a3d8a33 765468 libcoq-mtac2_1.4+8.15-2_amd64.deb
    Checksums-Sha256:
    0b8f97f78b1879fe88ddc285c7ddb91a2a346bf952f3ff165a2aa9ad3a8865bb 2107 coq-mtac2_1.4+8.15-2.dsc
    98c7ae3500741b0db04e87c2bc71196cf3bcdb4b93bbefc2a9cd12be594af904 250658 coq-mtac2_1.4+8.15.orig.tar.gz
    55aa8826fcfecc2e0dc4a6f61be6c2114539205776d77aae00cdde9cc7791555 2368 coq-mtac2_1.4+8.15-2.debian.tar.xz
    a3f9b598a3899d40a5b1167f86fe2d66896bf61b838faa3263a708fd0fa40298 7453 coq-mtac2_1.4+8.15-2_amd64.buildinfo
    5537e83349fe669d1aabd876d8425268bb3a771a5c372a19f1bcb945a2aa3677 35316 libcoq-mtac2-dbgsym_1.4+8.15-2_amd64.deb
    40be11bd7bddfdece4bda64ed701aca2fbb4aa409dfacbff84931de94c1f65e6 765468 libcoq-mtac2_1.4+8.15-2_amd64.deb
    Files:
    00562a6e3884703e9a19e8e584a5094d 2107 ocaml optional coq-mtac2_1.4+8.15-2.dsc
    e531fea2c55773569ef9992180c33277 250658 ocaml optional coq-mtac2_1.4+8.15.orig.tar.gz
    f5bcfe16108c8e070d5c00a6b17313fc 2368 ocaml optional coq-mtac2_1.4+8.15-2.debian.tar.xz
    980d0a1f45736396f9c79840c1db2c69 7453 ocaml optional coq-mtac2_1.4+8.15-2_amd64.buildinfo
    2c188f65359c922c4a9566b27bdfa55d 35316 debug optional libcoq-mtac2-dbgsym_1.4+8.15-2_amd64.deb
    d3edba4840d561fe7a2af304372b45a1 765468 ocaml optional libcoq-mtac2_1.4+8.15-2_amd64.deb

    -----BEGIN PGP SIGNATURE-----

    iQJMBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWXkkZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUckFD/i8FHlD16Eo2tCLHxkTnMSW 34NbVGqv9K0mgN8O6y/qHNjEUjlJAevOF84PRIMMCvKE0pyKB7fAi91itJezIbQn EDalwJIpW5V0e2AOrPJZETjWg56YdB0G6/M6lRh9VlzbypM0EoBQwkgJBzwciJ48 q0lt6NmyQ1jRMgpQROd/CKGw3dDTM105tmxQZe1L3RtSS2RehvU3cinfiBI8EOPv i9TM6RVdrrkEuDL+MUKetoTk2DdGxko0RdgC8HpIlYU28IeenupX9moVJaZ/E1My vQN750ESVih3TDEEJeixX4LhvGV7ySEfwwSE95NELTY402t8QNlaLoXIz/LJXKwO P+ktzmH5cMDgXnw5RBmJcRlMuvzAh9h6KuO/Vtg2ZY/bAHriEDCQm1c6sh2/Z+qn m86Jb+se4Hvx2Gfxl33aoEFAYAtyglCH101XkPaKmKVhvDppf70zqNLv4144IfFQ uSxv8FX3qjEIUeH2vyf10AbZnAuJsIJwRWpm+ulZYLRaoHawy41FQG1jBJQfPRdj tPtbdDVlJiSTBmZeP6PHMB+6+tVNVqPJFCjP2FOs2wjoM+90sevfNlYqFFOrVQiE MdQzEYx9S9d6PVaGDmK7UCswniwDMs24aTCelzOjuWv2NngOMVn84EAwG8E8BCvJ Rjw+/XDemzus+csrCGta
    =U5Lx
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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