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

  • mathcomp-finmap_1.5.1-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Sat Feb 12 12:20:02 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 09 Feb 2022 07:49:56 +0100
    Source: mathcomp-finmap
    Binary: libcoq-mathcomp-finmap
    Architecture: source amd64
    Version: 1.5.1-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-mathcomp-finmap - finite sets and maps extension for Mathematical Components
    Closes: 1005214
    Changes:
    mathcomp-finmap (1.5.1-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1005214)
    Checksums-Sha1:
    c2457297c45163483fe8e478280f3fcd328b3a60 2071 mathcomp-finmap_1.5.1-1.dsc
    25c2a40ed57d5dda6ee54833c482f868f099a1b7 63804 mathcomp-finmap_1.5.1.orig.tar.gz
    7157c125522d90983e986af44a9d647079eb3cb9 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz
    ef9a20d04b52ff35c2b95ce73749b83a0317bfce 687780 libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
    e3e65a7abb3befb3cc666d1fb3a4abd74c266875 7770 mathcomp-finmap_1.5.1-1_amd64.buildinfo
    Checksums-Sha256:
    88346754f58f840d5b85389d89e78e525cdb299309cedd0306e6e6aa7d46f36c 2071 mathcomp-finmap_1.5.1-1.dsc
    beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
    910584e72db012ff937589c6ed1fd21a3cf4a413bc909af453a38fd2b64de0c1 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz
    2f7ff7032272e33a1fe27abb894959487745a9895ecd7115f039371025789591 687780 libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
    ee958c73740cf81e3f649b2cf005bdb56419f58dc91ed874087660fdfe098601 7770 mathcomp-finmap_1.5.1-1_amd64.buildinfo
    Files:
    71961bda9b4f7ba04fa3051311268b05 2071 ocaml optional mathcomp-finmap_1.5.1-1.dsc
    65b16ece6ba65b44e24d55b33d50803e 63804 ocaml optional mathcomp-finmap_1.5.1.orig.tar.gz
    9fecb322b866c32bda8348f95b3ace54 8344 ocaml optional mathcomp-finmap_1.5.1-1.debian.tar.xz
    677e74848212d8bc4b11eec373c4975a 687780 ocaml optional libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
    27e4a631e1dd0586bc96b3b45a778076 7770 ocaml optional mathcomp-finmap_1.5.1-1_amd64.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDaVoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbdoP/iHO2yZ1fCOeSvgyTdJgTjP/YxwCgR/Z sa2zoitvdMaJh0WXeWZvTxexsrxNHdudcebhTp8cxUW7vON09mKYompbPPMp0W45 ZfOKK+AVWmxbboTv1jnIecxgrbXcxFWS9GowiGzfKTsGfuy+Wc53RyTm6gJIAV7s R4i0WcJ1/Jd8KI0V2+ESju4haEXErYQ31kojrXPs+fBGTP0xgAil8/dZA9jEPk6q T84MoycNFeT1TqWb+E8+h3uo2w6SIeJ9cEShNFKZKdwNxze5nFYr1L09B7rW6Sjl j8+qY90lXOq4erY80zplfG2n2GIKTY7GBCwoOmS180t3cHaBSdAabSdPH+NRvh+V y8MVxuNrPxTHz4motaGlhO/s0iJ481scnIlCo+BfgOLkrkKJ/CfkVhXp07ol0Eqa /XJDLnpcUnZUOHhd2vmZtVbASoGWfqpx21BVQB1+BzTSIL8bHl39T70ep1rEz4nN gLcXoFR+64kK8NlbMniCHpJbqZQ9RyHQfCLLCyY2JTmH2aUNcAiLnWILfAOrFMQf 9uUXapjNNw2XitMxmdNzhdCDLQ+5VY7bkC/9ymmOTBYBtH2T7ZdygEWgzPHVwBh4 Yg/s8OXPOqNJU9EZT0PuGjKvUsyrTM1rshhM9oopkiT9YE705Nd9ZWpYKrCblupE
    IYnA5blUqHHX
    =3H8e
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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