architecture: all component: main package: fricas-databases priority: optional section: math srcpkg_name: fricas srcpkg_version: 1.3.11-2 version: 1.3.11-2