Index of /debian/pool/main/c/coqeal

	Name	Last modified	Size	Description
	Parent Directory		-
	coqeal_2.1.0-1.debian.tar.xz	2025-03-18 07:33	2.4K
	coqeal_2.1.0-1.dsc	2025-03-18 07:33	2.1K
	coqeal_2.1.0.orig.tar.gz	2025-03-18 07:33	221K
	libcoq-coqeal_2.1.0-1_amd64.deb	2025-03-18 14:37	5.3M