gmpfrxx-mkii (1.5.0+ds-1) unstable; urgency=medium

  * Initial release. (Closes: #1151368)

 -- Maho Nakata <maho.nakata@gmail.com>  Sun, 25 Oct 2026 13:44:52 +0000