-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 05 Jul 2022 16:51:52 +0200 Source: mathcomp-finmap Architecture: source Version: 1.5.1-9 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: mathcomp-finmap (1.5.1-9) unstable; urgency=medium . * Add patch for ssreflect 1.15 support. Checksums-Sha1: eb948b6f3914694d3f0f612aa24220723bc2cd0d 2126 mathcomp-finmap_1.5.1-9.dsc 378cbdb0646e903b4897f8422a761dfbf7dbf882 9256 mathcomp-finmap_1.5.1-9.debian.tar.xz 81186fd459a8ef33c2f020c7b623d1d896335f2b 6724 mathcomp-finmap_1.5.1-9_source.buildinfo Checksums-Sha256: a4dc37d3616ba99b91d944ad5d8c516c198f6becab676204e56df71eb54d1ac3 2126 mathcomp-finmap_1.5.1-9.dsc 24134df53b8c656c805effdb0e08f0d83471488f495b87e515ee1fc0122d8887 9256 mathcomp-finmap_1.5.1-9.debian.tar.xz a53d97a4832f486ba0fa1521e9cf56c9a083e0e389bd34365624cb5c2f1aa0fa 6724 mathcomp-finmap_1.5.1-9_source.buildinfo Files: ac0eea4c527740aef61951c4e1359e60 2126 ocaml optional mathcomp-finmap_1.5.1-9.dsc 8973b068fadd01fd1f09d63cec5d950b 9256 ocaml optional mathcomp-finmap_1.5.1-9.debian.tar.xz b6cf6158af7bdf7cc2eff6719960b1fd 6724 ocaml optional mathcomp-finmap_1.5.1-9_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLEUDgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRH9wP/1u6onMHvjLjDFILlt6dswiDeF6lBWVc oH+AQ3ATQnTynrzVZOewAuEbHrIBpLl4COuw2aKQtLJntB7LL7BAoDYR8m/G/63J 8kqjvYr7ozX1y2dcIPlmpq19Z/k8pb7w75S5wSJXLkkHGSQhqLxsZmOmk68f/2SN locPzSCSWnMZcKGlBDv7dQPjI/SRs5EDOZOF3vG3eE0EldYAAJWwWgAuroJW0jRh 005gH+cAcBWhY0nUBQ2DJu+J0ZRQOF9fWMMAaxhCq0QXRxo4nzRIdmk+kLMOnp32 NqK2rmkKjQt/HURJFX4HF5mtSs3RKJuo1KRkvKQvYPEgaHZgcWCti6aJVBhDgffj D1xuTN/oBOoFyb1E8aXvWuUe6AVYD/iwmJDmacrfZ8sST1IxaZP1N/E9w9iB16OB BGQDeKXauVBHKBZ9c1LjcV0eK1vEn7AQYpdWmaA+rqDqtoAHyZHa45d/FKkuzsnq U3LsRfUsuoC3taBxg1TePNjn7gl3xlm4v3qn7bsWqK/Xvb2VjNs2ztpWAULkv3nz 19s9NZVzoK9W7AbU4oZ2ap+VHMWNyK4bdr4VwjmQiP3BExp7XlM2y5ZQ101iHTL+ iIbDiaGLPSjU6KCNw1BYUjYu0gTd/Lh5AYWmyNKaV+BEGLeCO5XO0RrTRU1jI3Re 9ze9q4vDIeMN =UfPM -----END PGP SIGNATURE-----
