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

  • coq-bignums_8.15.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun May 22 20:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 22 May 2022 19:24:45 +0200
    Source: coq-bignums
    Architecture: source
    Version: 8.15.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-bignums (8.15.0-2) unstable; urgency=medium
    .
    * Re-upload to fix ABI breakage.
    Checksums-Sha1:
    6d5e3c2faf49c1a220939735a5ee80f3969a3aaf 2188 coq-bignums_8.15.0-2.dsc
    68d90f8ab1d549f05bb87d484d11cc69980c505b 1796 coq-bignums_8.15.0-2.debian.tar.xz
    a54a06f6cc8b35d0b99d7dcaf0ae7b75313b6061 6735 coq-bignums_8.15.0-2_source.buildinfo
    Checksums-Sha256:
    5f212868081e53280ff8f9799af3d3794507b81abf618123ad375e7b1a8604e2 2188 coq-bignums_8.15.0-2.dsc
    ff58a179e70ddd4f9ce71d9f5f79320f4cc0a7dae4218e0e2afd48546ea837c9 1796 coq-bignums_8.15.0-2.debian.tar.xz
    3cb99bc2dd95043a0aa8b49e2c1ffc3cf33a973859b24cb23108ea809e7a6bbf 6735 coq-bignums_8.15.0-2_source.buildinfo
    Files:
    44c00838166b9ce8120219f6aea97a13 2188 ocaml optional coq-bignums_8.15.0-2.dsc
    f2c4d55ba63bc5af50c751c7c6776594 1796 ocaml optional coq-bignums_8.15.0-2.debian.tar.xz
    23fd684b785c7d747a494e5919072413 6735 ocaml optional coq-bignums_8.15.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcfMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+KkP/3SBZlpCMIRxAQYljESF6lTtxa0fBwlr PKK3+eFXIjfSlToUhaI51nSb//uOJCYwmA3Ts0Hjcl2D+LA2IAfmFKuz1k1+bSJs EsG2TRmgE3CGHBNnX0F27hoPOYttwZs8fZ8t+P7TZMF77Nbn/27UxBO9hSwjOMBV dKTJP0DHChav4qurcONOdbuaj3qr4S9qX5gpo9Gae7T9PFsa0VwLDrnst1bnOUlr Mj6qczTzIbc20BBCtpoP0z4X+8ADmSae3yinEOVTCUYG2n9Bql/Q1SjzIsj44zc1 fnHboQya7OGV9YeYvhCnKYD22RrtSxzuWpsTm1QRZMEpnnEnxefQJnGlr8LDEbL9 TM4dnROCD8VYF72cQo9qIbeGoEK7SLHgCv1vpEnq7XKjhkLoPwcDOpjI9rHy9eQZ rekPBnuYUyNfHrLMPiOVzJZwt3gY2hBghbCmpRzYFbTFjFFjbbvKu9Kslyv9qGmB 5047RhTW5JuiKK2/RH7fkpyiNb+IdfD34FJMUg2RBkSk+Rsoo4M1NKNUaOEzVqm8 OHJbbmJdgFWDBLy2GD5d6yg3LN1QHS9fKgMO4vb+60L/7XoH4NquC2iKwI2dtsfD XWFbUQC1/ZBrRZaqUebwfVTFvo+sBNwkNIog/VpMV+yBDETN17rNy0/Nkj37hDPH
    R3h0hQet9TUC
    =+yKS
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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