Thanks for the PR!
Do you have average time for the new command?

Does it take aliases into account? The reason why #4548 didn't get merged is because i couldn't find any ways of detecting aliases properly and quickly enough.

Thanks for the PR! Do you have average time for the new command?

It takes about 3 seconds for me. It uses a single invocation of `brew search --formula '/^(pkg1|pkg2|...)$/'

Does it take aliases into account? The reason why #4548 didn't get merged is because i couldn't find any ways of detecting aliases properly and quickly enough.

Yep it handles aliases. I tested with sqlite3 which doesn't show up in the output of brew formulae.

$ brew search --formula '/^sqlite3$/'
==> Formulae
sqlite3

and

$ dune exec ./src/client/opamMain.exe -- install --depext-only --dry-run /tmp/a.opam 2> /dev/null

The following system packages will first need to be installed:
    neovim sqlite3 tmux

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><>  🐫

$ cat /tmp/a.opam
opam-version: "2.0"
maintainer: "foo"
description: "bar"
depends: [
]
depexts: [
  "sqlite3"
  "tmux"
  "neovim"
]

It takes about 3 seconds for me. It uses a single invocation of `brew search --formula '/^(pkg1|pkg2|...)$/'

3 seconds sounds like quite a lot. We're usually aiming for something < 1 second in the worst case.
This command is ran during many opam commands such as opam show which would be a dealbreaker for many users if it was that slow.