carta

opam-admin-filter(1) on Linux

The text c03f17add5b0, as Debian 10 (Buster) shipped it.

Filters a repository to only keep selected packages

Flags it lists

opam-admin-filter(1) on Linux now