Yes,This is the same bug, sorry I forgot to check bug reports on the ptex package.
Magnus Hilmar Preusse wrote:
On 22.09.05 Magnus Sundberg (Magnus.Sundberg@dican.se) wrote: Hi,Thank you for maintaining Debian. I have the following problem with tetex-extra: Command "apt-get install tetex-extra" fails Error something like "command ptex not found"Could that be http://bugs.debian.org/232990 ? H.