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

	Name	Last modified	Size	Description
	Parent Directory		-
	fricas_1.3.8-6_amd64.deb	2025-12-12 13:19	55M
	fricas_1.3.11-3_amd64.deb	2025-12-12 13:19	53M
	fricas-source_1.3.11-3_all.deb	2025-12-12 13:19	1.4M
	fricas-source_1.3.8-6_all.deb	2025-12-12 13:19	1.4M
	fricas-graphics-data_1.3.11-3_all.deb	2025-12-12 13:19	1.3M
	fricas-graphics-data_1.3.8-6_all.deb	2025-12-12 13:19	1.3M
	fricas-databases_1.3.11-3_all.deb	2025-12-12 13:19	1.3M
	fricas-databases_1.3.8-6_all.deb	2025-12-12 13:19	1.3M
	fricas-hypertex-data_1.3.11-3_all.deb	2025-12-12 13:19	723K
	fricas-hypertex-data_1.3.8-6_all.deb	2025-12-12 13:19	688K
	fricas-doc_1.3.11-3_all.deb	2025-09-05 17:43	297K
	fricas-doc_1.3.8-6_all.deb	2025-09-05 19:13	288K
	fricas-test_1.3.8-6_all.deb	2025-12-12 13:19	252K
	fricas-test_1.3.11-3_all.deb	2025-12-12 13:19	246K
	fricas-graphics_1.3.11-3_amd64.deb	2025-12-12 13:19	216K
	fricas-hypertex_1.3.11-3_amd64.deb	2025-12-12 13:19	185K
	elpa-fricas_1.3.11-3_all.deb	2025-12-12 13:19	144K
	elpa-fricas_1.3.8-6_all.deb	2025-12-12 13:19	134K
	fricas-graphics_1.3.8-6_amd64.deb	2025-12-12 13:19	91K
	fricas-hypertex_1.3.8-6_amd64.deb	2025-12-12 13:19	91K