libssreflect-ocaml-dev 1.5-1 (armhf binary) in ubuntu utopic

 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.