/DESCR/1.2/Tue May  6 17:41:41 2003//Tpkgsrc-2024Q1
/Makefile/1.148/Sun Apr  9 07:28:27 2023//Tpkgsrc-2024Q1
/Makefile.common/1.65/Sun Apr  9 07:27:48 2023//Tpkgsrc-2024Q1
/PLIST/1.57/Tue May 24 18:25:38 2022//Tpkgsrc-2024Q1
/buildlink3.mk/1.57/Tue May 24 18:25:38 2022//Tpkgsrc-2024Q1
/distinfo/1.146/Sun Apr  9 07:27:48 2023//Tpkgsrc-2024Q1
/hacks.mk/1.10/Sun Apr  9 07:28:27 2023//Tpkgsrc-2024Q1
/native.mk/1.2/Sun Apr  9 07:28:27 2023//Tpkgsrc-2024Q1
/ocaml.mk/1.2/Sun Apr  9 07:28:27 2023//Tpkgsrc-2024Q1
/options.mk/1.6/Tue May 24 18:25:38 2022//Tpkgsrc-2024Q1
D/files////
D/patches////