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

	Name	Last modified	Size	Description
	Parent Directory		-
	fricas-hypertex_1.3.8-6_amd64.deb	2023-01-14 08:11	91K
	fricas-graphics_1.3.8-6_amd64.deb	2023-01-14 08:11	91K
	elpa-fricas_1.3.6-6_all.deb	2021-04-24 20:02	129K
	elpa-fricas_1.3.8-6_all.deb	2023-01-14 08:12	134K
	fricas-hypertex_1.3.6-6_amd64.deb	2021-04-24 20:13	172K
	fricas-graphics_1.3.6-6_amd64.deb	2021-04-24 20:13	200K
	fricas-test_1.3.8-6_all.deb	2023-01-14 08:12	252K
	fricas-doc_1.3.6-6_all.deb	2021-04-24 20:02	285K
	fricas-doc_1.3.8-6_all.deb	2023-01-14 08:12	288K
	fricas-test_1.3.6-6_all.deb	2021-04-24 20:02	353K
	fricas-hypertex-data_1.3.8-6_all.deb	2023-01-14 08:12	688K
	fricas-hypertex-data_1.3.6-6_all.deb	2021-04-24 20:02	725K
	fricas-databases_1.3.6-6_all.deb	2021-04-24 20:02	1.2M
	fricas-graphics-data_1.3.6-6_all.deb	2021-04-24 20:02	1.2M
	fricas-databases_1.3.8-6_all.deb	2023-01-14 08:12	1.3M
	fricas-graphics-data_1.3.8-6_all.deb	2023-01-14 08:12	1.3M
	fricas-source_1.3.6-6_all.deb	2021-04-24 20:02	1.3M
	fricas-source_1.3.8-6_all.deb	2023-01-14 08:12	1.4M
	fricas_1.3.6-6_amd64.deb	2021-04-24 20:13	52M
	fricas_1.3.8-6_amd64.deb	2023-01-14 08:11	55M