libssreflect-ocaml-dev 1.5-3build1 (amd64 binary) in ubuntu xenial

 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.