Searched refs:ADA_VERSION (Results 1 – 3 of 3) sorted by relevance
7 ADA_VERSION=$130 ADA_REF="v$ADA_VERSION"54 echo "$ git commit -m \"deps: update ada to $ADA_VERSION\""
119 ada = ADA_VERSION; in Versions()
6810 #define ADA_VERSION "2.6.0"