{
  "repo": "os",
  "package": "cbmc",
  "version": "6.11.0-r0",
  "section": "1",
  "name": "goto-harness",
  "description": "goto-harness - Generate environments for symbolic analysis",
  "sourcePath": "usr/share/man/man1/goto-harness.1",
  "apkPackage": "cbmc-doc",
  "origin": "cbmc",
  "license": "BSD-4-Clause AND MIT",
  "apkDesc": "cbmc manpages",
  "apkDepends": [
    "man-db"
  ],
  "raw": {
    "digest": "sha256:fa53aa382586a39818f56a153c489682e7e8503187cb2d86744f0df75b43d445",
    "size": 5466,
    "contentType": "text/troff; charset=utf-8"
  },
  "html": {
    "digest": "sha256:9f4f189fc19b1a410043c7266f7a7bfa100c3d8a80166c2bfda503f26e67a790",
    "size": 9563,
    "contentType": "text/html; charset=utf-8"
  },
  "markdown": {
    "digest": "sha256:734b3fbe8012f18d23f88f4cd667a2e164824924825bd8f9c3f613a32c05917a",
    "size": 5586,
    "contentType": "text/markdown; charset=utf-8"
  },
  "ingestedAt": "2026-10-26T09:01:13.663075445Z"
}