architecture: all component: main package: proofgeneral-doc priority: optional section: doc srcpkg_name: proofgeneral srcpkg_version: 4.5-2 version: 4.5-2