coq-doc conflicts with coq-libs

[Axel Gross]

FYI: In the repos there is just a conflicting doc package

HARDY:
Package: coq-libs
...
Version: 8.1.pl3+dfsg-1
Conflicts: coq (<< 8.0), coq-doc (<= 8.0pl1.0-2)

GUTSY:
Version: 8.1+dfsg-6
...
Conflicts: coq (<< 8.0), coq-doc (<= 8.0pl1.0-2)

GUTSY/HARDY:
$ apt-cache policy coq-doc
coq-doc:
  Installiert:(keine)
  Mögliche Pakete:8.0pl1.0-1
  Versions-Tabelle:
     8.0pl1.0-1 0
        500 http://localhost gutsy/universe Packages
        160 http://mirror.switch.ch hardy/universe Packages