Index of /debian/pool/main/l/linux

 Name                                                              Last modified      Size  Description
 Parent Directory                                                                       -   
 linux-modules-7.2.7.1-tuxedo-amd64_7.2.7-1+tux1_amd64.deb         2026-10-20 15:40   78M  
 linux-kbuild-7.2.7.1_7.2.7-1+tux1_amd64.deb                       2026-10-20 15:40  796K  
 linux-headers-7.2.7.1-tuxedo-amd64_7.2.7-1+tux1_amd64.deb         2026-10-20 15:40  443K  
 linux-headers-7.2.7.1-common-tuxedo_7.2.7-1+tux1_all.deb          2026-10-20 15:40  8.5M  
 linux-binary-unsigned-7.2.7.1-tuxedo-amd64_7.2.7-1+tux1_amd64.deb 2026-10-20 15:40   12M  
 linux-base-7.2.7.1-tuxedo-amd64_7.2.7-1+tux1_amd64.deb            2026-10-20 15:40  416K