../ DeepPINCS_1.1.6.tgz 02-Aug-2022 11:40 3020452 DeepPINCS_1.2.0.tgz 02-Aug-2022 11:40 3025140 DeepPINCS_1.2.1.tgz 02-Aug-2022 11:40 3022136