{"name":"linuxKernel.packages.linux_6_1_hardened.tuxedo-drivers","version":"6.1.139-4.13.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":"bdac72d387dca7f836f6ef1fe547755fb0e9df61"},"attr_path":"linuxKernel.packages.linux_6_1_hardened.tuxedo-drivers"},"last_updated":"2025-05-25T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/d1wkj9rc0vqs7pq4gf770rivsfzv14gz-tuxedo-drivers-6.1.139-4.13.0","default":true}]}}}