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: Feb 06 2023 at 11:03 UTC