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

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

    From Debian FTP Masters@21:1/5 to All on Sat Dec 23 12:40:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Thu, 21 Dec 2023 16:59:31 +0100
    Source: coq-iris
    Architecture: source
    Version: 4.1.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1044393
    Changes:
    coq-iris (4.1.0-1) unstable; urgency=medium
    .
    * Fix d/rules clean target (Closes: #1044393).
    * New upstream release.
    Checksums-Sha1:
    91db32d8f3678f2ac7c30d7f5068a8e9665aa677 2162 coq-iris_4.1.0-1.dsc
    3c6c0b3f999587161cf6494e47743065e3d4af70 749982 coq-iris_4.1.0.orig.tar.gz
    a268d1393c5b248318a7c7c621f63d9d816c1cc0 12072 coq-iris_4.1.0-1.debian.tar.xz
    b03e8cbe12516657cd56ea21cb8d84be435d4354 14470 coq-iris_4.1.0-1_source.buildinfo
    Checksums-Sha256:
    02f64bbc2d51f0b8962b3a5b9449cadb032306e03b8ff736c669c244b6f810f9 2162 coq-iris_4.1.0-1.dsc
    af962d128163335ce0af13a92c0b2bb7423e8e8c6356714c16422f96aee9f694 749982 coq-iris_4.1.0.orig.tar.gz
    6b792592de7466b60a1b6651dd0977c2ab046826b3878016a37189559a4ab44b 12072 coq-iris_4.1.0-1.debian.tar.xz
    4a4718e9abd7df3c735ebcaf551b20bf919fb06b3ff88f8f0c432f818584c0f9 14470 coq-iris_4.1.0-1_source.buildinfo
    Files:
    213e5fcf260670ee6925b48e74c93c49 2162 ocaml optional coq-iris_4.1.0-1.dsc
    e1fd1bbfb6bb8fc144342e5c7d4222ee 749982 ocaml optional coq-iris_4.1.0.orig.tar.gz
    e9178cbed05ef147852f905efe380c26 12072 ocaml optional coq-iris_4.1.0-1.debian.tar.xz
    de3da8ebe25617287bb42fb636dc0fbb 14470 ocaml optional coq-iris_4.1.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYw4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRS8gP/ijTkMwtfNWtKOWlqOcqS2sQPCuRgLMG AEgPeVjC7Zt39764qeZcif1d/gKgpZWRyPk/I+4TAxXaPa9ceptkd9B02KYAEEfk gCYup6XM0qH/3SrA0xxiMNnAnLBJkbSaChXNOXkPty2STmtrV+AAG+xUdXyypB+V zfLLHqGeA0AdlZyrrzXYZKCgAclhENkGkovTfLwBHBOWQKfwip8fvxjOF6mA2nOf w3ElCXr9gIODYHDf7zQcA6qjDOlobuB2t+q2yG+KgQPLz20L8sOHm3GIAaf/7gru LEUpXtGcDZmxaK7bgtE8B58oXlWVhZxOsg5FNDi+Ile3MAFZUDxaKV+Nrau2QUgb 7bA5Mc6rC9jhEAJQ7RDpDpmxGs5kXo9k4PC+/5WLOCUMGIsXOYHe8+pPvcLh8J7G QC8743SsxApKYR+KhVmPDEMFsdg1+prbbk6WFK3tWOUz+Eu74wa2h8btjW5/nF7r kKl+U8FeCp6A9bsQkE2/tydUax0+dj9L6YUnh3jhzi7iWSc9HO8MKTHHkN9gjqib PTN15OAs9FJE6G7dqzdIi5ZhxOV1Hunorvmg6iVDpq06aqenz6SbHDAbvuuWRe2v QNHrdljEQkOcUnKwZZQIF9mlDiyi256ayFq1xsq+2Q3+5/wCLpP1+SwxJGesgWvx
    in+ZzVJjzTqz
    =y3/v
    -----END PGP SIGNATURE-----

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