architecture: all component: main package: fricas-doc priority: optional section: doc srcpkg_name: fricas srcpkg_version: 1.3.8-6 version: 1.3.8-6