Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 05 Jul 2023 14:41:02 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-algebra-tactics (1.1.1-2) unstable; urgency=medium
.
* Fix abi issue.
Checksums-Sha1:
6623142367e8cf24265f3798d080f22a37d1e302 2282 mathcomp-algebra-tactics_1.1.1-2.dsc
738ec5ce3a15cac58ae36ee31f7b2dfd74f1b216 8756 mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz
db8d726c52898a4d104c4aa04475fadd67b75022 8231 mathcomp-algebra-tactics_1.1.1-2_source.buildinfo
Checksums-Sha256:
70692318642177ae4bdb7c9ccc9d07556bd02102be46471668e34d1512fecddc 2282 mathcomp-algebra-tactics_1.1.1-2.dsc
09e20666a64ff4a6b0b1241c5613b8176ce20fae9b300991559dff37aef2663f 8756 mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz
c571ce89971fdac739ab7da0fe40b500eba523dfa98db00650c4aafb7989c2cb 8231 mathcomp-algebra-tactics_1.1.1-2_source.buildinfo
Files:
16758bbc1e3f02993222760cad52c724 2282 ocaml optional mathcomp-algebra-tactics_1.1.1-2.dsc
401d9a64cb38d9713f96507c7fdbf4c2 8756 ocaml optional mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz
78d71b1282335e5235d47e5ac2c9e917 8231 ocaml optional mathcomp-algebra-tactics_1.1.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSlZPsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRUDAQAKfWGelJorQtHUZLQb+g6o15GHNwjUla moxIOHG3KblgUjZqYe6XInIIoJ/FVcqgBkqPHCtzFEMyBNSn7VMGFu1LZj4YyvUt q6J+wydl14/Vsq3d9IVRqkN1M1uk6ulnfkfHdX7OGuiINa7OY0NWI9WEX5CS64wf XEAUs6AXMhVBDH1w4m/GZapBPEC8jI5ZAPTFFxnQ2wylH0R9BrZGGcKekcQEK5dW hixoD38PFTxCc0DqIoCwJaajQyJPGdFUm/XOLIShDAAMe9GMk2wlxEaF98Ra3IKU ou0U98939Uz6zceKVSAzxRjhTIVuPjDYRPk23H0BqasdJs8RXORPjZ/RAwBtgjrN 04whLf9qCddnPdrelOKkOjjh1JTraWTWM/UQGZ3hWpQLnwoCTkkR8K7LzxS7XqmQ uCJGc0q1bLTj7mCOd3bMKdnwb6XLnp9iNU1sKBbnzdrNdKRd5j+T1OIMrIfplc1H r6eNK2BXmGGWpgWN0MQjbbwx9iet0zkoR1FP4cAqhNizuRQ+l2uB4SFHxs2oYHE8 vJsvg2J3q1gRJ7QBZraH6z+rKdZlJNRI3pif44eeK8xG8zQFaJ4GdiDrLvdkxPeL TofmGwPcIhhWEL5Qrt3VH34iBn+H5CRStRYcMoWwU0ohcWDeIcaFf5KfrOIMBA1w
Kzcs5D2St1Sn
=bku4
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)