{
  "repo": "os",
  "package": "cbmc",
  "version": "6.11.0-r0",
  "section": "1",
  "name": "goto-analyzer",
  "description": "goto-analyzer - Data-flow analysis for C programs and goto binaries",
  "sourcePath": "usr/share/man/man1/goto-analyzer.1",
  "apkPackage": "cbmc-doc",
  "origin": "cbmc",
  "license": "BSD-4-Clause AND MIT",
  "apkDesc": "cbmc manpages",
  "apkDepends": [
    "man-db"
  ],
  "raw": {
    "digest": "sha256:5eb4c147a55cec3f30ddc140bfe220c6c8cfbd666335bffcc9b0cd4e9fa9ad0c",
    "size": 28318,
    "contentType": "text/troff; charset=utf-8"
  },
  "html": {
    "digest": "sha256:bc9ba4dd3a5c6776afd2f0dbe1bab9933811fff6c9183faa76a4d64f328a36a8",
    "size": 42185,
    "contentType": "text/html; charset=utf-8"
  },
  "markdown": {
    "digest": "sha256:72446b6a0489e2d51ffb6823c9d9a68128f6c6f26c9f34bf836985611778388e",
    "size": 28549,
    "contentType": "text/markdown; charset=utf-8"
  },
  "ingestedAt": "2026-10-26T09:01:12.235474768Z"
}