)]}'
{
  "commit": "3a9d9a0e899811e57234c7a428754e851ec1a62c",
  "tree": "72fdd7830dd3783a30d09975f9e530b7162da977",
  "parents": [
    "d8fae235d53c0376ab320c3d84a9b414bffe9d64"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Wed Apr 01 20:50:10 2026 +0000"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Fri Apr 03 09:24:12 2026 +0000"
  },
  "message": "posix file: Explicitly disable SPARK_Mode for hw_file_map()\n\nThe GNAT compiler also checks some SPARK rules now and this function\nhas side-effects. Hence we have to hide it.\n\nChange-Id: I4a113e3b9a34ba0a27e7902a3bd08533fd73fcda\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.sourcearcade.org/c/libhwbase/+/452\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dd9d7f3bc617fbf08167e28b52a1eccd0eed57eb",
      "old_mode": 33188,
      "old_path": "ada/posix/hw-file.adb",
      "new_id": "9755d13953d79948fd92b72a0519ab88cb374eaf",
      "new_mode": 33188,
      "new_path": "ada/posix/hw-file.adb"
    }
  ]
}