Index of /debian/pool/main/l/linux-tuxedo
Name Last modified Size Description
Parent Directory -
linux-base-7.2.13+tux.1.1-tuxedo-amd64_7.2.13-1+tux1_amd64.deb 2026-11-02 14:31 459K
linux-binary-unsigned-7.2.13+tux.1.1-tuxedo-amd64_7.2.13-1+tux1_amd64.deb 2026-11-02 14:31 14M
linux-headers-7.2.13+tux.1.1-common-tuxedo_7.2.13-1+tux1_all.deb 2026-11-02 14:31 8.6M
linux-headers-7.2.13+tux.1.1-tuxedo-amd64_7.2.13-1+tux1_amd64.deb 2026-11-02 14:31 1.7M
linux-kbuild-7.2.13+tux.1.1_7.2.13-1+tux1_amd64.deb 2026-11-02 14:31 840K
linux-modules-7.2.13+tux.1.1-tuxedo-amd64_7.2.13-1+tux1_amd64.deb 2026-11-02 14:31 105M
linux-signed-tuxedo-amd64-template_7.2.13-1+tux1_amd64.deb 2026-11-02 14:31 1.0M
linux-tuxedo_7.2.13-1+tux1.debian.tar.xz 2026-11-02 14:31 1.4M
linux-tuxedo_7.2.13-1+tux1.dsc 2026-11-02 14:31 4.9K
linux-tuxedo_7.2.13.orig.tar.xz 2026-11-02 14:31 156M
Apache/2.4.71 (Debian) Server at txos-staging.tuxedocomputers.com Port 80