Frank Küster <[EMAIL PROTECTED]> wrote:
> Package: texlive-extra-utils
> Version: 2005.dfsg.2-10, 2005.dfsg.2-11
> Severity: serious
>
> $ findpkg -r dvidvi
> testing
> [...]
> usr/bin/dvidvi
> tex/dvidvi,tex/texlive-extra-utils
> [...]
> usr/share/man/man1/dvidvi.1.gz
> tex/dvidvi,tex/texlive-extra-utils
>
> ,---- http://release.debian.org/etch_rc_policy.txt
> | Packages must not install programs in the default PATH with
> | different functionality with the same file name, even if they
> | Conflict:.
> `----
That actually doesn't apply here, since the functionality is the same.
We could as well conflict in this case, but I guess it's better to
exclude dvidvi from texlive, and Recommend: dvidvi instead. Unless the
dvidvi maintainer thinks otherwise, of course (Cc'ed).
I've done some more resarch to make sure we don't have any more of that.
I ran
for executable in $(findpkg -r texlive | grep ^usr/bin | cut -f 1); do findpkg
-r $executable[[:space:]] | grep -v ^testing | sed -e '[EMAIL
PROTECTED]/tetex-bin,@@'; done
where findpkg is the script by Joey that made its way onto the systems
of DD's while packages.debian.org was defunct for a couple of weeks, I
forgot when. It's unfiltered output is shown above, -r stands for etch
("--broken/--rusting/--stale").
Manually filtering out those that are only owned by a texlive package, I
get
usr/bin/dvidvi
tex/dvidvi,tex/texlive-extra-utils
usr/bin/dvips
tex/dvipsk-ja,tex/texlive-base-bin,tex/tetex-bin
usr/bin/platex
tex/ptex-bin,tex/texlive-lang-polish
usr/bin/pltotf
tex/ptex-bin,tex/texlive-font-utils,tex/tetex-bin
usr/bin/tftopl
tex/ptex-bin,tex/texlive-font-utils,tex/tetex-bin
dvipsk-ja does a diversion, so that seems okay. platex is a problem,
because these are actually programs of different functionality. I have
contacted the upstreams about that, so it will take some time until we
fix this.
pltotf and tftopl are diversions, too.
Regards, Frank
--
Dr. Frank Küster
Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich
Debian Developer (teTeX/TeXLive)
