# URL: http://flex.sourceforge.net/
# Maintainer: CRUX System Team, core-ports at crux dot nu
# Arch Maintainer: CRUX-ARM System Team, crux-arm at mikeux dot dyndns dot org
# URL: http://flex.sourceforge.net/
# Maintainer: CRUX System Team, core-ports at crux dot nu
# Arch Maintainer: CRUX-ARM System Team, crux-arm at mikeux dot dyndns dot org