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

  • coq-simple-io_1.7.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Aug 14 10:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 13 Aug 2022 23:44:16 +0200
    Source: coq-simple-io
    Architecture: source
    Version: 1.7.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-simple-io (1.7.0-2) unstable; urgency=medium
    .
    * Rebuild against newer coq-ext-lib.
    Checksums-Sha1:
    3ce717837d59af6a5510f5ec675aa9735615b489 2146 coq-simple-io_1.7.0-2.dsc
    839b0c00abfdb7e2644ff170c8141ed72e690c7f 1916 coq-simple-io_1.7.0-2.debian.tar.xz
    e157337362bd4c93e61575fade4dcd550e4b61c7 7036 coq-simple-io_1.7.0-2_source.buildinfo
    Checksums-Sha256:
    6d4fadb321a3556091ac81e37078297a1a0cae3f121e78e5f4128cb2410266ea 2146 coq-simple-io_1.7.0-2.dsc
    515605f597003aba91ab7845e6ecf6dc229565ba7d199cc67aa543b12aabc760 1916 coq-simple-io_1.7.0-2.debian.tar.xz
    3005c50e9c89bc6fcd2014643c4d9558f0b28a0e176a231469ca5aca60ce6e8a 7036 coq-simple-io_1.7.0-2_source.buildinfo
    Files:
    15f8388cbc4904eee00729347f3204e0 2146 ocaml optional coq-simple-io_1.7.0-2.dsc
    5df1347d05c1be488dc76c109bc6732c 1916 ocaml optional coq-simple-io_1.7.0-2.debian.tar.xz
    e2bed90528631388efc3ac50defd68f3 7036 ocaml optional coq-simple-io_1.7.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4G1MSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR00kP/iBXi0yxgpu5Ki8qvufan9PFyamtwW9K PFn3KAQnuZF/iSWnjOSbyNWgl3OHMepvpYxjHl8ezUf2YiRavZ6p5JhiIVlMufB5 MvZyd1s7zi1ZsnUChhlN0yd9mxL4mwND/xdfuLspDq/4e186pf8saEY0aQyhHCke IrrFdH7Dd8jxtCPQ3HQtwX3FkLY474iCeAqzpgz34JNG5PlxzeLW6S01vC+v27WM S7FodqxL6tgpzyEWeO3R9VtRjbNohti2W2RK5n5HTGBX7jU+34rgi2ycAmT7C07W k3qIvhyT4yQYhJsvf5TbTKrOZt9t8QOJp00CphcHmacB7ivMPoEgRgV2GYvu2R2f fmr404WN25hDvwSGtKzl3fLNUBJl+CjGpF3tF8VyZ/canln6fDm0LsHu8mo5mEjp bRTK1xv3asvpMmsTZfuThweKtEkuhpd5kco8NltD726mLZYXLEAeIAjciYPfop0c PoIta2qnfGJbqFTDYXhElDN6ZCJed5mndujOco9g1GSMNThqC9pJZdxlYj6dpanh uh/3UZjNZUC1T4+/u65fi+SfRrNjH9hf/l1z90YwQMCPuxzJlQ9SzSQC0LUOiaVb ZOz05JyV+lR1ZL6Ka4qsP2aO/Jvkomq5eM+ARtb7v19KeJzsH5aajoaaKWefx3u5
    jNHI/xX1LBHy
    =aHbv
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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