On Tue, Apr 23, 2013 at 12:11:20PM +0200, Rainer Müller wrote: > Couldn't we just put them into a PkgIndex and put them right next to > PortIndex? Just to make sure: I'd favor PkgIndex being PkgIndex.sqlite. We have a dependency on SQLite anyway and it's faster. -- Clemens Lang