
<!DOCTYPE html>

<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p>Hello</p>

    <p>Not sure when we will be able to work on it. Don't hesitate to

      propose a patch<br>

      Cheers</p>

    <p>S</p>

    <p><br>

    </p>

    <div class="moz-cite-prefix">Le 13/08/2024 à 18:06, Al Ma a écrit :<br>

    </div>

    <blockquote type="cite"

      cite="mid:b479cc6f15bec7b1e091417ed18c77d9@mail.rambler.ru">

      <meta http-equiv="content-type" content="text/html; charset=UTF-8">

      <div>I have the same request: please kindly consider upgrading.<br>

      </div>

      <div><br data-mce-bogus="1">

      </div>

      <div>For my purposes, I ask specifically for version 4.12.1 (which

        is NOT the most recent version of Z3) because that's the one

        currently requested by dafny in

        <a class="moz-txt-link-freetext" href="https://github.com/dafny-lang/dafny/wiki/INSTALL#linux-source">https://github.com/dafny-lang/dafny/wiki/INSTALL#linux-source</a> .<span

          data-mce-type="bookmark" id="mce_1_start"

          data-mce-style="overflow:hidden;line-height:0px"

          style="overflow: hidden; line-height: 0px;"></span></div>

    </blockquote>

  </body>

</html>