Debian Automated Code Analysis

cppcheck analysis of agda_2.2.6-2.dsc

Failed to parse xml