Index of /pool/main/f/flocq

	Name	Last modified	Size	Description
	Parent Directory		-
	flocq_4.1.1-1.debian.tar.xz	2023-06-12 20:34	1.6K
	flocq_4.1.1-1.dsc	2023-06-12 20:34	2.0K
	flocq_4.1.1.orig.tar.bz2	2023-06-12 20:34	325K
	libcoq-flocq_4.1.0-2+b1_amd64.deb	2022-09-07 07:11	3.2M
	libcoq-flocq_4.1.0-2+b1_arm64.deb	2022-09-07 07:26	3.2M
	libcoq-flocq_4.1.0-2+b1_armhf.deb	2022-09-07 07:11	3.2M
	libcoq-flocq_4.1.0-2+b1_i386.deb	2022-09-07 07:06	3.2M
	libcoq-flocq_4.1.0-2+b2_amd64.deb	2022-11-29 23:59	3.2M
	libcoq-flocq_4.1.0-2+b2_arm64.deb	2022-11-30 00:14	3.2M
	libcoq-flocq_4.1.0-2+b2_armhf.deb	2022-11-29 23:59	3.2M
	libcoq-flocq_4.1.0-2+b2_i386.deb	2022-11-29 23:38	3.2M
	libcoq-flocq_4.1.0-3+b1_amd64.deb	2023-02-13 05:26	3.2M
	libcoq-flocq_4.1.0-3+b1_arm64.deb	2023-02-13 05:27	3.2M
	libcoq-flocq_4.1.0-3+b1_armhf.deb	2023-02-13 05:42	3.2M
	libcoq-flocq_4.1.0-3+b1_i386.deb	2023-02-13 05:26	3.2M
	libcoq-flocq_4.1.1-1+b1_amd64.deb	2023-07-23 05:28	3.1M
	libcoq-flocq_4.1.1-1+b1_arm64.deb	2023-06-16 15:26	3.1M
	libcoq-flocq_4.1.1-1+b1_armhf.deb	2023-07-23 05:13	3.1M
	libcoq-flocq_4.1.1-1+b1_i386.deb	2023-07-23 05:43	3.1M
	libcoq-flocq_4.1.1-1+b2_amd64.deb	2023-09-22 12:58	3.1M
	libcoq-flocq_4.1.1-1+b2_arm64.deb	2023-07-23 05:28	3.1M
	libcoq-flocq_4.1.1-1+b2_armhf.deb	2023-09-22 12:57	3.1M
	libcoq-flocq_4.1.1-1+b2_i386.deb	2023-09-22 12:57	3.1M
	libcoq-flocq_4.1.1-1+b3_arm64.deb	2023-09-22 13:13	3.1M