Known vulnerabilities in Canonical Ltd. coq-equations (Ubuntu package) 1.3-8.18-1

1.3.1-8.20-1build5 1.3.1-8.20-1build4 1.3.1-8.20-1build3 1.3.1-8.20-1build2 1.3.1-8.20-1build1 1.3.1-8.20-1 1.3-8.19-2build3 1.3-8.19-2build2 1.3-8.19-2build1 1.3-8.19-2 1.3-8.19-1build3 1.3-8.19-1build2 1.3-8.19-1build1 1.3-8.19-1 1.3-8.18-1build3 1.3-8.18-1build2 1.3-8.18-1build1 1.3-8.18-1 1.3-8.17-2build6 1.3-8.17-2build5 1.3-8.17-2build4 1.3-8.17-2build3 1.3-8.17-2build2 1.3-8.17-2build1 1.3-8.17-2 1.3-8.17-1build1 1.3-8.17-1 1.3-8.16-2build3 1.3-8.16-2build2 1.3-8.16-2build1 1.3-8.16-2 1.3-8.16-1build2 1.3-8.16-1build1 1.3-8.16-1 1.3-8.15-2build1 1.3-8.15-1 1.3-8.15-2