Index of /bianbu/pool/universe/f/fricas

	Name	Last modified	Size	Description
	Parent Directory		-
	fricas_1.3.11-2.dsc	2024-07-29 07:59	2.3K
	fricas_1.3.10-1build3.dsc	2024-03-31 14:12	2.4K
	elpa-fricas_1.3.10-1build3_all.deb	2024-08-21 22:32	50K
	elpa-fricas_1.3.11-2_all.deb	2025-05-23 10:16	50K
	fricas-hypertex_1.3.11-2_riscv64.deb	2025-06-12 20:32	105K
	fricas-hypertex_1.3.10-1build3_riscv64.deb	2024-08-21 22:32	107K
	fricas-graphics_1.3.11-2_riscv64.deb	2025-06-12 20:32	137K
	fricas-graphics_1.3.10-1build3_riscv64.deb	2024-08-21 22:32	138K
	fricas-test_1.3.11-2_all.deb	2025-05-23 10:16	157K
	fricas-test_1.3.10-1build3_all.deb	2024-08-21 22:32	160K
	fricas-doc_1.3.10-1build3_all.deb	2024-08-21 22:32	211K
	fricas-doc_1.3.11-2_all.deb	2025-05-23 10:16	211K
	fricas_1.3.10-1build3.debian.tar.xz	2024-03-31 14:12	241K
	fricas_1.3.11-2.debian.tar.xz	2024-07-29 07:59	241K
	fricas-hypertex-data_1.3.11-2_all.deb	2025-05-23 10:16	664K
	fricas-hypertex-data_1.3.10-1build3_all.deb	2024-08-21 22:32	667K
	fricas-databases_1.3.11-2_all.deb	2025-05-23 10:16	1.1M
	fricas-databases_1.3.10-1build3_all.deb	2024-08-21 22:32	1.2M
	fricas-graphics-data_1.3.10-1build3_all.deb	2024-08-21 22:32	1.2M
	fricas-graphics-data_1.3.11-2_all.deb	2025-05-23 10:16	1.2M
	fricas-source_1.3.11-2_all.deb	2025-05-23 10:16	1.3M
	fricas-source_1.3.10-1build3_all.deb	2024-08-21 22:32	1.3M
	fricas_1.3.11.orig.tar.bz2	2024-07-01 07:49	10M
	fricas_1.3.10.orig.tar.bz2	2024-02-15 20:29	10M
	fricas_1.3.11-2_riscv64.deb	2025-06-12 20:32	172M
	fricas_1.3.10-1build3_riscv64.deb	2024-08-21 22:32	206M