libssreflect-ocaml-dev 1.5-3build2 (powerpc binary) in ubuntu yakkety

 This package is part of Ssreflect, the small scale reflection
 extension for Coq. It provides the static native-code library, needed
 to build custom toplevels, and the compiled interface.