| Parent directory/ | - | - |
| openocd_0.8.0-4+deb7u1.debian.tar.xz | 13.9 KiB | 2018-Jan-21 22:05 |
| openocd_0.8.0-4+deb7u1.dsc | 1.9 KiB | 2018-Jan-21 22:05 |
| openocd_0.8.0-4+deb7u1_amd64.deb | 2.1 MiB | 2018-Jan-21 22:05 |
| openocd_0.8.0.orig.tar.bz2 | 3.6 MiB | 2018-Jan-21 22:05 |
| openocd_0.9.0-1+deb8u1.debian.tar.xz | 15.6 KiB | 2018-Jan-21 14:40 |
| openocd_0.9.0-1+deb8u1.dsc | 2.0 KiB | 2018-Jan-21 14:40 |
| openocd_0.9.0-1+deb8u1_amd64.deb | 2.2 MiB | 2018-Jan-21 14:40 |
| openocd_0.9.0-1+deb8u1_arm64.deb | 2.1 MiB | 2018-Jan-21 15:20 |
| openocd_0.9.0.orig.tar.gz | 4.7 MiB | 2018-Jan-21 14:40 |