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

  • coq_8.15.1+dfsg-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Mar 22 23:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 22 Mar 2022 18:05:26 +0100
    Source: coq
    Architecture: source
    Version: 8.15.1+dfsg-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq (8.15.1+dfsg-1) unstable; urgency=medium
    .
    * Better d/watch.
    * New upstream release.
    * Refresh patches.
    Checksums-Sha1:
    ef2fced5c60f17bd0e974f131467f2d9b04d9b1d 2599 coq_8.15.1+dfsg-1.dsc
    4a69035238a4684650c30396c71d64b67b5c2fca 4672764 coq_8.15.1+dfsg.orig.tar.xz
    24bdd7bc868c4274fdd9f69418bfa775a48fcde2 39680 coq_8.15.1+dfsg-1.debian.tar.xz
    a87f127f6c21b630eb0853d2868aedf01f6c6b69 14714 coq_8.15.1+dfsg-1_source.buildinfo
    Checksums-Sha256:
    0c272d88be885efd347ec7f434dd83c8691cc28a455a6c9242990f00896fdcf8 2599 coq_8.15.1+dfsg-1.dsc
    75f7fe4a6f289db41d2758acb68a28409b084b56af78f8b81269cc56500e9e89 4672764 coq_8.15.1+dfsg.orig.tar.xz
    8a0bf1f503a3350ea61434908798105698c6d85d01382a8878785ff3c6cb1dbc 39680 coq_8.15.1+dfsg-1.debian.tar.xz
    37b935d452604c5d8995ca1e95938c7c95e14b1a2d18fd60b8d48ee57451d86c 14714 coq_8.15.1+dfsg-1_source.buildinfo
    Files:
    78b3f1dfb25fb4d0ffdd821c992f84c1 2599 math optional coq_8.15.1+dfsg-1.dsc
    4da85cebc30b568a89f686b4d55fdf74 4672764 math optional coq_8.15.1+dfsg.orig.tar.xz
    09c79114a9d9517d21b0d5dc219039b9 39680 math optional coq_8.15.1+dfsg-1.debian.tar.xz
    c724806eafb58b19a36f9bd62eb55ad3 14714 math optional coq_8.15.1+dfsg-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI6AjYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR2tMP/14aeLKmFQrZCPe8LjZ6rdBnVNC9UlNA P6lNrwlgZZSapZFM95fQBaRtaDTj70k12/CDulHcqMy/3zNnn8hp27/hMQsZjpWH rGLLJqcUX9tIGb5/pYXWV04X9t4qzfJs8Q+JY3Twbynibx9HtTcHs2ABt6fkq2ax 7K/ufXRL/tr/5HNXCxqGtiYYLx55n0stQP+YUQh1CHr7/QkqWgLpl8qsWJwLz9av JLsaVqPA3wLllsjgDOL5mu2LCnaAu0HX7NJzaNaRL2Vp7cHVJ0DzINcR01bQ0pru 9McEpIIYzCVjM5Hqq2k2xDUMJkIaqQL0h3ClTwo52DwV56ev/+wvPugBvPD1aam+ sAjHzZlLHUBboK4lJ1ld+cbQA9XzvzVBoSTHF19YSSwWfP/GJpRw6E2JmINWS8UR /9O1eA/0hY0aHaKOkivXHXykggTmXE4MqDvpD8o+bYpXlSP9yBzRTfEDTHQeVbMY j8aKPifVyQvwoVUXaz8pxWqGtlbhTIhDHFCzn2/hgDEw24kGzvixN1oWPHK1k7Mo U0veH3F2nPM6r1KTdb+jFa17WRaF+LC1WQB3ssDYhbP7SGQ5QiS1XY+miBS5hFAe P86KkYiUJOD7jfvGyakMwSPqqdWhT3ig7Hhk907cwntLYw6XH2Jv1GpvfxBcbyED
    TJVuSqeVOlAc
    =njV4
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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