Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
fricas-1.3.7.ebuild 2021-06-25 11:09 2.4K
metadata.xml 2021-09-11 15:40 1.0K
Manifest 2022-06-22 17:40 1.8K
fricas-1.3.8.ebuild 2022-06-22 17:40 2.4K
files/ 2022-07-05 11:40 -