not really a bug, just annoying

[Dennis Clarke]

Perhaps I am doing this wrong?

$ hg clone https://gmplib.org/repo/gmp/ gmp-development
abort: HTTP Error 403: Forbidden

Also, entirely unrelated, I see on the test results page that there is 
no RISC-V hardware available. I will gladly ship you a SiFive RISC-V
board if you want. It is slow because all RISC-V hardware is horribly
slow. Also you need a Gentoo Linux version on it. FreeBSD *may* work.

-- 
--
Dennis Clarke
RISC-V/SPARC/PPC/ARM/CISC
UNIX and Linux spoken