{
    "default-is-invalid": "Currently selected default is invalid",
    "default-not-installed": "Currently selected default of {{0}} is not locally installed (any more).",
    "default-update-available": "You selected default system {{0}} can be updated to {{1}}",
    "delete-error": "Error deleting version {{0}}: {{1}}",
    "no-default-set": "No default system selected",
    "no-such-version": "No such version: {{0}}",
    "please-download-minilinux": "Important files from the mini Linux installation are missing.",
    "version-deleted": "Deleted version {{0}}"
}