Index of /Linux/dist/gentoo-portage/dev-ada/AdaSAT

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]AdaSAT-24.0.0.ebuild2024-03-15 22:11 1.3K 
[ ]Manifest2024-03-15 22:11 906  
[ ]metadata.xml2024-03-15 12:10 680  
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443