-rw-r--r--  1 rbulk  robots  201 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/interfaces/openrobots-idl/distinfo
-rw-r--r--  1 rbulk  robots  44 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/interfaces/openrobots-idl/DESCR
-rw-r--r--  1 rbulk  robots  449 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/interfaces/openrobots-idl/PLIST
-rw-r--r--  1 rbulk  robots  465 May 22  2025 /local/robotpkg/var/lib/robotpkg/interfaces/openrobots-idl/Makefile
-rw-r--r--  1 rbulk  robots  759 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/interfaces/openrobots-idl/depend.mk
