Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use cmake from normal repo, if no backports
If installing from backports does not work, install cmake normally. This might be too old, but we handle that anyway. But on a much newer debian, it might be good enough.
- Loading branch information