Known vulnerabilities in Canonical Ltd. coq-record-update (Ubuntu package) 0.3.4-3build4

0.3.4-4build4 0.3.4-4build3 0.3.4-4build2 0.3.4-4build1 0.3.4-4 0.3.4-3build4 0.3.4-3build3 0.3.4-3build2 0.3.4-3build1 0.3.4-3 0.3.4-2build2 0.3.4-2build1 0.3.3-2 0.3.4-1 0.3.4-2 0.3.3-1build5 0.3.3-1build4 0.3.3-1build3 0.3.3-1build2 0.3.3-1build1 0.3.3-1 0.3.2-1build3 0.3.2-1build2 0.3.2-1build1 0.3.2-1 0.3.1-2build2 0.3.1-2build1 0.3.1-2 0.3.1-1build3 0.3.1-1build2 0.3.1-1build1 0.3.1-1