{
  "title": "Idris REPL",
  "origin_url": "https://github.com/idris-lang/Idris2",
  "license_guess": "BSD-3-Clause",
  "code_sha256": "97f40f6b3dd2f7392ecd0e49eb32c5fba3cb4039b26cef4b4b26187c65e133be",
  "added_at": "2025-10-22T09:52:34Z"
}