Your message dated Tue, 21 Jul 2026 10:41:59 +0200
with message-id <[email protected]>
and subject line There is no ocaml-native-compilers dependency
has caused the Debian Bug report #1101476,
regarding coq: Please whitelist ocaml-native-compilers to supported
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 [email protected]
immediately.)
--
1101476: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1101476
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: coq
Version: 8.20.1+dfsg-1
Severity: normal
User: [email protected]
Usertags: powerpc ppc64
X-Debbugs-Cc: [email protected]
Hello,
I just tried building coq on ppc64 by overriding the build-dependencies and
it's generally supported, there is just a warning about byte-code being used.
Could you therefore limit the ocaml-native-compilers build-dependency to the
architectures which actually have a native OCaml compiler and allow the other
architectures to use byte-code?
Thanks,
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer
`. `' Physicist
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
--- End Message ---
--- Begin Message ---
Hi,
I think this bug is irrelevant now the packaging does not mention
ocaml-native-compilers.
Cheers,
JP
--- End Message ---
