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

	Name	Last modified	Size	Description
	Parent Directory		-
	fricas_1.3.11-3_riscv64.deb	2025-07-30 23:58	107M
	fricas_1.3.11-3_armhf.deb	2025-08-02 16:01	50M
	fricas_1.3.11-3_arm64.deb	2025-07-30 21:20	51M
	fricas_1.3.11-3_amd64.deb	2025-07-30 21:20	53M
	fricas_1.3.8-6_armhf.deb	2025-08-02 16:01	52M
	fricas_1.3.8-6_arm64.deb	2025-07-30 21:20	52M
	fricas_1.3.8-6_amd64.deb	2025-07-30 21:20	55M
	fricas-test_1.3.11-3_all.deb	2025-07-30 21:20	246K
	fricas-test_1.3.8-6_all.deb	2025-07-30 21:20	252K
	fricas-source_1.3.11-3_all.deb	2025-07-30 21:20	1.4M
	fricas-source_1.3.8-6_all.deb	2025-07-30 21:20	1.4M
	fricas-hypertex_1.3.11-3_riscv64.deb	2025-07-30 23:57	189K
	fricas-hypertex_1.3.11-3_armhf.deb	2025-08-02 16:01	174K
	fricas-hypertex_1.3.11-3_arm64.deb	2025-07-30 21:20	179K
	fricas-hypertex_1.3.11-3_amd64.deb	2025-07-30 21:20	185K
	fricas-hypertex_1.3.8-6_armhf.deb	2025-08-02 16:01	91K
	fricas-hypertex_1.3.8-6_arm64.deb	2025-07-30 21:20	91K
	fricas-hypertex_1.3.8-6_amd64.deb	2025-07-30 21:20	91K
	fricas-hypertex-data_1.3.11-3_all.deb	2025-07-30 21:20	723K
	fricas-hypertex-data_1.3.8-6_all.deb	2025-07-30 21:20	688K
	fricas-graphics_1.3.11-3_riscv64.deb	2025-07-30 23:57	220K
	fricas-graphics_1.3.11-3_armhf.deb	2025-08-02 16:01	200K
	fricas-graphics_1.3.11-3_arm64.deb	2025-07-30 21:20	204K
	fricas-graphics_1.3.11-3_amd64.deb	2025-07-30 21:20	216K
	fricas-graphics_1.3.8-6_armhf.deb	2025-08-02 16:01	91K
	fricas-graphics_1.3.8-6_arm64.deb	2025-07-30 21:20	91K
	fricas-graphics_1.3.8-6_amd64.deb	2025-07-30 21:20	91K
	fricas-graphics-data_1.3.11-3_all.deb	2025-07-30 21:20	1.3M
	fricas-graphics-data_1.3.8-6_all.deb	2025-07-30 21:20	1.3M
	fricas-doc_1.3.11-3_all.deb	2025-07-30 21:20	297K
	fricas-doc_1.3.8-6_all.deb	2025-07-30 21:20	288K
	fricas-databases_1.3.11-3_all.deb	2025-07-30 21:20	1.3M
	fricas-databases_1.3.8-6_all.deb	2025-07-30 21:20	1.3M
	elpa-fricas_1.3.11-3_all.deb	2025-07-30 21:20	144K
	elpa-fricas_1.3.8-6_all.deb	2025-07-30 21:20	134K