Debian Package rebuild

Rebuild of the Debian archive with clang

PackageVersionFull logSupposed error message
cbmc5.12-4Log./language_file.h:87:54: error: loop variable 'method' has type 'const std::pair &' (aka 'const pair &') but is initialized with type 'std::pair' resulting in a copy [-Werror,-Wrange-loop-construct]