architecture: all component: main package: libghc-agda-doc priority: optional section: doc srcpkg_name: agda srcpkg_version: 2.6.4.3-1 version: 2.6.4.3-1