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