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


../
Manifest                                           27-May-2020 06:09                1520
alt-ergo-1.30.ebuild                               12-Sep-2019 06:39                 705
alt-ergo-2.3.0.ebuild                              27-May-2020 06:09                1206
metadata.xml                                       14-Oct-2017 06:58                 670