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