Accepted mathcomp-real-closed 2.0.6-1 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 29 Jul 2026 09:00:11 +0200
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: source amd64
Version: 2.0.6-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-real-closed - Real closed fields for Mathematical Components
Changes:
 mathcomp-real-closed (2.0.6-1) unstable; urgency=medium
 .
   * New upstream release.
   * Fix compilation with recent dune.
Checksums-Sha1:
 a713be46746cbab4f2380d4eb974b83f97728c71 2283 mathcomp-real-closed_2.0.6-1.dsc
 e29a4f0828c4e0284a63ea927a338d455975f63f 123814 mathcomp-real-closed_2.0.6.orig.tar.gz
 d719ff8e79429d5a64e4461b3fac6f934dda3037 9436 mathcomp-real-closed_2.0.6-1.debian.tar.xz
 20c727fdba4ae8940dbb38ebcd6cc6d0c32aea2c 2866440 libcoq-mathcomp-real-closed_2.0.6-1_amd64.deb
 be9ff39fc8c7f904f678882fe1b6a4a286319405 7658 mathcomp-real-closed_2.0.6-1_amd64.buildinfo
Checksums-Sha256:
 c0361da496dd27302df077db528df0f0f42f141564ea94ae766ebe0d260146a6 2283 mathcomp-real-closed_2.0.6-1.dsc
 b383ace6b4b8964eb31a2c598408cdfef740f637dea27954c797e56bfd37ebb2 123814 mathcomp-real-closed_2.0.6.orig.tar.gz
 8a2c2f724e0ba376a95ca18d24fa4780eabad590663a55fe15292c28789776f7 9436 mathcomp-real-closed_2.0.6-1.debian.tar.xz
 f5a3cfc04b35108292008f3bbce05fc4b96f1312a0aa4635a8a6cd700586a226 2866440 libcoq-mathcomp-real-closed_2.0.6-1_amd64.deb
 9aa6893aade301482227ea9355531d93e38e0ad26daccf855be8f2ccf332357c 7658 mathcomp-real-closed_2.0.6-1_amd64.buildinfo
Files:
 da62d8b1cf222ef739b66f8b064080a8 2283 ocaml optional mathcomp-real-closed_2.0.6-1.dsc
 d47603d0ad456d12da6675dbc098ba31 123814 ocaml optional mathcomp-real-closed_2.0.6.orig.tar.gz
 6cbe53e4940d07d455d38437c8e37e95 9436 ocaml optional mathcomp-real-closed_2.0.6-1.debian.tar.xz
 5937bcd53c1a93d5daa2597c8df0b88a 2866440 ocaml optional libcoq-mathcomp-real-closed_2.0.6-1_amd64.deb
 2f94fccd310ba48299ca7c3397eb44fe 7658 ocaml optional mathcomp-real-closed_2.0.6-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3iQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd3xEACHz0Isx/tqjRjRwwM9Z/cd
zDOn/qfOcgVVxjHUqUXanDvotA8bbuTSpr0jZk9GVvx/W8cleqFsWocX9ZF4esDW
D3PnVJ1Zd/qsWMxRwb01fken/HBhFBlCU6N8tDENkMewD/P/zPw+BGXJlSv4L6pd
DVcdoh22+W+Iepmq8MQwEKI7tjVHARlfz4lv7mBGfQQs28S/7TjyYqpu57XzUjoh
jVXOKSAA2KKlSVC7u3CKM90oVb/UAVkxfk0XzSZlG6Ui7OtyrybFnKas5UxHxD99
OKSw8/VvKrZvNanofATY7Ks7D/hGI280Aca4M+oy2bmR3KxSUch5PL740kCO1uZy
SZepziUTMioNv26l9U4oEXV8QjTpauZuN2rAqd/VtE8qmTmU70O1+RkYbSv2zjR9
5vuxvLI34/SxHzDJDuffaK1mDVMPZdDeMB2ljH0+HwcwxaGC443P/ac5WiqhMKuj
5JklBfmy5ri9JoJkxOMC28Mp1IU6zIn+0gZE6skk8knbD0r4HrT/wYWn0aME26HH
Hyf2XSU6NTiFavsQkzNnw1YtLZ+WOTPM0ZsAgB31FzUNuJsNrSWNEgUZ8FZbkbPD
r+upTq/sOTlSbN5g5TH0+CRzh+jd6to+ewCfliqjGHW7VoKe+WTngEwov8OXKPwR
lxBwnXrL4ogFnQBamphb/w==
=jt2R
-----END PGP SIGNATURE-----