coq-corn (8.20.0-1+b8) sid; urgency=low, binary-only=yes

  * Binary-only non-maintainer upload for riscv64; no source changes.
  * Rebuild with new ABIs of dependencies

 -- riscv64 Build Daemon (rv-osuosl-01) <buildd_riscv64-rv-osuosl-01@buildd.debian.org>  Tue, 28 Oct 2025 14:59:45 +0000
