Index of /fricas

	Name	Last modified	Size
	Parent Directory		-
	fricas-1.3.4-full.tar.bz2	2018-07-03 23:10	9.9M
	fricas-1.3.5-full.tar.bz2	2019-02-12 00:51	10M
	fricas-1.3.6-full.tar.bz2	2020-03-10 12:26	9.9M
	fricas-1.3.8-full.tar.bz2	2022-10-09 19:15	10M