Bug#999651: marked as done (coq FTBFS on bytecode architectures)
Your message dated Mon, 15 Nov 2021 06:18:32 +0000
with message-id <E1mmVK4-0008ut-6h@fasolo.debian.org>
and subject line Bug#999651: fixed in coq 8.14.0+dfsg-4
has caused the Debian Bug report #999651,
regarding coq FTBFS on bytecode architectures
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
999651: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=999651
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: coq
Version: 8.14.0+dfsg-3
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/package.php?p=coq&suite=sid
...
Error: Don't know how to build
_build/default/user-contrib/Ltac2/ltac2_plugin.cmxs
Hint: did you mean _build/default/user-contrib/Ltac2/ltac2_plugin.cma?
make[3]: *** [Makefile.common:190: _build/default/user-contrib/Ltac2/ltac2_plugin.cmxs] Error 1
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.14.0+dfsg-4
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 999651@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----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-----
--- End Message ---
Reply to: