Index of /debian/pool/main/c/coq-reglang

	Name	Last modified	Size
	Parent Directory		-
	libcoq-reglang_1.1.3-2+b1_amd64.deb	2023-02-13 08:28	708K
	libcoq-reglang_1.1.3-2+b1_arm64.deb	2023-02-13 08:28	707K
	libcoq-reglang_1.1.3-2+b1_i386.deb	2023-02-13 08:39	707K
	libcoq-reglang_1.1.3-2+b1_ppc64el.deb	2023-02-14 00:55	707K
	libcoq-reglang_1.2.1-4+b13_arm64.deb	2025-06-15 09:38	855K
	libcoq-reglang_1.2.1-4+b13_ppc64el.deb	2025-06-15 10:44	855K
	libcoq-reglang_1.2.1-4+b13_riscv64.deb	2025-06-17 23:40	855K
	libcoq-reglang_1.2.1-4+b14_amd64.deb	2025-06-15 06:21	855K
	libcoq-reglang_1.2.1-4+b21_ppc64el.deb	2025-12-28 07:37	855K
	libcoq-reglang_1.2.1-4+b21_riscv64.deb	2025-12-29 02:07	855K
	libcoq-reglang_1.2.1-4+b23_arm64.deb	2026-02-13 20:47	855K
	libcoq-reglang_1.2.1-4+b24_amd64.deb	2026-02-13 23:22	855K
	libcoq-reglang_1.2.2-2_arm64.deb	2026-02-11 13:07	939K
	libcoq-reglang_1.2.2-2_ppc64el.deb	2026-02-15 14:25	939K
	libcoq-reglang_1.2.2-3_amd64.deb	2026-07-20 22:17	866K
	libcoq-reglang_1.2.2-4_amd64.deb	2026-07-29 10:16	866K
	libcoq-reglang_1.2.2-4_arm64.deb	2026-07-29 10:31	866K
	libcoq-reglang_1.2.2-4_ppc64el.deb	2026-07-29 10:31	866K