[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5.
|
From: |
Julien Lepiller |
|
Subject: |
[bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5. |
|
Date: |
Fri, 22 Sep 2023 21:48:28 +0200 |
For some reason this last patch makes why3 fail to build, but the
latest version builds fine. It's only used by frama-c, which fails to
build with this newer why3. Now, updating frama-c would be nice, but it
requires a bit more work, as it switched to dune and has a few more
dependencies.
Otherwise, the whole series LGTM, including the coq fixup.
- [bug#64249] [PATCH ocaml-team v6 05/12] gnu: Update coq-mathcomp to 1.17.0., (continued)
- [bug#64249] [PATCH ocaml-team v6 05/12] gnu: Update coq-mathcomp to 1.17.0., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 06/12] gnu: Update coq-autosubst to 1.8., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 02/12] gnu: Update coq-flocq to 4.1.1., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 04/12] gnu: Update coq-coquelicot to 3.4.0., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 09/12] gnu: coq: Update to 8.17.1., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 07/12] gnu: Update coq-stdpp to 1.8.0., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 08/12] gnu: Update coq-interval to 4.8.0., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 01/12] gnu: ocaml: Update to 4.14.1., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 10/12] gnu: dune-bootstrap: Update to 3.10.0., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 03/12] gnu: Update coq-gappa to 1.5.3., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 11/12] gnu: opam: Split build into smaller sub-packages., pukkamustard, 2023/09/12