Issue details for binary acl2-books-source/8.0dfsg-1

in pureos/amber all

Missing dependencies

  • libx11-6:amd64

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