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

  • mathcomp-finmap_1.5.1-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu May 5 23:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Thu, 05 May 2022 22:34:34 +0200
    Source: mathcomp-finmap
    Architecture: source
    Version: 1.5.1-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    mathcomp-finmap (1.5.1-3) unstable; urgency=medium
    .
    * Depend on a proper Coq ABI.
    Checksums-Sha1:
    bdb0c5ce429bf5c68116b6c225c952b611627688 2071 mathcomp-finmap_1.5.1-3.dsc
    da39970ecc1905fb13a190179ce220f82e5ea53c 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz
    931fdd6828caaea3582ef9e5334ae7ce806ec9f6 6676 mathcomp-finmap_1.5.1-3_source.buildinfo
    Checksums-Sha256:
    3e4bca26399abc8dd457a0527c584cdc6130894355922c1b206d61aa962aa5e8 2071 mathcomp-finmap_1.5.1-3.dsc
    0317a644b81295ef714e2ac22ef84052c3274b80570b49bc62f4ed2bb520e4d5 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz
    0a8c580e315ff3808217a8d33d10079632b111e0c258e4c7fbbac1307168561e 6676 mathcomp-finmap_1.5.1-3_source.buildinfo
    Files:
    4292fa23a9451d82f398f13e6f7fc2cd 2071 ocaml optional mathcomp-finmap_1.5.1-3.dsc
    09e26e8873d0c4b323f45186bad369e7 8464 ocaml optional mathcomp-finmap_1.5.1-3.debian.tar.xz
    e4b709eaa8d174f67650cfa33342456c 6676 ocaml optional mathcomp-finmap_1.5.1-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ0NU0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRZQMP/3D18A/7qadS6iIpfxnRN0RdjtnqxXeN xZLyjrYjFhNbgTZLguyHTO9mcoCPXlKoZTyYhx3KEqI5nx18b8hsJsiQ6BeyOLbv Bcp7tBEBUG6Jvuyy+GZjQJZRMgmt3X9e5VwTSaSZqAJoeOfipqzSs+l/hOau7h8Q HnRBV6NWcVFWUR2Ka35mBw0TYXKqJMETPTwdoBPPRho8CrxnwbukTymfaBWIch7Y 9UJx8t/AakQFno4pYvp1LHXU1PYmC6K2WtmsDLtQQxAllLXbpOnG/Z5oyFczhVhZ cJjezncOA2Vb+QBiRstsNYNQfvbnTO/4ZgmUB5/lw5weGo99rGxxaiTPJO/Vdwj/ 9E+OTYbWLBu9NbIE0vHm3KZPoCsaNv7z84JgPRUKKF8zUXwMq/b0K+0Fi68I4oM6 aPsANSt4qhMQN78I1WOvBHhLnRZ0i29v9FzBsbDXFDSCTEXvPRHi6Q+0yZ2Kz6Qq d8i3FUY8h2Hm6TWT9SBUe8F2oqmwSj3yagJUHi/f59fBtl7eS0ijYdA+gkysDmwV 6udO1Fulvihbz94zVV3xxqrb1yJ+yE4yGPvQYxbgq03mfFcfC6gnwXlhvXGgS7Zs 6ON386OHjuj77UhKXqxYVGzwFiPPn/kSC2zZjNdMwnHYPLcZXlC5qViWieh1KSQp
    SnJI6eVusYsi
    =cpid
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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