Accepted coq-mtac2 1.4+8.15-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-mtac2 1.4+8.15-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 20 Jul 2022 18:00:10 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=ECsfNpUAHdCyvyIcBaH0qEW3A3Ct9rWUX2vh5SFOWCY=; b=sQJjwNfGGx70uAYk+2C6ye1Bmt UUQGWbvSq6fjRWk4fwN3sor2JtVLJTE33O/Afw3QpEjPNM9dfZT+g67ylph5sBQtC5INs21IW2PB5 JjqEszLnYRbOsbL4DhF4CzVsHuMKqvrLpbesyJL7yjzwlk+Dkx8e/yFRSralI5K814s732J43B3mM r9WwNnkTFM++vbPgQAgWUQ/yIZ7kZC5Pi0IT4AVuxPglogGIoebjaz6zUGzrqoSarJ0Ei7osEgsan 7nY+DpTXWtlWjuM9cnJKPz8ts6u5wHFVnLXEfboO+uOu9kIhJ5DraWEmXaPtk+ZrkVEw/Vx4ETWJ5 tUHhTMZg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oEDzW-0009ud-6P@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----