Index of /gentoo-portage/media-libs/ptex/


../
files/                                             02-Dec-2020 09:09                   -
Manifest                                           14-Sep-2020 19:39                1204
metadata.xml                                       14-Sep-2020 19:39                 442
ptex-2.3.2.ebuild                                  31-Dec-2019 19:09                 773