libssreflect-ocaml-dev 1.6.1-3build1 (ppc64el binary) in ubuntu disco

 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.