Index of /gentoo/sci-mathematics/alt-ergo/

../
files/                                             20-Oct-2025 09:21                   -
Manifest                                           25-Sep-2025 06:10                1220
alt-ergo-2.4.3-r3.ebuild                           25-Sep-2025 06:10                1349
metadata.xml                                       27-Dec-2021 20:40                 957