architecture: all component: main package: prover9-doc priority: optional section: doc srcpkg_name: prover9-manual srcpkg_version: 0.0.200902a-2.1 version: 0.0.200902a-2.1