{
  "repo": "os",
  "package": "cbmc",
  "version": "6.11.0-r0",
  "section": "1",
  "name": "cbmc",
  "description": "cbmc - Bounded Model Checker for C/C++ and Java programs",
  "sourcePath": "usr/share/man/man1/cbmc.1",
  "apkPackage": "cbmc-doc",
  "origin": "cbmc",
  "license": "BSD-4-Clause AND MIT",
  "apkDesc": "cbmc manpages",
  "apkDepends": [
    "man-db"
  ],
  "raw": {
    "digest": "sha256:1db4bbf6e508da4123fd031edeb4b9c23ed6c008337c81605b79fcde049537cb",
    "size": 17993,
    "contentType": "text/troff; charset=utf-8"
  },
  "html": {
    "digest": "sha256:3f8a0cf5ff391ae873e68b4e516f5fe6a6f818f01e1e3111f0f307c2fa1b4d2b",
    "size": 33076,
    "contentType": "text/html; charset=utf-8"
  },
  "markdown": {
    "digest": "sha256:0eab69afb19fa9d44c28c6281de9a3cf40b34853c8bbf65035e1f2d6ddf9ba06",
    "size": 18787,
    "contentType": "text/markdown; charset=utf-8"
  },
  "ingestedAt": "2026-10-26T09:01:10.983316211Z"
}