{
  "repo": "os",
  "package": "rocq",
  "version": "9.2.0-r0",
  "section": "1",
  "name": "rocqchk",
  "description": "rocqchk - verify compiled Rocq libraries",
  "sourcePath": "usr/share/man/man1/rocqchk.1",
  "apkPackage": "rocq-doc",
  "origin": "rocq",
  "license": "LGPL-2.1-only",
  "apkDesc": "Documentation for rocq",
  "apkDepends": [
    "man-db"
  ],
  "originDesc": "The Rocq Prover (formerly Coq), an interactive theorem prover",
  "raw": {
    "digest": "sha256:c024d8b9abc4d5a878ebf51c1d0f7462e7175784704938caa42ad4887441f2a3",
    "size": 1882,
    "contentType": "text/troff; charset=utf-8"
  },
  "html": {
    "digest": "sha256:6ce1428b929e0a7fccb7d0a60973541e1c9e3ff836f6142f1ba5b9b9f7ebb472",
    "size": 3961,
    "contentType": "text/html; charset=utf-8"
  },
  "markdown": {
    "digest": "sha256:6e32182d0ecd86ff9edac3606773f157f379bd621c6e12404516c39d76ec3dec",
    "size": 2005,
    "contentType": "text/markdown; charset=utf-8"
  },
  "ingestedAt": "2026-11-01T09:01:55.928631127Z"
}