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

Name	Size	Date
📁 ../	-	-
📄 openocd-dbgsym_0.12.0-4_x32.deb	3774896 bytes	2026-09-02 00:03:12
📄 openocd_0.12.0-4_x32.buildinfo	8243 bytes	2026-09-02 00:03:12
📄 openocd_0.12.0-4_x32.deb	3481824 bytes	2026-09-02 00:03:12