-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 16:02:42 +0200 Source: mathcomp-real-closed Binary: libcoq-mathcomp-real-closed Architecture: source amd64 Version: 2.0.5-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-mathcomp-real-closed - Real closed fields for Mathematical Components Changes: mathcomp-real-closed (2.0.5-1) experimental; urgency=medium . * Rewrite d/watch * Bump standards-version to 4.7.4 * New upstream release. Checksums-Sha1: 34e288d8814da5d6b4d8146ed4277528b88d1632 2283 mathcomp-real-closed_2.0.5-1.dsc ce9cd189baf4bc4613ee24821145e85f0f6af422 123805 mathcomp-real-closed_2.0.5.orig.tar.gz c8eceb536e950cd79434faeff6a428a9608482dd 9588 mathcomp-real-closed_2.0.5-1.debian.tar.xz b446ffea9eab3d1a0e939f1cdeffa7685b481af0 2861700 libcoq-mathcomp-real-closed_2.0.5-1_amd64.deb 097378d6cfcfd4540cd4c7729184730d5999e1ed 7733 mathcomp-real-closed_2.0.5-1_amd64.buildinfo Checksums-Sha256: 598928030813fc09df560b18d1408a19820ae331ce995defff7afa596d4134e2 2283 mathcomp-real-closed_2.0.5-1.dsc ab52569de68d072eca837319088546ddfd251fdf1239cbd548e22696dce22776 123805 mathcomp-real-closed_2.0.5.orig.tar.gz 356d94d9fc62aae28feb983bc2f3fdfdc7580f78b30cc2cf35996265cf762ee3 9588 mathcomp-real-closed_2.0.5-1.debian.tar.xz 49e6ea61ad63eaa447b45afecd028123243f18f231ca7902ab38223bcb8f90c9 2861700 libcoq-mathcomp-real-closed_2.0.5-1_amd64.deb 79f14f3efb568e700a1bece17fe40882289cb97c3f8e7cd2072912a4b1ad43c0 7733 mathcomp-real-closed_2.0.5-1_amd64.buildinfo Files: f3cc7a96fb44f6990698c613c51f34c4 2283 ocaml optional mathcomp-real-closed_2.0.5-1.dsc c0b89d2848b14215bb33b373a324025e 123805 ocaml optional mathcomp-real-closed_2.0.5.orig.tar.gz 987c36cb573f6d6ba14879d2f1fb1381 9588 ocaml optional mathcomp-real-closed_2.0.5-1.debian.tar.xz 98b8de3f7c202f0a624c5843447befa7 2861700 ocaml optional libcoq-mathcomp-real-closed_2.0.5-1_amd64.deb 08157cec383cc42e4142d24e54fdbc0a 7733 ocaml optional mathcomp-real-closed_2.0.5-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpe+7YZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUejID/9bCSiEAEViNdPpa3Qzmq4c T/Y3uU8hpPh4h3NSzLNmjMJeXCcyQ+ndHr1qD5/85mzbIUqq6W+eHgbBwcg/8es2 djP8UGlE9Fy7P2wjsO8L9boLnu7p9F/YRlUu94Bh/CAHnM3M/VIFvwXXwyWuib55 Rv9UMSrx+VYWJiZT1AQiiuegKCak7hxtiX0i6isZ6913m9kahxqG/u+C9CQ/SOp2 w2zE9TMI3jnUjBbX9nKaFGp2AGCmF3uWjv7afE4dd80xeJVyOWxWEIt124FA/DMo y8e+wfAewJYUS0CqmRYDDNz5Qg75GoDUonpxq8LzYuOpF6KyGxivfZarLHttCEUv NoKatfV5XrDCzRSUQJPUcscNTId3Um//D1191/UgAfHaTzJrB6g/2BnIP8Y5GMju 2oZQigHmNc8MDcRsylQ1ljc8kRVf3muL1exmEqNTdDaRU9yCPiHxhCjUCcEDuA3p JvcvztVHFhMU2EiyWc1tMaQNRDjSgJRgw5EYAFgBli9Ov0Ol+oLp2SNuJSvpTFn/ 9fZKpTx7AZj8vHpGNaO71sAvANc8Rm7mCwn9JxO08AZ2x5nZK+TPn85LQZGuOTtM o4/ybIfTSr85Lk6yuKXUCNEFuz5wxHE4aQwzLaWOs2bpYaKHGeXQvt6aVeMdQMlF b46mbmTpkdHORtpwnYWJuQ== =92xx -----END PGP SIGNATURE-----
pgpzCK0cpOpEZ.pgp
Description: PGP signature
