-rw-r--r-- 1 rbulk robots 190 Feb  6 15:11 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/distinfo
-rw-r--r-- 1 rbulk robots 297 Feb  6 15:11 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/PLIST
-rw-r--r-- 1 rbulk robots 550 Feb 12 18:00 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/Makefile
-rw-r--r--. 1 rbulk robots 27 May 20  2022 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/DESCR
