Zenodo does not support SPDX expressions as license, only single licenses
Zenodo does not support SPDX expressions as license, only single licenses

Declaring that everything in BenchExec is Apache-2.0 is not strictly
correct, but better than nothing.

dbeyer/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,dbeyer/benchexec,sosy-lab/benchexec