0911login:Penguin垢版 | 大砲2018/06/06(水) 12:38:54.43ID:ODMfckLT AURから texlive-dummy というパッケージが削除された。 MLで「こんなパッケージは存在すべきではない」というリクエストがあり、 contributor の意思とは無関係に削除されたらしい。 AURって、もっと自由な所だと思っていたんだがなあ