USE flag "doc" for sci-mathematics/ssreflect
change versioning of sci-mathematics/ssreflect
remove redundant variables