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

../
metamath-dbgsym_0.195-1_hppa.deb                                                                                         01-Jan-2021 12:03    473K
metamath_0.195-1_hppa.buildinfo                                                                                          01-Jan-2021 12:03    5671
metamath_0.195-1_hppa.deb                                                                                                01-Jan-2021 12:03    343K