Issue details for binary libghc-agda-dev/2.6.1-1+b2

in pureos/crimson arm64

Missing dependencies

  • libghc-aeson-dev-1.4.7.1-89c9f:arm64

    Required by: libghc-agda-dev
    Version: 2.6.1-1+b2
    Type: Binary Package