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

  • [Git][ocaml-team/coq][master] 4 commits: New upstream version 8.14.1+df

    From " @21:1/5 to All on Sat Dec 11 12:10:02 2021
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq


    Commits:
    08b1c450 by Julien Puydt at 2021-12-11T10:12:33+01:00
    New upstream version 8.14.1+dfsg
    - - - - -
    68c9e112 by Julien Puydt at 2021-12-11T10:12:52+01:00
    Update upstream source from tag 'upstream/8.14.1+dfsg'

    Update to upstream version '8.14.1+dfsg'
    with Debian dir 94d199b1cee23c85f6ea2a1ebd332b6b88e8ad5f
    - - - - -
    757edd4f by Julien Puydt at 2021-12-11T10:31:36+01:00
    Package new upstream release 8.14.1

    - - - - -
    9cc7552e by Julien Puydt at 2021-12-11T11:46:59+01:00
    Prepare for upload

    - - - - -


    30 changed files:

    - Makefile.common
    - debian/changelog
    - debian/rules
    - dev/doc/critical-bugs
    - dev/doc/release-process.md
    - kernel/nativecode.ml
    - kernel/nativevalues.ml
    - kernel/nativevalues.mli
    - kernel/parray.ml
    - kernel/parray.mli
    - plugins/extraction/extract_env.ml
    - plugins/extraction/extraction.ml
    - plugins/ltac/tacinterp.ml
    - pretyping/nativenorm.ml
    - pretyping/vnorm.ml
    - tactics/tactics.ml
    - + test-suite/bugs/closed/bug_10796.v
    - + test-suite/bugs/closed/bug_12298.v
    - + test-suite/bugs/closed/bug_13950.v
    - + test-suite/bugs/closed/bug_14505.v
    - + test-suite/bugs/closed/bug_15043.v
    - + test-suite/bugs/closed/bug_15070.v
    - + test-suite/bugs/closed/bug_15099.v
    - + test-suite/bugs/closed/bug_7228.v
    - + test-suite/bugs/closed/bug_8310.v
    - + test-suite/output/bug_15106.out
    - + test-suite/output/bug_15106.v
    - tools/configure/configure.ml
    - tools/coqdep_common.ml
    - vernac/assumptions.ml


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/982015a121d3c68f1b01c9f2b6fce9b863298e66...9cc7552e30a834e9735f8071dfdda615fdcc8611

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/982015a121d3c68f1b01c9f2b6fce9b863298e66...9cc7552e30a834e9735f8071dfdda615fdcc8611
    You're receiving this email because of your account on salsa.debian.org.



    <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
    <html lang="en">
    <head>
    <meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
    <title>
    GitLab
    </title>



    <style>img {
    max-width: 100%; height: auto;
    }
    </style>
    </head>
    <body>
    <div class="content">


    Julien Puydt pushed to branch master
    at <a href="https://salsa.debian.org/ocaml-team/coq">Debian OCaml Maintainers / coq</a>
    </h3>

    Commits:
    </h4>


    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/08b1c4504b5aa67033ed4a7f7591a241a44ec790">08b1c450</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-12-11T10:12:33+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 8.14.1+dfsg</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/68c9e112cfb570931f5a357bae8b30857d346529">68c9e112</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-12-11T10:12:52+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/8.14.1+dfsg'

    Update to upstream version '8.14.1+dfsg'
    with Debian dir 94d199b1cee23c85f6ea2a1ebd332b6b88e8ad5f</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/757edd4f2e5b9efebb84605d7d6a0a6224f8c523">757edd4f</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-12-11T10:31:36+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Package new upstream release 8.14.1
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/9cc7552e30a834e9735f8071dfdda615fdcc8611">9cc7552e</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-12-11T11:46:59+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Prepare for upload
    </pre>
    </li>
    </ul>
    <h4>30 changed files:</h4>

    <li class="file-stats">
    <a href="#44cf1f305f76b35baf56b3ade9e6f45847f68715">
    Makefile.common

    </li>
    <li class="file-stats">
    <a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1">
    debian/changelog

    </li>
    <li class="file-stats">
    <a href="#8756c63497c8dc39f7773438edf53b220c773f67">
    debian/rules

    </li>
    <li class="file-stats">
    <a href="#8cc2b24cbe72c83111dfdb73c8e6e353db89a6b1">
    dev/doc/critical-bugs

    </li>
    <li class="file-stats">
    <a href="#4c6201510a80070b9b908c9b7aded946728b8624">
    dev/doc/release-process.md

    </li>
    <li class="file-stats">
    <a href="#d3ce608b663faadcaf873085b330e059f568bffe">
    kernel/nativecode.ml

    </li>
    <li class="file-stats">
    <a href="#8a51d00923116f92c0788d135439a90878c4f382">
    kernel/nativevalues.ml

    </li>
    <li class="file-stats">
    <a href="#41af6c97aa789c21b68c0e6ea1ca3b8d079ec7ec">
    kernel/nativevalues.mli

    </li>
    <li class="file-stats">
    <a href="#6d5f87aff5a5d5605115ed3524728d9cbea36c11">
    kernel/parray.ml

    </li>
    <li class="file-stats">
    <a href="#0ddbf99b846f857a21b62af39f6955b920ec88a4">
    kernel/parray.mli

    </li>
    <li class="file-stats">
    <a href="#5ce2a3fe83daabe28c11a22967b668ab05891389"> plugins/extraction/extract_env.ml

    </li>
    <li class="file-stats">
    <a href="#b2335197af3612ac241184303159a811451abf53"> plugins/extraction/extraction.ml

    </li>
    <li class="file-stats">
    <a href="#db005f3347e2191aa543d4450797b47afaef40bf">
    plugins/ltac/tacinterp.ml

    </li>
    <li class="file-stats">
    <a href="#36d57cffba9bb0080bbdd84c444f0a5281fed533">
    pretyping/nativenorm.ml

    </li>
    <li class="file-stats">
    <a href="#c3b86495eee290d050b97f41ed01fa189c345171">
    pretyping/vnorm.ml

    </li>
    <li class="file-stats">
    <a href="#868dadfad85c305efcb9c8e21b2a47b8e2e81ecc">
    tactics/tactics.ml

    </li>
    <li class="file-stats">
    <a href="#59d6090887589c4c4a2cd860f4e7a45172a8d778">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_10796.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#79b0ecc2dee0d40d34f70fc0092cf611f1774cfd">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_12298.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#c4fa9f03ce7462c43cdb7a70efb346b88a1ce0fa">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_13950.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#63b43a2e6743c51a86cef1cde90c66572560ec94">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_14505.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#85651a88e52ca44232cb7d6f69afc5afc3371e57">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_15043.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#72cc2906f02e570041a8828a127764bbdd65f816">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_15070.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#5bfdfa746a499fe64f9d5dd3276aa6861a451955">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_15099.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#a5ebabe14c4f2f3c32e0a3e05b992021b367aa90">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_7228.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#f3bf434bc2d04bf1737cda5beaaa9f6da3391ee4">
    <span class="new-file">
    +
    test-suite/bugs/closed/bug_8310.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#613a2e53c77bc6416ebb790ecea78023266a73e2">
    <span class="new-file">
    +
    test-suite/output/bug_15106.out
    </span>

    </li>
    <li class="file-stats">
    <a href="#8f522b74799d6ad1ef0e0722084d50417aa647bd">
    <span class="new-file">
    +
    test-suite/output/bug_15106.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#329a82f96f513c373966e06f8cf48ee79eb523a8"> tools/configure/configure.ml

    </li>
    <li class="file-stats">
    <a href="#3a19d49d9c62cc766f3d8141514c76000ea97c31">
    tools/coqdep_common.ml

    </li>
    <li class="file-stats">
    <a href="#cb0a67bb61c6dd68d986abcaeef2c5f13139229d">
    vernac/assumptions.ml

    </li>
    </ul>
    <h5>The diff was not included because it is too large.</h5>

    </div>
    <div class="footer" style="margin-top: 10px;">
    <p style="font-size: small; color: #666;">
    &#8212;

    <a href="https://salsa.debian.org/ocaml-team/coq/-/compare/982015a121d3c68f1b01c9f2b6fce9b863298e66...9cc7552e30a834e9735f8071dfdda615fdcc8611">View it on GitLab</a>.

    You're receiving this email because of your account on salsa.debian.org.
    If you'd like to receive fewer emails, you can
    adjust your notification settings.




    </div>
    </body>
    </html>

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