Install libssreflect-ocaml-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libssreflect-ocaml-dev
Description:
small scale reflection extension for Coq (devt files)
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.
Homepage: https://math-comp.github.io/math-comp/
Version: 1.6.1-3build1
Section: universe/ocaml