Back to mathcomp-finmap PTS page

Accepted mathcomp-finmap 1.5.1-9 (source) into unstable



-----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-----