Known vulnerabilities in agda-stdlib-doc (Ubuntu package) 1.7.1-1

2.1-3 1.7.1-1 1.1-1~build1 0.14-1~build1 0.13-1 0.12-2build3 0.12-2build2 0.12-2build1 0.12-2 0.12-1 0.9-1 2.1-4 1.7.3-1 1.3-2 0.7-2 0.6-2 1.1-1 0.14-1 0.11-1 0.17-1