-rw-r--r-- 1 rbulk robots 191 Aug  7 13:50 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/distinfo
-rw-r--r-- 1 rbulk robots 27 May 12  2022 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/DESCR
-rw-r--r-- 1 rbulk robots 297 Feb  6 14:58 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/PLIST
-rw-r--r-- 1 rbulk robots 550 Feb 12 18:02 /local/robotpkg/var/lib/robotpkg/doc/hpp-doc/Makefile
