Name Last modified Size Description Parent Directory - Manifest 2022-06-23 01:40 1.8K files/ 2023-02-04 00:40 - fricas-1.3.7.ebuild 2021-06-25 19:09 2.4K fricas-1.3.8.ebuild 2022-06-23 01:40 2.4K metadata.xml 2021-09-11 23:40 1.0K