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


../
metamath-dbgsym_0.195-1_alpha.deb                                                                                        01-Jan-2021 12:03    467K
metamath_0.195-1_alpha.buildinfo                                                                                         01-Jan-2021 12:03    5619
metamath_0.195-1_alpha.deb                                                                                               01-Jan-2021 12:03    389K