Accepted coq 8.15.2+dfsg-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq 8.15.2+dfsg-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 11 Jun 2022 20:49:08 +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=29cUd3ynY3zWAgAQBOL8yqSk9NOelkSPmNZROEZL/Jg=; b=qXflk/vqk8jBpr+qVRDCf0zZDp XbXcOy3H9OopBvN2MTpw2rXhFdd2rNhIX9/NhwzQwXvAvNDQzaMHUadIFin87UDh9DpF8q3OjbZSP kTj2I/xpk+PP9TSWgcoStAMKUYp3YEffgJ4S74r90/YJdDqDneFlvDZzdBXzNy9WYQmQu0VitWvHe /DxbpRgoMyheVX8BduI0OTZ6vvt91gbY7MLEa7GMV1o+uPhdUm3ps6BxQfxjofJ1mkHjWJG+vB9bb GLEJjUfuPGsWQhSsj8Ufbu5zwr1hFBhWVE8TGxZ+f4cLKVBpQFgXDVtCxwSKiauajjmMpuLM6ozkm u1Z2WU4g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o082e-0005DM-VV@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 11 Jun 2022 16:16:14 +0200
Source: coq
Architecture: source
Version: 8.15.2+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq (8.15.2+dfsg-2) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
4ba4ae71645f294ebc4a00de4c317f0417cf787f 2607 coq_8.15.2+dfsg-2.dsc
13c9e58644622abf2707e8e7dbe3268da1a8fa05 40124 coq_8.15.2+dfsg-2.debian.tar.xz
c4502b2727c5dc4634203ffa45d1b3703b054f89 14767 coq_8.15.2+dfsg-2_source.buildinfo
Checksums-Sha256:
a0e60559a0532e200567ac4d2cbaa43f28cf99271c3879c62d0a0efaf6f072f0 2607 coq_8.15.2+dfsg-2.dsc
623be694fd78e147608bd20a1e34593efff5f8d28bc4597d075fe8278f22c6f4 40124 coq_8.15.2+dfsg-2.debian.tar.xz
22cd13171844e496eb52cc879df2b9fe5423ac8a496b05ad47da9450bc3a3baf 14767 coq_8.15.2+dfsg-2_source.buildinfo
Files:
529996150988b5b7ddd9b3cf879267c4 2607 math optional coq_8.15.2+dfsg-2.dsc
1340e15f0dfc36eab8ddf7567dc5e3e4 40124 math optional coq_8.15.2+dfsg-2.debian.tar.xz
b8a4ace7551a5c8098ec643c4b99a7c3 14767 math optional coq_8.15.2+dfsg-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk+LcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4E4QAJWW6Cv5Cq1f/vzbGMfbsHZPadWfl45x
0D6dcyn6G3E46986boFflxV9qdgTdQXegDFQskIDyYJYpKZbCrjko0xKw4iIDqa1
2AEP087R+yu75FDud4gjS6Bc1oNfRuF4qOULFCxD3uj7IQGFTn76d23O+A+rUbkK
7FqwARmmYVMO+sVxsc6yKfE5zdjCkrQowPxgZKTBKynpDWZXu/fg5qciRlhhhOST
Y9ZQ+V5lP4F1gteMuSF2foE+h6RH74NMLqUEM44ynOqBjzxDzI+/H2OpF1aA1h0C
5HiZj6z2yaPSsCHZXpWiZcPBJKPUVSFUN7sAlU+mt8hmpxmso+FpnZH35cbioFFj
bLh3WqtDQ5OPp2WxajP+Pcy694VjhHErmr5bs+C8NMRCI0H2Oc0AAwp8xmjMEYt2
8RzYTOoJx6NhZjW1QNHP1LoJqqT6NDCMCt2u69JwNpzpw8vdw0S0QvMavcyGVf1k
s7oZxoT9DzB0IEmMPQ/TLkQJVfgEXLK2eWlhYtzuVQgFjQUscHW2ma1t32hgMv9D
sDjw/JhGle70R/fAkHrd5KWTv0p/iAQsBQvyqD4ddsMQkwoF3n8zXb1G+XJWojmG
XhEplj6mB5yoyfYxAz499l0yj28t977mFIaF7zuT7Dm+TE5n2HKtxOuv0gB6wYBy
1AIFCSXaadDf
=b54b
-----END PGP SIGNATURE-----