Closed PhilippWendler closed 3 years ago
We now have a PPA with BenchExec at https://launchpad.net/~sosy-lab/+archive/ubuntu/benchmarking, we should publish CPU Energy Meter there, too, because then BenchExec users can install both packages together.
We now have a PPA with BenchExec at https://launchpad.net/~sosy-lab/+archive/ubuntu/benchmarking, we should publish CPU Energy Meter there, too, because then BenchExec users can install both packages together.