Issue details for binary agda-bin/2.6.1-1+b2

in pureos/crimson arm64

Missing dependencies

  • libffi7:arm64 (>= 3.3~20180313)

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