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

    From Debian FTP Masters@21:1/5 to All on Sat Aug 3 15:00:01 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sat, 03 Aug 2024 14:35:30 +0200
    Source: mathcomp-algebra-tactics
    Architecture: source
    Version: 1.2.3-4
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Stéphane Glondu <[email protected]>
    Changes:
    mathcomp-algebra-tactics (1.2.3-4) unstable; urgency=medium
    .
    * Team upload
    * Do not hardcode /usr/lib/ocaml
    Checksums-Sha1:
    793c74a910d135f23c4f024d3e4999e4b917f5d5 2066 mathcomp-algebra-tactics_1.2.3-4.dsc
    1a5406a2a9c1ada765476db8b1de46033432721d 8984 mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz
    Checksums-Sha256:
    f933afc78d575bbd9fca4a8e0643773757c04b123d86f5c381fa2bdef94b17a6 2066 mathcomp-algebra-tactics_1.2.3-4.dsc
    7ed3a5cf91afef2d42e0220d684772d39d76e3e123348305ee9955963cf7399c 8984 mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz
    Files:
    04fba301e9d32fc768cef826cfdb163c 2066 ocaml optional mathcomp-algebra-tactics_1.2.3-4.dsc
    3cb60cda892594e83c8cc75938f9b951 8984 ocaml optional mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz

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

    iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauJE8SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBueAIAKBhQ/GkGvk5wLEpolwPUR7MPVC66/q2 lVrIlYLeMAV+IGYcdLBlOrmDJvkD7ock7L85Q8YWS4hwpj1kexzsCXsP+qmkzx+q l5OYcRjccmSVqjt7Drs2Mtcalk+oHczFAfBfPLqRJqtS1WKIBtMrt5K5pnFSf++3 TYkClE5m7m5UexbKUYE3/QxmXtIJ58OmIXg6psbx+rzu4/M4jHWbfTO8wjQyPfhv o7APIa8Q8fBNf69GtZEoMOVva/uIcT5emdbt9Yh/AvvK+jnoJdrRWl/AG8UEGZm1 VmcOjaqU0ER1hC8L+3ojXvf3Iul/gVgmq2o9PR8+OMaDmfMABmB3528=
    =U98t
    -----END PGP SIGNATURE-----


    --==============99624287478753069=Content-Type: application/pgp-signature

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq4oEgAKCRCb9qggYcy5 IarlAQDCnIYyXfo4iLCcgAZPtrl6Kuj5JY7ynt9ZmXvMdy+g5QEA5207euZmV889 7HxMxMnkpaWZ1Mux1gMUUeMdnMzfnQc=lDYa
    -----END PGP SIGNATURE-----

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