Known vulnerabilities in acl2-infix (Ubuntu package) 7.2dfsg-2build1

8.5dfsg-5build2 8.5dfsg-5 8.5dfsg-4 8.5dfsg-3 8.5dfsg-2 8.5dfsg-1 8.3dfsg-2 8.3dfsg-1 8.2dfsg-3 8.2dfsg-2 8.2dfsg-1 8.1dfsg-6 8.1dfsg-5 8.1dfsg-4 7.4dfsg-3 7.4dfsg-3.1 7.4dfsg-2build1 7.4dfsg-2 7.4dfsg-1 7.2dfsg-3 7.2dfsg-2build2 7.2dfsg-2build1 7.2dfsg-2 7.1dfsg-2 7.0-1 8.6+dfsg-3 8.5dfsg-6 8.5dfsg-5build3 8.4dfsg-2 8.2dfsg-3build1 6.3-5 4.2-1 8.1dfsg-3 8.0dfsg-1 7.1-1 8.0dfsg-1build1