Accepted paramcoq 1.1.3+coq8.16-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted paramcoq 1.1.3+coq8.16-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Sep 2022 07:18:43 +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=McaZ7zt2e3s7k0lNT59W7vDDy/X3ocvY4v8aoKS/56Q=; b=JLowD3zykawmHsQc8C+x81+8rL zMox6IB1hW4xBfUvgMVpWVeDpbkMKYQzL7g1Vo0lxb2P1fAQ5D3ZTmV8uERy+DvU+zbEAnR7IICIz ClZ07zxa6/OaPfhP9IDRlwbxjgTpLgwELXwUmxW4g2dL0+lsmutsIPZcURXuPCh6lx1KHNyPBPrBP ud0oPgrY+P1X+2lQ0/8BLDHy0N60wT3qvAvrFvoqRqIqNlt9Kzk306V3jFbmLrf+ebXlkxTbovqfC UYRBHWpe5WyKeKCtFRO3xkIfHralGoXmPO1xo0k7ilTJ9syWJlUXnG5fLCmgXdOaD2Zi0pNpuhMqN un+CD1KA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oY0Bv-003jE4-3R@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Sep 2022 08:57:59 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.16-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1019571
Changes:
paramcoq (1.1.3+coq8.16-2) unstable; urgency=medium
.
* Unbreak autopkgtest (Closes: #1019571).
Checksums-Sha1:
868ca9bc5ff4ec4a77b78767375b8c98b29506e4 2106 paramcoq_1.1.3+coq8.16-2.dsc
4c4226a7f22db47c83a76de4325650dc852ae8ce 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz
ef189bc5871e2315949048388c8f71e811c17555 6962 paramcoq_1.1.3+coq8.16-2_source.buildinfo
Checksums-Sha256:
8e0ecf1e99b7bdd14c10af2dfc3cf931cc3acf8054c5e4a7262d1ac2a0182197 2106 paramcoq_1.1.3+coq8.16-2.dsc
cff5b7476f20a5f0240eb8ab5dbec7c0bbcb3cc44e2f016a4f75d3bfcbc437e8 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz
4900b1793cdf664536e04c3b2a9c68503ee1e2f1deba86c9a4cb640b324565f6 6962 paramcoq_1.1.3+coq8.16-2_source.buildinfo
Files:
c5a87eb986e64d67aaea41cfa77f96bd 2106 ocaml optional paramcoq_1.1.3+coq8.16-2.dsc
b11f7a896c1eceb49548a2285873728b 2844 ocaml optional paramcoq_1.1.3+coq8.16-2.debian.tar.xz
f24099a60a2fbb1e2e5db64769eaf1fd 6962 ocaml optional paramcoq_1.1.3+coq8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgKhUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSIIP+wSBgIhkoYVPnt4InRN3DF+3H/xAt1Rv
vAEOwIObltMIJ0ZPPxzEZlSEI5YNKDzJfSoxBXmnoj34KVDrk4IITJys8XcmRSc9
POvJea7pR9AVgqoJg2YOeZZbsXwl25f6tOUEnAKj1P3jd91dkK2cEggKA370pHBP
34RAcy2t+Xw0g4sG6xKiv/MhKjz8hEibTAw6K6yBI9MgWmUPOTq8dWo6GRhwrUno
rPwgwmU5zVCozK9WvKLtztEU2sGjkPz9M74JHxQZNPfpnMjxhqx5bf6rlG37kVJ5
vsg2gxJs5pN07lTtHoAlf7kmUmklfVFaQosV1/7EOnH+ELx2JnRGKQMf/UxwU03h
UOhMwrmzxBag5kjIQyI1wJd9Q9AitxDuRcNKqZboM171UcUlzqytYfDFUuIpHoxb
kz/7inGON6bnFt7SBlLia9Tz0dpuQKBfUYtPBcH2ie2SGXZZotJAEvx2qgvPA+Nh
Vdk9CGJ1LDPWoMMvi/g8I/sAPRvH2egel2pSBzI356J7Gga9HKj7X+vg/8X8ZKFq
ZCb1hf3p7JqTtzMNofx/ifr1H/+YfnELoxO96pHsTYGAPTv5hImAWW69d4JvgA/v
IWbiIxDXGc539WVk8Otniwd/ZRC40TacPZwmMdtHDDEcasb6eYeoyrOkvv7fUMFJ
Bw08fvns7NDA
=MLc7
-----END PGP SIGNATURE-----