Index of /gentoo/sci-mathematics/otter

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] files/                  03-Feb-2025 01:41    -   
[TXT] otter-3.3-r4.ebuild     09-Jun-2023 17:40  1.0K  
[   ] Manifest                09-Jun-2023 17:40  1.8K  
[   ] metadata.xml            11-Sep-2021 15:40  254