/arm-trusted-firmware-dist.mk/1.1/Tue Jun 30 14:33:14 2020//Tpkgsrc-2020Q3
/arm-trusted-firmware.mk/1.1/Tue Jun 30 14:33:14 2020//Tpkgsrc-2020Q3
/distinfo/1.1/Tue Jun 30 14:33:14 2020//Tpkgsrc-2020Q3
D/patches////
