Index of /archive.raspberrypi.org/debian/pool/main/o/openocd/

../
openocd-dbgsym_0.12.0-1+rpt1_amd64.deb             17-Feb-2023 13:24             3791092
openocd-dbgsym_0.12.0-1+rpt1_armhf.deb             17-Feb-2023 13:24             3637196
openocd_0.12.0-1+rpt1_amd64.deb                    17-Feb-2023 13:24             3505348
openocd_0.12.0-1+rpt1_armhf.deb                    17-Feb-2023 13:24             3251824