{
  "package": "quint",
  "version": "2.2.2",
  "date": "2022-07-01 21:30:02 UTC",
  "urls": []
}