Accepted mathcomp-algebra-tactics 1.0.0-8 (source) into unstable
-----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-----
Reply to: