NAME=CRUX-ARM
VERSION="3.8"
ID=crux-arm
PRETTY_NAME="CRUX-ARM"
HOME_URL="https://crux-arm.nu/"
BUG_REPORT_URL="https://crux-arm.nu/bugs/"
