On 9 Oct 2017, at 16:17, Rainer Müller <raimue at macports.org> wrote: > What is so strange about that? The current PortIndex has ~20K ports and these statistics also include historical data on obsolete ports that no longer exist in our ports tree. Exactly that, historical data and obsolete ports.