# Collection raspberrypi3-arm, by devel at crux-arm dot nu
# File generated by the CRUX-ARM portdb http://crux-arm.nu/portdb/

host=crux-arm.nu
collection=ports/crux-3.6/raspberrypi3-arm/
destination=/usr/ports/raspberrypi3-arm