architecture: all component: main package: nauty-doc priority: optional section: doc srcpkg_name: nauty srcpkg_version: 2.8.6+ds-2 version: 2.8.6+ds-2