architecture: all component: main package: mathlibtools priority: optional section: math srcpkg_name: mathlibtools srcpkg_version: 1.1.0-1 version: 1.1.0-1