Accepted coq 8.14.0+dfsg-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 15 Nov 2021 06:59:19 +0100
Source: coq
Architecture: source
Version: 8.14.0+dfsg-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 999651
Changes:
coq (8.14.0+dfsg-4) unstable; urgency=medium
.
* Strip libraries.
* Build using dune directly.
* Make the html doc point to a local logo file.
* Make the html doc point to local css files.
* Disable the bytecode-only architectures (Closes: #999651).
Checksums-Sha1:
27a6dccf197abaee522ec6481bbc056cb4c8d10f 3021 coq_8.14.0+dfsg-4.dsc
bcde7acb5f2e139ac4fe2479224e873de9424823 39800 coq_8.14.0+dfsg-4.debian.tar.xz
a29c1751785fd064d87446abd668d4ebe59f0b8f 15505 coq_8.14.0+dfsg-4_source.buildinfo
Checksums-Sha256:
7eb7ee3762717a896415c0addac5726f8fea60ebe47e805d93a5e1b4f781aed2 3021 coq_8.14.0+dfsg-4.dsc
b7851ef824dff080e9c07e726546bfc683059b5c67d6703b8360fc0c7b35218d 39800 coq_8.14.0+dfsg-4.debian.tar.xz
5bb3272d18f2085f6ea3ab9ccd367a3c83ea53993cacf53fe2621b838c2d9179 15505 coq_8.14.0+dfsg-4_source.buildinfo
Files:
e1fe5a66acb281be35b80dc69ea390d3 3021 math optional coq_8.14.0+dfsg-4.dsc
53ea74659338ae05aef130981b31ab3a 39800 math optional coq_8.14.0+dfsg-4.debian.tar.xz
ccdb159086a6848296cf63196940ad84 15505 math optional coq_8.14.0+dfsg-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGR94gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRU2gQAJuiKWLKp0JbBFNw4g7YISfYMTrzHq0B
VkIdzZYAWRlvb5WUJncYcIb9+lX9seff6hNRl0l7Wds1lscmHW3Azl0KrRCWRR6r
yTF9v6dlFynI/rXeNk3wfJ0psAoIYm/aePCHFS1BJ0gtkCdy/PbFiTX3tJyFtllK
HIq7iJmjZWTcQHsAKMN9cU5ADYnxUcm5cTgHJkFKWZ/XZk+NSuofKcxEgwiOK0vd
8W+msH1NyOZkCNlbO0BBFEGKLxwWWoC52vNdELnY2JYTRDOwt1cNZbvUBuOnArGL
25zhABHoGLj0baUOM/2GyySSDcmfw3iVBMA8kYi1j8M0LdAp1Hy4Yl49IUrNY3aa
9kuo4RwFU9PDYyCgZeMUC0U/0JHs5br5PahsMNtToQhlSyB7/8sWmv6xIk0FAF+T
8waCCDUQxQh2Hku7c4M/YjHoP8Yu4WUDjaGocHKjeqSqolRFeYfChS1OT2sZr6Y2
P3gRIwUI59zYadd/kBDTRM5NrViaC/k0mNP38rGCupFBGsRfHtG9Rx21pMInQ+na
j5JTjRGf3UvepSM4Ajyz9Y7fP2y3M78fTd+fmW768MOnFe/83kkZ69m+BS8DZ/tJ
7cYIwLRt9AsaYdX0m+OBLZEwfEaorPJ4qk1qSaX7lMpqyCArWWJkbT/jxFvFFth1
cEIeOK4O+TkI
=xWOw
-----END PGP SIGNATURE-----