Index of /macports/distfiles/fricas

	Name	Last modified	Size	Description
	Parent Directory		-
	fricas-1.3.4-full.tar.bz2	2018-07-03 22:10	9.9M
	fricas-1.3.5-full.tar.bz2	2019-02-11 23:51	10M
	fricas-1.3.6-full.tar.bz2	2020-03-10 11:26	9.9M