)]}'
{
  "commit": "08c15a0d50c9d09d5107521720f6bb20594f2a34",
  "tree": "a403a7a0d42c92b45d8a456ddcdeff52cd7872f1",
  "parents": [
    "503036f964569e8164716e00bb63d29c141a8f2f"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Fri Feb 13 11:04:25 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Fri Feb 13 11:04:25 2026"
  },
  "message": "Make spec compile again\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6ce1f839d4be07c1029a2d78a73f987b793ad145",
      "old_mode": 33188,
      "old_path": "spectec/doc/example/output/NanoWasm.pdf",
      "new_id": "fa8f6eabef30f455b2fef20128dd12dae5fa902a",
      "new_mode": 33188,
      "new_path": "spectec/doc/example/output/NanoWasm.pdf"
    },
    {
      "type": "modify",
      "old_id": "5906910a75ab4e611f084199d48765a1f45ed509",
      "old_mode": 33188,
      "old_path": "spectec/src/frontend/elab.ml",
      "new_id": "102c667684d93c7a36635485bafa9cc7ee285d09",
      "new_mode": 33188,
      "new_path": "spectec/src/frontend/elab.ml"
    },
    {
      "type": "modify",
      "old_id": "e343b1b893f5e159546eb7d6ccac6bd4a30729c4",
      "old_mode": 33188,
      "old_path": "spectec/src/frontend/parser.mly",
      "new_id": "8106e2dfed8c41f2101dee554f62a7bfaecd749d",
      "new_mode": 33188,
      "new_path": "spectec/src/frontend/parser.mly"
    },
    {
      "type": "modify",
      "old_id": "59328a59804aaa3626467fc1e2d8c968c095ce73",
      "old_mode": 33188,
      "old_path": "spectec/test-frontend/TEST.md",
      "new_id": "2c294e73da9d60b97baeda75004b9a9fc2eeb45c",
      "new_mode": 33188,
      "new_path": "spectec/test-frontend/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "cddc014fd6d3cbf295338ce658255dbcd30a48cf",
      "old_mode": 33188,
      "old_path": "spectec/test-middlend/TEST.md",
      "new_id": "3f4e66e439d061095a27e0e565993a5d938ccce8",
      "new_mode": 33188,
      "new_path": "spectec/test-middlend/TEST.md"
    }
  ]
}