ANN: pypi-grep, grep a local file of PyPI info