{
  "repo": "os",
  "package": "rocq",
  "version": "9.2.0-r0",
  "section": "1",
  "name": "rocq",
  "description": "rocq - The Rocq Prover",
  "sourcePath": "usr/share/man/man1/rocq.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:f4e350d1204fc4fabe5bd3597784383af582ce99222900c64a48e7c74e4733a8",
    "size": 320,
    "contentType": "text/troff; charset=utf-8"
  },
  "html": {
    "digest": "sha256:98751a74be0e4ebf244aa15d2fff112aa6ee9bfe7e001791d0e8159748f65589",
    "size": 1202,
    "contentType": "text/html; charset=utf-8"
  },
  "markdown": {
    "digest": "sha256:2154fd5805010bec985e68e95282ae5824cdceffa4dc199d3aef8572a2762691",
    "size": 401,
    "contentType": "text/markdown; charset=utf-8"
  },
  "ingestedAt": "2026-11-01T09:01:55.568769574Z"
}