Index of /pub/debian/pool/main/o/openocd

	Name	Last modified	Size	Description
	Parent Directory		-
	openocd_0.9.0-1+deb8u1_amd64.deb	2018-01-21 16:40	2.2M
	openocd_0.9.0-1+deb8u1_arm64.deb	2018-01-21 17:20	2.0M
	openocd_0.9.0-1+deb8u1_i386.deb	2018-01-21 17:20	2.2M
	openocd_0.9.0-1+deb8u1_s390x.deb	2018-01-21 17:20	2.1M
	openocd_0.10.0-4~bpo9+1_amd64.deb	2018-01-25 06:02	2.3M
	openocd_0.10.0-4~bpo9+1_arm64.deb	2018-02-02 23:30	2.2M
	openocd_0.10.0-4~bpo9+1_i386.deb	2018-02-02 23:30	2.4M
	openocd_0.10.0-4~bpo9+1_s390x.deb	2018-02-02 23:30	2.3M
	openocd_0.10.0-5_amd64.deb	2019-02-08 17:41	2.3M
	openocd_0.10.0-5_arm64.deb	2019-02-08 18:43	2.3M
	openocd_0.10.0-5_i386.deb	2019-02-08 18:59	2.4M
	openocd_0.10.0-5_s390x.deb	2019-02-08 18:38	2.3M
	openocd_0.11.0~rc2-1_amd64.deb	2021-02-03 15:27	3.1M
	openocd_0.11.0~rc2-1_arm64.deb	2021-02-03 15:27	3.0M
	openocd_0.11.0~rc2-1_i386.deb	2021-02-03 15:17	3.1M
	openocd_0.11.0~rc2-1_s390x.deb	2021-02-03 15:17	3.0M
	openocd_0.12.0-1_amd64.deb	2023-01-16 22:30	3.3M
	openocd_0.12.0-1_arm64.deb	2023-01-16 20:58	3.3M
	openocd_0.12.0-1_i386.deb	2023-01-16 23:10	3.4M
	openocd_0.12.0-1_s390x.deb	2023-01-16 20:58	3.2M