Index of /pool/main/f/flocq

	Name	Last modified	Size
	Parent Directory		-
	libcoq-flocq_4.2.2-2_i386.deb	2026-07-28 22:40	3.3M
	libcoq-flocq_4.2.2-2_armhf.deb	2026-07-28 22:30	3.3M
	libcoq-flocq_4.2.2-2_arm64.deb	2026-07-28 22:15	3.3M
	libcoq-flocq_4.2.2-2_amd64.deb	2026-07-28 21:55	3.3M
	libcoq-flocq_4.2.2-2+b1_amd64.deb	2026-07-28 22:35	3.3M
	libcoq-flocq_4.2.2-1_i386.deb	2026-07-12 07:07	3.3M
	libcoq-flocq_4.2.2-1_armhf.deb	2026-07-12 06:52	3.3M
	libcoq-flocq_4.2.2-1_arm64.deb	2026-07-12 06:36	3.3M
	libcoq-flocq_4.2.2-1_amd64.deb	2026-07-11 03:53	3.3M
	libcoq-flocq_4.2.1-1+b5_arm64.deb	2026-06-21 02:50	3.3M
	libcoq-flocq_4.2.1-1+b5_amd64.deb	2026-06-21 02:50	3.3M
	libcoq-flocq_4.2.1-1+b2_arm64.deb	2025-06-15 22:55	3.3M
	libcoq-flocq_4.2.1-1+b2_amd64.deb	2025-06-15 22:49	3.3M
	libcoq-flocq_4.1.0-3+b1_i386.deb	2023-02-13 18:26	3.2M
	libcoq-flocq_4.1.0-3+b1_armhf.deb	2023-02-13 18:42	3.2M
	libcoq-flocq_4.1.0-3+b1_arm64.deb	2023-02-13 18:27	3.2M
	libcoq-flocq_4.1.0-3+b1_amd64.deb	2023-02-13 18:26	3.2M
	flocq_4.2.2.orig.tar.bz2	2026-07-11 03:53	322K
	flocq_4.2.2-2.dsc	2026-07-28 21:55	2.0K
	flocq_4.2.2-2.debian.tar.xz	2026-07-28 21:55	2.0K
	flocq_4.2.2-1.dsc	2026-07-11 03:53	2.0K
	flocq_4.2.2-1.debian.tar.xz	2026-07-11 03:53	2.0K
	flocq_4.2.1.orig.tar.bz2	2025-02-18 05:37	323K
	flocq_4.2.1-1.dsc	2025-02-18 05:37	2.0K
	flocq_4.2.1-1.debian.tar.xz	2025-02-18 05:37	1.9K
	flocq_4.1.0.orig.tar.bz2	2022-06-30 00:40	325K
	flocq_4.1.0-3.dsc	2023-01-25 21:53	2.0K
	flocq_4.1.0-3.debian.tar.xz	2023-01-25 21:53	1.5K