Apache/2.4 Server at ftp.rrze.uni-erlangen.de Port 80Name Last modified Size Description
Parent Directory -
Manifest 2019-02-04 14:39 1.8K
files/ 2019-02-20 16:09 -
fricas-1.3.4.ebuild 2018-06-28 12:39 2.3K
fricas-1.3.5.ebuild 2019-02-04 14:39 2.3K
metadata.xml 2016-01-25 00:06 1.1K