Name Last modified Size Description Parent Directory - files/ 21-Dec-2024 19:13 - Manifest 06-Feb-2023 18:40 1.8K metadata.xml 24-Jan-2022 10:40 1.2K minisat-2.2.1-r1.ebuild 06-Feb-2023 18:40 705