aflplusplus	universe/misc
dolfin	universe/math
exchange-calendars	universe/misc
highway	universe/misc
linux-meta-realtime	universe/devel
linux-realtime	universe/devel
linux-signed-realtime	universe/kernel
mshr	universe/misc
osinfo-db	universe/misc