architecture: all component: main package: jflex priority: optional section: java srcpkg_name: jflex srcpkg_version: 1.7.0-3 version: 1.7.0-3