On Sat, Feb 12, 2022 at 07:22:29PM +0900, Yozo TODA wrote: > and ping on math/coq update to 8.13.2p1 below, > which I confirmed on > - amd64 native and > - amd64 with modified arch-defines.mk dropping amd64 from OCAML_NATIVE_* > > re-attached the diff.
Thanks, I'll test this on sparc64. > btw, the recent riscv64 bulk build report shows > the version is coq-8.13.2p1 (it should be 8.13.2p0). > why?? That probably means that someone threw your diff at the package bulk machine.
