• mathcomp-algebra-tactics_1.2.2-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Dec 26 13:00:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Fri, 22 Dec 2023 11:34:14 +0100
    Source: mathcomp-algebra-tactics
    Architecture: source
    Version: 1.2.2-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
    Closes: 1047108
    Changes:
    mathcomp-algebra-tactics (1.2.2-1) unstable; urgency=medium
    .
    * Fix d/rules clean target (Closes: #1047108).
    * New upstream release.
    Checksums-Sha1:
    b80c5f629b3af8526132f3ca1972d783971627be 2282 mathcomp-algebra-tactics_1.2.2-1.dsc
    35a32a7f578ca008370c535e0ede4c2879a24c09 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
    cf65e9044340d89257e5bc03580c6aa0268a73ef 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
    159e8bc0ade7be7db0987d3aae6cf06c4b8e80ab 8611 mathcomp-algebra-tactics_1.2.2-1_source.buildinfo
    Checksums-Sha256:
    b189f98d73308a7cae015ddccf400ecdcf85011c90bc49e111481308d57c3319 2282 mathcomp-algebra-tactics_1.2.2-1.dsc
    e2c5b2f5ed9dec2db3ac436ebed9e271b2dd760fe5372c57e06fc0619e97a2e4 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
    f85de352c1b072c0824452fc01172a03b43390b199078a1a453ffa17b68c651f 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
    8963589dd52ded0aeac0922e3b6fe0ef48507fc09950e7df9b22fbd6b188e958 8611 mathcomp-algebra-tactics_1.2.2-1_source.buildinfo
    Files:
    ab3c05677e27c004873c0f369cc99321 2282 ocaml optional mathcomp-algebra-tactics_1.2.2-1.dsc
    2276ad1d3ca88a784bad053c5259c1ff 58279 ocaml optional mathcomp-algebra-tactics_1.2.2.orig.tar.gz
    b13a6dfc142678d3290cade8d7bfaab3 8852 ocaml optional mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
    6a8088e43b8470d6402af6767ec92a2d 8611 ocaml optional mathcomp-algebra-tactics_1.2.2-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZkISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRG2EP/1VzWL6sJmITWXbuD21n7Z2J7+VpgTVk 8doG/8yf8pC+A9AEWS0FL+RkVZS1CDDkhHFT/PYR9HFLfLX9drv4rKRJdK5uKXnf LefhSJEn14Lb3QMNBjuY22n83e33v723qlkxXpKM6SjaZGgJekPl7AX/t1lv5Qmc Shq0iAmtucY4QZt5KYxfYUrAWhdizWSoNzIxl8b02uCsoqAKUxm6B2HaU/LdHZhn l9cgJv0a8qXIHmyTwN4PFKXL7GX752I3LyrrAEsEFIVcPY3Pmj5pHmrw+cA+AdVL a4gggLdK4OFAsYV6qQNfw1QuDRzry+Uz6LgEj9DDqmViWsfu7xWGKtuSuP2J7+tc 7oU86UW0ZPpxafIq4RuG09KmwLCC9Ebjo2/C9vErOZ4fAS+FQT1snhGzvJcMFN6b /wPcvG20GHT01Yg2Eim705sDgPZ3cVtNQHN6bY9vIKMp6lIjgkrpPuz1IvsBHIAY z4LgCqmjp2fyqTIxzHhHq21Qujuag9GqdtDt1meiaWTNLrLVlSI6Es1BrASOiS41 f+Bkd4L5XuiBCKDsAz7RjrYbxW49T43Nd2JmZKHUlilSBqdj9PPHR+4MMdya27Cp 3D/D4Wev04PwzbBHMSPyUiMdnt0Q0hfDzZbRDYiVmxQ+RoATHJHQOCRz2dbcOaqX
    ypKrZQw7rcNm
    =JcJM
    -----END PGP SIGNATURE-----

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