Add python3-pkg-resources to dependencies of Debian package
The starter scripts in /usr/bin require this package,
and it is not guaranteed to be installed.
@@ -18,7 +18,7 @@ Vcs-Browser: https://github.com/sosy-lab/benchexec
Package: benchexec
Architecture: all
-Depends: ${python3:Depends}, ${misc:Depends}
+Depends: ${python3:Depends}, python3-pkg-resources, ${misc:Depends}
Recommends: cpu-energy-meter, lxcfs, python3-coloredlogs
Description: Framework for Reliable Benchmarking and Resource Measurement
BenchExec allows benchmarking non-interactive tools on Linux systems.
