Filename size time archive/ daily/ piic-dafs.README 1471 Mon Sep 27 15:41:27 2021 piic.README 2432 Mon Dec 19 14:31:24 2022 piic.pdf 8748190 Tue Jun 3 11:38:00 2025 piic-dafs.pdf 46241884 Tue Jun 3 11:38:00 2025 piic-exe-jun25a.tar.xz 122128708 Tue Jun 3 11:46:35 2025 gildas.README 22175 Wed Nov 5 02:15:17 2025 gildas-src-nov25a.tar.xz 27651168 Wed Nov 5 14:48:56 2025 gildas-doc-nov25a.tar.xz 52516476 Wed Nov 5 14:51:47 2025