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

  • coq-iris_4.0.0-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri Aug 19 12:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 19 Aug 2022 11:38:43 +0200
    Source: coq-iris
    Architecture: source
    Version: 4.0.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-iris (4.0.0-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    cedd18cf785713ef574273f87c2a26940b20fc3a 2158 coq-iris_4.0.0-1.dsc
    4bb97d644c46f26cbbc4f55e89a285e621be7109 701165 coq-iris_4.0.0.orig.tar.gz
    134503bd330291a7931c5e2964ea69a113fce119 11904 coq-iris_4.0.0-1.debian.tar.xz
    14617d531e04b93b869c19fec0cfc250b6345da2 13594 coq-iris_4.0.0-1_source.buildinfo
    Checksums-Sha256:
    59d82e69e96f45215f3dee42f881e3997f8c34350826b1bb867db2b205228475 2158 coq-iris_4.0.0-1.dsc
    52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
    a3e3d9f8c0a93083e7764f178e80a35e79bdc242c06c2a76450a4d74aa1a91ca 11904 coq-iris_4.0.0-1.debian.tar.xz
    501c28328a0c2ab384eaf2bb096258b1407c2be6de667532a5cc9a11128c974f 13594 coq-iris_4.0.0-1_source.buildinfo
    Files:
    2f499fd3036e870af051aeb90596e3fd 2158 ocaml optional coq-iris_4.0.0-1.dsc
    78799f4fd2699f2bbd1197fa771292cd 701165 ocaml optional coq-iris_4.0.0.orig.tar.gz
    4a22cbaf7f5d70bf112cc7719f92ab35 11904 ocaml optional coq-iris_4.0.0-1.debian.tar.xz
    91cce0ce188dfec499f9f22a0383ec84 13594 ocaml optional coq-iris_4.0.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL/WkQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbb0QAKYb+DPS8MZSjbcZ1nwbyGziu9Zh+Rbg iiB1NjX0g4rApAkD8FM8/Cy78itR+mmrI5ppMNuEKofOAAxg851yeX2GxiBq4q7j y37iOZsBr1x/9hrfow3Nn35iRNkvUYkK1MZkmdFBID+7Y4eSmVxNWuh2y1bWG8Dy y0PR6XFVYYkM9QWU38NrJTT8fiLwi1Xuxwm8TF4pfCqOlVshEysXqnV7tNgY87X8 AfEMkG6Ad9ItK1q/oGuyWytfpgbNF52xElSGs8KvoRFgu2ECglAS7briCwh+GMYA MgIKlmuD/nj3igsTsF48NGdeHP5MLacCfZIrWx8v6/Y30ccDRiviFS4noV7bVra5 GjECrzD4+W+x6zuyy/Ai/gCGUefe04/77A2B+cch0lzQSxxf52a8MITIoZGZrCwg /icwBmBd3lb8JaDiKHjYZcJxTE9/pobt+6c8vKKdIOYMoqjtZUlHHjjFejo2yLIt mAH30hJGIQJZ22PwVVrVDymMdnpFNqy/SYlfipYNVkDuGEn4z01ul2lwCqWmJskI LARS5mbt/O8eaQ9D8WtKybVMoBiLM5uJX8A/4i0Lo34FctXemFvPa+z/eVYD+WLV 5WbMC26C2MA0PWJG0y6aGJZf2+BhwOew/GwFREcsFrjuD+QSXru95DaFdN1aSRCv
    eNAnP3j7Pcov
    =DeuX
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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