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

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