{
  "2d2024fa581afbb29493d9ef6ac9547d": {
    "meta": {
      "name": "main.shy",
      "text": "src/main.shy",
      "time": "2023-11-25 22:33:27.378",
      "type": "shy"
    }
  },
  "587b333f5a591d4a52845b65296051af": {
    "meta": {
      "name": "wx.shy",
      "text": "usr/icebergs/misc/wx/wx.shy",
      "time": "2023-11-25 12:02:27.353",
      "type": "shy"
    }
  }
}