Debian Automated Code Analysis

cppcheck analysis of coq_8.2.pl1+dfsg-6.dsc

No issues found!

Note: if you think the results reveal a security bug, please don't hesitate to contact the security team
This report was generated on Thu, 16 Dec 2010 05:46:46 +0000, based on results by cppcheck 1.41-modif