Index of /pub/gnu_linux/ubuntu/pool/universe/m/metamath

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      metamath_0.195-1_amd64.deb             2021-01-01 12:34  336K  
      metamath_0.180-1_amd64.deb             2020-01-02 18:58  327K