{
  "authors": [
    "Thai Son Hoang"
  ],
  "depends-on": [
    {
      "gnatprove": "^12.1.1"
    }
  ],
  "description": "A Simple Elevator System",
  "executables": [
    "main"
  ],
  "licenses": "CC-BY-SA-4.0",
  "maintainers": [
    "Thai Son Hoang <T.S.Hoang@soton.ac.uk>"
  ],
  "maintainers-logins": [
    "tshoang"
  ],
  "name": "elevator",
  "origin": {
    "commit": "b439645aabfe091eef46b3a3174e47ffa86e3930",
    "url": "git+https://github.com/ada-Soton/elevator.git"
  },
  "tags": [
    "elevator",
    "teaching"
  ],
  "version": "1.0.0",
  "website": "https://github.com/ada-Soton/elevator"
}