Dear maintainers: It seems this source package (coq) does not generate "Arch: all" packages anymore. If this is intentional, then this bug may be closed. But I don't know for sure because I didn't find anything about this in the changelog. Can you comment on this? Thanks.