static libraries do not need to be linked with dependencies
static libraries do not need to be linked with dependencies

caballa/crab-llvm,caballa/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm