{"name":"linuxKernel.packages.linux_6_13_hardened.tbs","version":"20250510-6.13.7","summary":"Linux driver for TBSDTV cards","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"linuxKernel.packages.linux_6_13_hardened.tbs"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/jv9bv4440i4x0ad2h0h3ngzljpvdz141-tbs-20250510-6.13.7","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"linuxKernel.packages.linux_6_13_hardened.tbs"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/3llkkgca9vqh9lfcqkkfk2ki0sss040p-tbs-20250510-6.13.7","default":true}]}}}