Public bug reported: coq-elpi fails to build on riscv64 in Ubuntu but not in Debian.
https://launchpad.net/ubuntu/+source/coq- elpi/2.5.0-1/+latestbuild/riscv64 I'm not working on this issue currently but I'm filing this bug for coordination. ** Affects: coq-elpi (Ubuntu) Importance: High Status: Triaged ** Affects: coqeal (Ubuntu) Importance: High Status: Triaged ** Tags: ftbfs questing update-excuse ** Also affects: coqeal (Ubuntu) Importance: Undecided Status: New ** Changed in: coqeal (Ubuntu) Status: New => Triaged ** Changed in: coqeal (Ubuntu) Importance: Undecided => High ** Description changed: + coq-elpi fails to build on riscv64 in Ubuntu but not in Debian. + https://launchpad.net/ubuntu/+source/coq- elpi/2.5.0-1/+latestbuild/riscv64 + + I'm not working on this issue currently but I'm filing this bug for + coordination. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2110317 Title: coq-elpi fails to build on riscv64 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/coq-elpi/+bug/2110317/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
