中原です。 表記のパッケージをアップロードしました。 * dvi2dvi NTT jtex の dvi を ASCII ptex の dvi に変更したりします。 昔 TP220 で、dviout で jtex の出力を見るのに使ったものです * vftool 鴨志田さんの返事がありませんが、fontdata-j、dvi2ps、dvi2dvi と 関連が深いのでパッケージ化してアップロードしてしまいました。 * fontdata-j パッケージミスで postinst、postrm が抜けてしまい xdvi などが 表示できなくなったので、あわてての修正版です。 -- 中原 早生 広島大学総合科学部 nakahara@xxxxxxxxxxxxxxxxxxxxx