architecture: all component: main package: libgecode-doc priority: optional section: doc srcpkg_name: gecode srcpkg_version: 6.2.0-5 version: 6.2.0-5