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

in pureos/amber amd64

Missing dependencies

  • libx11-6:amd64

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