msolve (0.9.2-1+b1) sid; urgency=low, binary-only=yes

  * Binary-only non-maintainer upload for riscv64; no source changes.
  * Rebuild against libflint22

 -- riscv64 Build Daemon (rv-osuosl-04) <buildd_riscv64-rv-osuosl-04@buildd.debian.org>  Fri, 28 Nov 2025 03:53:49 +0000
