Files
genode/repos/base/lib

This directory holds library-description files.