Index of /ubuntuarchive/ubuntu/pool/universe/f/fricas

	Name	Last modified	Size	Description
	Parent Directory		-
	elpa-fricas_1.3.7-5_all.deb	27-Jan-2022 22:24	50K
	elpa-fricas_1.3.10-1build3_all.deb	01-Apr-2024 18:43	50K
	elpa-fricas_1.3.11-2_all.deb	29-Jul-2024 03:59	50K
	fricas-databases_1.3.7-5_all.deb	27-Jan-2022 22:24	1.1M
	fricas-databases_1.3.10-1build3_all.deb	01-Apr-2024 18:43	1.2M
	fricas-databases_1.3.11-2_all.deb	29-Jul-2024 03:59	1.1M
	fricas-doc_1.3.7-5_all.deb	27-Jan-2022 22:24	211K
	fricas-doc_1.3.10-1build3_all.deb	01-Apr-2024 18:43	210K
	fricas-doc_1.3.11-2_all.deb	29-Jul-2024 03:59	211K
	fricas-graphics-data_1.3.7-5_all.deb	27-Jan-2022 22:24	1.2M
	fricas-graphics-data_1.3.10-1build3_all.deb	01-Apr-2024 18:43	1.2M
	fricas-graphics-data_1.3.11-2_all.deb	29-Jul-2024 03:59	1.2M
	fricas-graphics_1.3.7-5_amd64.deb	27-Jan-2022 22:24	127K
	fricas-graphics_1.3.10-1build3_amd64.deb	01-Apr-2024 18:43	125K
	fricas-graphics_1.3.11-2_amd64.deb	29-Jul-2024 03:59	127K
	fricas-hypertex-data_1.3.7-5_all.deb	27-Jan-2022 22:24	670K
	fricas-hypertex-data_1.3.10-1build3_all.deb	01-Apr-2024 18:43	666K
	fricas-hypertex-data_1.3.11-2_all.deb	29-Jul-2024 03:59	664K
	fricas-hypertex_1.3.7-5_amd64.deb	27-Jan-2022 22:24	98K
	fricas-hypertex_1.3.10-1build3_amd64.deb	01-Apr-2024 18:43	96K
	fricas-hypertex_1.3.11-2_amd64.deb	29-Jul-2024 03:59	95K
	fricas-source_1.3.7-5_all.deb	27-Jan-2022 22:24	1.3M
	fricas-source_1.3.10-1build3_all.deb	01-Apr-2024 18:43	1.3M
	fricas-source_1.3.11-2_all.deb	29-Jul-2024 03:59	1.3M
	fricas-test_1.3.7-5_all.deb	27-Jan-2022 22:24	283K
	fricas-test_1.3.10-1build3_all.deb	01-Apr-2024 18:43	159K
	fricas-test_1.3.11-2_all.deb	29-Jul-2024 03:59	157K
	fricas_1.3.7-5.debian.tar.xz	27-Jan-2022 21:14	97K
	fricas_1.3.7-5.dsc	27-Jan-2022 21:14	2.3K
	fricas_1.3.7-5_amd64.deb	27-Jan-2022 22:24	60M
	fricas_1.3.7.orig.tar.bz2	02-Jul-2021 03:13	10M
	fricas_1.3.10-1build3.debian.tar.xz	31-Mar-2024 10:12	241K
	fricas_1.3.10-1build3.dsc	31-Mar-2024 10:12	2.4K
	fricas_1.3.10-1build3_amd64.deb	01-Apr-2024 18:43	63M
	fricas_1.3.10.orig.tar.bz2	15-Feb-2024 16:29	10M
	fricas_1.3.11-2.debian.tar.xz	29-Jul-2024 03:59	241K
	fricas_1.3.11-2.dsc	29-Jul-2024 03:59	2.3K
	fricas_1.3.11-2_amd64.deb	29-Jul-2024 03:59	57M
	fricas_1.3.11.orig.tar.bz2	01-Jul-2024 03:49	10M