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

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

Format: 1.8
Date: Fri, 06 May 2022 16:23:27 +0200
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: source amd64
Version: 1.1.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-real-closed - Real closed fields for Mathematical Components
Closes: 1010650
Changes:
 mathcomp-real-closed (1.1.2-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1010650)
Checksums-Sha1:
 506c95a78c131073b7e6a7c6fa9cd97ef51407f2 2209 mathcomp-real-closed_1.1.2-1.dsc
 5dba605638b751ca4516fb7bd24c8718d23f0504 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 db69b880489ece843a223b707d9c70fe8e44364f 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz
 952d3bda9c64841bd9818f54c7fe7e8e4ecb3760 2291080 libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
 eb52d6a5d58be2c3efc3bec3f53db985c06fb296 7238 mathcomp-real-closed_1.1.2-1_amd64.buildinfo
Checksums-Sha256:
 d022df126b059b6b24a9e85d6379453b99797bcb2bf54a54a0ec71f468db912a 2209 mathcomp-real-closed_1.1.2-1.dsc
 84e0ddf33dbbc249287dfc8fc7874d433c79cee2b335f32b6476a46a71376892 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 9c98deb618063926e38e8baaf5c94d32539d4917c635515e99f8c83324810e4e 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz
 f58314ba1c7c9f96761a6842cb902b1fc529b809d8202414e796329c0f198ec0 2291080 libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
 6c89e6448f2ed47552a7e02e6b21496712bd16114b8cc646b174decb3f9e6062 7238 mathcomp-real-closed_1.1.2-1_amd64.buildinfo
Files:
 1fe1a9e9b030070f3b0147231bba535a 2209 ocaml optional mathcomp-real-closed_1.1.2-1.dsc
 0c743022726111acfd8d61ee1ae4156a 118236 ocaml optional mathcomp-real-closed_1.1.2.orig.tar.gz
 f5f4970eda80b42015b99cf58fbdc638 8532 ocaml optional mathcomp-real-closed_1.1.2-1.debian.tar.xz
 5c0ed94e06c630e39759a62556276ced 2291080 ocaml optional libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
 b180e5cc27bb74a17b6b5813abac2dfb 7238 ocaml optional mathcomp-real-closed_1.1.2-1_amd64.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ1MAQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRY88P/inQkWfw11EjG9fYxa7HS45iLThOFMsi
veo9WVtGpeWM8g2WONFlKg/N560+MKBYc47h0NKS2aVV1X2Z1Iio+5bQVejnkcAc
ephjoAzrcXE7lchrI6TyGPnDWXp/4yskD9M5UvziqAWdFnOh5/rzhfDvzJ34oCmS
wmDmX/qRZqdf7YU5TXc8kdHvl8kLTJ0HGBPV9M8yDQg3TA5h7eViAynaHLU9T8A6
S3sdIzM0g80V3a14D0WFt9KoqWu7RGuUHASCqUsrTn6DMw/K+Uun/LuMjkuhBC6H
/XBEtYQlLWTP937kJ8TYZ74EkUkWC4Ghj1hbcRLEGuQZralXLmpr9VTIkIBuQVyM
A6+bRxDxCggPldaAXsDjrfIi1CYTEVx/pnctR84HhRJR5tLZS+K1Kv/+sNvvkdq2
Ar8twsQe5h+6DdWZPT4/91FAoP6ScfHxEqWb/38kwq/4Nym0lvT2zZgMfXMe4vyC
asPz4ee7wJnMHrscjNCzezwUJI7VGdeVEBDwaEeF6iPPJO2UwoZjuS/UA6crlkFU
L0glRRU65iokQUI6xjeZgdAkSGRkYTvvrF4CHqcswGim/ZSpBqQ571Zivxr2nOzw
DWdQkmxOBTYMhkfcmjDvan8vqItA+6ErOexIUjqcFzjkMEiEWkO2pwbKU0X0Ektm
9q572hTGJIoI
=4w7x
-----END PGP SIGNATURE-----