Source: coq Version: 8.20.1+dfsg-1 Severity: normal User: debian-powe...@lists.debian.org Usertags: powerpc ppc64 X-Debbugs-Cc: debian-powe...@lists.debian.org
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
