{
  "sources": {
    "filepath": {
      "source": {
        "url": "https://github.com/stefan-hoeck/idris2-filepath",
        "rev": "4f25bf8009cd826d08a55e0e021de83099e107f0",
        "sha256": "sha256-j+ls6ASshVW5eCCDaIaNWlFUkO5DawYWFpvgUxJOF3k="
      },
      "ipkg": "filepath.ipkg",
      "name": "filepath"
    },
    "toml": {
      "source": {
        "url": "https://github.com/cuddlefishie/toml-idr",
        "rev": "b4f5a4bd874fa32f20d02311a62a1910dc48123f",
        "sha256": "sha256-+bqfCE6m0aJ+S65urT+zQLuZUtUkC1qcuSsefML/fAE="
      },
      "ipkg": "toml.ipkg",
      "name": "toml"
    }
  },
  "sorted": [
    "filepath",
    "toml"
  ],
  "idris2": {
    "url": "https://github.com/idris-lang/Idris2",
    "rev": "04c5531d9bf95f2a02cb4d74b6594390d565b6b9",
    "sha256": "sha256-Rv8Gq1+Zhh+/CtL7xtjv+IXkPW+aCg3/hH+Xz+zaWEM="
  }
}