Index of /debian/pool/main/f/fricas

	Name	Last modified	Size	Description
	Parent Directory		-
	elpa-fricas_1.3.8-6_all.deb	2023-01-14 03:42	134K
	elpa-fricas_1.3.11-2_all.deb	2024-07-28 19:33	144K
	fricas-databases_1.3.8-6_all.deb	2023-01-14 03:42	1.3M
	fricas-databases_1.3.11-2_all.deb	2024-07-28 19:33	1.3M
	fricas-doc_1.3.8-6_all.deb	2023-01-14 03:42	288K
	fricas-doc_1.3.11-2_all.deb	2024-07-28 19:33	297K
	fricas-graphics-data_1.3.8-6_all.deb	2023-01-14 03:42	1.3M
	fricas-graphics-data_1.3.11-2_all.deb	2024-07-28 19:33	1.3M
	fricas-graphics_1.3.8-6_amd64.deb	2023-01-14 03:41	91K
	fricas-graphics_1.3.11-2_amd64.deb	2024-07-28 19:33	216K
	fricas-hypertex-data_1.3.8-6_all.deb	2023-01-14 03:42	688K
	fricas-hypertex-data_1.3.11-2_all.deb	2024-07-28 19:33	723K
	fricas-hypertex_1.3.8-6_amd64.deb	2023-01-14 03:41	91K
	fricas-hypertex_1.3.11-2_amd64.deb	2024-07-28 19:33	185K
	fricas-source_1.3.8-6_all.deb	2023-01-14 03:42	1.4M
	fricas-source_1.3.11-2_all.deb	2024-07-28 19:33	1.4M
	fricas-test_1.3.8-6_all.deb	2023-01-14 03:42	252K
	fricas-test_1.3.11-2_all.deb	2024-07-28 19:33	246K
	fricas_1.3.8-6.debian.tar.xz	2023-01-14 01:19	239K
	fricas_1.3.8-6.dsc	2023-01-14 01:19	2.3K
	fricas_1.3.8-6_amd64.deb	2023-01-14 03:41	55M
	fricas_1.3.8.orig.tar.bz2	2022-07-07 20:49	10M
	fricas_1.3.11-2.debian.tar.xz	2024-07-28 18:32	241K
	fricas_1.3.11-2.dsc	2024-07-28 18:32	2.3K
	fricas_1.3.11-2_amd64.deb	2024-07-28 19:33	51M
	fricas_1.3.11.orig.tar.bz2	2024-06-30 19:38	10M