Name                          Last modified      Size  
 Parent Directory                                   -   
 texlab_5.25.1-1.dsc           2025-12-31 19:39  3.3K  
 texlab_5.25.1-1.debian.tar.xz 2025-12-31 19:39  4.7K  
 texlab_5.25.1.orig.tar.gz     2025-12-31 19:39  7.2M  
 texlab_5.25.1-1_armhf.deb     2025-12-31 20:10  8.4M  
 texlab_5.25.1-1_amd64.deb     2025-12-31 20:10  8.7M  
 texlab_5.25.1-1_i386.deb      2025-12-31 20:10  8.8M