On 2012-11-25 11:18, Hendrik Tews wrote: > It makes certainly sense to add these dependencies, although, > without having read the documentation,
Do it :-) > I would only add the > Breaks, because the new proofgeneral-doc does not replace the old > proofgeneral. Replaces means "takes over some files from $otherpackage ($oldversion)" Breaks means that $otherpackage ($oldversion) is no longer properly functional on its own after installing the replacing package and should either be upgraded (to a version that is no longer "broken") or removed. Andreas -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
