Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
metadata.xml 2021-09-11 15:40 1.0K
Manifest 2023-03-27 12:40 1.5K
fricas-1.3.8-r1.ebuild 2023-03-27 12:40 2.4K
files/ 2023-06-06 22:10 -