Stream: Coq users

Topic: coq-compcert install problem

view this post on Zulip january (Jul 10 2021 at 01:19):

I can't use ccomp and clightgen after installing coq-compcert-64 using opam install coq-compcert-64, any hints? :thinking:

Last updated: Oct 03 2023 at 02:34 UTC