Accepted coq-doc 8.15.2-2 (source all) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-doc 8.15.2-2 (source all) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 16 Jun 2022 06:20:18 +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=F6rW0XbkxhyJoniiBsYMBSBo5DkXxLRZ6Rj2varx8t0=; b=GTDGbzVPFBMDibRPsf0r0SEF4M nb6G9D246Zwc8WX2SjRQtUfhSi1FwtWtg3GrDEQpDpL9gJ3/2wDk3M33clkfwkpiWJo+JwsfRz2km lYBOCY9dLdNMqVz+5f/lFkhMis41Dl7Oi+x7OztVG2ziga4phToCrUZhNxudJHB/No9BSXKmut3m0 UN8nXrwTEyURWPjRtjV89WnffWwRa/v5YvTlApaIKF3YyvL6am4pcQ9JWLSEC0ZRIvoqEfYwgTFcO 4eKE0pQXb238NBNjIrlSgN0/hOYXag0cevwb4oARsGyA24tQFHshk/KRICDtBpWmoxohUz/YJfPfc /qNW/rLw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o1ira-0004zI-2I@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 16 Jun 2022 07:59:09 +0200
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.15.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
coq-doc - documentation for Coq
coq-doc-html - documentation for Coq in html format
coq-doc-pdf - documentation for Coq in pdf format
Changes:
coq-doc (8.15.2-2) unstable; urgency=medium
.
* Declare the package can be autobuilt.
Checksums-Sha1:
7f773f464816d0ce29463545224c8a87657a7b7f 2580 coq-doc_8.15.2-2.dsc
310d8f7aa998e15dcc09fddcfc7b749fe7d207d2 8220 coq-doc_8.15.2-2.debian.tar.xz
8f7c3291923a4af3dcde3669c2dacd17c2bfbf3e 1422416 coq-doc-html_8.15.2-2_all.deb
dd0b3ab1dc5f11c979dffbede798948eab96eaac 4085408 coq-doc-pdf_8.15.2-2_all.deb
b1cb7e8fd166b4c4c271b21ee17e2026967dbd47 6576 coq-doc_8.15.2-2_all.deb
5a14e26479ab771c10ba37cb74521e7931dd1e4b 13005 coq-doc_8.15.2-2_amd64.buildinfo
Checksums-Sha256:
5073a8c8a988ccca692ce84cceca8909bea7b498e09ac23a64d16d3d4668dfad 2580 coq-doc_8.15.2-2.dsc
a47a7785308f429275d73f49a5ae27d604f23f2c89c6db29c1e0953d503b3caf 8220 coq-doc_8.15.2-2.debian.tar.xz
7f9bdd9887b0f4ab5ae28c4a427d6166f8bc6233ce3502d8ebf1f98bcc8da41e 1422416 coq-doc-html_8.15.2-2_all.deb
fef9bcc88a7ecb585a838d8c644c0d9a77e4db64373edf4aa1f867b723d781da 4085408 coq-doc-pdf_8.15.2-2_all.deb
f61561253bc5f86ec6349f319460f47435cb8097b5dbaf04b79aa27bebce3630 6576 coq-doc_8.15.2-2_all.deb
9859a1bb9fcf9d158005385930c15b3163617a5ec39eba516220d70a1f5e0eb7 13005 coq-doc_8.15.2-2_amd64.buildinfo
Files:
0861337a9e7a505828f3f982ada0a076 2580 non-free/doc optional coq-doc_8.15.2-2.dsc
6325e1df9826b304a955a96557102447 8220 non-free/doc optional coq-doc_8.15.2-2.debian.tar.xz
840ed2790566fa44c53257383c9c7f20 1422416 non-free/doc optional coq-doc-html_8.15.2-2_all.deb
9e5752093c1bafaaa6d15f6c805de8da 4085408 non-free/doc optional coq-doc-pdf_8.15.2-2_all.deb
17624d7cea80eaaad27f03e2f9fd71fe 6576 non-free/doc optional coq-doc_8.15.2-2_all.deb
a2d2a642e3122fa965f386e684fd27b1 13005 non-free/doc optional coq-doc_8.15.2-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKqyKISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRvlQP/31+RmDcpU6AwUEy8f/DsKGYmgUqxEM4
jx9TKULeXHvVuB018Dw8DK651fXB7aygPWYPzSix3fakSTKQ0o7fK5VUfQBfXzxp
kpPzih4eNT50asZPrFl7987gp7bjqW+21aBWqXrxfQsie5vmNT4kddsbIbyGNJma
nYSzD3W5kFD/q8rYxlekfv7JHhE1bq9uOiX6V1pfg5WDHUH/6oqZLYDrNAhMobll
QWHpX42/lnSzhjTUsVNzRzFrwh80sMGdnJYpCF93RgDlo2at8U0Pfnb7YqnrQ2wa
eHJ0WQGtUs2lfM1w4TbaQ7sPKK8s3pmt/DaDyir1cYwpeiaMAgQoAB52RytXLJZX
b4/3x1jhMUObo9TQjWIdLiy9/PYRfYFkA1Zy9JlyBPIPvyqvVyddNOgcHNbW0ggS
mJx4Vx0SOc7j/iIqx83lzgFHAAiTIUPUVZnE4ra3DDHq9a63VgdO84lMCUzf2OUJ
NcAnoPp3vw3rIxEsAM94CwSdqCIvzgztQRQrN8OxIgs+JVfeNtznKZsocF4yEh1C
2/cdmti6Wc2ADYWP7J6aEKuHAIcXS615hnVTp85WASCso2jBA7SqV3EPkQEl/nc6
0V+L/FvB7wnv0pud0bOlRmf0xKOVz7sMMaPMdsnh5Qlwaz0piIR2TgcDmlh5+oYv
PKavw1/PK1xJ
=SDta
-----END PGP SIGNATURE-----