/misc/rump/ trunk
drwxr-xr-x [up]
-rw-r--r-- 2018-07-11 06:39 +0000 575 DESCR
-rw-r--r-- 2018-07-11 06:39 +0000 841 Makefile
-rw-r--r-- 2018-07-11 06:39 +0000 315 PLIST.Linux
-rw-r--r-- 2018-07-11 06:39 +0000 222 PLIST.SunOS
-rw-r--r-- 2018-07-11 06:39 +0000 9743 PLIST.common
-rw-r--r-- 2018-07-11 06:39 +0000 284 buildlink3.mk
-rw-r--r-- 2018-07-11 06:39 +0000 426 distinfo