nix-da/options/default.nix