Issue details for binary acl2-infix/8.0dfsg-1

in pureos/amber arm64

Missing dependencies

  • libx11-6:arm64

    Required by: acl2
    Version: 8.0dfsg-1
    Type: Binary Package