Bug#1038819: coq-unimath: Please re-enable support for riscv64

[Aurelien Jarno <aurel32@debian.org>]

Source: coq-unimath
Version: 20230420-3
Severity: important
User: debian-riscv@lists.debian.org
Usertags: riscv64

Dear maintainer,

According to the changelog, coq-unimath version 20230420-3 dropped
support for 32-bit architectures, but at the same time also dropped
support for a few 64-bit architectures. At least riscv64 was building
fine before that change:

https://buildd.debian.org/status/logs.php?pkg=coq-unimath&arch=riscv64

Therefore, could you please re-enable the build on riscv64?

Thanks,
Aurelien