-rw-r--r-- 1 rbulk robots 191 Aug  7 13:51 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/distinfo
-rw-r--r-- 1 rbulk robots 27 Sep  4  2025 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/DESCR
-rw-r--r-- 1 rbulk robots 297 Feb  6 14:59 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/PLIST
-rw-r--r-- 1 rbulk robots 550 Feb 12 18:07 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/Makefile
