2016-11-18 14:29 Richard W.M. Jones:
There was a further posting which (I believe) clears up any possible problem for Debian using "riscv64". Debian (like Fedora) is producing software to run on RISC-V and so falls into what Rick is calling group "(2)": https://groups.google.com/a/groups.riscv.org/forum/#!topic/sw-dev/GPTYPOeR0OU
Yep, I think that it's good news. Thanks for the pointer, and thanks to whoever asked them in the first place! -- Manuel A. Fernandez Montecelo <manuel.montezelo@gmail.com>