{"name":"linuxKernel.packages.linux_6_13_hardened.tuxedo-drivers","version":"6.13.12-4.14.0","summary":"Keyboard and hardware I/O driver for TUXEDO Computers laptops","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a48741b083d4f36dd79abd9f760c84da6b4dc0e5"},"attr_path":"linuxKernel.packages.linux_6_13_hardened.tuxedo-drivers"},"last_updated":"2025-06-29T07:09:35Z","outputs":[{"name":"out","path":"/nix/store/j76yjgxip0riic0libvjgc5bdk022zv1-tuxedo-drivers-6.13.12-4.14.0","default":true}]}}}