Published: 13 Oct 2022
opam-grep is an opam plugin that greps through the sources of all opam packages.
To install it, simply call:
$ opam install opam-grep
Then to use it, simply call:
$ opam grep "your regexp"
Side note: currently opam-grep will cache the sources in your cache directory (
$XDG_CACHE_HOME/opam-grep), so a few GB of available disk space is most likely required.
I hope this can help core compiler and community library devs alike, to know which part of their software is used in the wild.