Known vulnerabilities in Canonical Ltd. coq-unicoq (Ubuntu package) 1.6-8.19-2build1

1.6-8.20-1build4 1.6-8.20-1build3 1.6-8.20-1build2 1.6-8.20-1build1 1.6-8.20-1 1.6-8.19-3 1.6-8.19-2build3 1.6-8.19-2build2 1.6-8.19-2build1 1.6-8.19-2 1.6-8.19-1build1 1.6-8.19-1 1.6-8.18-1build3 1.6-8.18-1build2 1.6-8.18-1build1 1.6-8.18-1 1.6-8.17-1build3 1.6-8.17-1build2 1.6-8.17-1build1 1.6-8.17-1 1.6-8.16-2build2 1.6-8.16-2build1 1.6-8.16-2 1.6-8.16-1build2 1.6-8.16-1build1 1.6-8.16-1 1.6-8.15-1 1.6-8.15-2