Benchmarking
PPA description
SoSy-Lab's benchmarking-
e.g., BenchExec (https:/
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:sosy-lab/benchmarking to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:sosy-lab/benchmarking
sudo apt update
For questions and bugs with software in this PPA please contact SoSy-Lab.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
| 1 → 13 of 13 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
3.21-1 | Philipp Wendler () |
|
|
3.21-1 | Philipp Wendler () |
|
|
3.21-1 | Philipp Wendler () |
|
|
3.21-1 | Philipp Wendler () |
|
|
3.20-1 | Philipp Wendler () |
|
|
3.17-1 | Philipp Wendler () |
|
|
3.15-1 | Philipp Wendler () |
|
|
3.11-1 | Philipp Wendler () |
|
|
3.10-1 | Philipp Wendler () |
|
|
3.8-1 | Philipp Wendler () |
|
|
1.2-1 | Philipp Wendler () |
|
|
1.2-1 | Philipp Wendler () |
|
|
1.2-1 | Philipp Wendler () |
| 1 → 13 of 13 results | First • Previous • Next • Last |
