Index of /debian-ports/pool-x32/main/o/openocd

Icon  Name                                           Last modified      Size  Description
[DIR] Parent Directory                                                    -   
[   ] openocd-dbgsym_0.10.0+g20200530-2~exp1_x32.deb 07-Jun-2020 02:03  4.1M  
[   ] openocd-dbgsym_0.10.0-6+b1_x32.deb             05-Dec-2019 01:04  3.1M  
[   ] openocd_0.10.0+g20200530-2~exp1_x32.buildinfo  07-Jun-2020 02:03  7.3K  
[   ] openocd_0.10.0+g20200530-2~exp1_x32.deb        07-Jun-2020 02:03  2.4M  
[   ] openocd_0.10.0-6+b1_x32.buildinfo              05-Dec-2019 01:04  7.4K  
[   ] openocd_0.10.0-6+b1_x32.deb                    05-Dec-2019 01:04  2.3M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80