Index of /debian-ports/pool-alpha/main/m/metamath

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]metamath_0.198-2_alpha.buildinfo2025-12-08 01:03 5.4K 
[ ]metamath_0.198-2_alpha.deb2025-12-08 01:03 379K 
[ ]metamath-dbgsym_0.198-2_alpha.deb2025-12-08 01:03 487K 
Apache/2.4.65 (Debian) Server at 193.48.57.38 Port 80