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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 metamath_0.180-1.deb..> 02-Jan-2020 23:13  2.0K  
 metamath_0.180-1.dsc    02-Jan-2020 23:13  1.2K  
 metamath_0.180-1_amd..> 02-Jan-2020 23:58  327K  
 metamath_0.180.orig...> 02-Jan-2020 23:13  434K  
 metamath_0.195-1.deb..> 01-Jan-2021 17:19  1.9K  
 metamath_0.195-1.dsc    01-Jan-2021 17:19  1.2K  
 metamath_0.195-1_amd..> 01-Jan-2021 17:34  336K  
 metamath_0.195.orig...> 01-Jan-2021 17:19  456K