0004225 から一通も届いていません。仕方なく archive を読んでいます。独自ドメインなのでフィルタされてしまったのでしょうか?
t1lib-5.0.0_1 < needs updating (port has 5.0.1)
ToDo: