On 1/11/20 12:02 PM, Aurelien Jarno wrote: > I have just tried to build the current master branch natively on > riscv64, it builds fine. Great! I just pushed z3 4.8.7-3 to unstable, so let's hope everything goes well. Thanks again to all of you for your help with this!