)]}'
{
  "id": "b5709d18bcb74f3f69247de228d11d6163f45f1c",
  "repo": "mirrors/flutter",
  "revision": "2f6c37672cb2eefba8cdd0feb2cdee3e4464d0db",
  "path": "examples/widgets/date_picker.dart"
}