-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 10 Nov 2022 16:22:08 +0100 Source: mathcomp-algebra-tactics Architecture: source Version: 1.0.0-8 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1023763 Changes: mathcomp-algebra-tactics (1.0.0-8) unstable; urgency=medium . * Fix elpi interface mismatch (Closes: #1023763). Checksums-Sha1: e1431beb1e30f63b68fc0ac93fc00025e2737e36 2282 mathcomp-algebra-tactics_1.0.0-8.dsc 05c8d6e93b9d417f69211e380187a16d8a3251a8 8704 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz a90c12b5597cb06fae0c47aaadf9884e0306b4af 8254 mathcomp-algebra-tactics_1.0.0-8_source.buildinfo Checksums-Sha256: 427102e021b1027cbaccf7b6bc4c851272440010b42257c9303a5ae2d3255484 2282 mathcomp-algebra-tactics_1.0.0-8.dsc 8bbf9a9d85b0bb47b7c438776dd9fb3bbb9ddbfd272b133f57470e6ab933115f 8704 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz dc4e24845fa443eaf266e4f45f4cd967d77e5fe1543ce5833cec9cf4a4ba03da 8254 mathcomp-algebra-tactics_1.0.0-8_source.buildinfo Files: af8d77f1539be59c3051e8a84039c06b 2282 ocaml optional mathcomp-algebra-tactics_1.0.0-8.dsc 8c77b59dcfa67e1c1e184c9dffea19bb 8704 ocaml optional mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz b5f75cc47318d4b5a532c3dca1a4affd 8254 ocaml optional mathcomp-algebra-tactics_1.0.0-8_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNtF6ESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVREAAP/RT8zvbhOMD/aiRdBe+lfOpEEIkEkiD6 cCzzrY6zI+QDQWyXzrHk/3VXzOId32pFKbuuLCZJ304VK053T8Xl2onFYwP8r3RC NLiMWmNgxrltQ9cbvNAd6QtwHVVRjaTjYUnQ89syL1PZpMc4Y+OE7C9aoCfyPORW XZ12YiWD3wmvgsFywe70KrFx5VsRCgqD80ZpyzHww+0dMOXHgnfZvouUKwLO7moW vEwnyBge0H/s2slRE69MKWbnTG4xlZe1cGXH44MZfKbfp5s/6nQ8oTyRK0zEDElW qKM2d2OW88w59z61oJiF+KWQh872gmJBM6XDyhdFEqKX9lC27bk8UUDjE1i3nuTM yW2YfwVfmCjNk3rbQaRW3f4Wcj8thBVw4OoGj4248yYnaLUceGq3wGpI8TcvbdO/ gDCGEk/ZTCaXLaVpBuFOiofZ4KMy57yOIasDJ4FVkEw8z+7T7exaqTM5zYX+se2q AkeM85dacK+yzfbUS/dc37v5KZgCNvA4wMmGPlHlNJFb2DRlNwGtW5s3FlFCjlXk XwAmSu1hWCYQjkkPyYpb+AcyfXynoM+bukN973lmQFl9T14T2aL4SVSc4IaPU2Ce 3lEculQ9i8DkYB+jrkeQIVQtwDP7WLHJrMhhCJE65hF/YNBN1O/i+NPJJYeQeRQn 3dvFfK5WBDFP =nShK -----END PGP SIGNATURE-----
