Index of /raspbian/pool/main/c/coquelicot

	Name	Last modified	Size	Description	Metadata
	Parent Directory		-
	coquelicot_0.9.6-1.1.debian.tar.xz	09-Aug-2018 13:06	34K		Details
	coquelicot_0.9.6-1.1.dsc	09-Aug-2018 13:06	2.3K		Details
	coquelicot_0.9.6-1.1_all.deb	09-Aug-2018 13:59	290K		Details
	coquelicot_0.9.6.orig.tar.gz	20-Dec-2016 14:48	187K		Details
	coquelicot_3.2.0-8.debian.tar.xz	26-Jan-2023 12:44	2.3K		Details
	coquelicot_3.2.0-8.dsc	26-Jan-2023 12:44	2.0K		Details
	coquelicot_3.2.0.orig.tar.gz	09-May-2022 18:11	271K		Details
	coquelicot_3.4.2-1.debian.tar.xz	20-Nov-2024 10:07	2.2K		Details
	coquelicot_3.4.2-1.dsc	20-Nov-2024 10:07	2.0K		Details
	coquelicot_3.4.2.orig.tar.bz2	20-Nov-2024 10:07	225K		Details
	libcoq-coquelicot_3.2.0-8+b3_armhf.deb	22-May-2023 10:08	3.1M		Details