D/files////
D/patches////
/DESCR/1.2/Tue May  6 17:41:41 2003//
/PLIST/1.57/Wed May 25 01:00:39 2022//
/buildlink3.mk/1.57/Wed May 25 01:00:39 2022//
/options.mk/1.6/Wed May 25 01:00:39 2022//
/Makefile/1.148/Mon Apr 10 01:00:48 2023//
/Makefile.common/1.65/Mon Apr 10 01:00:48 2023//
/distinfo/1.146/Mon Apr 10 01:00:48 2023//
/hacks.mk/1.10/Mon Apr 10 01:00:48 2023//
/native.mk/1.2/Mon Apr 10 01:00:48 2023//
/ocaml.mk/1.2/Mon Apr 10 01:00:48 2023//