Index of /debian/pool/main/f/flocq

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-flocq_4.2.2-2..>	2026-07-28 17:40	3.3M
	libcoq-flocq_4.2.2-2..>	2026-07-28 17:30	3.3M
	libcoq-flocq_4.2.2-2..>	2026-08-26 06:13	3.3M
	libcoq-flocq_4.2.2-2..>	2026-08-26 06:13	3.3M
	libcoq-flocq_4.2.2-2..>	2026-08-26 06:08	3.3M
	libcoq-flocq_4.2.1-1..>	2025-06-15 17:55	3.3M
	libcoq-flocq_4.2.1-1..>	2025-06-15 17:55	3.3M
	libcoq-flocq_4.2.1-1..>	2025-06-15 17:49	3.3M
	libcoq-flocq_4.1.0-3..>	2023-02-13 12:42	3.2M
	libcoq-flocq_4.1.0-3..>	2023-02-13 12:26	3.2M
	libcoq-flocq_4.1.0-3..>	2023-02-13 12:42	3.2M
	libcoq-flocq_4.1.0-3..>	2023-02-13 12:27	3.2M
	libcoq-flocq_4.1.0-3..>	2023-02-13 12:26	3.2M
	flocq_4.2.2.orig.tar..>	2026-07-10 22:53	322K
	flocq_4.2.2-2.dsc	2026-07-28 16:55	2.0K
	flocq_4.2.2-2.debian..>	2026-07-28 16:55	2.0K
	flocq_4.2.1.orig.tar..>	2025-02-17 23:37	323K
	flocq_4.2.1-1.dsc	2025-02-17 23:37	2.0K
	flocq_4.2.1-1.debian..>	2025-02-17 23:37	1.9K
	flocq_4.1.0.orig.tar..>	2022-06-29 19:40	325K
	flocq_4.1.0-3.dsc	2023-01-25 15:53	2.0K
	flocq_4.1.0-3.debian..>	2023-01-25 15:53	1.5K