/textproc/opentoken/files/

• ../
• opentoken.gpr
• patch-build_common.gpr
• patch-build_release_opentoken.gpr
• patch-opentoken-production-parser-lalr-parser__lists.adb