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