何か xdvik-ja と dvipsk-ja が古かった? せいで double free() か何かで死んでた。二つとも最新版にしたら直った。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。