Index of /debian-ports/pool-hurd-i386/main/m/metamath/


../
metamath-dbgsym_0.195-1_hurd-i386.deb                                                                                    01-Jan-2021 18:03    396K
metamath_0.195-1_hurd-i386.buildinfo                                                                                     01-Jan-2021 18:03    5957
metamath_0.195-1_hurd-i386.deb                                                                                           01-Jan-2021 18:03    341K