Processed: Re: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed

To: Adrian Bunk <bunk@fs.tum.de>
Cc: teTeX maintainers <debian-tetex-maint@lists.debian.org>(tetex-extra #122357)
Subject: Processed: Re: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 10 Dec 2001 10:03:04 -0600
Message-id: <[🔎] handler.s.C.10079996673915.transcript@bugs.debian.org>
In-reply-to: <[🔎] Pine.NEB.4.43.0112101653110.7410-100000@mimas.fachschaften.tu-muenchen.de>
References: <[🔎] Pine.NEB.4.43.0112101653110.7410-100000@mimas.fachschaften.tu-muenchen.de>

Processing commands for control@bugs.debian.org:

> tags 122357 - woody
Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Tags removed: woody

> tags 122357 + potato
Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Tags added: potato

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
  - From: Adrian Bunk <bunk@fs.tum.de>

Prev by Date: Bug#123233: Metapost (makempx) broken
Next by Date: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Previous by thread: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Next by thread: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Index(es):
- Date
- Thread