Index of /raspbian/pool/main/c/coq-gappa

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-gappa_1.5.2-2.debian.tar.xz	2022-07-19 02:00	1.6K
	coq-gappa_1.5.2-2.dsc	2022-07-19 02:00	2.0K
	coq-gappa_1.5.2-4.debian.tar.xz	2022-09-06 04:09	1.9K
	coq-gappa_1.5.2-4.dsc	2022-09-06 04:09	2.0K
	coq-gappa_1.5.2-5.debian.tar.xz	2023-01-26 06:44	2.0K
	coq-gappa_1.5.2-5.dsc	2023-01-26 06:44	2.0K
	coq-gappa_1.5.2.orig.tar.bz2	2022-07-19 02:00	72K
	coq-gappa_1.5.3-1.debian.tar.xz	2023-06-13 00:20	2.0K
	coq-gappa_1.5.3-1.dsc	2023-06-13 00:20	2.0K
	coq-gappa_1.5.3.orig.tar.bz2	2023-06-13 00:20	72K
	coq-gappa_1.5.4-1.debian.tar.xz	2023-12-22 05:07	2.1K
	coq-gappa_1.5.4-1.dsc	2023-12-22 05:07	2.0K
	coq-gappa_1.5.4.orig.tar.bz2	2023-12-22 05:07	72K
	coq-gappa_1.5.5-1.debian.tar.xz	2024-04-26 09:01	2.2K
	coq-gappa_1.5.5-1.dsc	2024-04-26 09:01	2.0K
	coq-gappa_1.5.5-2.debian.tar.xz	2024-08-04 00:19	2.3K
	coq-gappa_1.5.5-2.dsc	2024-08-04 00:19	1.8K
	coq-gappa_1.5.5.orig.tar.bz2	2024-04-26 09:01	72K
	coq-gappa_1.7.0-1.debian.tar.xz	2025-02-20 09:41	2.2K
	coq-gappa_1.7.0-1.dsc	2025-02-20 09:41	2.0K
	coq-gappa_1.7.0.orig.tar.bz2	2025-02-20 09:41	75K
	coq-gappa_1.11.0-1.debian.tar.xz	2026-08-03 18:54	3.6K
	coq-gappa_1.11.0-1.dsc	2026-08-03 18:54	2.1K
	coq-gappa_1.11.0.orig.tar.gz	2026-08-03 18:54	91K
	libcoq-gappa_1.5.2-2_armhf.deb	2022-08-10 11:08	502K
	libcoq-gappa_1.5.2-4+b1_armhf.deb	2022-12-02 22:08	501K
	libcoq-gappa_1.5.2-4_armhf.deb	2022-09-17 23:08	501K
	libcoq-gappa_1.5.2-5+b1_armhf.deb	2023-02-04 12:25	501K
	libcoq-gappa_1.5.2-5+b3_armhf.deb	2023-05-22 05:08	501K
	libcoq-gappa_1.5.2-5_armhf.deb	2023-02-01 16:08	501K
	libcoq-gappa_1.5.3-1+b1_armhf.deb	2023-10-20 18:59	501K
	libcoq-gappa_1.5.3-1_armhf.deb	2023-09-14 13:35	501K
	libcoq-gappa_1.5.4-1+b1_armhf.deb	2024-01-24 10:08	482K
	libcoq-gappa_1.5.4-1+b2_armhf.deb	2024-06-18 17:08	482K
	libcoq-gappa_1.5.5-1+b1_armhf.deb	2024-06-24 20:11	502K
	libcoq-gappa_1.5.5-1_armhf.deb	2024-06-24 05:08	482K
	libcoq-gappa_1.5.5-2_armhf.deb	2024-09-04 22:56	502K