Known vulnerabilities in Canonical Ltd. coqprime (Ubuntu package) 8.19-1build3

8.20.1-1build5 8.20.1-1build4 8.20.1-1build3 8.20.1-1build2 8.20.1-1build1 8.20.1-1 8.20-1 8.19-2build4 8.19-2build3 8.19-2build2 8.19-2build1 8.19-2 8.19-1build3 8.19-1build2 8.19-1build1 8.19-1 8.18-1build4 8.18-1build3 8.18-1build2 8.18-1build1 8.18-1 8.17-1build4 8.17-1build3 8.17-1build2 8.17-1build1 8.17-1 8.15-2build3 8.15-2build2 8.15-2build1 8.15-2 8.15-1build3 8.15-1build2 8.15-1build1 8.15-1