PV = 3.13.12
PR = r0
RPROVIDES = 
RDEPENDS = 
RRECOMMENDS = 
PKGSIZE = 0
FILES = /usr/share/man
FILELIST =