Name	Last Modified	Size
Parent Directory
openocd-pico-0.11.0-1.419.x86_64.rpm	30-Jan-2025 00:30	1.5MiB

DB was synched from remote : 2025-01-30 03:40:34.627