Riscv64 platform timeout in tests/proofmode.v (4.2.0)
I'm the packager for many Coq packages in Debian, and I have a compilation issue for the package on the riscv64 platform ; see build log here.
I'm the packager for many Coq packages in Debian, and I have a compilation issue for the package on the riscv64 platform ; see build log here.