Known vulnerabilities in libssreflect-coq (Debian package) 1.3pl1-3

1.11.0-2 1.11.0-1 1.2+dfsg-1 1.2+dfsg-2 1.2+dfsg-3 1.2+dfsg-4 1.2+dfsg-5 1.2+dfsg-6 1.2+dfsg-7 1.3-1 1.3pl1-1 1.3pl1-2 1.3pl1-3 1.3pl1-4 1.3pl1-5 1.3pl2-1 1.3pl2-2 1.3pl2-3 1.3pl2-4 1.3pl4-1 1.4-1 1.4-2 1.5~rc1-1 1.5~rc1-2 1.5~rc1-3 1.5-1 1.5-3 1.6-1 1.6.1-1 1.6.1-3 1.7.0+dfsg-1 1.9.0+dfsg-1 1.9.0+dfsg-2 1.10.0+dfsg-1 1.10.0+dfsg-2 1.6.1-2 1.5-2