Known vulnerabilities in Canonical Ltd. coq-reduction-effects (Ubuntu package) 0.1.5-4build3

0.1.5-5build8 0.1.5-5build7 0.1.5-5build6 0.1.5-5build5 0.1.5-5build4 0.1.5-5build3 0.1.5-5build2 0.1.5-5build1 0.1.5-5 0.1.5-4build3 0.1.5-4build2 0.1.5-4build1 0.1.5-2 0.1.5-3 0.1.5-4 0.1.5-1build3 0.1.5-1build2 0.1.5-1build1 0.1.5-1 0.1.4-4build3 0.1.4-4build2 0.1.4-4build1 0.1.4-4 0.1.4-3build2 0.1.4-3build1 0.1.4-3 0.1.4-2build3 0.1.4-2build2 0.1.4-2build1 0.1.4-2 0.1.4-1 0.1.3-1 0.1.3-2