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.