Accepted coq-doc 8.15.2-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-doc 8.15.2-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 15 Jun 2022 21:20:48 +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=A+ZJT11Ts9TGV9LgHLEUaq994oLFzjWNC+gInb46dFw=; b=MQjtU8oOTLmrmawu5xhUIUGvZL lR+Ed0+jNVVZawTccX1NtaGt/nRcBPJcerHU1iN7EJ9ehXRGu2EMoOpmcLOmh2KXzY12hZsY6WRv0 39odjE760U41y2XjFu+hgla3pcpHzrOAFS8cSEPUFvWqh05vjVRWFQDD7MllDpXf5jW9ZR31P3mtq aEN9qC1CVsNAIaj6Lqd/ovreUEqihNk3qIzW3tziA30cqd9mbxUTnnm86alDJECjtedn/dKXEWHbL iwcbdLnmWx0v+2uGwHKFC+4JU9cyGjMUhMRnxBjkvp1iSQX+UQyNau7cjOKj/D4ayh92X0TKQw4kI g3RXipcA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o1aRU-000726-VT@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 15 Jun 2022 22:54:08 +0200
Source: coq-doc
Architecture: source
Version: 8.15.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-doc (8.15.2-1) unstable; urgency=medium
.
* New upstream release.
* Add patch to fix sphinx 4.5.0 support.
* Bump standards-version to 4.6.1.
Checksums-Sha1:
127370a5d5dfcf3bfe1d6cf17a93cf6173968188 2565 coq-doc_8.15.2-1.dsc
fb02fea07df50c9a3036d7f092769f9e35a00ced 7222794 coq-doc_8.15.2.orig.tar.gz
ba9565b4551b5f38daf27e8083a2941fd2647db4 8180 coq-doc_8.15.2-1.debian.tar.xz
b9891b569f70daf91d07ffbcd52a4b11d67de473 5686 coq-doc_8.15.2-1_source.buildinfo
Checksums-Sha256:
8ff022d93b4cd144692bb684d8765e4fab41cc4161c0a87df40339c53e2c98c7 2565 coq-doc_8.15.2-1.dsc
13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 7222794 coq-doc_8.15.2.orig.tar.gz
3e5b1ad6e8efd163a8c9178d9ad55790ad8ff477f66712fe7c8c008664ea1b58 8180 coq-doc_8.15.2-1.debian.tar.xz
c4e6c274367d6434474f1c5688f83209b863d2744e1a9b6b100c4a58067b0d12 5686 coq-doc_8.15.2-1_source.buildinfo
Files:
859cdd874684496c9dcd1f79fc3372af 2565 non-free/doc optional coq-doc_8.15.2-1.dsc
8a6c4808585731292919d75e089954e3 7222794 non-free/doc optional coq-doc_8.15.2.orig.tar.gz
3a79fe8bd3dd69e1ff7b06f9afbf3d64 8180 non-free/doc optional coq-doc_8.15.2-1.debian.tar.xz
a0b4f9965a93b79191b69f781fa1b342 5686 non-free/doc optional coq-doc_8.15.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKqRysSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRzrQQAJ3UjF+Ke7c06bMFfOJUVniz3s5sBSKo
ofSm8a5KV+hsxlNx/9zAOr87WV2FwnLRgT0zi8ZtU5JdDsbvkCvSX5Cts3BOFNqg
P2eS/cf8mxfLDoNiI11smLFwl2ZcGkxiexUIfWFI0spbmJGtzW6nq8I0R/9V4eU+
OqYSjKjLq5rRZOvSzoCxWsOmV0k3dKRBKVYv7xyAV89WrjIT6caEbk83ZLXUhVm/
SwXSTzwssL+MwR4iDeJOMMULcIJah1OMpsBwQ3KkWpOQVDpoWDxmlyxBKs07QVWU
ebqsDLxJeXGFu9ZwVx0bcPV7RaVxmHc6qUNWDFzvxH4V/PoTXfd3o0hgeuVJPiyJ
3ormd1BXdTBoiDUrOvGIbZphxqW5iAe5lJWReJT2f8Ak4FwNCvCdAg6jgCJ8OXN6
tVpcknsdyD+nbn7w1HI43bqsFm8VO1lkF68p0Wr2jmsiy9zFX9GrZ+8qfwBlhwFv
ZWffMXg639+3/l1QQDc93IrPWjHooqIZxvkXVu3NwZ3ABnHM1lHtmYLsjirg1xBd
xQWuIjLL58tV1PaSpNvhg4EM1OYBbzv8R0r5XJpi+Xrbu3kPZqK+zuMCqjxG5Pw8
X8aj5GWazclO2XtAk2RPUk9TEFkLBj8M5F84lUAQMz/gguoWBbcq9c42/MoMtofu
SR/priifHJmv
=CVOS
-----END PGP SIGNATURE-----