-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
> Actually I'm trying to update to 8.12.1 with the same diff, too :-D
> It just compiles and works on amd64.
>
> I'll try compile on ocaml-non-native architectures
> (simulating with arch-defines.mk modified), and
> post another message when I find
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Daniel Dickman writes:
> Hi Yozo, a new release of coq has been made. I've already updated compcert
> to v3.8 which supports this new version of coq and is the only consumer
> of coq.
>
> ok if we update coq to the latest version?
ok with me.
Read
Hi Yozo, a new release of coq has been made. I've already updated compcert
to v3.8 which supports this new version of coq and is the only consumer
of coq.
ok if we update coq to the latest version?
Index: Makefile
===
RCS file: /cv
