architecture: all component: main package: dolfinx-doc priority: optional section: doc srcpkg_name: fenics-dolfinx srcpkg_version: 1:0.8.0-12 version: 1:0.8.0-12