$ wget https://packages.debian.org/stable/allpackages?format=txt.gz $ gunzip allpackages ; * wc -l allpackages* 57286 $ https://packages.debian.org/unstable/allpackages?format=txt.gz $ gunzip allpackages ; * wc -l allpackages* 102895めも参…