-rw-r--r-- 1 rbulk robots 191 Aug  7 14:05 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/distinfo
-rw-r--r-- 1 rbulk robots 27 Apr 23  2025 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/DESCR
-rw-r--r-- 1 rbulk robots 297 Feb  6 15:04 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/PLIST
-rw-r--r-- 1 rbulk robots 550 Feb 12 17:54 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/Makefile
