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

    From Debian FTP Masters@21:1/5 to All on Mon Jun 13 11:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 14:20:14 +0200
    Source: mathcomp-algebra-tactics
    Architecture: source
    Version: 1.0.0-4
    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.0.0-4) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    a2a29e62873ca5649ac5102cc9dd2ec6f27d102e 2183 mathcomp-algebra-tactics_1.0.0-4.dsc
    50cb43d3b00a6870f593868bb4d0ab9ba30b2ca1 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
    f2f905514e0cf2d3d5cb982932d991ee3c968564 6839 mathcomp-algebra-tactics_1.0.0-4_source.buildinfo
    Checksums-Sha256:
    33aa87361fd8230b46005261ea92d3934e66cdb32ff3b31582c29e999e2702fa 2183 mathcomp-algebra-tactics_1.0.0-4.dsc
    76b5fb621edf957f854eb1e17735de49221c7a5b09db8380f25c951b195ce727 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
    2c5b587432eec12f0095842e4064622b51adebbdfd4a699f9490a860f178fd73 6839 mathcomp-algebra-tactics_1.0.0-4_source.buildinfo
    Files:
    b5e984ddc288c5959ebecf4504c1d766 2183 ocaml optional mathcomp-algebra-tactics_1.0.0-4.dsc
    6169d5aaadb52c1f856b5ede95c977c6 8508 ocaml optional mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
    7801fa806ba4861ca53d80b22a03ae12 6839 ocaml optional mathcomp-algebra-tactics_1.0.0-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKm+mgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/98P/iSj5jI+S3BXHi8X/pZhEp58+OvIn/sp 3U/2bzZNbP6Ne5ONJ6R4cgD7zZ0cxOP4hQ3PXfi3UqqtzUIssUISgHiZrk9KVx+Q QtLjUux4nFyrCQn+k7fVyYEHwTl6mjECeM10ydFdkcTA0am0KRg9WyWPkR8Nor7+ QhY8sUaPWAPBhh5RmDeMoodfa/PUAYWfTw7jDGD+26GUApzpjEMv/ihnIpKa+y0y IXgCiMBtY3BXxsT9IICmG71HxzfGNDUG8nzkujddyJ2yIrqZFDHzIEG66lldZZVV kzDaecRFV6LHaGIwQh2yPOOEMwnpwOUi3GCvdwVx571rlFNiALHokiaU5fnyNi12 0nRJs/usOwoUM8BxZhfV6HPG5HjXdI+Or2gS8Xkdm0Lf0firKHlsyX6q4rfJ1QjW cCCO/ub9f1NHgmjIRbsnPuG0651XGecX1w1cY5hu9i/V7lwtDnLQuEHzb/JIB16T F1M+8/i6WakPwWSL8JydB+N3+6DdvoIa7Zwtux5JTePKTuuB3xVhWipE5TZQ6K2B hyoGMHYGmSme6vIYJMcInXsD3Z1ZBvX4S3ZC1/fdut3WLXEa/kdGAXRP3GEHT3M2 ub3ZeglRk+OqU7YBTMJW2kC/vIyLV4hn2UL1AkEbK7vkqSdfFzWzLxzALbMm5CQn
    ruk+sAjGe34f
    =9jbW
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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