Accepted mathcomp-real-closed 1.1.2-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-real-closed 1.1.2-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 16 May 2022 18:00:14 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=fbuvlpJbRgCqRZ/Q0D+G76Gx8DsU5+VnkDEQoahSGFg=; b=GGAkRL2qfAuSGE4FZgscKp+H4J s7/vvNWxBPugpXbuP1Wo0/NL9Hx8i7y90Lk4Jzx9l6sMrznv5j0lNyZTaMfmAe5HxNJPFNSCK25Ob iPQeGQjCnGjI/MFIA4NZXmWvTkf/sV2piXmcooFdlV5G2kkXu/h0oQWb2Lq41oOsUUWsnF/7nYdwJ lCA7QddoYDNRhgNtIgJt78aIUMlO5piCgZGw4mkUacFjd6D8gX8orZSrdIm9PZIqXiZ2hY9C2uKAX YnDbl0M6Psxm5OlPrUJg1JMyu+EZQlKLTCNEzxzdZYFpcw0XTLu8sRTpDv9KLFnW/Ey+F2lYUR6SY FHiyC3sg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nqf0w-0002YT-AD@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----