/lang/gnatdroid-armv7/

• ../
• Makefile
• files
• pkg-descr
• pkg-plist