SoSy-Lab APT Package Repository

This is the APT package repository for installation of software from SoSy-Lab at LMU Munich on Debian, Ubuntu, and other dpkg-based systems. It provides BenchExec, CPAchecker, and CPU Energy Meter.

The signing key for the repository is the GPG key with fingerprint 1E1085AA00783DB44C172F5C935C713E0E253CC8.


To enable the package repository, execute the following commands as root user:

mkdir -p /etc/apt/keyrings/
wget -q -O - | gpg --dearmor > /etc/apt/keyrings/sosy-lab.gpg
echo "deb [signed-by=/etc/apt/keyrings/sosy-lab.gpg] stable main" | tee /etc/apt/sources.list.d/sosy-lab.list
apt update
Now the following packages are available for installation with apt install: