import 'package:json_annotation/json_annotation.dart'; part 'patch.g.dart'; @JsonSerializable() class Patch { Patch({ required this.name, required this.description, required this.excluded, required this.compatiblePackages, required this.options, }); factory Patch.fromJson(Map json) { // See: https://github.com/ReVanced/revanced-manager/issues/1364#issuecomment-1760414618 if (json['options'] == null) { json['options'] = []; } return _$PatchFromJson(json); } final String name; final String? description; final bool excluded; final List compatiblePackages; final List