Comment 3 for bug 200073

coq-doc is at version 8.0pl1.0-1 while the rest of coq (i.e., the coq source package) is at 8.1.pl3+dfsg-1. I imagine the conflicts is there because it's inaccurate for that version. It seems that in Debian, coq, coqide, coq-libs etc. are in main, but coq-doc is in non-free. I guess that means coq-doc should be in multiverse?