# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
clang
debianutils
libgmp-dev
llvm-4.0-dev
m4
perl
zlib1g-dev
# The following system packages are needed:
The following command needs to be run through "sudo":
    apt-get install -qq -yy clang debianutils libgmp-dev llvm-4.0-dev m4 perl zlib1g-dev
E: Unable to locate package llvm-4.0-dev
E: Couldn't find any package by glob 'llvm-4.0-dev'
E: Couldn't find any package by regex 'llvm-4.0-dev'
OS package installation failed
Command 'docker run --rm opam-check-all-4.02.3 opam depext -ivy bap-llvm.1.3.0' failed.