TAR_NAME=armada
VERSION=0.2.0
SHA=7ef4b8643b5ec5216a8f6726841e156c0aa54a1a
TAR="$TAR_NAME-$SHA.tar.gz"

COPY_LIST="${CGCS_BASE}/downloads/$TAR $FILES_BASE/*"

TIS_PATCH_VER=PKG_GITREVCOUNT