Index of /debian-ports/pool-x32/main/o/openocd/
Name
Size
Date
📁 ../
-
-
📄 openocd-dbgsym_0.12.0-3+b2_x32.deb
3740380 bytes
2024-12-30 00:03:30
📄 openocd_0.12.0-3+b2_x32.buildinfo
8505 bytes
2024-12-30 00:03:30
📄 openocd_0.12.0-3+b2_x32.deb
3428768 bytes
2024-12-30 00:03:30