Trying to compile the ocaml project from https://gitlab.com/benjgregoire/maskverif/ I (having no clue about ocaml) get, after installing all the missing librari
pg-catalog
reakit
oai
spark-java
software-design
rewind
iics-di
restore-points
turbo-prolog
array-reduce
glow
file-transfer
zillow
logparser
psr-12
transitionend
google-cloud-visualstudio
richedit
myget
scikit-build
map-directions
gitolite
java-memory-leaks
engine.io
gear-vr
matplotlib
maven-jaxb2-plugin
nswagstudio
paxos
dinktopdf
