# This file is intended to be sourced by sh
PKG_VERSION=0.5.16
