Upstream bugfix release, required for latest version of Ssreflect. Seems to work fine with the same ebuild als coq-8.3_p3 Reproducible: Always
bumped, thanks