DEBSOURCES
Skip Quicknav
sources / ahven / 2.6-1.1 / debian / libahven5-dev.install
12345
usr/lib/*.a usr/lib/*.so usr/lib/ahven usr/lib/ada/adalib usr/include/ahven usr/share/ada/adainclude debian/addon/ahven.gpr usr/share/ada/adainclude/