1*2d1272b8SAndroid Build Coastguard Worker[wrap-file] 2*2d1272b8SAndroid Build Coastguard Workerdirectory = ragel-6.10 3*2d1272b8SAndroid Build Coastguard Workersource_url = https://www.colm.net/files/ragel/ragel-6.10.tar.gz 4*2d1272b8SAndroid Build Coastguard Workersource_filename = ragel-6.10.tar.gz 5*2d1272b8SAndroid Build Coastguard Workersource_hash = 5f156edb65d20b856d638dd9ee2dfb43285914d9aa2b6ec779dac0270cd56c3f 6*2d1272b8SAndroid Build Coastguard Workerpatch_directory = ragel 7*2d1272b8SAndroid Build Coastguard Worker 8*2d1272b8SAndroid Build Coastguard Worker[provide] 9*2d1272b8SAndroid Build Coastguard Workerragel = ragel 10*2d1272b8SAndroid Build Coastguard Worker 11*2d1272b8SAndroid Build Coastguard Worker 12