Index of /pub/linux/ubuntu-ports/pool/universe/m/metamath

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 metamath_0.180-1.debian.tar.xz           2020-01-03 08:13  2.0K  
 metamath_0.180-1.dsc                     2020-01-03 08:13  1.2K  
 metamath_0.180-1_arm64.deb               2020-01-03 08:58  328K  
 metamath_0.180-1_armhf.deb               2020-01-03 08:58  300K  
 metamath_0.180-1_ppc64el.deb             2020-01-03 08:58  372K  
 metamath_0.180-1_riscv64.deb             2020-04-03 19:14  346K  
 metamath_0.180-1_s390x.deb               2020-01-03 08:58  351K  
 metamath_0.180.orig.tar.gz               2020-01-03 08:13  434K  
 metamath_0.195-1.debian.tar.xz           2021-01-02 02:19  1.9K  
 metamath_0.195-1.dsc                     2021-01-02 02:19  1.2K  
 metamath_0.195-1_arm64.deb               2021-01-02 02:35  332K  
 metamath_0.195-1_armhf.deb               2021-01-02 02:35  308K  
 metamath_0.195-1_ppc64el.deb             2021-01-02 02:35  380K  
 metamath_0.195-1_riscv64.deb             2021-01-02 02:49  355K  
 metamath_0.195-1_s390x.deb               2021-01-02 02:19  361K  
 metamath_0.195.orig.tar.gz               2021-01-02 02:19  456K