Hi,
thanks for detecting this problem.
Package: proofgeneral-doc
Breaks: proofgeneral (<< 4)
Replaces: proofgeneral (<< 4)
It makes certainly sense to add these dependencies, although,
without having read the documentation, I would only add the
Breaks, because the new proofgeneral-doc does not replace the old
proofgeneral.
I am on a conference next week and I am not a DD, so it might
probably take two weeks until this is fixed. If anybody wants to
do a NMU for this, I would certainly be grateful.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
