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

  • coq-interval_4.5.1-2_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jul 20 20:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 19 Jul 2022 09:16:00 +0200
    Source: coq-interval
    Binary: libcoq-interval libcoq-interval-dbgsym
    Architecture: source amd64
    Version: 4.5.1-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-interval - interval arithmetic for Coq
    Changes:
    coq-interval (4.5.1-2) unstable; urgency=medium
    .
    * Correct d/copyright.
    Checksums-Sha1:
    04f3f2fe8a0ac79c3083c818db8cd612b32b1eb2 2174 coq-interval_4.5.1-2.dsc
    7eec152685043bd5a0d3198635fc045284911b71 251894 coq-interval_4.5.1.orig.tar.bz2
    4c0f15c352fb84b1670a76b19d18a0fae71fa2ce 8324 coq-interval_4.5.1-2.debian.tar.xz
    6f48471b0dd20d7466b8bef52e9a11e3842e570c 7582 coq-interval_4.5.1-2_amd64.buildinfo
    2a0b5ee6fc82df1d0559c113515285bb753e3713 3756 libcoq-interval-dbgsym_4.5.1-2_amd64.deb
    358626eb28b46b4d90d4f6da925cc6458db9b742 4481568 libcoq-interval_4.5.1-2_amd64.deb
    Checksums-Sha256:
    102bca9ac1cdc926fa4650956673a7ac96c5e9ee0976bedf0205c6c92e7e7d79 2174 coq-interval_4.5.1-2.dsc
    f58d8f45c298d13b80d7fe4a1833ebcb91f80ad01db443909b26e3e375e26612 251894 coq-interval_4.5.1.orig.tar.bz2
    244be884146cdbe29601758b0b1fd9f5ec80dfe4c86937a836e4595e1fc43683 8324 coq-interval_4.5.1-2.debian.tar.xz
    238cee9982df938a3084c510061cec73e57df1087830196a745b99015c9768ae 7582 coq-interval_4.5.1-2_amd64.buildinfo
    a1c90ec7e6330e3d05920118d11b5d3a40d5521dace3f2811a7979d954b56228 3756 libcoq-interval-dbgsym_4.5.1-2_amd64.deb
    0deedfa9862ea43dd697f1c7ae2f99a023f3e16197c0994d0a6ec5646619395d 4481568 libcoq-interval_4.5.1-2_amd64.deb
    Files:
    81507552a6d8e1b14646d162b96abb6f 2174 ocaml optional coq-interval_4.5.1-2.dsc
    b8a2f131766cfeb5a96c498727d02869 251894 ocaml optional coq-interval_4.5.1.orig.tar.bz2
    00f252421130e0a8a4f1c2961f36b942 8324 ocaml optional coq-interval_4.5.1-2.debian.tar.xz
    ce0c5f14e61d95f605112272e62af045 7582 ocaml optional coq-interval_4.5.1-2_amd64.buildinfo
    e15832d147310f4b4f315e0c59834670 3756 debug optional libcoq-interval-dbgsym_4.5.1-2_amd64.deb
    cf44fe973407529d5927255ff7f78823 4481568 ocaml optional libcoq-interval_4.5.1-2_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWW00SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRGmgP/06O6epfymxflalUZgV7fwAYmwVOsjxy kgEt6YTXLWB9jatymR97V52PRroixH4AE1eO97d1mO8LKGKt7TsPP9t8at+RCFNd e/ZnE7eA+5eOrFlh99grSf8jgMXgE7y/lZXTeBQlOiTaJdpmOBBXxWdzDDhDztcu BLb5IgSbYczxCHL6LMMcYkgvX5BGnnQ2S7MwHbA4TVihiEEwd1gfc3usnvziAUeU zsvZ98ybInRNnZxgkIp3g9Q1zVdbsDx45s4wJQKyMA4kL5+04crua+i2C1KlwWum 5KNH41GtfdhwL94vM2zbJHfrRYnWrnCxXuSuP3b2QmqTVR/uNkv96ryqSmq9dYwo atNxprw/vfZPBWMY225391ZMgNB7LLLL39tJjtEdfoY0Orom2uoP/tVgOuwODojy XBkPndMD5kEoYkjim1I3lhqadtHhpIB307QZ6Skpl5Ikc6cDrCANe3DjAvkkhwEG AlePnhpg1yOtIXS4eBGCt+b3bt72MH8RNTQs9F1ND9amhcPsRZ2qqn3I9gzr7xz5 wIyHPoHvtGhdi4aVexFgYy6LK1xUkZN1zd+Noy4c50xDlhaRkv3iIMrJlz1WB0bo taOS+mcXfLItdayVSauO6pMs7tKsdx8D5BjB68WPUF9wA6mHJ4rDsf3x4HHsm2Zv
    8YMox4taDOt4
    =POn+
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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