-rw-r--r-- 1 rbulk robots 190 Feb  6 14:41 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/distinfo
-rw-r--r-- 1 rbulk robots 27 Feb  1  2024 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/DESCR
-rw-r--r-- 1 rbulk robots 297 Feb  6 14:41 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/PLIST
-rw-r--r-- 1 rbulk robots 550 Feb 12 17:50 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/Makefile
