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?
-- Conflict between coq-doc and other coq packages https://bugs.launchpad.net/bugs/200073 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
