{
  "package": "CSeqpat",
  "version": "0.1.2",
  "date": "2018-07-27 04:10:03 UTC",
  "urls": []
}