Name                           Last modified      Size  
 Parent Directory                                    -   
 metamath_0.195-1.debian.tar.xz 2021-01-01 11:43  1.9K  
 metamath_0.195-1.dsc           2021-01-01 11:43  1.2K  
 metamath_0.195-1_amd64.deb     2021-01-01 12:14  336K  
 metamath_0.195-1_armhf.deb     2021-01-01 12:14  308K  
 metamath_0.195-1_i386.deb      2021-01-01 12:14  341K  
 metamath_0.195.orig.tar.gz     2021-01-01 11:43  456K  
 metamath_0.198-1.debian.tar.xz 2025-12-06 22:30  2.0K  
 metamath_0.198-1.dsc           2025-12-06 22:30  1.2K  
 metamath_0.198-2.debian.tar.xz 2025-12-07 16:55  2.1K  
 metamath_0.198-2.dsc           2025-12-07 16:55  1.2K  
 metamath_0.198-2_amd64.deb     2025-12-07 17:15  349K  
 metamath_0.198-2_armhf.deb     2025-12-07 17:15  318K  
 metamath_0.198-2_i386.deb      2025-12-07 17:15  355K  
 metamath_0.198.orig.tar.gz     2025-12-06 22:30  458K