{
  "repo": "os",
  "package": "cbmc",
  "version": "6.11.0-r0",
  "section": "1",
  "name": "goto-instrument",
  "description": "goto-instrument - Perform analysis or instrumentation of goto binaries",
  "sourcePath": "usr/share/man/man1/goto-instrument.1",
  "apkPackage": "cbmc-doc",
  "origin": "cbmc",
  "license": "BSD-4-Clause AND MIT",
  "apkDesc": "cbmc manpages",
  "apkDepends": [
    "man-db"
  ],
  "raw": {
    "digest": "sha256:e632c1fb0d1380d684bf27dc60cfe7ba233c4edff8196d4d01cabb29dd791ec3",
    "size": 32748,
    "contentType": "text/troff; charset=utf-8"
  },
  "html": {
    "digest": "sha256:ac5bff59f9a75fa64b6f5bd433b89fba66ea5a91f3db06e984b9ceea5adf2d98",
    "size": 52886,
    "contentType": "text/html; charset=utf-8"
  },
  "markdown": {
    "digest": "sha256:48226952f1a3faafe4c3fb5797e8049fea4ad5e780254cea6dd2c3c1c03c0e64",
    "size": 32411,
    "contentType": "text/markdown; charset=utf-8"
  },
  "ingestedAt": "2026-10-26T09:01:14.195952864Z"
}