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 → 12 of 12 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
3.18-1 | Philipp Wendler () |
|
3.18-1 | Philipp Wendler () |
|
3.18-1 | Philipp Wendler () |
|
3.18-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 → 12 of 12 results | First • Previous • Next • Last |