Name	Last Modified	Size
Parent Directory
idris2-0.7.0.git.20231222.2778007-14.7.x86_64.rpm	05-Jun-2024 01:15	45MiB

DB was synched from remote : 2024-07-18 15:43:24.456