{
  "repo": "os",
  "package": "cbmc",
  "version": "6.11.0-r0",
  "section": "1",
  "name": "goto-synthesizer",
  "description": "goto-synthesizer - Synthesize and apply loop contracts of goto binaries.",
  "sourcePath": "usr/share/man/man1/goto-synthesizer.1",
  "apkPackage": "cbmc-doc",
  "origin": "cbmc",
  "license": "BSD-4-Clause AND MIT",
  "apkDesc": "cbmc manpages",
  "apkDepends": [
    "man-db"
  ],
  "raw": {
    "digest": "sha256:dbdcc7540371c451b18c122af662827cf1f7b4cb37ae18d9f143a867aeeed034",
    "size": 3704,
    "contentType": "text/troff; charset=utf-8"
  },
  "html": {
    "digest": "sha256:99b2ca03f42a599b1ace4eaccbe00598553479ddfe4939cfb76048cbe8c981f5",
    "size": 8205,
    "contentType": "text/html; charset=utf-8"
  },
  "markdown": {
    "digest": "sha256:54ac36acfb945db9280e039e582968b69e484cbc4a2d6637ceb17e18910bbb22",
    "size": 4089,
    "contentType": "text/markdown; charset=utf-8"
  },
  "ingestedAt": "2026-10-26T09:01:14.722180559Z"
}