Skip to content

depext: fix Debian/apt lookup for installed packages#6054

Merged
rjbou merged 1 commit intoocaml:masterfrom rjbou:depext-debian-dpkgJul 10, 2024

Commits

Commits on Jul 10, 2024