Index of /stable/debian-7-official-security/pool/main/o/openocd/

../
openocd_0.5.0-1+deb7u1_amd64.deb                   24-Sep-2019 08:24             2722764
openocd_0.5.0-1+deb7u1_i386.deb                    21-Jan-2020 15:05             2647894