Index of /dev/pool/main/o/openocd/

../
openocd_0.12.0-1.debian.tar.xz                     16-Jan-2023 18:28               14448
openocd_0.12.0-1.dsc                               16-Jan-2023 18:28                2377
openocd_0.12.0-1_amd64.deb                         16-Jan-2023 20:30             3512160
openocd_0.12.0.orig.tar.bz2                        16-Jan-2023 18:28             6790673
openocd_0.12.0.orig.tar.bz2.asc                    16-Jan-2023 18:28                 195