/arm-trusted-firmware-dist.mk/1.1/Tue Jun 30 14:33:14 2020//Tpkgsrc-2024Q1
/arm-trusted-firmware.mk/1.3/Tue Jun  6 12:42:17 2023//Tpkgsrc-2024Q1
/distinfo/1.4/Sat Jan 29 14:04:46 2022//Tpkgsrc-2024Q1
D/patches////