1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • mathcomp-algebra-tactics_1.0.0-8_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Nov 10 17:10:02 2022
    Accepted:

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


    Thank you for your contribution to Debian.

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