Bad INDEX-7 file ?

[Fedor Dikarev]

Dear friends,

I've updated ports tree on my server but I have bad INDEX file:

root:net{R}[45] ports$ make fetchindex
/usr/ports/INDEX-7.bz2                        100% of 1262 kB  304 kBps
root:net{R}[46] ports$ grep '^rrdtool' INDEX-7 | cut -f 1 -d\|
rrdtool-1.3.7
rrdtool-1.0.50_1
rrdtool-1.2.30

root:net{R}[47] ports$ cd databases/rrdtool; make describe
rrdtool-1.3.8|/usr/ports/databases/rrdtool|...

I think it's not sugnificant but may be it's consequence of more serious bug?

-- 
Федор Дикарев