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