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