I can't use ccomp and clightgen after installing coq-compcert-64 using opam install coq-compcert-64, any hints? :thinking:
ccomp
clightgen
coq-compcert-64
opam install coq-compcert-64
Last updated: Mar 29 2024 at 11:01 UTC