Debian Automated Code Analysis

cppcheck analysis of agda_2.2.4+dfsg-1.dsc

Failed to parse xml