Accepted coq 8.16.1+dfsg-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq 8.16.1+dfsg-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 29 Nov 2022 09:19:56 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq_8.16.1+dfsg-1_source.changes
- Debian-source: coq
- Debian-suite: unstable
- Debian-version: 8.16.1+dfsg-1
- 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=mCDHJuBGFXH4Hj/7JTovM4U27Ecrb480f9ceO8+bOnE=; b=HQP7CkhT7/irsMvCa1ByU/BB0S 3bsqkrAcjrRsPAo8X7z4dg1voRqn/OppCcFXX1cATY3XLfb+9OGEjbUlZTnzL2yWzJRDzee5UWzWS VCuI5mUsHbAN2GshgyzVkImS4+tCavZqpdlzoJGr/R1ZiYWQ4uiyowKQkvAeNhIQ1ewELITtJHMze uT+RIlxTuikKZvtAkT7KrN9hTr4C5wabmZ0R/qD4b0HfmskQcPvi3G7F5BkeWYFRaSiIx/w4C5VNe 5sGga5anfuel3KKWYPYwf8kheMSSAypMq/SvXInoWM2XtfarIzIFP5FBdouLqUMzUSS69l4xyKuXO PGVTFCuA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ozwmS-0076MV-Fa@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 29 Nov 2022 09:28:08 +0100
Source: coq
Architecture: source
Version: 8.16.1+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq (8.16.1+dfsg-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
23025b6b34369b96d2eb283c079e37d541d72879 2629 coq_8.16.1+dfsg-1.dsc
472059a6b99fafeacd37a08559bc02db30515617 4717668 coq_8.16.1+dfsg.orig.tar.xz
42cf3fc84f6d6ec544f3490df8baa202a72ba8b7 33236 coq_8.16.1+dfsg-1.debian.tar.xz
ed0ab53cfec06d4c3dca7985e4f716fbd47d2132 15507 coq_8.16.1+dfsg-1_source.buildinfo
Checksums-Sha256:
9756a998c91c13eb3a3f387e41dedce7c0c16c64e3fecb9eec25d98c4f8d63e7 2629 coq_8.16.1+dfsg-1.dsc
d9cee0ee2889ad2ef3be6bcbedff6aadd14afe861c81d427b34c6be56c677cb3 4717668 coq_8.16.1+dfsg.orig.tar.xz
9a9cae6934a209c895eeb808e503eaf001aa7fe0385b9f54313d7b08bb24cdab 33236 coq_8.16.1+dfsg-1.debian.tar.xz
850073c3606d27c5ecdecf86eec6ae32a67356a689191e2514e99adab1002c4c 15507 coq_8.16.1+dfsg-1_source.buildinfo
Files:
d16a3ecc42e77188c1838c18d9fe5833 2629 math optional coq_8.16.1+dfsg-1.dsc
79d8714e248357dca8caa0b3de7f5f22 4717668 math optional coq_8.16.1+dfsg.orig.tar.xz
dd0067c115de71a799868e942a4bd615 33236 math optional coq_8.16.1+dfsg-1.debian.tar.xz
08fcb8d3cac9e297e0415365af2ebade 15507 math optional coq_8.16.1+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOFwucSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRkoP/ieF28X6eg2YoObr9V6M8rubyXsLVyzQ
jHL5cLuBZHop5RZoymOQSQgT3Mc+yXLVOcyrCy/b0VemtV74AqIrOVLGTU4z6iwa
9xIfOZSZ2st8tE3qeGpq44jbCoGN/z4MNtlDFIW2lEqeWgg6a/ZWXBI7ew70g+KH
aL/1eFuNKMJcqCn5wBL1WSNjIYP7uaOjVDcQn+bL/qlwvI3WCqOH2oG9HLw0k92c
BtQflqYq7jWXji8LuUcfLF25d2ZUHLwixtBJBXk9LdON2yUJI1cUP4aYVQpi1g9B
EXdZFEjYgXWSYz6d5bCcoVoIoRgtvuGtUsp6DNI29Oev1tfefqj7s8sh7idOcF2s
3k5lS12D6se83zv0n+bhNozhsApVVzt/XAONZuyXjKwcv/iY2u2C4FZZhBbkdRud
iGAsVQh4kdHfREtJTc09dQcNvNepJ5K3FNZuQRgyx/HdM7E2EyfCbdaaBM4Od8s3
pKUp6TRe74ea9s8BV9ZoNQg2RmZJliBS0VypYdjvdhSfH4m0GkD7wJQxvrn8aFDL
xC/xHmLSkOGgmXRc+U5WeKvuo31WFKsAtBvWZeyGxtuqy/rf63GeJEsiNhxNjkm0
lTIJfSFtYRyWb30jjWjRp19GX00WV9Ucfp92QtAinv3d27Xq5thYr5uQxAhBSJdO
tz0fLKFtEbSn
=DdvD
-----END PGP SIGNATURE-----