Known vulnerabilities in coq-bignums (Ubuntu package)

9.0.0+coq8.20-1build9 9.0.0+coq8.20-1build8 9.0.0+coq8.20-1build7 9.0.0+coq8.20-1build6 9.0.0+coq8.20-1build5 9.0.0+coq8.20-1build4 9.0.0+coq8.20-1build3 9.0.0+coq8.20-1build2 9.0.0+coq8.20-1build1 9.0.0+coq8.20-1 9.0.0+coq8.19-1build1 9.0.0+coq8.19-1 9.0.0+coq8.18-1build3 9.0.0+coq8.18-1build2 9.0.0+coq8.18-1build1 9.0.0+coq8.18-1 8.17.0-3build3 8.17.0-3build2 8.17.0-3build1 8.17.0-3 8.17.0-2build2 8.17.0-2build1 8.17.0-2 8.17.0-1 8.16.0-1build3 8.16.0-1build2 8.16.0-1build1 8.16.0-1 8.15.0-7 8.15.0-6 8.15.0-5build1 8.15.0-5 8.15.0-3 8.15.0-2build1 8.15.0-2 8.15.0-1