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) { _migrateV16ToV17(json); return _$PatchFromJson(json); } static void _migrateV16ToV17(Map json) { if (json['options'] == null) { json['options'] = []; } } final String name; final String? description; final bool excluded; final List compatiblePackages; final List