architecture: all component: non-free package: coq-doc-html priority: optional section: non-free/doc srcpkg_name: coq-doc srcpkg_version: 8.16.1-1 version: 8.16.1-1