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


../
metamath-dbgsym_0.195-1_hurd-amd64.deb                                                                                   25-Jul-2024 00:03    507K
metamath_0.195-1_hurd-amd64.buildinfo                                                                                    25-Jul-2024 00:03    6027
metamath_0.195-1_hurd-amd64.deb                                                                                          25-Jul-2024 00:03    352K