Accepted mathcomp-abel 1.2.1-2 (source) into unstable

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

Format: 1.8
Date: Tue, 20 Jun 2023 11:45:39 +0200
Source: mathcomp-abel
Architecture: source
Version: 1.2.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038672
Changes:
 mathcomp-abel (1.2.1-2) unstable; urgency=medium
 .
   * Bump standards-version to 4.6.2.
   * Add patch to fix compilation with mathcomp >= 1.17.
   * Add patch to fix compilation with coq >= 8.17.
   * Add versioned dep on coq and ssreflect (Closes: #1038672).
Checksums-Sha1:
 c392dfe9ec4752032d0752778850ab1e36f17895 2251 mathcomp-abel_1.2.1-2.dsc
 83e39fa9fb813c8c463bfe58b4aeb8e9a91b196a 9732 mathcomp-abel_1.2.1-2.debian.tar.xz
 570d813f442c71e2aedf48aa18ef1676ed05c36c 7510 mathcomp-abel_1.2.1-2_source.buildinfo
Checksums-Sha256:
 6ac963e519a9c366977db0244e882ed505f2b0008978a4ed00cd3f78c30e711e 2251 mathcomp-abel_1.2.1-2.dsc
 faf3be97536c6b26b352dc869062ed21002f186fea4e87df3835722457b9d4ff 9732 mathcomp-abel_1.2.1-2.debian.tar.xz
 27c07f3bb82b346ac7976ff70d9df1ac85925036ccc39f8ece80ea6bdf6e64bd 7510 mathcomp-abel_1.2.1-2_source.buildinfo
Files:
 4168b87cfeef1f474562ee8cf82dc90a 2251 ocaml optional mathcomp-abel_1.2.1-2.dsc
 f58ac79c41afc1109e9378d24b3eea0e 9732 ocaml optional mathcomp-abel_1.2.1-2.debian.tar.xz
 a0bbc4b853fee3894577c8b512c781a1 7510 ocaml optional mathcomp-abel_1.2.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdW0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRB6gP/3UIopu0GH9Vpp+OTaIfn0nPaqb++P/y
Cgz83IzcVXqk8WSYA+LmCQkWNw0y1N5/99RadZQoNCEYSdLQBoCQb2lBn0dp9iB2
kuQZzIsquFgldQlq14Z4leSj0ZSW/9hmRVodrtFlInMswtvadHA5asZEBIJzz2f5
E9KU9ZeF6fCEWrMMHS2Jr0O/4UQcxq7DKtfXnk/va+c0nXJUVt6HXzwZY/Fds4jk
+AqLlzEIg62/6YepCBnQsXuke51G4JAuOoH6/F9S6+nvwScu1gC13MqCDL0B44p5
lMuiaoVYQqK6HCoMJ0eAoAKUfGo0ux/DiUlSsrZgUFjif+5pfK3gSuB/D98D9boL
JGmA9luyg6KsXyM+f5B/G4DM2axVGBV5XTiULk8sHQZOhRby9jtF2NwdJKplfaU7
G/1QAp8BcCwch1OF9tq6TBmKYJMT6fxdpRxc+P71BWGtngyXLJrcnR78zuXuaHty
Vf+0YCSPY23dJkbeoZoweA55XPB5ySSq5bEjdPKtqZxbR2nP2w6rHWDEbKy6kdAP
YsLW7UZ75JL+z/ZESaqxbs+VUEwGUIM8ieQb6Zi6Qw3cmEr2OhtT2wc8MHuSZ30s
Ex+KG4O0E7BXIIUCKmbKW+tOof1eirLme93e2mQJIHQxNuRfVig2Gu8438BNNaus
T+7B4JqG1Jpg
=OC/i
-----END PGP SIGNATURE-----