../ ALTERNATIVES,v 22-Apr-2017 18:23 3764 DEINSTALL,v 22-Apr-2017 18:23 4040 DESCR,v 22-Apr-2017 18:23 6007 INSTALL,v 22-Apr-2017 18:23 4656 MESSAGE,v 22-Apr-2017 18:23 6750 Makefile,v 22-Apr-2017 18:23 78908 PLIST,v 22-Apr-2017 18:23 728590 PLIST.common_end,v 02-Jul-2013 00:08 17057 distinfo,v 22-Apr-2017 18:23 111464 hacks.mk,v 22-Apr-2017 18:23 3901 options.mk,v 22-Apr-2017 18:23 12161