libssreflect-ocaml-dev 1.5~rc1-3 (ppc64el binary) in ubuntu trusty

 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.