Source: coq-unimath Version: 20230420-3 Severity: important User: [email protected] 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
