architecture: all component: main package: givaro-user-doc priority: optional section: doc srcpkg_name: givaro srcpkg_version: 4.2.0-6 version: 4.2.0-6