Name	Last Modified	Size
Parent Directory
idris2-0.7.0.git.20231222.2778007-14.11.x86_64.rpm	02-Sep-2024 18:12	48MiB

DB was synched from remote : 2024-09-20 13:45:34.995