GitHub repository: Componolit/ada-runtime-alis
Created: 2019-02-15T13:51:56Z
Description: Stripped .ali files for use as Genode API description