Index of /repository/ubuntu22.04.2_LTS/mainrepo-src/mirror/archive.ubuntu.com/ubuntu/pool/universe/f/fricas

	Name	Last modified	Size	Description
	Parent Directory		-
	fricas_1.3.7-5.debia..>	2023-10-23 19:23	97K
	fricas_1.3.7-5.dsc	2023-10-23 19:23	2.3K
	fricas_1.3.7.orig.ta..>	2023-10-23 19:23	10M