{
  "package": "SAutomata",
  "version": "0.1.0",
  "date": "2018-11-02 18:00:03 UTC",
  "urls": []
}