Name	Last Modified	Size
Parent Directory
openocd-pico-data-0.11.0-1.87.noarch.rpm	08-Jul-2023 13:45	305KiB

DB was synched from remote : 2023-07-11 07:28:16.072