Accepted coq-mtac2 1.4+8.16-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-mtac2 1.4+8.16-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:36:12 +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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=uTk3roENtBHYSrpo/CrjNxFS12U5ieVbNSn872OHfsk=; b=OMg7lE8qmYu3Vkg/ghzk527EYf +ZWR0z+Ndvuk65nZRnJ43uKAATO65lOC1SPMc4zRMIxGkGV+k5z8qip47sKzg3mRH+wPkAtESERPH uw/8JmcLuuEeCUPeJNbVMQuveRvQtEpTOv0m0ax6WzMLjAeLZaQp4Hs4i/Yp4HUJpcH9C53R82u5+ 1bAGXGGbj2KGdv7OEEzSVpqe7wKMxl7D2oOnlTXa2H7pH+QoxF9IuXYvLmE4o0zFmWwZHLiDf62OH DW/QjW4TiL4d+AeZSEdDgtiNo1ne/Y2lRDidLFqVcEX9UR/7xZUrgPzTWbwmIB2tRj4JiGNfaUStR JE3vtL7Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVV08-00DhA0-DN@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 29 Aug 2022 09:27:03 +0200
Source: coq-mtac2
Architecture: source
Version: 1.4+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-mtac2 (1.4+8.16-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
8ecf99f12a83d3f1291ec58c3a0cde12cab16b62 2095 coq-mtac2_1.4+8.16-1.dsc
e7fd6a872a5cca4940d440bef620b83691217a7e 251070 coq-mtac2_1.4+8.16.orig.tar.gz
ad389ba1b5daf8d2d4b031990b3876778861f581 2428 coq-mtac2_1.4+8.16-1.debian.tar.xz
077214d51b6e0a65f9f926f5e59da515ae5b5b22 7022 coq-mtac2_1.4+8.16-1_source.buildinfo
Checksums-Sha256:
ca1fbcf6afe17166b6600fa0d58445f84e4037f6063893640a866da2cc1b10de 2095 coq-mtac2_1.4+8.16-1.dsc
9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0 251070 coq-mtac2_1.4+8.16.orig.tar.gz
c5e278e70175f3b29c612ab6073a272f1087ccd1b912f73cf29e774b57d4d31f 2428 coq-mtac2_1.4+8.16-1.debian.tar.xz
c7c9188dcbeef0960264278a18ec2f355ede089466c26fd96f332643070dbd19 7022 coq-mtac2_1.4+8.16-1_source.buildinfo
Files:
bca5a928df5a7bc3dba50896edc511ce 2095 ocaml optional coq-mtac2_1.4+8.16-1.dsc
b7e5c7d4a7f3a59713c86b8a4c131d76 251070 ocaml optional coq-mtac2_1.4+8.16.orig.tar.gz
689fa6bf857ffa4a92b3bf66328b4ff9 2428 ocaml optional coq-mtac2_1.4+8.16-1.debian.tar.xz
d90afbeb155dd4eeaa33330268421be8 7022 ocaml optional coq-mtac2_1.4+8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXPESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtQAP/iDPZIrCl1+/B8qZD23/hPob2Ps5VDa4
QAFFjmPPWtMzWDICep6lTgvOrWj+S4aZ3FbbEy/e4CqjyBn8zM1ImIeC6Hc0Lr28
Jlt/uiNS40lpaL8PxO0eQ8sa46GUqja5QnBV1PhB4MJxoATxmz8O9Y98lxMXWQvx
Pg45dCCTJ93P0ALYlJlIGBaUxE5hX20xGn82zaJb+xSvyF9wW2fzh7gYwQoBjqhM
9TJQIfWuzObwI6N4pxoJYOkFgrg7ciHwehhk3yfRzP8qKMNRBaHAO5dX+q5YSyYO
QuQyBN9B/SkE3w8AUTOjQ45YBONuQhx1k9yprckUMkSl684EMSNO4mBB1KEFfD+5
jFReSggx2xrsNPYaX6hKbH6Xz1bxWkq/9GJyG/3QEfSfQygQzk1mchp87XVgZmdJ
uEZlv65qr2yaQvQFeWz6YC3YrXyj/Oji+K695wFe7TycR/0hr++H8yjTjNxQKOtu
ubrf1vzw6Jx8i9HEXEEzmgcT9Ty5ZoEalYpOUEJ69c2ZzLcIUgyHwWvzVAbxGi+3
Vb9MEccqH5Z+0hmPGZIBG1HsDcMoSNX22XjRcyfERJTX1tulLWVjvGnmxOFb0dcP
I21WfjpvuFEB7kOUipzlcoDMu5MkQP9CEX3TFI3X07KSRk+ibx/PFGDhgCI94dg6
aAYaaJ5OJbZr
=RWhd
-----END PGP SIGNATURE-----