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

	Name	Last modified	Size
	Parent Directory		-
	elpa-fricas_1.3.7-5_all.deb	27-Jan-2022 11:24	50K
	elpa-fricas_1.3.8-6_all.deb	14-Jan-2023 02:29	49K
	elpa-fricas_1.3.8-8_all.deb	13-Jun-2023 18:04	49K
	elpa-fricas_1.3.10-1build3_all.deb	01-Apr-2024 08:43	50K
	fricas-databases_1.3.7-5_all.deb	27-Jan-2022 11:24	1.1M
	fricas-databases_1.3.8-6_all.deb	14-Jan-2023 02:29	1.1M
	fricas-databases_1.3.8-8_all.deb	13-Jun-2023 18:04	1.1M
	fricas-databases_1.3.10-1build3_all.deb	01-Apr-2024 08:43	1.2M
	fricas-doc_1.3.7-5_all.deb	27-Jan-2022 11:24	211K
	fricas-doc_1.3.8-6_all.deb	14-Jan-2023 02:29	210K
	fricas-doc_1.3.8-8_all.deb	13-Jun-2023 18:04	210K
	fricas-doc_1.3.10-1build3_all.deb	01-Apr-2024 08:43	210K
	fricas-graphics-data_1.3.7-5_all.deb	27-Jan-2022 11:24	1.2M
	fricas-graphics-data_1.3.8-6_all.deb	14-Jan-2023 02:29	1.2M
	fricas-graphics-data_1.3.8-8_all.deb	13-Jun-2023 18:04	1.2M
	fricas-graphics-data_1.3.10-1build3_all.deb	01-Apr-2024 08:43	1.2M
	fricas-graphics_1.3.7-5_amd64.deb	27-Jan-2022 11:24	127K
	fricas-graphics_1.3.8-6_amd64.deb	14-Jan-2023 02:29	3.4K
	fricas-graphics_1.3.8-8_amd64.deb	13-Jun-2023 18:04	127K
	fricas-graphics_1.3.10-1build3_amd64.deb	01-Apr-2024 08:43	125K
	fricas-hypertex-data_1.3.7-5_all.deb	27-Jan-2022 11:24	670K
	fricas-hypertex-data_1.3.8-6_all.deb	14-Jan-2023 02:29	637K
	fricas-hypertex-data_1.3.8-8_all.deb	13-Jun-2023 18:04	665K
	fricas-hypertex-data_1.3.10-1build3_all.deb	01-Apr-2024 08:43	666K
	fricas-hypertex_1.3.7-5_amd64.deb	27-Jan-2022 11:24	98K
	fricas-hypertex_1.3.8-6_amd64.deb	14-Jan-2023 02:29	3.4K
	fricas-hypertex_1.3.8-8_amd64.deb	13-Jun-2023 18:04	96K
	fricas-hypertex_1.3.10-1build3_amd64.deb	01-Apr-2024 08:43	96K
	fricas-source_1.3.7-5_all.deb	27-Jan-2022 11:24	1.3M
	fricas-source_1.3.8-6_all.deb	14-Jan-2023 02:29	1.3M
	fricas-source_1.3.8-8_all.deb	13-Jun-2023 18:04	1.3M
	fricas-source_1.3.10-1build3_all.deb	01-Apr-2024 08:43	1.3M
	fricas-test_1.3.7-5_all.deb	27-Jan-2022 11:24	283K
	fricas-test_1.3.8-6_all.deb	14-Jan-2023 02:29	171K
	fricas-test_1.3.8-8_all.deb	13-Jun-2023 18:04	171K
	fricas-test_1.3.10-1build3_all.deb	01-Apr-2024 08:43	159K
	fricas_1.3.7-5.debian.tar.xz	27-Jan-2022 10:14	97K
	fricas_1.3.7-5.dsc	27-Jan-2022 10:14	2.3K
	fricas_1.3.7-5_amd64.deb	27-Jan-2022 11:24	60M
	fricas_1.3.7.orig.tar.bz2	01-Jul-2021 17:13	10M
	fricas_1.3.8-6.debian.tar.xz	13-Jan-2023 22:34	239K
	fricas_1.3.8-6.dsc	13-Jan-2023 22:34	2.3K
	fricas_1.3.8-6_amd64.deb	14-Jan-2023 02:29	62M
	fricas_1.3.8-8.debian.tar.xz	13-Jun-2023 17:35	240K
	fricas_1.3.8-8.dsc	13-Jun-2023 17:35	2.3K
	fricas_1.3.8-8_amd64.deb	13-Jun-2023 18:04	62M
	fricas_1.3.8.orig.tar.bz2	07-Jul-2022 17:24	10M
	fricas_1.3.10-1build3.debian.tar.xz	31-Mar-2024 00:12	241K
	fricas_1.3.10-1build3.dsc	31-Mar-2024 00:12	2.4K
	fricas_1.3.10-1build3_amd64.deb	01-Apr-2024 08:43	63M
	fricas_1.3.10.orig.tar.bz2	15-Feb-2024 05:29	10M