architecture: arm64 component: main package: libghc-agda-dev priority: optional section: haskell srcpkg_name: agda srcpkg_version: 2.6.4.3-1 version: 2.6.4.3-1