# Maintainer: CRUX System Team, core-ports at crux dot nu
# Packager: Juergen Daubert, juergen dot daubert at t-online dot de
# Arch Maintainer: CRUX-ARM System Team, devel at crux-arm dot nu
# Maintainer: CRUX System Team, core-ports at crux dot nu
# Packager: Juergen Daubert, juergen dot daubert at t-online dot de
# Arch Maintainer: CRUX-ARM System Team, devel at crux-arm dot nu