There are currently no open bugs.

"ssreflect" versions published in Ubuntu

Eoan-proposed (1.7.0+dfsg-1): universe/math
Eoan (1.6.1-3build1): universe/math
Disco (1.6.1-3build1): universe/math
Cosmic (1.6.1-3build1): universe/math
Bionic (1.6.1-3build1): universe/math
Xenial (1.5-3build1): universe/math
Trusty (1.5~rc1-3): universe/math
Precise (1.3pl2-2build1): universe/math