Index of /ubuntu/archive/pool/universe/m/metamath

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 metamath_0.180-1.debian.tar.xz   2020-01-03 02:43  2.0K  
 metamath_0.180-1.dsc             2020-01-03 02:43  1.2K  
 metamath_0.180-1_amd64.deb       2020-01-03 03:28  327K  
 metamath_0.180.orig.tar.gz       2020-01-03 02:43  434K  
 metamath_0.195-1.debian.tar.xz   2021-01-01 20:49  1.9K  
 metamath_0.195-1.dsc             2021-01-01 20:49  1.2K  
 metamath_0.195-1_amd64.deb       2021-01-01 21:04  336K  
 metamath_0.195.orig.tar.gz       2021-01-01 20:49  456K  
 metamath_0.198-2.debian.tar.xz   2025-12-08 03:48  2.1K  
 metamath_0.198-2.dsc             2025-12-08 03:48  1.2K  
 metamath_0.198-2_amd64.deb       2025-12-08 03:48  405K  
 metamath_0.198-2_amd64v3.deb     2025-12-08 03:48  432K  
 metamath_0.198.orig.tar.gz       2025-12-07 09:04  458K