Name Last modified Size Parent Directory - files/ 2024-08-09 12:40 - fricas-1.3.11-r2.ebuild 2024-07-01 03:11 2.3K fricas-1.3.10.ebuild 2024-05-01 03:41 1.9K Manifest 2024-07-01 03:11 1.8K metadata.xml 2023-09-15 00:41 1.1K