{"name":"linuxKernel.packages.linux_6_12.tuxedo-drivers","version":"6.12.32-4.13.1","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":"ec62ae342c340d24289735e31eb9155261cd5fe7"},"attr_path":"linuxKernel.packages.linux_6_12.tuxedo-drivers"},"last_updated":"2025-06-05T08:10:37Z","outputs":[{"name":"out","path":"/nix/store/qvahaikc644g5afpyr25spl5nnk7hwq5-tuxedo-drivers-6.12.32-4.13.1","default":true}]}}}