Skip to content

Create a .deb package for CPAchecker distributed via an APT repository

Philipp Wendler requested to merge 1220-deb-package into trunk

The package repository is online at apt.sosy-lab.org. A package for CPAchecker 2.3.1 is available there based on the changes in this MR.

This MR also updates the CPAchecker documentation to tell users about the package.

Edited by Philipp Wendler

Merge request reports